Alberto Lluch-Lafuente

	2012
37		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: A Conceptual Framework for Adaptation. FASE 2012: 240-254
	2011
36		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
35		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
34		Andrea Vandin, Alberto Lluch-Lafuente: Towards a Maude Tool for Model Checking Temporal Graph Properties. ECEASST 41: (2011)
33		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: On Structured Model-Driven Transformations. Int. J. Software and Informatics 5(1-2): 185-206 (2011)
	2010
32		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
31		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
30		Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297
29		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs. TGC 2010: 205-221
28		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)
	2009
27		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
26		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: A Graph Syntax for Processes and Services. WS-FM 2009: 46-60
25		Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore: A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75
24		Roberto Bruni, Alberto Lluch-Lafuente: Ten virtues of structured graphs. ECEASST 18: (2009)
23		Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente: On Symbolic Semantics for Name-decorated Contexts. Electr. Notes Theor. Comput. Sci. 229(3): 37-58 (2009)
22		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
21		Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
	2008
20		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
19		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Style-Based Architectural Reconfigurations. Bulletin of the EATCS 94: 161-180 (2008)
	2007
18		Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
17		Alberto Lluch-Lafuente: Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242
16		Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
	2006
15		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
14		Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
13		Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
12		GianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. Electr. Notes Theor. Comput. Sci. 142: 143-160 (2006)
11		Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. Notes Theor. Comput. Sci. 153(2): 135-159 (2006)
10		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)
	2005
9		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
8		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
7		Alberto Lluch-Lafuente, Ugo Montanari: Quantitative ?-calculus and CTL Based on Constraint Semirings. Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005)
6		Alberto Lluch-Lafuente, Ugo Montanari: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
	2004
5		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)
4		Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)
	2002
3		Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
	2001
2		Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
1		Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): 343-356 (2001)

Coauthor Index

1	Paolo Baldan	[13]
2	Artur Boronat	[32]
3	Dragan Bosnacki	[14] [21]
4	Andrea Bracciali	[23]
5	Roberto Bruni	[16] [19] [20] [22] [23] [24] [26] [27] [28] [29] [31] [32] [33] [35] [36] [37]
6	Antonio Bucchiarone	[20] [25]
7	Marinos Charalambides	[8]
8	Andrea Corradini	[13] [31] [35] [37]
9	Stefan Edelkamp	[1] [2] [3] [4] [5] [9] [15]
10	Gian Luigi Ferrari (GianLuigi Ferrari)	[12]
11	Paris Flegkas	[8]
12	Howard Foster	[36]
13	Fabio Gadducci	[10] [18] [26] [28] [29] [30] [31] [35] [37]
14	Stefania Gnesi	[20]
15	Dan Hirsch	[11] [20]
16	Matthias M. Hölzl	[27]
17	Shahid Jabbar	[9] [15]
18	Nora Koch	[27]
19	Barbara König	[13]
20	Stefan Leue	[1] [2] [3] [4] [5] [14] [21]
21	Annapaola Marconi	[25]
22	Philip Mayer	[27]
23	Ugo Montanari	[6] [7] [16] [19] [22] [27] [31] [32] [33] [35] [36]
24	Generoso Paolillo	[32]
25	George Pavlou	[8]
26	Marco Pistore	[25]
27	Javier Rubio-Loyola	[8]
28	Andreas Schroeder	[27]
29	Joan Serrat (Joan Serrat-Fernandez)	[8]
30	Emilio Tuosto	[11] [16] [36]
31	Andrea Vandin	[30] [34] [37]
32	Martin Wirsing	[27]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page