Luca Aceto

Cited by

	All	Since 2017
Citations	4466	1228
h-index	32	16
i10-index	93	33

300

150

225

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202228 45 42 59 101 107 81 78 84 83 134 107 121 105 181 148 154 169 173 143 164 179 211 145 151 122 167 183 220 205 291 162

Public access

View all

60 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Antonis AchilleosReykjavik UniversityVerified email at ru.is
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Ian CassarUniversity of MaltaVerified email at um.edu.mt
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Karoliina LehtinenCNRS, Aix-Marseille Université, LISVerified email at lis-lab.fr
Ignacio FábregasAssociate Profesor of Computer Science at Universidad Complutense de MadridVerified email at ucm.es
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl

Luca Aceto

Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila

Verified email at ru.is - Homepage

Concurrency theory runtime verification structural operational semantics logic in computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	382	2007
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of process algebra, 197-292, 2001	374	2001
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	192	1994
Towards action-refinement in process algebras L Aceto, M Hennessy Information and Computation 103 (2), 204-269, 1993	168	1993
Model checking via reachability testing for timed automata L Aceto, A Burgueno, KG Larsen International Conference on Tools and Algorithms for the Construction and …, 1998	155	1998
Termination, deadlock, and divergence L Aceto, M Hennessy Journal of the ACM (JACM) 39 (1), 147-187, 1992	130	1992
Timing and causality in process algebra L Aceto, D Murphy Acta Informatica 33 (4), 317-350, 1996	128	1996
The power of reachability testing for timed automata L Aceto, P Bouyer, A Burgueno, KG Larsen Theoretical Computer Science 300 (1-3), 411-475, 2003	106	2003
Action refinement in process algebras L Aceto Cambridge University Press, 1992	85	1992
Adding action refinement to a finite process algebra L Aceto, M Hennessy Information and Computation 115 (2), 179-247, 1994	74	1994
Testing equivalences for event structures L Aceto, RD Nicola, A Fantechi Mathematical models for the semantics of parallelism, 1-20, 1987	74	1987
Adding action refinement to a finite process algebra L Aceto, M Hennessy International Colloquium on Automata, Languages, and Programming, 506-519, 1991	71	1991
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingolfsdottir Formal Methods in System Design 51 (1), 87-116, 2017	69	2017
Is your model checker on time? On the complexity of model checking for timed modal logics L Aceto, F Laroussinie The Journal of Logic and Algebraic Programming 52, 7-51, 2002	65	2002
A static view of localities L Aceto Formal Aspects of Computing 6 (2), 201-222, 1994	64	1994
The power of reachability testing for timed automata L Aceto, P Bouyer, A Burgueño, KG Larsen International Conference on Foundations of Software Technology and …, 1998	61	1998
Axiomatizing prefix iteration with silent steps L Aceto, R Van Glabbeek, W Fokkink, A Ingólfsdóttir Information and Computation 127 (1), 26-40, 1996	60	1996
A foundation for runtime monitoring A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ... International Conference on Runtime Verification, 8-29, 2017	57	2017
Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ... Science of Computer Programming 89, 41-68, 2014	57	2014
On the ill-timed but well-caused L Aceto, D Murphy International Conference on Concurrency Theory, 97-111, 1993	57	1993

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