Testing an Event Specification Language. - Rodolfo Gómez 001; Juan Carlos Augusto; Antony Galton (SEKE, 2001)

A temporal logic view of paradigm models. - Juan Carlos Augusto; Rodolfo Gómez 001 (SEKE, 2002)

Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. - Rodolfo Gómez 001; Howard Bowman (FORTE, 2003)

A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification. - Juan Carlos Augusto; Rodolfo Gómez 001 (Int. J. Softw. Eng. Knowl. Eng., 2003)

Durative Events in Active Databases. - Rodolfo Gómez 001; Juan Carlos Augusto (ICEIS (1), 2004)

A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. - Howard Bowman; Rodolfo Gómez 001; Li Su 002 (ARTS, 2004)

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. - Rodolfo Gómez 001; Howard Bowman (J. Appl. Non Class. Logics, 2004)

Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems. - Howard Bowman; Rodolfo Gómez 001 (Springer, 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)

How to stop time stopping. - Howard Bowman; Rodolfo Gómez 001 (Formal Aspects Comput., 2006)

Verification of real-time systems : improving tool support. - Rodolfo Gómez 001 (2006)

Efficient Detection of Zeno Runs in Timed Automata. - Rodolfo Gómez 001; Howard Bowman (FORMATS, 2007)

A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. - Rodolfo Gómez 001 (FORMATS, 2009)

Model-checking timed automata with deadlines with Uppaal. - Rodolfo Gómez 001 (Formal Aspects Comput., 2013)

Analysing neurobiological models using communicating automata. - Li Su 002; Rodolfo Gómez 001; Howard Bowman (Formal Aspects Comput., 2014)