Alfredo Olivero

According to our database, Alfredo Olivero authored at least 22 papers between 1992 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.

Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2007

Hypervolume Approximation in Timed Automata Model Checking.

Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Dealing with practical limitations of distributed timed model checking for timed automata.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Formal Methods Syst. Des., 2006

A toolsuite for the verification of real-time systems in Eclipse.

Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.

Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero

IEEE Trans. Software Eng., 2005

Issues in distributed timed model checking.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Int. J. Softw. Tools Technol. Transf., 2005

2004

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Visual Timed Event Scenarios.

Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

ObsSlice: A Timed Automata Slicer Based on Observers.

Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2002

On Improving Backwards Verification of Timed Automata.

Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero

Proceedings of the Theory and Practice of Timed Systems, 2002

ZEUS: A Distributed Timed Model-Checker Based on KRONOS.

Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik

Proceedings of the Parallel and Distributed Model Checking, 2002

Improving the Verification of Timed Systems Using Influence Information.

Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

An architecture-centric approach to the development of a distributed model-checker for timed automata.

Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Extending Timed Automata for Compositional Modeling Healthy Timed Systems.

Víctor A. Braberman, Alfredo Olivero

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

1998

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1995

The Algorithmic Analysis of Hybrid Systems.

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Theor. Comput. Sci., 1995

The Tool KRONOS.

Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Verifying ET-LOTOS programmes with KRONOS.

Conrado Daws, Alfredo Olivero, Sergio Yovine

Proceedings of the Formal Description Techniques VII, 1994

Using Abstractions for the Verification of Linear Hybrid Systems.

Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Verifying Quantitative Real-Time Properties of Synchronous Programs.

Martin Jourdan, Florence Maraninchi, Alfredo Olivero

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

An Approach to the Description and Analysis of Hybrid Systems.

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Proceedings of the Hybrid Systems, 1992