Background Research PDF Print E-mail


Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: KLAIM: A Kernel Language for Agents Interaction and Mobility.  IEEE Transactions on Software Engineering, vol. 24, no. 5, pp. 315-330, May, 1998.


Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: MetaKlaim: a type safe multi-stage language for global computing. Mathematical Structures in Computer Science, vol. 14, no. 3, pp. 367-395, Cambridge University Press, 2004.


Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. Proc. of FoSSaCS 2005. LNCS vol. 3441, pp. 1-24. Springer 2005.

Matthias Hölzl. A framework for dynamic service-oriented architectures. In JonL White, editor, Proceedings of the 25th International Lisp Conference. Association of Lisp Users, 2005.


S. Dobson, S. Denazis, A. Fernandez, D. Gaiti, E. Gelenbe, F. Massacci, P. Nixon, F. Saffre, N. Schmidt, F. Zambonelli, "A Survey of Autonomic Communications", ACM Transactions on Autonomous and Adaptive Systems, 1(2), November 2006.


Maria Grazia Buscemi, Ugo Montanari: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. Proc. of ESOP 2007. LNCS vol. 4421, pp. 18-32. Springer 2007.

R. De Nicola, J.-P. Katoen, D. Latella, M. Loreti, and M. Massink. Model Checking Mobile Stochastic Logic. Theoretical Computer Science. Elsevier, 382(1):42--70, 2007.


Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. Proc. of WADT 2008. LNCS vol. 5486, pp. 37-55. Springer 2008.

Paolo Baldan, Andrea Corradini, Barbara König: Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models. LNCS vol. 5065, pp. 16-36. Springer, 2008.

M. Bravetti, D. Latella, M. Loreti, M. Massink, and G. Zavattaro. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. In C. Kaklamanis and F. Nielson, editors, Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers, volume 5474 of LNCS, pages 52--68. Springer, 2009.

Simon Dobson and Paddy Nixo, Stable autonomic adaptation: a grand challenge, Proceedings of the Third IEEE Workshop on Hot Topics for Autonomic Computing (HotAC'08), 2008.

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing: Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms 2008: 1-44.

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing: Software Engineering for Ensembles.Software-Intensive Systems and New Computing Paradigms 2008: 45-63.

Philip Mayer, Andreas Schroeder, Nora Koch. MDD4SOA: Model-Driven Service Orchestration. The 12th IEEE International EDOC Conference (EDOC 2008). pp. 203-212. IEEE Computer Society. 2008.

R. Quitadamo, F. Zambonelli, Autonomic Communication Service: a New Challenge for Software Agents, Journal of Autonomous Agents and Multiagent Systems, 17(3), 2008.

Martin Wirsing, Laura Bocchi, Allan Clark, José Luis Fiadeiro, Stephen Gilmore, Matthias Hölzl, Nora Koch, Rosario Pugliese and Andreas Schroeder. SENSORIA: Engineering for Service-Oriented Overlay Computers. In At your service: Service Engineering in the Information Society Technologies Program, Elisabetta di Nitto, Anne-Marie Sassen, Paolo Traverso and Arian Zwegers (Eds.), ISBN 978-0-262-04253-6, MIT Press 2008. 

Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions Springer 2008.


L. Cernuzzi, A. Molesini, A. Omicini, F. Zambonelli, Adaptable Multiagent Organizations: the Case of the GAIA Methodology, Journal of Software Engineering and Knowledge Engineering, 2009.

Gaudin, B. and Nixon, P. and Bines, K. and Busacca, F. and Casey. Model Bootstrapping for Auto-Diagnosis of Enterprise Systems. Proceedings of the International Conference on Computational Intelligence and Software Engineering (CiSE). December 2009.

R. De Nicola, D.Latella, M.Loreti, and M.Massink. On a Uniform Framework for the Definition of Stochastic Process Languages. In M. Alpuente, B. Cook, and C. Joubert, editors, Formal Methods for Industrial Critical Systems - FMICS 2009, volume 5825 of LNCS, pages 9--25. Springer-Verlag, 2009.

R. De Nicola, D. Latella, M. Loreti, and M. Massink. Rate-based Transition Systems for Stochastic Process Calculi. In Albers S., A.Marchetti-Spaccamela, Y.Matias, S.Nikoletseas, and W.~Thomas, editors, Automata, Languages and Programming. Part II, volume 5556 of LNCS, pages 435--446. Springer-Verlag, 2009.

Emil Vassev and Mike Hinchey. ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer, Volume 42 (6), June 2009, pp. 106-109.

Emil Vassev, Mike Hinchey, and Aaron Quigley. Model Checking for Autonomic Systems Specified with ASSL. Proceedings of the First NASA Formal Methods Symposium (NFM 2009). NASA, 2009, pp.16-25.


Sebastian Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker. On Weak Modal Compatibility, Refinement, and the MIO Workbench. Proceedings of Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 20-28, 2010, Paphos, Cyprus.

N. Bicocchi, M. Baumgarten, N. Bruglja, R. Kusber, M. Mamei, M. Mulvenna, F. Zambonelli, "Towards Self-organized Data Ecologies for Pervasive Services: The Knowledge Networks Approach", IEEE Transactions on Systems, Man, and Cybernetics, 2010.

Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. Proc. of FMOODS/FORTE 2010. LNCS vol. 6117, pp. 2-16. Springer 2010.

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Event based choreography. Sci. Comput. Program. 75(10): 848-878 (2010).

Rolf Hennicker, Stephan Janisch, Alexander Knapp. Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. C. Choppy and O. Sokolsky (eds.): Monterey Workshop 2008, LNCS 6028, pp. 154-180. Springer, Heidelberg, 2010.

M. Mamei, F. Zambonelli, Programming Pervasive and Mobile Computing Applications: the TOTA Approach, ACM Transactions on Software Engineering and Methodology, 18(4), 2009.

Philip Mayer, Ivan Ráth. D7.4.d: Report on the Sensoria Development Environment (SDE). Third version. Deliverable for the EU project Sensoria, Reporting Period October 2008 - February 2010.

Last Updated on Thursday, 08 November 2012 22:47