Alberto Lluch Lafuente
TitleCited byYear
Microservices: yesterday, today, and tomorrow
N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ...
Present and Ulterior Software Engineering, 195--216, 2017
3992017
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
Proceedings of the 8th international SPIN workshop on Model checking of …, 2001
2182001
Directed explicit-state model checking in the validation of communication protocols
S Edelkamp, S Leue, A Lluch-Lafuente
International journal on software tools for technology transfer 5 (2-3), 247-267, 2004
2122004
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin
Proceedings of the 15th International Conference on Fundamental Approaches …, 2012
972012
Partial-order reduction and trail improvement in directed model checking
S Edelkamp, S Leue, A Lluch-Lafuente
International Journal on Software Tools for Technology Transfer 6 (4), 277-301, 2004
93*2004
Style based architectural reconfigurations
R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto
Bulletin of the European Association for Theoretical Computer Science (EATCS …, 2008
70*2008
Using linear temporal model checking for goal-oriented policy refinement frameworks
J Rubio-Loyola, J Serrat, M Charalambides, P Flegkas, G Pavlou, ...
Policies for Distributed Systems and Networks, 2005. Sixth IEEE …, 2005
632005
Quantitative mu-calculus and CTL defined over constraint semirings
A Lluch-Lafuente, U Montanari
Theoretical computer science 346 (1), 135-160, 2005
60*2005
Protocol verification with heuristic search
S Edelkamp, AL Lafuente, S Leue
Bibliothek der Universität Konstanz, 2001
562001
Partial-order reduction for general state exploring algorithms
D Bošnački, S Leue, AL Lafuente
International Journal on Software Tools for Technology Transfer 11 (1), 39-51, 2009
462009
Trail-directed model checking
S Edelkamp, A Lluch-Lafuente, S Leue
Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001
462001
Graph-based design and analysis of dynamic software architectures
R Bruni, A Bucchiarone, S Gnesi, D Hirsch, AL Lafuente
Concurrency, Graphs and Models, 37-56, 2008
442008
The SCEL language: Design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems, 3-71, 2015
432015
Service oriented architectural design
R Bruni, AL Lafuente, U Montanari, E Tuosto
International Symposium on Trustworthy Global Computing, 186-203, 2007
432007
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
Science of Computer Programming 99, 75-94, 2015
422015
An algebra of hierarchical graphs and its application to structural encoding
R Bruni, F Gadducci, A Lluch-Lafuente
Scientific Annals in Computer Science 20, 53-96, 2010
41*2010
Symmetry reduction and heuristic search for error detection in model checking
A Lluch Lafuente
Workshop on Model Checking and Artificial Intelligence, 2003
372003
Simplified distributed LTL model checking by localizing cycles
A Lluch Lafuente
Technical Report 176, 2002
35*2002
Combining declarative and procedural views in the specification and analysis of product families
MH Ter Beek, AL Lafuente, M Petrocchi
Proceedings of the 17th International Software Product Line Conference co …, 2013
332013
Hierarchical design rewriting with Maude
R Bruni, AL Lafuente, U Montanari
Electronic Notes in Theoretical Computer Science 238 (3), 45-62, 2009
302009
The system can't perform the operation now. Try again later.
Articles 1–20