Travelled to:1 × Canada
1 × France
1 × Greece
1 × United Kingdom
3 × USA
Collaborated with:V.A.Braberman D.Garbervetsky S.Yovine F.Schapachnik J.Sifakis M.Jourdan F.Maraninchi A.Alfonso N.Kicillof M.Bozga C.Daws O.Maler S.Tripakis
Talks about:time (6) system (3) automata (2) verif (2) model (2) real (2) use (2) architectur (1) distribut (1) synchron (1)
Person: Alfredo Olivero
DBLP: Olivero:Alfredo
Contributed to:
2004
20042002
2002199819941993Wrote 7 papers:
- CAV-2004-BrabermanGO #automaton #named #slicing
- ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
- ICSE-2004-AlfonsoBKO #visual notation
- Visual Timed Event Scenarios (AA, VAB, NK, AO), pp. 168–177.
- ICSE-2002-SchapachnikBO #approach #architecture #automaton #development #distributed #model checking
- An architecture-centric approach to the development of a distributed model-checker for timed automata (FS, VAB, AO), p. 710.
- TACAS-2002-BrabermanGO #using #verification
- Improving the Verification of Timed Systems Using Influence Information (VAB, DG, AO), pp. 21–36.
- CAV-1998-BozgaDMOTY #model checking #named #realtime
- Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
- CAV-1994-OliveroSY #abstraction #hybrid #linear #using #verification
- Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
- CAV-1993-JourdanMO #realtime #source code #verification
- Verifying Quantitative Real-Time Properties of Synchronous Programs (MJ, FM, AO), pp. 347–358.