Author of the publication

Presburger liveness verification of discrete timed automata.

, , and . Theor. Comput. Sci., 299 (1-3): 413-438 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bounded satisfiability checking of metric temporal logic specifications., , and . ACM Trans. Softw. Eng. Methodol., 22 (3): 20:1-20:54 (2013)An SMT-based approach to satisfiability checking of MITL., , and . Inf. Comput., (2015)Counter machines, Petri Nets, and consensual computation., and . Theor. Comput. Sci., (2017)A logical characterization of timed regular languages., , and . Theor. Comput. Sci., (2017)Bounded Reachability for Temporal Logic over Constraint Systems, , , , , and . CoRR, (2010)Deciding the Satisfiability of MITL Specifications., , and . GandALF, volume 119 of EPTCS, page 64-78. (2013)Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework., , and . ISPDC, page 203-210. IEEE Computer Society, (2007)Some Structural Properties of Associative Language Descriptions., , and . ICTCS, volume 2202 of Lecture Notes in Computer Science, page 172-183. Springer, (2001)An Object-Oriented Logic Language for Modular System Specification., and . ECOOP, volume 512 of Lecture Notes in Computer Science, page 39-58. Springer, (1991)Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems., , , and . Sci. Comput. Program., 20 (1-2): 141-171 (1993)