PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Combaz, Jacques"

Author of the publication

copydeleteadd this publication to your clipboard
Correctness of Service Components and Service Component Ensembles.

, , , , , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, 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.

Jacques Aubron University of Stuttgart

 

Other publications of authors with the same name

Using Speed Diagrams for Symbolic Quality Management., , , and . IPDPS, page 1-8. IEEE, (2007)Fine Grain QoS Control for Multimedia Application Software., , , and . DATE, page 1038-1043. IEEE Computer Society, (2005)Local Planning Semantics: A Semantics for Distributed Real-Time Systems., , , and . LITES, 6 (1): 01:1-01:27 (2019)A stochastic approach for fine grain QoS control., and . ESTIMedia, page 115-120. IEEE Computer Society, (2008)Rigorous Component-Based System Design Using the BIP Framework., , , , , , and . IEEE Software, 28 (3): 41-48 (2011)Rigorous design of robot software: A formal component-based approach., , , , and . Robotics and Autonomous Systems, 60 (12): 1563-1578 (2012)Model-based implementation of real-time applications., , and . EMSOFT, page 229-238. ACM, (2010)Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models., , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 359-374. Springer, (2015)QoS control for optimality and safety., , , and . EMSOFT, page 90-99. ACM, (2005)Symbolic quality control for multimedia applications., , , and . Real-Time Systems, 40 (1): 1-43 (2008)