Følg
Luca Aceto
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Verifisert e-postadresse på ru.is - Startside
Tittel
Sitert av
Sitert av
År
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
4422007
Structural operational semantics
L Aceto, W Fokkink, C Verhoef
Handbook of process algebra, 197-292, 2001
3942001
Turning SOS rules into equations
L Aceto, B Bloom, F Vaandrager
Information and Computation 111 (1), 1-52, 1994
2021994
Towards action-refinement in process algebras
L Aceto, M Hennessy
Information and Computation 103 (2), 204-269, 1993
1761993
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
1611998
Timing and causality in process algebra
L Aceto, D Murphy
Acta Informatica 33, 317-350, 1996
1361996
Termination, deadlock, and divergence
L Aceto, M Hennessy
Journal of the ACM (JACM) 39 (1), 147-187, 1992
1351992
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
1162003
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
1032014
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
902002
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
872017
Action refinement in process algebras
L Aceto
Cambridge University Press, 1992
871992
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
812017
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
762017
Adding action refinement to a finite process algebra
L Aceto, M Hennessy
International Colloquium on Automata, Languages, and Programming, 506-519, 1991
761991
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
752019
Adding action refinement to a finite process algebra
L Aceto, M Hennessy
Information and Computation 115 (2), 179-247, 1994
731994
Testing equivalences for event structures
L Aceto, R De Nicola, A Fantechi
Mathematical Models for the Semantics of Parallelism: Advanced School Rome …, 1987
731987
A static view of localities
L Aceto
Formal Aspects of Computing 6, 201-222, 1994
691994
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
671998
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20