Alfredo Olivero
National University of General San Martín(AR)Instituto de Desarrollo Tecnológico para la Industria Química(AR)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques, Real-Time Systems Scheduling, Petri Nets in System Modeling
Most-Cited Works
- → The algorithmic analysis of hybrid systems(1995)1,871 cited
- → The tool Kronos(1996)461 cited
- → Kronos: A model-checking tool for real-time systems(1998)324 cited
- → An approach to the description and analysis of hybrid systems(1993)180 cited
- → Verifying ET-LOTOS programs with KRONOS(1995)54 cited
- Verifying ET-LOTOS programmes with KRONOS.(1994)
- → Visual timed event scenarios(2004)46 cited
- → Using abstractions for the verification of linear hybrid systems(1994)46 cited