Alfredo Olivero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1993–2004
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | CAV | ObsSlice: A Timed Automata Slicer Based on Observers. | Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
| 2004 | ICSE | Visual Timed Event Scenarios. | Alejandra Alfonso, Vctor A. Braberman, Nicolas Kicillof, Alfredo Olivero |
| 2002 | ICSE | An architecture-centric approach to the development of a distributed model-checker for timed automata. | Fernando Schapachnik, Vctor A. Braberman, Alfredo Olivero |
| 2002 | TACAS | Improving the Verification of Timed Systems Using Influence Information. | Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
| 1998 | CAV | Kronos: A Model-Checking Tool for Real-Time Systems. | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
| 1994 | CAV | Using Abstractions for the Verification of Linear Hybrid Systems. | Alfredo Olivero, Joseph Sifakis, Sergio Yovine |
| 1994 | FORTE | Verifying ET-LOTOS programmes with KRONOS. | Conrado Daws, Alfredo Olivero, Sergio Yovine |
| 1993 | CAV | Verifying Quantitative Real-Time Properties of Synchronous Programs. | Martin Jourdan, Florence Maraninchi, Alfredo Olivero |