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

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item | Book | Thesis

Number of items: 22.

Article

Gomez, R.S. and Ausguto, J.C. (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.

Preview

Bowman, H. and Gomez, R.S. (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043.

Preview

Bowman, H. and Gomez, R.S. and Su, L. (2005) A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 25-47.

Preview

Gomez, R.S. and Bowman, H. (2004) PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics, 14 (1-2). pp. 105-148. ISSN 1166-3081.

Preview

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

Preview

Gomez, R.S. (2009) From LIDL(m) to Timed Automata. Technical report. UKC

Preview

Gomez, R.S. (2008) Verification of Timed Automata with Deadlines in Uppaal. Technical report. UKC

Preview

Gomez, R.S. and Bowman, H. (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK

Preview

Gomez, R.S. and Bowman, H. (2005) Discrete Timed Automata. Technical report. UKC

Preview

Bowman, H. and Gomez, R.S. and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK

Preview

Gomez, R.S. and Bowman, H. (2003) A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Other. Kent University, Vienna, Austria (Unpublished) The full text of this publication is not available from this repository.

Gomez, R.S. and Augusto, J.C. 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 Bowman, H. (2007) Efficient Detection of Zeno Runs in Timed Automata. In: 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), October 2007, Salzburg, Austria.

Preview

Gomez, R.S. and Augusto, J.C. (2004) Durative Events in Active Databases. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, April 2004, Porto, Portugal,.

Preview

Gomez, R.S. and Augusto, Juan.C 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.

Gomez, R.S. and Bowman, H. (2003) Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. In: Konig, H. and Heiner, M. and Wolisz, A., eds. Lecture Notes in Computr Science. LNCS, 2767 (2767). Springer, Berlin, Germany pp. 177-192. ISBN 3-540-20175-0 . The full text of this publication is not available from this repository.

Augusto, J.C. and Gomez, R.S. (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), 15-19 July 2002, Ischia, Italy. The full text of this publication is not available from this repository.

Gomez, R.S. and Augusto, J.C. and Galton, A. (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 available from this repository.

Book

Bowman, H. and Gomez, R.S. (2006) Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, London, 459 pp. ISBN 1-85233-895-4. 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. PhD thesis, University of Kent.

Preview

This list was generated on Sun May 19 11:23:55 2013 BST.