Luca Aceto

Cited by

	All	Since 2019
Citations	4932	1350
h-index	34	18
i10-index	97	32

300

150

225

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 53 46 55 104 113 89 78 85 85 142 114 118 111 172 147 155 162 164 151 152 178 203 141 144 123 157 178 216 206 286 263 212 167

Public access

View all

58 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Antonis AchilleosReykjavik UniversityVerified email at ru.is
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Ian CassarUniversity of MaltaVerified email at um.edu.mt
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Duncan Paul AttardUniversity of Glasgow and Reykjavik UniversityVerified 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
Karoliina LehtinenCNRS, Aix-Marseille Université, LISVerified email at lis-lab.fr
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Ignacio FábregasAssociate Profesor of Computer Science at Universidad Complutense de MadridVerified email at ucm.es
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Valentina CastiglioniEindhoven University of Technology, Department of Mathematics and Computer Science, FSA clusterVerified email at tue.nl
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Guido SciaviccoUniversitá di FerraraVerified email at unife.it

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	426	2007
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of process algebra, 197-292, 2001	394	2001
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	201	1994
Towards action-refinement in process algebras L Aceto, M Hennessy Information and Computation 103 (2), 204-269, 1993	177	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	159	1998
Timing and causality in process algebra L Aceto, D Murphy Acta Informatica 33, 317-350, 1996	136	1996
Termination, deadlock, and divergence L Aceto, M Hennessy Journal of the ACM (JACM) 39 (1), 147-187, 1992	133	1992
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	112	2003
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	98	2014
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	90	2002
Action refinement in process algebras L Aceto Cambridge University Press, 1992	85	1992
A survey of runtime monitoring instrumentation techniques I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir arXiv preprint arXiv:1708.07229, 2017	79	2017
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingólfsdóttir Formal Methods in System Design 51 (1), 87-116, 2017	77	2017
Adding action refinement to a finite process algebra L Aceto, M Hennessy Information and Computation 115 (2), 179-247, 1994	75	1994
Adding action refinement to a finite process algebra L Aceto, M Hennessy International Colloquium on Automata, Languages, and Programming, 506-519, 1991	75	1991
Adventures in monitorability: from branching to linear time and back again L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019	74	2019
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	73	2017
Testing equivalences for event structures L Aceto, R De Nicola, A Fantechi Mathematical Models for the Semantics of Parallelism: Advanced School Rome …, 1987	71	1987
A static view of localities L Aceto Formal Aspects of Computing 6, 201-222, 1994	69	1994
The power of reachability testing for timed automata L Aceto, P Bouyer, A Burgueno, KG Larsen Foundations of Software Technology and Theoretical Computer Science: 18th …, 1998	66	1998

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