Rodolfo Gómez

14 papers C 3Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2014 J jnl
Analysing neurobiological models using communicating automata.
Formal Aspects Comput.
Li Su, Rodolfo Gómez, Howard Bowman
2013 J jnl
Model-checking timed automata with deadlines with Uppaal.
Formal Aspects Comput.
Rodolfo Gómez
2009 — conf
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.
FORMATS
Rodolfo Gómez
2007 — conf
Efficient Detection of Zeno Runs in Timed Automata.
FORMATS
Rodolfo Gómez, Howard Bowman
2006 — book
Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems.
Howard Bowman, Rodolfo Gómez
2006 J jnl
How to stop time stopping.
Formal Aspects Comput.
Howard Bowman, Rodolfo Gómez
2006 — —
Verification of real-time systems : improving tool support.
Rodolfo Gómez
2004 — conf
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.
ARTS
Howard Bowman, Rodolfo Gómez, Li Su
2004 — conf
Durative Events in Active Databases.
ICEIS (1)
Rodolfo Gómez, Juan Carlos Augusto
2004 J jnl
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.
J. Appl. Non Class. Logics
Rodolfo Gómez, Howard Bowman
2003 J jnl
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.
Int. J. Softw. Eng. Knowl. Eng.
Juan Carlos Augusto, Rodolfo Gómez
2003 C conf
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
FORTE
Rodolfo Gómez, Howard Bowman
2002 C conf
A temporal logic view of paradigm models.
SEKE
Juan Carlos Augusto, Rodolfo Gómez
2001 C conf
Testing an Event Specification Language.
SEKE
Rodolfo Gómez, Juan Carlos Augusto, Antony Galton