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

Deciding Differential Privacy for Programs with Finite Inputs and Outputs., , , , and . LICS, page 141-154. ACM, (2020)Deciding Branching Time Logic, and . STOC, page 14-24. ACM, (1984)Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach., , and . POPL, page 117-126. ACM Press, (1983)Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach., and . ACM Trans. Program. Lang. Syst., 19 (4): 617-638 (1997)Temporal Conditions with Retroactive and Proactive Updates., , and . ARTDB, page 122-141. Springer, (1995)Monitoring Temporal Properties of Stochastic Systems., and . VMCAI, volume 4905 of Lecture Notes in Computer Science, page 294-308. Springer, (2008)Symmetry and Model Checking., and . CAV, volume 697 of Lecture Notes in Computer Science, page 463-478. Springer, (1993)Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach., and . CAV, volume 939 of Lecture Notes in Computer Science, page 309-324. Springer, (1995)Decidable and Expressive Classes of Probabilistic Automata., , , and . FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 200-214. Springer, (2015)Querying the Uncertain Position of Moving Objects., , , and . Temporal Databases, Dagstuhl, volume 1399 of Lecture Notes in Computer Science, page 310-337. Springer, (1997)