Working and Submitted Papers

  1. Discretionary Information Flow Control for Interaction-Oriented Specifications []
  2. Replicating Data for Better Performances in X10 []

Journal and Conference Papers

  1. Statistical Analysis of Probabilistic Software Product Line Models with Quantitative Constraints (SPLC 2015) []
  2. AVOCLOUDY: A Simulator of Volunteer Clouds (SPE) [pdf]
  3. Replica-based High-Performance Tuple Space Computing (COORDINATION 2015) [ pdf]
  4. Klaim-DB: A Kernel Language for Distributed Databases (COORDINATION 2015) [pdf]
  5. A Fixpoint-based Calculus for Graph-shaped Computational Fields (COORDINATION 2015) [ pdf]
  6. Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking (FMSPLE 2015) []
  7. The SCEL Language: Design, Implementation, Verification (Software Engineering for Collective Autonomic Systems 2015) [pdf]
  8. Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation (Software Engineering for Collective Autonomic Systems 2015) [pdf]
  9. Tools for Ensemble Design and Runtime (Software Engineering for Collective Autonomic Systems 2015) [pdf]
  10. A White Box Perspective on Behavioural Adaptation (Software, Services, and Systems 2015) [pdf]
  11. Constraint Design Rewriting (Science of Computer Programming 2015) [ ]
  12. Can we efficiently verify concurrent programs under RMMs in Maude? (WRLA 2014) [ pdf]
  13. Programming and Verifying Component Ensembles, (From Programs to Systems – The Systems Perspective in Computing 2014) []
  14. Reputation-based Cooperation in the Clouds (IFIP TM 2014) []
  15. A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds (SEAMS 2014) []
  16. Modelling and analyzing adaptive self-assembling strategies with Maude (Science of Computer Programming 2014) [ ]
  17. Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (FMSPLE 2013) []
  18. A cooperative approach for distributed task execution in autonomic clouds (PDP 2013) []
  19. Adaptation is a Game (TinyToCS 2) []
  20. State Space c-Reductions of Concurrent Systems in Rewriting Logic (ICFEM 2012) []
  21. A conceptual Framework for Adaptation (FASE 2012) [pdf]
  22. Adaptable Transition Systems, Roberto Bruni (WADT 2012) [ ]
  23. Exploiting over- and under-approximations for infinite-state counterpart models (ICGT 20ds12) []
  24. Modelling and analyzing adaptive self-assembling strategies with Maude (WRLA 2012) [pdf  ]
  25. Counterpart semantics for a second-order mu-calculus (Fundamenta Informaticae 2012) []
  26. Evaluating the performance of model transformations styles in Maude (FACS 2011) []
  27. Structured Model-Driven Transformations (International Journal of Software and Informatics 2011) [abstract ]
  28. Towards a Maude Tool for Model Checking Temporal Graph Properties (GT-VMT 2010) []
  29. A Lewisian Approach to the Verification of Adaptive Systems (Rivista Italiana di Filosofia Analitica Junior 2011) [ ]
  30. Counterpart semantics for a second-order mu-calculus (ICGT 2010) [abstract bib]
  31. An algebra of hierarchical graphs and its application to structural encoding (Scientific Annals in Computer Science 2010) [abstract bib ]
  32. Exploiting the hierarchical structure of rule-based specifications for decision planning (FMOODS/FORTE 2010) [abstract bib]
  33. An Algebra of Hierarchical Graphs, Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente (TGC 2010) [abstract bib]
  34. 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 [ ]
  35. 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 [  bib]
  36. 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 [  bib]
  37. Ten virtues of structured graphs, Roberto Bruni, Alberto Lluch Lafuente, ECEASST [abstract bib]
  38. 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 [ ]
  39. 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 [ bib ]
  40. 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 bib ]
  41. 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 bib
  42. 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
  43. Style-Based Architectural Reconfigurations, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto,Bulletin of the EATCS, Number 94, February 2008 abstract bib
  44. Architectural Design Rewriting as an Architecture Description Language, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, Position paper at the research meeting, Microsoft Research Cambridge abstract bib
  45. 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 bib
  46. 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 ()
  47. 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
  48. 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.  bib
  49. 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 bib
  50. A Temporal Graph Logic for the Verification of Graph Transformation Systems, Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente, WADT’06.abstract bib
  51. 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.  bib
  52. Heuristic Search for the Analysis of Graph Transition Systems, Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente, International Conference on Graph Transformation (ICGT’05) abstract bib
  53. 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 bib
  54. 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  bib
  55. 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 bib
  56. Cost-Algebraic Heuristic Search Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente, Twentieth National Conference on Artificial Intelligence (AAAI-05). abstract bib
  57. 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 bib slides
  58. 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 bib slides
  59. 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.  bib
  60. A logic for graphs with QoS, Gianluigi Ferrari, Alberto Lluch Lafuente, 1st Workshop on Views On Designing Complex Architectures, September 2004. abstract bib
  61. Abstraction in Directed Model Checking. Stefan Edelkamp, Alberto Lluch Lafuente, ICAPS Workshop on Connecting Planning Theory with Practice, June 2004. abstract bib
  62. 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 bib
  63. 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.  bib
  64. Symmetry Reduction and Heuristic Search for Error Detection in Model Checking, Alberto Lluch Lafuente, Workshop on Model Checking and Artificial Intelligence, August 2003. abstract bib
  65. 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 bib
  66. 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.  bib
  67. 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 bib
  68. 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 bib

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 bib
  2. Analysis of Transport Protocols in Hybrid Networks, Alberto Lluch Lafuente, Master Thesis, June 1999, abstract pdf (, ) bib

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  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 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 bib
  8. Abstraction Databases, Stefan Edelkamp, Alberto Lluch Lafuente, Technical Report 196, Institut für Informatik, Universität Freiburg, February 2004, abstract 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

Copyright note. As a contributing author of the articles listed in my web site, I have made available draft versions of these works electronically to ensure timely dissemination of scientific and technical contributions on a non-commercial basis. Nevertheless, copyright and all rights therein are maintained by the corresponding copyright holders. It is understood that all persons accessing this information will adhere to the appropriate copyright rules. In particular, these works may not be reposted without the explicit permission of the copyright holder.