Concepedia

Luca Aceto

LA

Statistics

Publications

69

Citations

2.2K

H-Index

25

Active since

1987

Affiliations

Aalborg University(Current)

Reykjavík University

Danish National Research Foundation

University of Sussex

University of Malta

Luca Aceto is an author at Aalborg University specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationSystems EngineeringSoftware AnalysisProgram AnalysisSemantics

Publications per year

1987–2023

69

Publications

69

Structural Operational Semantics

Luca Aceto, C. Verhoef · BRICS Report Series · 1999 · 226 citations · Full text

Precise Semantics, Stepwise Fashion, Engineering +19

Turning SOS Rules into Equations

Luca Aceto, Bard Bloom, Frits Vaandrager · Information and Computation · 1994 · 130 citations · Full text

Termination, deadlock, and divergence

Luca Aceto, Matthew Hennessy · Journal of the ACM · 1992 · 104 citations · Full text

Successful Termination, Engineering, Operational Semantics +14

Timing and causality in process algebra

Luca Aceto, David Murphy · Acta Informatica · 1996 · 96 citations

Process Control, Causal Inference, Formal Methods +4

The power of reachability testing for timed automata

Luca Aceto, Patricia Bouyer, Augusto Burgueño et al. · Theoretical Computer Science · 2003 · 94 citations

Reachability Analysis, Engineering, Reachability Problem +9

1–5 of 69