PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sifakis, Joseph"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for Scheduler Synthesis.

, , , , , and . RTSS, page 154-163. IEEE Computer Society, (1999)

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.

Dr. Joseph Michaels University of Stuttgart

 

Other publications of authors with the same name

Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft., , , , , and . FTCS, page 353-357. IEEE Computer Society, (1996)Using Speed Diagrams for Symbolic Quality Management., , , and . IPDPS, page 1-8. IEEE, (2007)A Framework for Scheduler Synthesis., , , , , and . RTSS, page 154-163. IEEE Computer Society, (1999)Fine Grain QoS Control for Multimedia Application Software., , , and . DATE, page 1038-1043. IEEE Computer Society, (2005)The Algorithmic Analysis of Hybrid Systems., , , , , , , , and . Theor. Comput. Sci., 138 (1): 3-34 (1995)An Example of Specification and Verification in Cesar., , and . The Analysis of Concurrent Systems, volume 207 of Lecture Notes in Computer Science, page 199-210. Springer, (1983)Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems., and . Software Composition, volume 6708 of Lecture Notes in Computer Science, page 51-67. Springer, (2011)On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)., , and . STACS, volume 900 of Lecture Notes in Computer Science, page 229-242. Springer, (1995)Compositional Specification of Timed Systems (Extended Abstract)., and . STACS, volume 1046 of Lecture Notes in Computer Science, page 347-359. Springer, (1996)Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities., , , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 118-134. Springer, (2012)