Search the dblp DataBase

Publications of Author

1. Rodolfo Gómez, Howard Bowman
   Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. [Citation Graph (0, 0)][DBLP]
   FORTE, 2003, pp:177-192 [Conf]
   
2. Rodolfo Gómez, Juan Carlos Augusto
   Durative Events in Active Databases. [Citation Graph (0, 0)][DBLP]
   ICEIS (1), 2004, pp:306-311 [Conf]
   
3. Juan Carlos Augusto, Rodolfo Gómez
   A temporal logic view of paradigm models. [Citation Graph (0, 0)][DBLP]
   SEKE, 2002, pp:497-503 [Conf]
   
4. Rodolfo Gómez, Juan Carlos Augusto, Antony Galton
   Testing an Event Specification Language. [Citation Graph (0, 0)][DBLP]
   SEKE, 2001, pp:341-345 [Conf]
   
5. Howard Bowman, Rodolfo Gómez, Li Su
   A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:25-47 [Journal]
   
6. Howard Bowman, Rodolfo Gómez
   How to stop time stopping. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:4, pp:459-493 [Journal]
   
7. Juan Carlos Augusto, Rodolfo Gómez
   A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2003, v:13, n:6, pp:627-654 [Journal]
   
8. Rodolfo Gómez, Howard Bowman
   PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:105-148 [Journal]
   
9. Rodolfo Gómez, Howard Bowman
   Efficient Detection of Zeno Runs in Timed Automata. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2007, pp:195-210 [Conf]
   
10. 
    A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. [Citation Graph (, )][DBLP]