( en | de | ru )

 

Disambiguation of "Ghezzi, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
Workshop on assurances for self-adaptive systems (ASAS 2011).

, , , and . SIGSOFT FSE, page 516-517. ACM, (2011)

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

Model-based verification of quantitative non-functional properties for software product lines., and . Inf. Softw. Technol., 55 (3): 508-524 (2013)Compiler Testing using a Sentence Generator., , , , , and . Softw. Pract. Exp., 10 (11): 897-918 (1980)RESTful Service Architectures for Pervasive Networking Environments., , and . REST: From Research to Practice, Springer, (2011)Software Qualities and Principles., , and . The Computer Science and Engineering Handbook, CRC Press, (1997)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., and . Symposium on Testing, Analysis, and Verification, page 112-122. ACM, (1991)ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking, , , and . Advanced Web Services, Springer, New York, (2013)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)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)Optimizing Service Selection and Allocation in Situational Computing Applications., , , and . IEEE Trans. Serv. Comput., 6 (3): 414-428 (2013)Towards Agile Verification., , and . Perspectives on the Future of Software Engineering, page 31-47. Springer, (2013)