Working and Submitted Papers

1. A framework for quantitative modeling and analysis of highly (re)configurable systems [ draft]

Journal and Conference Papers

1. Aggregation Policies for Tuple Spaces (COORDINATION 2018)[draft]
2. Star-Topology Decoupling in SPIN (SPIN 2018) [draft]
3. Improving availability in distributed tuple spaces via sharing abstractions and replication strategies (PDP 2018)
4. A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds (TOMACS 2018) [pdf]
5. Many-to-many Information Flow Policies (COORDINATION 2017) [pdf draft]
6. Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields (LMCS 2017) [pdf]
7. A coordination language for databases (LMCS 2017) [pdf]
8. Microservices: yesterday, today, and tomorrow (PAUSE 2017)  [draft]
9. Statistical Model Checking for Product Lines (ISOLA 2016) [pdf]
10. Discretionary Information Flow Control for Interaction-Oriented Specifications (Festschrift Meseguer) [pdf draft]
11. Replicating Data for Better Performances in X10 (Festschrift Nielson&Nielson) [pdf draft]
12. Statistical Analysis of Probabilistic Software Product Line Models with Quantitative Constraints (SPLC 2015) [pdf draft]
13. AVOCLOUDY: A Simulator of Volunteer Clouds (SPE) [pdf]
14. Replica-based High-Performance Tuple Space Computing (COORDINATION 2015) [draft pdf]
15. Klaim-DB: A Kernel Language for Distributed Databases (COORDINATION 2015) [pdf]
16. A Fixpoint-based Calculus for Graph-shaped Computational Fields (COORDINATION 2015) [draft pdf]
17. Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking (FMSPLE 2015) [pdf]
18. The SCEL Language: Design, Implementation, Verification (Software Engineering for Collective Autonomic Systems 2015) [pdf]
19. Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation (Software Engineering for Collective Autonomic Systems 2015) [pdf]
20. Tools for Ensemble Design and Runtime (Software Engineering for Collective Autonomic Systems 2015) [pdf]
21. A White Box Perspective on Behavioural Adaptation (Software, Services, and Systems 2015) [pdf]
22. Constraint Design Rewriting (Science of Computer Programming 2015) [pdf draft]
23. Can we efficiently verify concurrent programs under RMMs in Maude? (WRLA 2014) [draft pdf]
24. Programming and Verifying Component Ensembles, (From Programs to Systems - The Systems Perspective in Computing 2014) [draft]
25. Reputation-based Cooperation in the Clouds (IFIP TM 2014) [draft]
26. A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds (SEAMS 2014) [draft]
27. Modelling and analyzing adaptive self-assembling strategies with Maude (Science of Computer Programming 2014) [pdf draft]
28. Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (FMSPLE 2013) [draft]
29. A cooperative approach for distributed task execution in autonomic clouds (PDP 2013) [draft]
30. Adaptation is a Game (TinyToCS 2) [pdf]
31. State Space c-Reductions of Concurrent Systems in Rewriting Logic (ICFEM 2012) [draft]
32. A conceptual Framework for Adaptation (FASE 2012) [pdf]
33. Adaptable Transition Systems, Roberto Bruni (WADT 2012) [pdf draft]
34. Exploiting over- and under-approximations for infinite-state counterpart models (ICGT 20ds12) [draft]
35. Modelling and analyzing adaptive self-assembling strategies with Maude (WRLA 2012) [pdf draft full]
36. Counterpart semantics for a second-order mu-calculus (Fundamenta Informaticae 2012) [draft]
37. Evaluating the performance of model transformations styles in Maude (FACS 2011) [draft]
38. Structured Model-Driven Transformations (International Journal of Software and Informatics 2011) [abstract draft pdf]
39. Towards a Maude Tool for Model Checking Temporal Graph Properties (GT-VMT 2010) [draft]
40. A Lewisian Approach to the Verification of Adaptive Systems (Rivista Italiana di Filosofia Analitica Junior 2011) [abstract pdf]
41. Counterpart semantics for a second-order mu-calculus (ICGT 2010) [abstract pdf draft bib]
42. An algebra of hierarchical graphs and its application to structural encoding (Scientific Annals in Computer Science 2010) [abstract pdf bib draft]
43. Exploiting the hierarchical structure of rule-based specifications for decision planning (FMOODS/FORTE 2010) [abstract pdf draft slides bib]
44. An Algebra of Hierarchical Graphs, Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente (TGC 2010) [abstract pdf bib]
45. On GS-Monoidal Theories for Graphs with Nesting, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari, Graph Transformations and Model-Driven Engineering - The merits of Manfred Nagl [abstract pdf bib]
46. Hierarchical models for service-oriented systems, Roberto Bruni, Fabio Gadducci, Andrea Corradini, Alberto Lluch Lafuente, Ugo Montanari, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing [abstract pdf draft bib]
47. A formal support to business and architectural design for service-oriented systems, Roberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing [abstract pdf draft bib]
48. Ten virtues of structured graphs, Roberto Bruni, Alberto Lluch Lafuente, ECEASST [abstract pdf bib]
49. Partial-Order Reduction for General State Exploring Algorithms, Dragan Bosnacki, Stefan Leue, Alberto Lluch Lafuente, International Journal on Software Tools for Technology Transfer (STTT), Volume 11, Number 1, 2009 [abstract draft pdf]
50. A service-oriented UML profile with formal support, Martin Wirsing, Ugo Montanari, Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch Lafuente, Philip Mayer, and Andreas Schroeder, 7th International joint Conference on Service Oriented Computing ICSOC/ServiceWave 2009 [draft bib slides]
51. A Graph Syntax for Processes and Services, Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente, 9th International Workshop on Web Services and Formal Methods (WS-FM’09) [abstract draft bib slides]
52. A formalisation of Adaptable Pervasive Flows, Antonio Bucchiarone, Alberto Lluch Lafuente, Annapaola Marconi, Marco Pistore, 9th International Workshop on Web Services and Formal Methods (WS-FM’09) abstract draft bib
53. On Symbolic Semantics for Name-decorated Contexts, Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente, 1st Interaction and Concurrency Experience (ICE’08), ENTCS, Volume 229, Issue 3, July 2009 abstract pdf draft bib
54. Style-Based Architectural Reconfigurations, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto,Bulletin of the EATCS, Number 94, February 2008 abstract pdf bib
55. Architectural Design Rewriting as an Architecture Description Language, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, Position paper at the The Rise and Rise of the Declarative Datacentre research meeting, Microsoft Research Cambridge abstract pdf bib slides talk
56. Graph-Based Design and Analysis of Dynamic Software Architectures, Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch Lafuente,Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, Springer LNCS 6065. abstract pdf bib
57. Hierarchical Design Rewriting with Maude, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, 7th International Workshop on Rewriting Logic and its Applications (WRLA’08), Volume 238, Issue 3, Electronic Notes in Theoretical Computer Science, Elsevier. abstract pdf (draft) bib slides
58. Service Oriented Architectural Design, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, 3rd International Symposium on Trustworthy Global Computing (TGC’07), Lecture Notes in Computer Science, Springer Verlag. abstract pdf bib slides1 slides2
59. Towards Model Checking Spatial Properties with SPIN, Alberto Lluch Lafuente, 14th International Workshop on Software Model Checking (SPIN’07), Lecture Notes in Computer Science, Springer Verlag. abstract pdf draft bib slides
60. Graphical Encoding of a Spatial Logic for the pi-calculus, Fabio Gadducci, Alberto Lluch Lafuente, Proceeedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO’07). abstract pdf bib
61. A Temporal Graph Logic for the Verification of Graph Transformation Systems, Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente, WADT’06.abstract pdf bib slides
62. Quantitative mu-calculus and CTL defined over constraint semirings, Alberto Lluch Lafuente, Ugo Montanari, TCS special issue on quantitative aspects of programming languages, Volume 346, Issue 1, November 2005. abstract pdf bib draft
63. Heuristic Search for the Analysis of Graph Transition Systems, Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente, International Conference on Graph Transformation (ICGT’05) abstract pdf bib slides
64. Partial-Order Reduction for General State Exploring Algorithms, Dragan Bosnacki, Stefan Leue, Alberto Lluch Lafuente, Proceedings of the 13th International SPIN Workshop on Model Checking Software (SPIN’05). abstract pdf bib slides
65. A Logic for Application Level QoS, Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto, Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL’05), Elsevier Electronic Notes on Theoretical Computer Science abstract pdf bib
66. Graphical Verification of a Spatial Logic for the pi-calculus, Fabio Gadducci, Alberto Lluch, 1st Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005). abstract pdf bib
67. Cost-Algebraic Heuristic Search Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente, Twentieth National Conference on Artificial Intelligence (AAAI-05). abstract pdf bib slides
68. Action Planning for Graph Transition Systems, Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. In ICAPS’05 Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems. abstract pdf bib slides
69. Using Linear Temporal Logic for Goal-Oriented Policy Refinement Frameworks, Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, Georgu Pavlou, Alberto Lluch-Lafuente, 6th IEEE Workshop on Policies for Distributed Systems and Networks, June 2005. abstract pdf bib slides
70. Partial-order reduction and trail improvement in directed model checking, Stefan Edelkamp, Stefan Leue, Alberto Lluch Lafuente, International Journal on Software Tools for Technology Transfer (STTT), Volume 6, Number 4, November 2004. abstract pdf bib draft
71. A logic for graphs with QoS, Gianluigi Ferrari, Alberto Lluch Lafuente, 1st Workshop on Views On Designing Complex Architectures, September 2004. abstract pdf bib slides
72. Abstraction in Directed Model Checking. Stefan Edelkamp, Alberto Lluch Lafuente, ICAPS Workshop on Connecting Planning Theory with Practice, June 2004. abstract pdf bib
73. Quantitative mu-calculus and CTL based on constraint semirings, Alberto Lluch Lafuente, Ugo Montanari, 2nd Workshop on Quantitative Aspects of Programming Languages, ENTCS, Volume 112, March 2004 . abstract pdf bib slides
74. Directed explicit-state model checking in the validation of communication protocols, Stefan Edelkamp, Stefan Leue, Alberto Lluch Lafuente, International Journal on Software Tools for Technology Transfer (STTT), Volume 5, Numbers 2-3, June 2003. abstract pdf bib draft
75. Symmetry Reduction and Heuristic Search for Error Detection in Model Checking, Alberto Lluch Lafuente, Workshop on Model Checking and Artificial Intelligence, August 2003. abstract pdf bib slides
76. Partial Order Reduction in Directed Model Checking, Alberto Lluch-Lafuente, Stefan Leue and Stefan Edelkamp, Proceedings of the 9th International SPIN Workshop on Model Checking Software, Springer LNCS 2318, Grenoble, April 2002. abstract pdf bib slides
77. Trail-Directed Model Checking, Stefan Edelkamp, Alberto Lluch-Lafuente and Stefan Leue, Proceedings of the 1st Workshop on Software Model Checking 2001, Elsevier ENTCS, Volume 5, Number 3, August 2001. abstract pdf bib slides
78. Directed Explicit Model Checking with HSF-SPIN, Stefan Edelkamp, Alberto Lluch-Lafuente and Stefan Leue, Proc. 8th International SPIN Workshop on Model Checking Software, Springer LNCS 2057, Toronto, May 2001. abstract pdf bib slides
79. Protocol Verification with Heuristic Search, Stefan Edelkamp, Alberto Lluch-Lafuente and Stefan Leue, Proc. AAAI Spring Symposium on Model-Based Validation of Intelligence, AAAI, Stanford, April 2001. abstract pdf bib slides

