| 2007 |
|---|
| 7 | 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 |
|---|
| 6 | 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 |
| 5 | 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 |
|---|
| 4 | 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) |
| 3 | EE | Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik:
Issues in distributed timed model checking.
STTT 7(1): 4-18 (2005) |
| 2002 |
|---|
| 2 | 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 |
| 1 | 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) |
