Rodolfo Gómez

According to our database, Rodolfo Gómez authored at least 15 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Analysing neurobiological models using communicating automata.

Li Su, Rodolfo Gómez, Howard Bowman

Formal Aspects Comput., 2014

2013

Model-checking timed automata with deadlines with Uppaal.

Rodolfo Gómez

Formal Aspects Comput., 2013

2009

A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.

Rodolfo Gómez

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2007

Efficient Detection of Zeno Runs in Timed Automata.

Rodolfo Gómez, Howard Bowman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Verification of real-time systems : improving tool support.

Rodolfo Gómez

PhD thesis, 2006

How to stop time stopping.

Howard Bowman, Rodolfo Gómez

Formal Aspects Comput., 2006

Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.

Rodolfo Sabás Gómez, Juan Carlos Augusto

Artif. Intell. Rev., 2006

Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems.

Howard Bowman, Rodolfo Gómez

Springer, ISBN: 978-1-85233-895-4, 2006

2004

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.

Rodolfo Gómez, Howard Bowman

J. Appl. Non Class. Logics, 2004

A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.

Howard Bowman, Rodolfo Gómez, Li Su

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Durative Events in Active Databases.

Rodolfo Gómez, Juan Carlos Augusto

Proceedings of the ICEIS 2004, 2004

2003

A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.

Juan Carlos Augusto, Rodolfo Gómez

Int. J. Softw. Eng. Knowl. Eng., 2003

Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.

Rodolfo Gómez, Howard Bowman

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

A temporal logic view of paradigm models.

Juan Carlos Augusto, Rodolfo Gómez

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

2001

Testing an Event Specification Language.

Rodolfo Gómez, Juan Carlos Augusto, Antony Galton

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001