Thesis

1. Directed Search for the Verification of Communication Protocols, Alberto Lluch Lafuente, PhD Thesis, Freiburger Dokument Server, Institute of Computer Science, University of Freiburg, June 2003. abstract pdf bib slides
2. Analysis of Transport Protocols in Hybrid Networks, Alberto Lluch Lafuente, Master Thesis, June 1999, abstract pdf (short, full) bib slides

Technical Reports

1. Hierarchical graph models of extended core calculi, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Daniele Terreni, Sensoria Deliverable D5a, 2007 abstract pdf bib
2. From Architectural to Behavioural Specifications, Laura Bocchi, Jose Luiz Fiadeiro, Alessandro Lapadula, Alberto Lluch Lafuente, Rosario Pugliese, Francesco Tiezzi, Sensoria Deliverable Th01.b, 2008, abstract pdf bib
3. Relationship Among Case Studies and Theme 1 Results, L. Bocchi, C. Montangero, N. Koch, P. Mayer, A. Schroeder, L. Semini, J. L. Fiadeiro, A. Lopes, R. Bruni, A. Lluch Lafuente, A. Lapadula, R. Pugliese, F. Tiezzi, I. Lanese, C. Guidi and G. Zavattaro, Sensoria Deliverable D8.5, 2008
4. Requirements for Automated Reconfiguration and Specification of Policy Run-time Support
5. Alberto Lluch Lafuente, Laura Bocchi, Roberto Bruni, Jose Luis Fiadeiro, Antonia Lopes, Ugo Montanari, Birna van Riemsdijk, Emilio Tuosto, Martin Wirsing; Sensoria Deliverable D5.3.b, 2007 abstract pdf bib
6. Style-Based Architectural Reconfigurations, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, Technical Report TR-07-17, Dipartimento di Informatica, Università di Pisa, July 2007.abstract ps pdf bib
7. Partial-Order Reduction for General State Exploring Algorithms, Dragan Bosnacki, Stefan Leue, Alberto Lluch Lafuente, Technical Report soft-05-02, Chair for Software Engineering, University of Konstanz, October 2005. abstract pdf bib
8. Abstraction Databases, Stefan Edelkamp, Alberto Lluch Lafuente, Technical Report 196, Institut für Informatik, Universität Freiburg, February 2004, abstract pdf bib
9. First Attempts to Combine Symmetry Reduction and Heuristic Search for Error Detection, Alberto Lluch Lafuente, Technical Report 184, Institut für Informatik , Universität Freiburg, February 2003. abstract pdf bib
10. Partial Order Reduction in Directed Model Checking, Alberto Lluch Lafuente, Stefan Edelkamp, Stefan Leue, Technical Report 162, Institut für Informatik, Universität Freiburg, October 2001. abstract pdf bib
11. Simplified Distributed LTL Model Checking by Localizing Cycles, Alberto Lluch Lafuente, Technical Report 176, Institute of Computer Science, Albert-Ludwings Universität Freiburg, July 2002. abstract pdf bib
12. Directed Explicit-State Model Checking in the Validation of Communication Protocols, Alberto Lluch Lafuente, Stefan Edelkamp, Stefan Leue, Technical Report 161, Institut für Informatik, Universität Freiburg, October 2001 abstract pdf bib