Marco Autili

Book Chapters

• Assessing dependability for mobile and ubiquitous systems: is there a role for software architectures?,
  Marco Autili, Paola Inverardi, Massimo Tivoli.
  In Book: Patterns, Programming and Everything - 2012
  Editors: Nigel Horspool, Karin Breitman.
  Publisher: Springer-Verlag London. Pages: (To Appear)
  
• Run time models in adaptive service infrastructure,
  Marco Autili, Paola Inverardi, Massimo Tivoli.
  In Book: Run-time mOdels for Self-managing Systems and Applications (ROSSA) - 2010
  Editors: Danilo Ardagna, Li Zhang.
  Publisher: Springer Birkhauser's "Autonomic Systems" series. Pages: 125-152
  DOI: http://dx.doi.org/10.1007/978-3-0346-0433-8_6
  
• Service Discovery in Pervasive Computing Environments,
  S. Ben Mokhtar, N. Georgantas, V. Issarny, P. G. Raverdy, M. Autili.
  In Book: At Your Service
  Editors: E. Di Nitto, A.-M. Sassen, P. Traverso, A. Zwegers.
  Publisher: The MIT Press, 55 Hayward st, Cambridge, Massachussets London, England - 2009
  Service Engineering in the Information Society Technologies Program.
  ISBN: 978-0-262-04253-6
  

International Conferences and Workshops

• EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty,
  Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli.
  In Proceedings of European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'11) New Ideas track (acceptance rate 25.58%)
  DOI: http://dx.doi.org/10.1145/2025113.2025199
  Publisher: ACM. Pages: 488–491
  Szeged, Hungary, September 5-9, 2011.
  
• A Development Process for Requirements Based Service Choreography,
  Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie and Massimo Tivoli.
  In Proceedings of Requirements Engineering for Systems, Services and Systems-of-Systems (RESS'11). E-ISBN: 978-1-4577-0941-8 Print ISBN: 978-1-4577-0939-5
  DOI: http://dx.doi.org/10.1109/RESS.2011.6043925
  Publisher: IEEE Digital Library. Pages: 59–62
  Trento, Italy, August 30, 2011.
  
• Towards a Connector Algebra,
  Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska, Massimo Tivoli.
  In Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. (ISoLA 2010), Part II, LNCS 6416/2010.
  DOI: http://dx.doi.org/10.1007/978-3-642-16561-0_28
  Publisher: Springer-Verlag Berlin Heidelberg. Pages: 278–292
  Amirandes, Heraclion, Crete, October 16-22, 2010.
  
• A Programming Model for Adaptable Java Applications,
  Marco Autili, Paolo Di Benedetto, Paola Inverardi.
  In Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010). ISBN: 978-1-4503-0269-2. DOI: http://doi.acm.org/10.1145/1852761.1852779.
  Publisher: ACM New York, NY, USA. Pages: 119-128.
  Vienna, Austria, September 15-17, 2010.
  
