PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ghezzi, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
TRIO: A logic language for executable specifications of real-time systems.

, , and . Journal of Systems and Software, 12 (2): 107-123 (1990)

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.

Carlo Sibold University of Stuttgart

Carlo Cossu

Carlo Schmidt University of Stuttgart

Carlo Golini University of Stuttgart

Dr. -Ing. Carlo Sigolotto University of Stuttgart

 

Other publications of authors with the same name

Fundamental Approaches to Software Engineering., and . Sci. Comput. Program., 40 (1): 1-2 (2001)Optimizing Service Selection and Allocation in Situational Computing Applications., , , and . IEEE Trans. Services Computing, 6 (3): 414-428 (2013)Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking., and . SPLC, page 170-174. IEEE Computer Society, (2011)Performance-driven dynamic service selection., , , and . Concurrency and Computation: Practice and Experience, 27 (3): 633-650 (2015)Engineering Future Internet applications: The Prime approach., and . Journal of Systems and Software, (2015)Editorial., , and . Computing, 95 (3): 165-166 (2013)A Unified High-Level Petri Net Formalism for Time-Critical Systems., , , and . IEEE Trans. Software Eng., 17 (2): 160-172 (1991)Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification., , , and . Conquering Complexity, Springer, (2012)RESTful Service Architectures for Pervasive Networking Environments., , and . REST: From Research to Practice, Springer, (2011)Model-based verification of quantitative non-functional properties for software product lines., and . Information & Software Technology, 55 (3): 508-524 (2013)