Marco Autili
Dipartimento di Informatica, Università degli Studi dell'Aquila
Via Vetoio, I-67010 L'Aquila (Italy)
SYNTHESIS
PSC
Publications of Marco Autili
2012
| , and , Assessing dependability for mobile and ubiquitous systems: is there a role for software architectures?, Springer-Verlag London, volume ''Patterns, Programming and Everything'', 2012 |
| , and , Hybrid Approach for Resource-based Comparison of Adaptable Java Applications (2012), in: Journal of Science of Computer Programming (SCP) - Special issue of BElgian-NEtherlands software eVOLution seminar (BENEVOL) on Software Evolution, Adaptability and Maintenance |
2011
| , , , and , A Development Process for Requirements Based Service Choreography, in: Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), Luciano Baresi, Liliana Pasquale, Neil Maiden, and James Lockerbie, IEEE Digital Library, 2011 |
[DOI] |
| , , and , Developing highly complex distributed systems: A software engineering perspective (2011), in: Journal of Internet Services and Applications (JISA), Special issue: FOME - The Future of Middleware |
[DOI] |
, , , , and , EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty, in: ESEC/FSE 2011 New Ideas track, 2011
|
[DOI] |
| , , , , , , and , Service-Oriented Middleware for the Future Internet: State of the Art and Research Directions (2011), in: Journal of Internet Services and Applications (JISA)(1-23) |
[DOI] |
2010
| , and , A Programming Model for Adaptable Java Applications, in: 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), Vienna, Austria, pages 119--128, ACM New York, NY, USA, 2010 |
[DOI] |
| , and , Run time models in adaptive service infrastructure, Springer Birkhauser's "Autonomic Systems" series -, 2010 |
[DOI] |
| , , , and , Towards a Connector Algebra, in: 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation, pages 278-292, LNCS, 2010 |
[DOI] |
2009
| , and , Architecting Service Oriented Middleware for Pervasive Networking Environments, in: Proc. of the 31st International Conference on Software Engineering (ICSE'09), Principles of Engineering Service Oriented Systems (PESOS'09), Vancouver, Canada, pages 58-61, 2009 |
[DOI] |
| , , , and , At Your Service, chapter Service Discovery in Pervasive Computing Environments, The MIT Press, 55 Hayward st, Cambridge, Massachussets London, England, Service Engineering in the Information Society Technologies Program, 2009 |
|
| , and , Context-Aware Adaptive Services: The PLASTIC Approach., in: FASE, pages 124-139, Springer, 2009 |
[DOI] [URL] |
2008
| , , , and , A Development Process for Context-Aware Adaptive Services, in: 23rd IEEE/ACM International Conference on Automated Software Engineering 2008 (ASE'08), Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS'08), pages 9-16, IEEE, 2008 |
[DOI] |
| , and , A Reference Model for Service Oriented Middleware, INRIA Paris-Rocquencourt, number inria-00326479, 2008 |
|
| , , and , A Resource-oriented Static Analysis Approach to Adaptable Java Applications., in: Proc. of the IEEE/COMPSAC'08, Component-Based Design of Resource-Constrained Systems (CORCS'08), 2008 |
[DOI] |
| , and , Resource oriented static analysis of Java programs, University of L'Aquila, number univaq-1243, http://www.di.univaq.it/chameleon/output/download.php?fileID=1243, 2008 |
|
| , , , , , , , and , Service Lifecycle Management, Information Society Technologies - Community Research & Development Information Service (CORDIS), 2008 |
[URL] |
, , and , Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems (2008), in: Journal of Systems and Software, 81:12(2210-2236)
|
[DOI] |
| , Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios, University of L'Aquila, Computer Science Department, 2008 |
[URL] |
| and , Towards a Graphical Tool for Refining User to System Requirements, pages 147-157, 2008 |
[DOI] |
| , , and , Towards Self-evolving Context-aware Services (2008), in: ECEASST journal: Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS), DisCoTec'08, 11 |
[URL] |
2007
| , , , , , and , A Development Process for Self-Adapting Service Oriented Applications, in: International Conference on Service Oriented Computing (ICSOC 2007), pages 442-448, Springer, 2007 |
[DOI] |
, and , Graphical Scenarios for Specifying Temporal Properties : an Automated Approach (2007), in: Automated Software Engineering, Volume 14, Number 3(293-340)
|
[DOI] |
| , , and , On the adptation of context-aware services, in: Proceedings of the International Workshop on Service Oriented Computing: a look at the Inside (SOC@Inside'07 colocated with ICSOC'07), Vienna, Austria, 2007 |
|
| , , and , SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, in: ICSE, pages 784-787, 2007 |
[URL] |
2006
| , , and , A Conceptual Model for Adaptable Context-aware Services, in: Proceedings of the International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 15--33, 2006 |
|
, and , A Scenario Based Notation for Specifying Temporal Properties, in: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai, China, 2006
|
|
| , , , and , Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems, in: EWSA, pages 17-32, 2006 |
[DOI] |
| , and , Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach, University of L'Aquila, Computer Science Department, number univaq-24, 2006 |
[URL] |
| and , SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors (2006), in: L'OBJET, 12:1(77-103) |
[URL] |
2005
| , , and , Synthesis of correct and distributed adaptors for component-based systems: an automatic approach, in: ASE, pages 405-409, 2005 |
[DOI] |
2004
| , and , Automatic adaptor synthesis for protocol transformation, in: proceedings of the 1st International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04), held in conjunction with ECOOP2004. Oslo, Norway, pages 39-46, 2004 |
|
, , and , Synthesis of correct adaptors for protocol enhancement in component based systems, in: proceedings of Specification and Verification of Component-Based Systems (SAVCBS'04 Workshop at FSE 2004). Newport Beach (CA), USA, pages 79-86, 2004
|
|
Copyright Notices for the Listed Publications
| ACM | Copyright by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org. |
| IEEE | This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. |
| Springer | The following copyright notice applies to all papers published in the Lecture Notes in Computer Science by Springer-Verlag, as mentioned in the Copyright Form. The Author may publish his/her contribution on his/her personal Web page provided that he/she creates a link to the above mentioned volume of LNCS at the Springer-Verlag server or to the LNCS series homepage, and that together with this electronic version it is clearly pointed out, by prominently adding "Copyright Springer-Verlag", that the copyright for this contribution is held by Springer. |
::design Marco (mail to)
::last modified: february 01st, 2012