Luca Cesari

According to our database, Luca Cesari authored at least 4 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Self-expression and Dynamic Attribute-Based Ensembles in SCEL.

Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Blind-date Conversation Joining.

Luca Cesari, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Formalising Adaptation Patterns for Autonomic Ensembles.

Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2010

A tool for rapid development of WS-BPEL applications.

Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010