Alberto Lluch Lafuente

Cited by

	All	Since 2017
Citations	3381	1678
h-index	28	15
i10-index	52	25

380

190

285

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 19 53 49 79 96 103 150 131 96 115 121 104 141 212 162 205 314 339 330 374 106

Public access

View all

37 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roberto BruniUniversity of PisaVerified email at di.unipi.it
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Stefan LeueProfessor of Computer ScienceVerified email at uni-konstanz.de
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Manuel MazzaraDirector of Institute of Software Development and EngineeringVerified email at innopolis.ru
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
axel legayUCLouvainVerified email at uclouvain.be
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
Nicola DragoniProfessor in Secure Pervasive Computing, PhDVerified email at dtu.dk
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Larisa SafinaPostdoc, INRIAVerified email at inria.fr
Stefano SebastioINRIA Bretagne Atlantique, FranceVerified email at imtlucca.it
Francesco TiezziUniversità di CamerinoVerified email at unicam.it
Antonio BucchiaroneFBK-MoDiS, Trento, ItalyVerified email at fbk.eu

Alberto Lluch Lafuente

Technical University of Denmark

Verified email at dtu.dk - Homepage

Computer Science Formal Methods Software Engineering Security Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Microservices: yesterday, today, and tomorrow N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ... Present and Ulterior Software Engineering, 195--216, 2017	1077	2017
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001	246	2001
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	228	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	107	2012
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	104*	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	79*	2008
Quantitative mu-calculus and CTL defined over constraint semirings A Lluch-Lafuente, U Montanari Theoretical computer science 346 (1), 135-160, 2005	71*	2005
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	69	2005
The SCEL language: design, implementation, verification RD Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems, 3-71, 2015	62	2015
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	61	2001
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 (1), 39-51, 2009	55	2009
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	51	2015
Graph-based design and analysis of dynamic software architectures R Bruni, A Bucchiarone, S Gnesi, D Hirsch, A Lluch Lafuente Concurrency, Graphs and Models, 37-56, 2008	49	2008
Service oriented architectural design R Bruni, A Lluch Lafuente, U Montanari, E Tuosto International Symposium on Trustworthy Global Computing, 186-203, 2007	47	2007
Trail-directed model checking S Edelkamp, A Lluch-Lafuente, S Leue Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001	47	2001
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	45*	2010
A formalisation of adaptable pervasive flows A Bucchiarone, A Lluch Lafuente, A Marconi, M Pistore Web Services and Formal Methods, 61-75, 2010	44	2010
Symmetry reduction and heuristic search for error detection in model checking A Lluch Lafuente Workshop on Model Checking and Artificial Intelligence, 2003	43	2003
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	41	2015
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	38	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors