Seguir
Alberto Lluch Lafuente
Título
Citado por
Citado por
Año
Microservices: yesterday, today, and tomorrow
N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ...
Present and Ulterior Software Engineering, 195--216, 2017
12402017
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001
2512001
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
2352004
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, 277-301, 2004
111*2004
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
1082012
Style based architectural reconfigurations
R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto
Bulletin of the European Association for Theoretical Computer Science (EATCS …, 2008
75*2008
Quantitative mu-calculus and CTL defined over constraint semirings
A Lluch-Lafuente, U Montanari
Theoretical computer science 346 (1), 135-160, 2005
69*2005
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: The ASCENS Approach, 3-71, 2015
672015
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
672005
Protocol verification with heuristic search
S Edelkamp, AL Lafuente, S Leue
Bibliothek der Universität Konstanz, 2001
642001
Partial-order reduction for general state exploring algorithms
D Bošnački, S Leue, A Lluch Lafuente
International Journal on Software Tools for Technology Transfer 11, 39-51, 2009
552009
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
532015
Graph-based design and analysis of dynamic software architectures
R Bruni, A Bucchiarone, S Gnesi, D Hirsch, A Lluch Lafuente
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
482008
Trail-directed model checking
S Edelkamp, A Lluch-Lafuente, S Leue
Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001
482001
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
46*2010
Symmetry reduction and heuristic search for error detection in model checking
A Lluch Lafuente
Workshop on Model Checking and Artificial Intelligence, 2003
462003
A formalisation of adaptable pervasive flows
A Bucchiarone, A Lluch Lafuente, A Marconi, M Pistore
Web Services and Formal Methods, 61-75, 2010
442010
Service oriented architectural design
R Bruni, AL Lafuente, U Montanari, E Tuosto
Lecture Notes in Computer Science 4912, 186-203, 2008
442008
Statistical analysis of probabilistic models of software product lines with quantitative constraints
MH ter Beek, A Legay, AL Lafuente, A Vandin
Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015
402015
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
402013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20