Luca Aceto

Citado por

	Todos	Desde 2019
Citações	4939	1356
Índice h	34	18
Índice i10	97	33

300

150

225

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

Acesso público

Ver tudo

58 artigos

2 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityEmail confirmado em ru.is
Adrian FrancalanzaUniversity of MaltaEmail confirmado em um.edu.mt
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamEmail confirmado em vu.nl
Antonis AchilleosReykjavik UniversityEmail confirmado em ru.is
Kim G. LarsenDirector, Professor Aalborg UniversityEmail confirmado em cs.aau.dk
Ian CassarUniversity of MaltaEmail confirmado em um.edu.mt
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyEmail confirmado em tue.nl
Duncan Paul AttardUniversity of Glasgow and Reykjavik UniversityEmail confirmado em um.edu.mt
Jiri SrbaProfessor of Computer Science, Aalborg UniversityEmail confirmado em cs.aau.dk
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonEmail confirmado em kcl.ac.uk
Karoliina LehtinenCNRS, Aix-Marseille Université, LISEmail confirmado em lis-lab.fr
Dario Della MonicaUniversity of Udine (Italy)Email confirmado em uniud.it
Matteo CiminiUniversity of Massachusetts LowellEmail confirmado em uml.edu
matthew hennessyProfessor of Computer ScienceEmail confirmado em cs.tcd.ie
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Email confirmado em ucm.es
Ignacio FábregasAssociate Profesor of Computer Science at Universidad Complutense de MadridEmail confirmado em ucm.es
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayEmail confirmado em lsv.fr
Valentina CastiglioniEindhoven University of Technology, Department of Mathematics and Computer Science, FSA clusterEmail confirmado em tue.nl
Angelo MontanariProfessor of Computer Science, Univ. of UdineEmail confirmado em uniud.it
Guido SciaviccoUniversitá di FerraraEmail confirmado em unife.it

Seguir

Luca Aceto

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

Email confirmado em ru.is - Página inicial

Concurrency theory runtime verification structural operational semantics logic in computer science


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	427	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	137	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	99	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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores