International Journals

• Graphical Scenarios for Specifying Temporal Properties: an Automated Approach,
  Marco Autili, Paola Inverardi, and Patrizio Pelliccione.
  Automated Software Engineering (ASE) Journal.
  Publisher: Springer Netherlands. ISSN: 0928-8910 (Print) 1573-7535 (Online). DOI: http://dx.medra.org/10.1007/s10515-007-0012-6 Subject Collection: Computer Science. SpringerLink Date Saturday, August 04, 2007
  Download the Journal
  

International Conferences and Workshops

• A Scenario Based Notation for Specifying Temporal Properties,
  M. Autili, P.Inverardi and P. Pelliccione
  In Proceedings of the 2006 international workshop on Scenarios and State Machines: models, algorithms, and tools (SCESM) - ICSE'06, Shanghai, China. Pages: 21-28 ISBN: 1-59593-394-8. Year: 2006. Publisher: ACM Press New York, NY, USA. DOI: http://doi.acm.org/10.1145/1138953.1138959
  
• Towards a Graphical Tool for Refining User to System Requirements,
  M. Autili and P. Pelliccione
  In Proceedings of the 5th GT-VMT'06, Graph Transformation and Visual Modeling Techniques (ETAPS 2006),
  Vienna, Austria, April 2006,
  Publisher: Electronic Notes in Theoretical Computer Science (ENTCS) - Elsevier Science B.V.,
  Volume: 211, Pages: 147-157, (28 April 2008) DOI: http://dx.medra.org/10.1016/j.entcs.2008.04.037
  

PhD Thesis

• Thesis Title: Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios,
  Advisor: Prof. Paola Inverardi
  PhD Program Supervisor: Prof. Michele Flammini
  

Paola ::©www.di.univaq.it/inverard
Marco ::©www.di.univaq.it/marco.autili
Patrizio ::©www.di.univaq.it/pellicci
::last modified: 10th Sep 2005