italiano | contact

Special Issues/Journals/Books Proceedings Chapter Technical Report



Marco Autili, Paola Inverardi, and Patrizio Pelliccione. Graphical Scenarios for Specifying Temporal Properties: an Automated Approach, Automated Software Engineering (ASE) journal. DOI 10.1007/s10515-007-0012-6. Volume 14, Number 3 / September, 2007.


M.Tivoli and M.Autili. SYNTHESIS: a tool for synthesizing "correct" and protocol-enhanced adaptors, L'Objet, pagg. 25

Marco Autili, Paola Inverardi, and Patrizio Pelliccione. A Scenario Based Notation for Specifying Temporal Properties, 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06). Shanghai, China, May 27, 2006.

Marco Autili, and Patrizio Pelliccione. Towards a Graphical Tool for Refining User to System Requirements, 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT06), April 1 - 2 2006, Vienna, Austria. Electronic Notes in Theoretical Computer Science Volume 211, 28 April 2008, Pages 147-157. doi:10.1016/j.entcs.2008. 04.037.


M.Autili, P.Inverardi and M.Tivoli. Automatic adaptor synthesis for protocol transformation, In proceedings of 1st International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04), held in conjunction with ECOOP2004, pagg. 6

M.Autili, P.Inverardi, M.Tivoli and D.Garlan. Synthesis of "correct" adaptors for protocol enhancement in component based systems, Proceedings of the Specification and Verification of Component-Based Systems (SAVCBS'04) Workshop at FSE 2004, pagg. 8



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›