Alberto Lluch-Lafuente Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio: A Cooperative Approach for Distributed Task Execution in Autonomic Clouds. PDP 2013: 274-281
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Adaptation is a Game. TinyToCS 2 (2013)
2012
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Inform. 118(1-2): 177-205 (2012)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: A Conceptual Framework for Adaptation. FASE 2012: 240-254
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin: State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Adaptable Transition Systems. WADT 2012: 95-110
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138
2011
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Vandin, Alberto Lluch-Lafuente: Towards a Maude Tool for Model Checking Temporal Graph Properties. ECEASST 41 (2011)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: On Structured Model-Driven Transformations. Int. J. Software and Informatics 5(1-2): 185-206 (2011)
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Alberto Lluch-Lafuente: Evaluating the Performance of Model Transformation Styles in Maude. FACS 2011: 79-96
2010
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comp. Sci. 20: 53-96 (2010)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs. TGC 2010: 205-221
2009
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Alberto Lluch-Lafuente: Ten virtues of structured graphs. ECEASST 18 (2009)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente: On Symbolic Semantics for Name-decorated Contexts. Electr. Notes Theor. Comput. Sci. 229(3): 37-58 (2009)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing: A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: A Graph Syntax for Processes and Services. WS-FM 2009: 46-60
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore: A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75
2008
j9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Style-Based Architectural Reconfigurations. Bulletin of the EATCS 94: 161-180 (2008)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente: Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
2007
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Lluch-Lafuente: Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
2006
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
GianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. Electr. Notes Theor. Comput. Sci. 142: 143-160 (2006)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. Notes Theor. Comput. Sci. 153(2): 135-159 (2006)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Verification of a Spatial Logic for the pi-calculus. Electr. Notes Theor. Comput. Sci. 154(2): 31-46 (2006)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
2005
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Lluch-Lafuente, Ugo Montanari: Quantitative ?-calculus and CTL Based on Constraint Semirings. Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Lluch-Lafuente, Ugo Montanari: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente: Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. POLICY 2005: 181-190
2004
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2-3): 247-267 (2004)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
2001
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): 343-356 (2001)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79

Coauthor Index

1Michele Amoretti
[c25]
2Paolo Baldan
[c5]
3Artur Boronat
[c17]
4Dragan Bosnacki
[j10] [c6]
5Andrea Bracciali
[j12]
6Roberto Bruni
[i1] [c24] [c21] [c20] [j15] [p2] [p1] [c19] [j14] [c18] [c17] [c15] [j13] [j12] [j11] [c14] [c13] [j9] [c11] [c8]
7Antonio Bucchiarone
[c12] [c11]
8Marinos Charalambides
[c3]
9Andrea Corradini
[i1] [c24] [c21] [c20] [p1] [c18] [c5]
10Stefan Edelkamp
[c7] [c4] [j3] [j2] [c2] [j1] [c1]
11Gian Luigi Ferrari (GianLuigi Ferrari)
[j8]
12Paris Flegkas
[c3]
13Howard Foster
[p2]
14Fabio Gadducci
[i1] [j17] [c24] [c23] [c21] [c20] [p1] [j14] [c18] [c16] [c15] [c13] [c10] [j6]
15Stefania Gnesi
[c11]
16Dan Hirsch
[c11] [j7]
17Matthias M. Hölzl
[c14]
18Shahid Jabbar
[c7] [c4]
19Nora Koch
[c14]
20Barbara König
[c5]
21Stefan Leue
[j10] [c6] [j3] [j2] [c2] [j1] [c1]
22Annapaola Marconi
[c12]
23Philip Mayer
[c14]
24José Meseguer
[c22]
25Ugo Montanari
[j15] [p2] [p1] [c18] [c17] [j11] [c14] [j9] [c8] [j5] [j4]
26Generoso Paolillo
[c17]
27George Pavlou
[c3]
28Marco Pistore
[c12]
29Javier Rubio-Loyola
[c3]
30Andreas Schroeder
[c14]
31Stefano Sebastio
[c25]
32Joan Serrat (Joan Serrat-Fernandez)
[c3]
33Emilio Tuosto
[p2] [c8] [j7]
34Andrea Vandin
[i1] [j17] [c24] [c23] [c22] [c21] [c20] [j16] [c16]
35Martin Wirsing
[c14]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 03:04:38 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page