• Architecting Service Oriented Middleware for Pervasive Networking Environments,
  Marco Autili, Mauro Caporuscio, Valerie Issarny.
  In Proceeding of the 31st International Conference on Software Engineering (ICSE'09),
  Principles of Engineering Service Oriented Systems (PESOS'09). ISBN: 978-1-4244-3716-0.
  DOI: http://doi.ieeecomputersociety.org/10.1109/PESOS.2009.5068820. Pages: 58-61.
  Vancouver, Canada, May 16-24, 2009.
  
http://doi.ieeecomputersociety.org/10.1109/PESOS.2009.5068820
• Context-aware adaptive services: the PLASTIC approach,
  Marco Autili, Paolo Di Benedetto, Paola Inverardi.
  In Proceeding of the International Conference on Fundamental Approaches to Software Engineering 2009 (FASE'09),
  member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS).
  Book Series: Lecture Notes in Computer Science. Publisher: Springer Berlin / Heidelberg.
  ISSN: 0302-9743 (Print) 1611-3349 (Online). Volume: 5503/2009. ISBN: 978-3-642-00592-3. DOI: http://dx.doi.org/10.1007/978-3-642-00593-0_9.
  Pages: 124-139. York, UK, March 22 - 29, 2009. Publisher: Springer-Verlag Lecture Notes in Computer Science
  
• A Development Process for Context-Aware Adaptive Services,
  M. Autili, P. Di Benedetto, D. Di Ruscio, P. Inverardi, M. Tivoli.
  In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering 2008 (ASE'08),
  Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS'08).
  L'Aquila, Italy, Sept. 16, 2008.
  Publisher: IEEE Digital Library. Pages: 9-16. ISBN: 978-1-4244-2776-5.
  DOI: http://dx.doi.org/10.1109/ASEW.2008.4686288.
• Towards Self-evolving Context-aware Services,
  M. Autili, P. Di Benedetto, P. Inverardi, D. A. Tamburri.
  In Proceedings of the 3rd Federated Conference on Distributed Computing Techniques 2008 (DisCoTec'08), Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS'08).
  Oslo, Norway, June 03, 2008.
  Publisher: Special issue of the Electronic Communications of the EASST (ECEASST), Volume: 11, ISSN:1863-2122.
  
• A Resource-oriented Static Analysis Approach to Adaptable Java Applications,
  M. Autili, P. Di Benedetto, P. Inverardi, F. Mancinelli.
  In Proceedings of the Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), Component-Based Design of Resource-Constrained Systems (CORCS'08).
  Turku, Finland, July 28 - August 1, 2008.
  DOI: http://dx.doi.org/10.1109/COMPSAC.2008.157
  Publisher: IEEE Computer Society Publications.
  
• On the adptation of context-aware services,
  M. Autili, V. Cortellessa, P. Di Benedetto, P. Inverardi.
  In Proceedings of the Service Oriented Computing: a look at the Inside (SOC@Inside'07), ICSOC'07 - Vienna, Austria. Sept. 17, 2007
  ISBN: 978-92-79-06626-9.
  
• A Development Process for Self-Adapting Service Oriented Applications,
  M. Autili, L. Berardinelli, V. Cortellessa, A. Di Marco, D. Di Ruscio, P. Inverardi, and M. Tivoli.
  In Proceedings of the International Conference on Service Oriented Computing (ICSOC 2007) - Vienna, Austria. Sept. 19-20, 2007
  Volume: LNCS 4749. Pages: 442-448. Year: 2007. ISBN: 978-3-540-74973-8. ISSN: 0302-9743. DOI: http://dx.medra.org/10.1007/978-3-540-74974-5 Publisher: Springer-Verlang Berlin/Heidelberg.
  
• SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems,
  M.Autili, P.Inverardi, A.Navarra e M.Tivoli.
  In Proceedings of the International Conference on Software Engineering (ICSE 2007) - Research Tool Demos Track. Minneapolis, MN, USA. May 20-26, 2007
  ISBN: 0270-5257. ISSN: 0-7695-2828-7/07. DOI: http://dx.medra.org/10.1109/ICSE.2007.84
  
• Synthesis of Concurrent and Distributed Adaptors for Component-based Systems,
  Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra and Massimo Tivoli.
  In Proceedings of the European Workshop on Software Architecture (EWSA 2006) Nantes, France, September 4th-5th, 2006. Book Series: Lecture Notes in Computer Science Publisher: Springer Berlin / Heidelberg ISSN: 0302-9743 Subject: Computer Science Volume: Volume 4344/2006 Book: Software Architecture DOI: http://dx.medra.org/10.1007/11966104_3 Copyright: 2006 ISBN: 978-3-540-69271-3 Pages: 17-32
  
• A Conceptual Model for Adaptable Context-aware Services,
  Marco Autili, Vittorio Cortellessa, Antinisca Di Marco and Paola Inverardi
  In Proceedings of Web Services Modeling and Testing (WS-MaTe 2006),
  Palermo, Sicily, ITALY, June 2006
  
• 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 (ICSE 2006), 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
  
• Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach,
  P. Inverardi, L. Mostarda, M. Tivoli and M. Autili.
  In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE2005). November 7-11, 2005. Long Beach, CA. ISBN: 1-59593-993-4. DOI: http://doi.acm.org/10.1145/1101908.1101981 Pages: 405-409. Publisher: ACM Press, New York, NY, USA.
  
  

  * This paper comes togheter with a companion paper where we report and compare related work, and validate the approach by means of an industrial case-study.

• Synthesis of "correct" adaptors for protocol enhancement in component based systems,
  M. Autili, P. Inverardi, M. Tivoli and D. Garlan.
  In Proceedings of Specification and Verification of Component-Based Systems (SAVCBS'04) Workshop at FSE 2004. October 31 - November 1, 2004. Newport Beach (CA), USA. Pages: 79-86.
  
• Automatic adaptor synthesis for protocol transformation,
  M. Autili, P. Inverardi and M. Tivoli.
  In Proceedings of the 1st International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04), held in conjunction with ECOOP2004. Oslo, Norway, June 14, 2004. Pages: 39-46. ISBN: 84-688-6782-9.
  

---

White Paper

• Service Lifecycle Management,
  Marco Autili (Univerity of l’Aquilla, PLASTIC), Antonia Bertolino (CNR-Pisatel, PLASTIC), Christophe Cordier (FTRD, SPICE), Bhushan, Bharat (FOKUS, SPICE), Isabel Ordás (TID, OPUCE), Carlos Baladrón (Universidad de Valladolid, OPUCE), Joe Gorman (Sintef, MIDAS), Erik Klintskog (Appear Networks, MIDAS), Alisa Devlic (Appear Networks, MIDAS).
  Mobile Service Platforms Cluster. Editors: Pierre-Guillaume Raverdy (INRIA, PLASTIC). Publisher: Information Society Technologies - Community Research & Development Information Service (CORDIS). April 20, 2008. http://cordis.europa.eu/ist/ct/proclu/c/msp.htm
  

---

Technical Reports

• Resource-Oriented Analysis for Adaptable Java Programs,
  M. Autili, P. Di Benedetto, P. Inverardi.
  Technical Report of Università degli Studi dell'Aquila - Dipartimento di Informatica.
  L'Aquila, Italy, Jan. 2010.
  
• Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach,
  P.Inverardi, L.Mostarda, M.Tivoli and M.Autili.
  University of L'Aquila, Computer Science Department.
  Technical Report, November 2006.
  
  

  * This paper is a companion paper of the paper published at the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE),
  Long Beach, California, USA, November 7-11, 2005,
  where we report and compare related work, and validate the approach by means of an industrial case-study.

• Static analysis of Java programs,
  M. Autili, P. Di Benedetto, P. Inverardi, F. Mancinelli.
  Technical Report of Università degli Studi dell'Aquila - Dipartimento di Informatica.
  L'Aquila, Italy, Oct. 2008.
  Download the new version
• A reference model for service oriented middleware,
  M. Autili, M. Caporuscio and V. Issarny.
  Technical Report inria-00326479.
  INRIA Paris-Rocquencourt, France, Oct. 2008.
  http://hal.inria.fr/inria-00326479/.
  

---

My 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
  

---