Rodolfo Gómez

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Venues

Formal Aspects Comput.

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Li Su, Rodolfo Gómez, Howard Bowman
Analysing neurobiological models using communicating automata. Formal Aspects Comput. 26 (6) (2014)
Rodolfo Gómez
Model-checking timed automata with deadlines with Uppaal. Formal Aspects Comput. 25 (2) (2013)
Rodolfo Gómez
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. FORMATS (2009)
Rodolfo Gómez, Howard Bowman
Efficient Detection of Zeno Runs in Timed Automata. FORMATS (2007)
Howard Bowman, Rodolfo Gómez
How to stop time stopping. Formal Aspects Comput. 18 (4) (2006)
Howard Bowman, Rodolfo Gómez, Li Su
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Rodolfo Gómez, Howard Bowman
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. J. Appl. Non Class. Logics 14 (1-2) (2004)
Rodolfo Gómez, Juan Carlos Augusto
Durative Events in Active Databases. ICEIS (1) (2004)
Juan Carlos Augusto, Rodolfo Gómez
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification. Int. J. Softw. Eng. Knowl. Eng. 13 (6) (2003)
Rodolfo Gómez, Howard Bowman
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE (2003)
Juan Carlos Augusto, Rodolfo Gómez
A temporal logic view of paradigm models. SEKE (2002)
Rodolfo Gómez, Juan Carlos Augusto, Antony Galton
Testing an Event Specification Language. SEKE (2001)

Rodolfo Gómez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rodolfo Gómez