Alberto Lluch Lafuente

Cited by

	All	Since 2020
Citations	4897	2226
h-index	34	17
i10-index	62	29

520

260

130

390

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 17 53 48 82 102 97 144 145 97 122 119 106 143 215 161 215 333 362 347 384 439 499 505 48

Public access

View all

44 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueVerified email at fel.cvut.cz
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Nicola DragoniDeputy Director, Head of Section, Professor @ DTU ComputeVerified email at dtu.dk
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
axel legayUCLouvainVerified email at uclouvain.be
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Larisa SafinaResearcher, INRIAVerified email at inria.fr
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
James Hsin-yu ChiangPostdoc, Aarhus UniversityVerified email at ucla.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Stefano SebastioINRIA Bretagne Atlantique, FranceVerified email at imtlucca.it
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl

Alberto Lluch Lafuente

Technical University of Denmark

Verified email at dtu.dk - Homepage

Formal Methods Software Engineering Security Artificial Intelligence #dtusse


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	1889	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	258	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	255	2004
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	127*	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	111	2012
SoK: lending pools in decentralized finance M Bartoletti, JH Chiang, AL Lafuente Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021	98	2021
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	84	2015
A theory of automated market makers in DeFi M Bartoletti, JH Chiang, A Lluch-Lafuente Logical Methods in Computer Science 18, 2022	81	2022
Quantitative mu-calculus and CTL defined over constraint semirings A Lluch-Lafuente, U Montanari Theoretical computer science 346 (1), 135-160, 2005	79*	2005
Style based architectural reconfigurations R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto Bulletin of the European Association for Theoretical Computer Science (EATCS …, 2008	78*	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	72	2005
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	70	2001
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	60	2015
A framework for quantitative modeling and analysis of highly (re) configurable systems MH Ter Beek, A Legay, AL Lafuente, A Vandin IEEE Transactions on Software Engineering 46 (3), 321-345, 2018	58	2018
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	58	2009
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	50	2015
Cost-algebraic heuristic search S Edelkamp, S Jabbar, A Lluch-Lafuente AAAI 5, 1362-1367, 2005	50	2005
Symmetry reduction and heuristic search for error detection in model checking A Lluch Lafuente Workshop on Model Checking and Artificial Intelligence, 2003	49	2003
Trail-directed model checking S Edelkamp, A Lluch-Lafuente, S Leue Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001	49	2001
A formalisation of adaptable pervasive flows A Bucchiarone, A Lluch Lafuente, A Marconi, M Pistore Web Services and Formal Methods, 61-75, 2010	48	2010

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

Cited by

Co-authors