Author of the publication

Distributed Priority Inheritance for Real-Time and Embedded Systems.

, , , and . OPODIS, volume 4305 of Lecture Notes in Computer Science, page 110-125. Springer, (2006)

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

A Hierarchy of Temporal Properties., and . PODC, page 377-410. ACM, (1990)Formalization of Properties of Recursively Defined Functions, and . STOC, page 201-210. ACM, (1969)The Optimal Fixedpoint of Recursive Programs, and . STOC, page 194-206. ACM, (1975)Fixpoint Approach to the Theory of Computation., and . ICALP, page 273-291. North-Holland, Amsterdam, (1972)The Origin of the Binary-Search Paradigm., and . IJCAI, page 222-224. Morgan Kaufmann, (1985)What's Decidable About Arrays?, , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 427-442. Springer, (2006)Abstraction and Modular Verification of Infinite-State Reactive Systems., , , , and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 273-292. Springer, (1997)Linear Ranking with Reachability., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 491-504. Springer, (2005)Deductive Model Checking., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 208-219. Springer, (1996)Visual Verification of Reactive Systems., , , and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 334-350. Springer, (1997)