( en | de | ru )

 

Disambiguation of "Ghezzi, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
From Model Checking to a Temporal Proof for Partial Models.

, , , , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 54-69. Springer, (2017)

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.

Lothar Carlowitz

Teresa Carlomagno

Horst Carlowitz

Hans Carlowitz

Hans Carlowitz

 

Other publications of authors with the same name

RESTful Service Architectures for Pervasive Networking Environments., , and . REST: From Research to Practice, Springer, (2011)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , and . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), volume X of Electronic Communications of the EASST, page 277--290. EASST, European Association of Software Science and Technology, (March 2008)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , and . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, page 507--511. ACM, ACM Press, (July 2002)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., and . Symposium on Testing, Analysis, and Verification, page 112-122. ACM, (1991)Software Qualities and Principles., , and . The Computer Science and Engineering Handbook, CRC Press, (1997)Editorial.. ACM Trans. Softw. Eng. Methodol., 14 (2): 119-123 (2005)Editorial.. ACM Trans. Softw. Eng. Methodol., 16 (1): 2 (2007)Computational REST Meets Erlang., , and . TOOLS (49), volume 6705 of Lecture Notes in Computer Science, page 244-259. Springer, (2011)Version-consistent dynamic reconfiguration of component-based distributed systems., , , , and . SIGSOFT FSE, page 245-255. ACM, (2011)Dealing with changes in service orchestrations., , and . SAC, page 1961-1967. ACM, (2012)