Author of the publication

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.

, , , , , , and . CAV (2), volume 9207 of Lecture Notes in Computer Science, page 180-197. Springer, (2015)

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

Revisiting the Complexity of Stability of Continuous and Hybrid Systems., , and . CoRR, (2014)Escher - a geometrical layout system for recursively defined circuits., and . DAC, page 650-653. IEEE Computer Society Press, (1986)Model Checking and Abstraction., , and . POPL, page 342-354. ACM Press, (1992)Symbolic Model Checking without BDDs., , , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 193-207. Springer, (1999)Effective Axiomatizations of Hoare Logics, , and . J. ACM, 30 (3): 612-636 (July 1983)A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 103-116. Springer, (1990)Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 369-386. Springer, (1998)ProbVerus: Probabilistic Symbolic Model Checking., , and . ARTS, volume 1601 of Lecture Notes in Computer Science, page 96-110. Springer, (1999)SAT-Based Counterexample Guided Abstraction Refinement.. SPIN, volume 2318 of Lecture Notes in Computer Science, page 1. Springer, (2002)Multiple State and Single State Tableaux for Combining Local and Global Model Checking., , and . Correct System Design, volume 1710 of Lecture Notes in Computer Science, page 163-179. Springer, (1999)