Alberto Lluch Lafuente

Cited by

	All	Since 2019
Citations	4684	2391
h-index	34	18
i10-index	61	32

500

250

125

375

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 17 53 48 82 102 96 144 142 99 124 118 106 143 215 160 215 330 357 346 382 433 496 375

Public access

View all

43 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
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
Nicola DragoniDeputy Director, Head of Section, Professor @ DTU ComputeVerified email at dtu.dk
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.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
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Larisa SafinaResearcher, INRIAVerified email at inria.fr
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
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	1775	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	95	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	81	2015
Quantitative mu-calculus and CTL defined over constraint semirings A Lluch-Lafuente, U Montanari Theoretical computer science 346 (1), 135-160, 2005	78*	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	76*	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
A theory of automated market makers in DeFi M Bartoletti, JH Chiang, A Lluch-Lafuente Logical Methods in Computer Science 18, 2022	71	2022
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	59	2015
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	57	2009
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	52	2018
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	49	2015
Cost-algebraic heuristic search S Edelkamp, S Jabbar, A Lluch-Lafuente AAAI 5, 1362-1367, 2005	49	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
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	48	2008

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