papers
2010
- Counterpart semantics for a second-order mu-calculus
Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
International Conference on Graph Transformation (ICGT’10)
draft - An algebra of hierarchical graphs and its application to structural encoding
Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente
Scientific Annals in Computer Science
pdf bib draft - Exploiting the hierarchical structure of rule-based spefi cations for decision planning
Artur Boronat, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Generoso Paolillo
International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE’10)
abstract pdf draft slidesbib - An Algebra of Hierarchical Graphs
Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente
5th Symposium on Trustworthy Global Computing (TGC’10)
abstract pdf bib
- 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 bib
- 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 bib
2009
- Ten virtues of structured graphs
Roberto Bruni, Alberto Lluch Lafuente, ECEASST
abstract pdf bib - 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 pdf bib draft - 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
abstract draft bib slides - 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 - 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 - 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
2008
- Style-Based Architectural Reconfigurations
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, Bulletin of the EATCS, Number 94, February 2008.
abstract pdf bib - 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 - 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 - 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
2007
- 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 - 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 bib slides - 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
2006
- 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
2005
- 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 - 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 - 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 - 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 - 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 - Cost-Algebraic Heuristic Search
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch Lafuente, Twentieth National Conference on Artificial Intelligence (AAAI-05).
abstract pdf bib slides - 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 - 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
2004
- 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 - 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 - Abstraction Databases in Theory and Model Checking Practice
Stefan Edelkamp, Alberto Lluch Lafuente, ICAPS Workshop on Connecting Planning Theory with Practice, June 2004.
abstract pdf bib - 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
2003
- 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 - 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
2002
- 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
2001
- 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 - 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 - 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 - 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
Thesis
- 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 - Analysis of Transport Protocols in Hybrid Networks
Alberto Lluch Lafuente, Master Thesis, June 1999.
abstract pdf (short, full) bib slides
Technical Reports
- Hierarchical graph models of extended core calculi
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Daniele Terreni, Sensoria Deliverable D5a, 2007
abstract pdf bib - 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 - 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
abstract pdf bib - Requirements for Automated Reconfiguration and Specification of Policy Run-time Support
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 - 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 - 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 - Abstraction Databases
Stefan Edelkamp, Alberto Lluch Lafuente, Technical Report 196, Institut für Informatik, Universität Freiburg, February 2004.
abstract pdf bib - 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 - 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 - 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.
