An Approach to the Description and Analysis of Hybrid Systems. - Xavier Nicollin; Alfredo Olivero; Joseph Sifakis; Sergio Yovine (Hybrid Systems, 1992)

Verifying Quantitative Real-Time Properties of Synchronous Programs. - Martin Jourdan; Florence Maraninchi; Alfredo Olivero (CAV, 1993)

Using Abstractions for the Verification of Linear Hybrid Systems. - Alfredo Olivero; Joseph Sifakis; Sergio Yovine (CAV, 1994)

Verifying ET-LOTOS programmes with KRONOS. - Conrado Daws; Alfredo Olivero; Sergio Yovine (FORTE, 1994)

The Tool KRONOS. - Conrado Daws; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (Hybrid Systems, 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)

Kronos: A Model-Checking Tool for Real-Time Systems. - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (CAV, 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 (FTRTFT, 1998)

Extending Timed Automata for Compositional Modeling Healthy Timed Systems. - Víctor A. Braberman; Alfredo Olivero (MTCS, 2001)

An architecture-centric approach to the development of a distributed model-checker for timed automata. - Fernando Schapachnik; Víctor A. Braberman; Alfredo Olivero (ICSE, 2002)

Improving the Verification of Timed Systems Using Influence Information. - Víctor A. Braberman; Diego Garbervetsky; Alfredo Olivero (TACAS, 2002)

ZEUS: A Distributed Timed Model-Checker Based on KRONOS. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (PDMC@CONCUR, 2002)

On Improving Backwards Verification of Timed Automata. - Víctor A. Braberman; Carlos López Pombo; Alfredo Olivero (Theory and Practice of Timed Systems @ ETAPS, 2002)

ObsSlice: A Timed Automata Slicer Based on Observers. - Víctor A. Braberman; Diego Garbervetsky; Alfredo Olivero (CAV, 2004)

Visual Timed Event Scenarios. - Alejandra Alfonso; Víctor A. Braberman; Nicolas Kicillof; Alfredo Olivero (ICSE, 2004)

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (PDMC, 2004)

Issues in distributed timed model checking. - Víctor A. Braberman; Alfredo Olivero; Fernando Schapachnik (Int. J. Softw. Tools Technol. Transf., 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)

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 (ETX, 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)

Hypervolume Approximation in Timed Automata Model Checking. - Víctor A. Braberman; Jorge Lucángeli Obes; Alfredo Olivero; Fernando Schapachnik (FORMATS, 2007)

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 (FORMATS, 2009)