( en | de | ru )

 

Disambiguation of "Bellettini, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic State Space Exploration of RT Systems in the Cloud.

, , , and . SYNASC, page 295-302. IEEE Computer Society, (2012)

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

A comparative assessment of peer-to-peer and server-based configuration management systems, , and . Proceedings of the Workshop on Cooperative Support for Distributed Software Engineering Processes (CSSE'04), page 15--26. Linz, Austria, Austrian Computer Society, (September 2004)SCADA Protocol Obfuscation: A Proactive Defense Line in SCADA Systems, and . Proceedings of the SCADA Security Scientific Symposium 2007, Digital Bond Press, Sunrise, FL, (2007)Validation of Reverse Engineered Web Application Models, , and . International Journal of Computer, Information, Systems and Control Engineering, 1 (4): 1073 - 1076 (2007)Querying UML/XMI Design Information, , and . Flexible Query Answering Systems, volume 7 of Advances in Soft Computing, Physica-Verlag HD, (2001)Querying UML/XML Design Information., , and . FQAS, volume 7 of Advances in Soft Computing, page 538-549. Physica-Verlag Heidelberg New York, A Springer-Verlag Company, (2000)PNemu: An Extensible Modeling Library for Adaptable Distributed Systems., , and . Petri Nets, volume 11522 of Lecture Notes in Computer Science, page 80-90. Springer, (2019)Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components., , and . ACM Trans. Softw. Eng. Methodol., 8 (4): 425-472 (1999)A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems., and . SEC, volume 278 of IFIP, page 285-300. Springer, (2008)Software reuse in-the-small: automating group rewarding., , and . Inf. Softw. Technol., 43 (11): 651-660 (2001)How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students., , , , , and . ITiCSE, page 27-32. ACM, (2015)