( en | de | ru )

 

Disambiguation of "Ghezzi, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Verification of Evolving Cyber-Physical Spaces.

, , and . Software Engineering, volume P-279 of LNI, page 113-114. Gesellschaft für Informatik, (2018)

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.

Teresa Carlomagno

Lothar Carlowitz

Horst Carlowitz

Hans Carlowitz

Hans Carlowitz

 

Other publications of authors with the same name

Workshop on assurances for self-adaptive systems (ASAS 2011)., , , and . SIGSOFT FSE, page 516-517. ACM, (2011)Parallel Execution of Real-Time Petri Nets., , and . Advances in Software Engineering and Knowledge Engineering, volume 2 of Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)A journey through SMScom: self-managing situational computing., and . Comput. Sci. Res. Dev., 28 (4): 267-277 (2013)Software processes: a retrospective and a path to the future., and . Softw. Process. Improv. Pract., 4 (3): 101-123 (1998)Specification Patterns for Robotic Missions., , , , and . CoRR, (2019)Towards spatial macroprogramming for sensing and actuating robot swarms., , and . SenSys, page 37:1-37:2. ACM, (2013)Towards context-oriented programming in wireless sensor networks., , and . UbiComp (Adjunct Publication), page 151-154. ACM, (2013)Supporting configuration management for virtual workgroups ini a peer-to-peer setting., , and . SEKE, page 507-511. ACM, (2002)Using Agents for Multi-target Search on the Web., , and . SAC, page 828-833. ACM, (2003)A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems., , , and . ACM Trans. Softw. Eng. Methodol., 5 (3): 191-230 (1996)