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) |