italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

1   

2007

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.

2006

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.

2004

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

 
 
 
 

Organization

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

continua ›
 
 
 
 

Publications

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

continua ›
 
 
 
 

Job Postings

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

continua ›