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: 19.

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. (Full text available)
[img]
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. (Full text available)
[img]
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. (Full text available)
[img]
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. (Full text available)
[img]
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 (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 Bowman, H. (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK (Full text available)
[img]
Preview

Gomez, R.S. and Bowman, H. (2005) Discrete Timed Automata. Technical report. UKC (Full text available)
[img]
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 (Full text available)
[img]
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, 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 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. (Full text available)
[img]
Preview

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)

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)

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. Doctor of Philosophy (Ph.D.) thesis, University of Kent. (Full text available)
[img]
Preview

This list was generated on Sat Apr 19 00:32:00 2014 BST.