Alfredo Olivero

22 papers A* 6A 1C 1Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2009 — conf
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.
FORMATS
Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
2007 — conf
Hypervolume Approximation in Timed Automata Model Checking.
FORMATS
Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
2006 — conf
A toolsuite for the verification of real-time systems in Eclipse.
ETX
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
2006 J jnl
Dealing with practical limitations of distributed timed model checking for timed automata.
Formal Methods Syst. Des.
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2005 J jnl
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.
IEEE Trans. Software Eng.
Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
2005 J jnl
Issues in distributed timed model checking.
Int. J. Softw. Tools Technol. Transf.
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2004 A* conf
ObsSlice: A Timed Automata Slicer Based on Observers.
CAV
Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
2004 — conf
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.
PDMC
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2004 A* conf
Visual Timed Event Scenarios.
ICSE
Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
2002 A* conf
An architecture-centric approach to the development of a distributed model-checker for timed automata.
ICSE
Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
2002 A conf
Improving the Verification of Timed Systems Using Influence Information.
TACAS
Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
2002 — conf
On Improving Backwards Verification of Timed Automata.
Theory and Practice of Timed Systems @ ETAPS
Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
2002 — conf
ZEUS: A Distributed Timed Model-Checker Based on KRONOS.
PDMC@CONCUR
Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
2001 — conf
Extending Timed Automata for Compositional Modeling Healthy Timed Systems.
MTCS
Víctor A. Braberman, Alfredo Olivero
1998 — conf
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).
FTRTFT
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998 A* conf
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1995 J jnl
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci.
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1995 — conf
The Tool KRONOS.
Hybrid Systems
Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1994 A* conf
Using Abstractions for the Verification of Linear Hybrid Systems.
CAV
Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1994 C conf
Verifying ET-LOTOS programmes with KRONOS.
FORTE
Conrado Daws, Alfredo Olivero, Sergio Yovine
1993 A* conf
Verifying Quantitative Real-Time Properties of Synchronous Programs.
CAV
Martin Jourdan, Florence Maraninchi, Alfredo Olivero
1992 — conf
An Approach to the Description and Analysis of Hybrid Systems.
Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine