Author of the publication

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

Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , and . FORMAL METHODS IN SYSTEM DESIGN, page 2000. (2000)Decision procedures for term algebras with integer constraints., , and . Inf. Comput., 204 (10): 1526-1574 (2006)Deductive verification of alternating systems., , and . Formal Aspects Comput., 20 (4-5): 507-560 (2008)Visual Verification of Reactive Systems., , , and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 334-350. Springer, (1997)Linear Ranking with Reachability., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 491-504. Springer, (2005)What's Decidable About Arrays?, , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 427-442. Springer, (2006)Diagram-based verification of discrete, real-time and hybrid systems.. Stanford University, USA, (1999)Preface., , , and . RV@CAV, volume 144 of Electronic Notes in Theoretical Computer Science, page 1. Elsevier, (2005)Fixed Point Iteration for Computing the Time Elapse Operator., , and . HSCC, volume 3927 of Lecture Notes in Computer Science, page 537-551. Springer, (2006)The Reaction Algebra: A Formal Language for Event Correlation., , , and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 596-619. Springer, (2008)