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

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

Jump to: A | B | G | S

Number of items: 14.

A

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)

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)

B

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)

G

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)

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, 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)

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

Gomez, Rodolfo, Augusto, Juan Carlos (2004) Durative Events in Active Databases. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems. . pp. 306-311. , 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). . pp. 53-63. , 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). . pp. 341-345. , Buenos Aires, Argentina (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)

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)

S

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)

This list was generated on Tue Dec 24 19:18:41 2024 GMT.