Me

Marco Autili

Dipartimento di Informatica, Università degli Studi dell'Aquila
Via Vetoio, I-67010 L'Aquila (Italy)


 Home  About me  Contacts  Publications     by Me     by Aigaion     by Google  Seminars  Teaching  Curriculum  My Area

Locations of visitors to this page


D-ASAP
CHOReOS web pages
CONNECT web pages
PLASTIC web pages

CHAMELEON project web pages
SYNTHESIS ToolSYNTHESIS
PSC Visual LanguagePSC




International Journals

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
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item

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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item
  • 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. Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item
  • 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
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item

        * 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. Acrobat PDF Full Text Bib Item

  • 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.
    Acrobat PDF Full Text Bib Item
  • 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.
    Acrobat PDF Full Text Bib Item

  • 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
      Acrobat PDF Full Text Bib Item

    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.
      Acrobat PDF Full Text Bib Item
    • 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.
      Acrobat PDF Full Text Bib Item

          * 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, Acrobat PDF Full Text Bib Item
          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.
      Acrobat PDF Full Text Download the new version Acrobat PDF Full Text Bib Item
    • 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/.
      Acrobat PDF Full Text Bib Item


    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
      Acrobat PDF Full Text


::design Marco (mail to)
::last modified: february 01st, 2012