Items where Author, Editor or other role is "Gomez, Rodolfo"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: Article | Conference proceeding | Book section | Reports and Papers | Thesis

Number of items: 14.

Article

Su, Li, Gomez, Rodolfo, Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi:10.1007/s00165-014-0294-y) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:47880)

Gomez, Rodolfo, Ausguto, Juan Carlos (2006) Expressiveness of Temporal Query Languages: On the Modelling of Intervals, Interval Relationships and States. Artificial Intelligence Review, 26 (4). pp. 269-289. ISSN 0269-2821. (doi:10.1007/s10462-007-9051-4) (KAR id:14531)

Bowman, Howard, Gomez, Rodolfo, Su, Linying (2005) A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 25-47. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.09.006) (KAR id:14234)

Augusto, Juan Carlos, Gomez, Rodolfo (2003) A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. International Journal of Software Engineering and Knowledge Engineering, 13 (6). pp. 627-654. ISSN 0218-1940. (doi:10.1142/s0218194003001494) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13880)

Conference proceeding

Gomez, Rodolfo, Augusto, Juan Carlos (2004) Durative Events in Active Databases. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, April 2004, Porto, Portugal,. (KAR id:14181)

Gomez, Rodolfo, Augusto, Juan Carlos, Acuña, Silvia.T. (2003) An Algorithm to Translate PARADIGM specifications to PLTL. In: Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03), November 2003., Valdivia, Chile. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13883)

Gomez, Rodolfo, Augusto, Juan Carlos, Galton, Antony (2001) Testing an Event Specification Language. In: Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13599)

Book section

Gomez, Rodolfo (2009) A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. In: Formal Modeling and Analysis of Timed Systems 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 179-194. ISBN 978-3-642-04367-3. E-ISBN 978-3-642-04368-0. (doi:10.1007/978-3-642-04368-0_15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24130)

Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering. ACM, New York, USA, pp. 497-503. ISBN 1-58113-556-4. (doi:10.1145/568760.568847) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13762)

Reports and Papers

Gomez, Rodolfo (2009) Compositional detection of Zeno behavior in Timed Automata with Deadlines. Technical report. UKC (KAR id:24121)

Gomez, Rodolfo (2009) From LIDL(m) to Timed Automata. Technical report. UKC (KAR id:24080)

Gomez, Rodolfo (2008) Verification of Timed Automata with Deadlines in Uppaal. Technical report. UKC (KAR id:23991)

Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2000) Implementation and Testing of a Set of Event Detection Operators. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21929)

Thesis

Gomez, Rodolfo (2006) Verification of Real-Time Systems: Improving Tool Support. Doctor of Philosophy (PhD) thesis, University of Kent. (KAR id:14401)

This list was generated on Thu Apr 2 20:22:00 2026 BST.