Alberto Lluch-Lafuente

2008
19	EE	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
18	EE	Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
17	EE	Alberto Lluch-Lafuente: Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242
16	EE	Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
2006
15	EE	Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
14	EE	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
13	EE	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	EE	GianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. Electr. Notes Theor. Comput. Sci. 142: 143-160 (2006)
11	EE	Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto: A Logic for Application Level QoS. Electr. Notes Theor. Comput. Sci. 153(2): 135-159 (2006)
10	EE	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	EE	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	EE	Alberto Lluch-Lafuente, Ugo Montanari: Quantitative ?-calculus and CTL Based on Constraint Semirings. Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005)
6	EE	Alberto Lluch-Lafuente, Ugo Montanari: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
2004
5	EE	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	EE	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	EE	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
2001
2	EE	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
1	EE	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): (2001)

Coauthor Index

1	Paolo Baldan	[13]
2	Dragan Bosnacki	[14]
3	Roberto Bruni	[16] [19]
4	Antonio Bucchiarone	[19]
5	Marinos Charalambides	[8]
6	Andrea Corradini	[13]
7	Stefan Edelkamp	[1] [2] [3] [4] [5] [9] [15]
8	Gian Luigi Ferrari (GianLuigi Ferrari)	[12]
9	Paris Flegkas	[8]
10	Fabio Gadducci	[10] [18]
11	Stefania Gnesi	[19]
12	Dan Hirsch	[11] [19]
13	Shahid Jabbar	[9] [15]
14	Barbara König	[13]
15	Stefan Leue	[1] [2] [3] [4] [5] [14]
16	Ugo Montanari	[6] [7] [16]
17	George Pavlou	[8]
18	Javier Rubio-Loyola	[8]
19	Joan Serrat	[8]
20	Emilio Tuosto	[11] [16]

Colors in the list of coauthors