Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 8.

Article

Augusto, Juan Carlos and Gomez, R.S. (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. (The full text of this publication is not available from this repository)

Monograph

Gomez, R.S. (2009) Compositional detection of Zeno behavior in Timed Automata with Deadlines. Technical report. UKC (Full text available)
[img]
Preview

Gomez, R.S. (2009) From LIDL(m) to Timed Automata. Technical report. UKC (Full text available)
[img]
Preview

Gomez, R.S. (2008) Verification of Timed Automata with Deadlines in Uppaal. Technical report. UKC (Full text available)
[img]
Preview

Gomez, R.S. and Augusto, Juan Carlos and Galton, A. (2000) Implementation and Testing of a Set of Event Detection Operators. Technical report. (The full text of this publication is not available from this repository)

Conference or workshop item

Gomez, R.S. (2009) A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. In: Proc. of the 7th Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 14-16 September, Budapest, Hungary, SEP 14-16, 2009, Budapest, HUNGARY. (The full text of this publication is not available from this repository)

Gomez, R.S. and Augusto, Juan Carlos and 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). , Valdivia, Chile pp. 53-63. (The full text of this publication is not available from this repository)

Thesis

Gomez, R.S. (2006) Verification of Real-Time Systems: Improving Tool Support. Doctor of Philosophy (PhD) thesis, University of Kent. (Full text available)
[img]
Preview

This list was generated on Mon Jun 16 16:23:32 2014 BST.