| 2007 |
|---|
| 21 | EE | Víctor A. Braberman,
Jorge Lucángeli Obes,
Alfredo Olivero,
Fernando Schapachnik:
Hypervolume Approximation in Timed Automata Model Checking.
FORMATS 2007: 69-81 |
| 2006 |
|---|
| 20 | EE | Lucía Cavatorta,
Guido de Caso,
Andrés Ferrari,
Víctor A. Braberman,
Diego Garbervetsky,
Nicolas Kicillof,
Fernando Schapachnik,
Alfredo Olivero:
A toolsuite for the verification of real-time systems in Eclipse.
ETX 2006: 35-39 |
| 19 | EE | Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik:
Dealing with practical limitations of distributed timed model checking for timed automata.
Formal Methods in System Design 29(2): 197-214 (2006) |
| 2005 |
|---|
| 18 | EE | Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik:
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.
Electr. Notes Theor. Comput. Sci. 128(3): 3-18 (2005) |
| 17 | EE | Víctor A. Braberman,
Nicolas Kicillof,
Alfredo Olivero:
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.
IEEE Trans. Software Eng. 31(12): 1028-1041 (2005) |
| 16 | EE | Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik:
Issues in distributed timed model checking.
STTT 7(1): 4-18 (2005) |
| 2004 |
|---|
| 15 | EE | Víctor A. Braberman,
Diego Garbervetsky,
Alfredo Olivero:
ObsSlice: A Timed Automata Slicer Based on Observers.
CAV 2004: 470-474 |
| 14 | EE | A. Alfonso,
Víctor A. Braberman,
Nicolas Kicillof,
Alfredo Olivero:
Visual Timed Event Scenarios.
ICSE 2004: 168-177 |
| 2002 |
|---|
| 13 | EE | Fernando Schapachnik,
Víctor A. Braberman,
Alfredo Olivero:
An architecture-centric approach to the development of a distributed model-checker for timed automata.
ICSE 2002: 710 |
| 12 | EE | Víctor A. Braberman,
Diego Garbervetsky,
Alfredo Olivero:
Improving the Verification of Timed Systems Using Influence Information.
TACAS 2002: 21-36 |
| 11 | EE | Víctor A. Braberman,
Carlos López Pombo,
Alfredo Olivero:
On Improving Backwards Verification of Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 10 | EE | Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik:
ZEUS: A Distributed Timed Model-Checker Based on KRONOS.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
| 2001 |
|---|
| 9 | EE | Víctor A. Braberman,
Alfredo Olivero:
Extending Timed Automata for Compositional Modeling Healthy Timed Systems.
Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
| 1998 |
|---|
| 8 | | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV 1998: 546-550 |
| 7 | EE | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).
FTRTFT 1998: 298-302 |
| 1995 |
|---|
| 6 | | Conrado Daws,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
The Tool KRONOS.
Hybrid Systems 1995: 208-219 |
| 5 | EE | Rajeev Alur,
Costas Courcoubetis,
Nicolas Halbwachs,
Thomas A. Henzinger,
Pei-Hsin Ho,
Xavier Nicollin,
Alfredo Olivero,
Joseph Sifakis,
Sergio Yovine:
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci. 138(1): 3-34 (1995) |
| 1994 |
|---|
| 4 | | Alfredo Olivero,
Joseph Sifakis,
Sergio Yovine:
Using Abstractions for the Verification of Linear Hybrid Systems.
CAV 1994: 81-94 |
| 3 | | Conrado Daws,
Alfredo Olivero,
Sergio Yovine:
Verifying ET-LOTOS programmes with KRONOS.
FORTE 1994: 227-242 |
| 1993 |
|---|
| 2 | | M. Jourdan,
Florence Maraninchi,
Alfredo Olivero:
Verifying Quantitative Real-Time Properties of Synchronous Programs.
CAV 1993: 347-358 |
| 1992 |
|---|
| 1 | | Xavier Nicollin,
Alfredo Olivero,
Joseph Sifakis,
Sergio Yovine:
An Approach to the Description and Analysis of Hybrid Systems.
Hybrid Systems 1992: 149-178 |
