A. Olivero
发表
D. Garbervetsky,
N. Kicillof,
V. Braberman,
2004
.
V. Braberman,
A. Olivero,
F. Schapachnik,
2004
.
Sergio Yovine,
Alfredo Olivero,
S. Yovine,
1992
.
V. Braberman,
A. Olivero,
F. Schapachnik,
2002,
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
Joseph Sifakis,
Sergio Yovine,
Alfredo Olivero,
1992,
Hybrid Systems.
S. Yovine,
C. Daws,
A. Olivero,
2015
.
Florence Maraninchi,
Martin Jourdan,
Alfredo Olivero,
1993,
CAV.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1996,
Hybrid Systems.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1998,
CAV.
Thomas A. Henzinger,
Nicolas Halbwachs,
Joseph Sifakis,
1995,
Theor. Comput. Sci..
Víctor A. Braberman,
Nicolas Kicillof,
Alfredo Olivero,
2004,
Proceedings. 26th International Conference on Software Engineering.
D. Monteverde,
A. Olivero,
S. Yovine,
2008
.
Joseph Sifakis,
Sergio Yovine,
Alfredo Olivero,
1994,
CAV.
A. Olivero,
V. Braberman,
C. López Pombo,
2002,
Theory and Practice of Timed Systems @ ETAPS.
Víctor A. Braberman,
Alfredo Olivero,
V. Braberman,
2002,
MTCS.
Diego Garbervetsky,
Víctor A. Braberman,
Alfredo Olivero,
2002,
TACAS.
V. Braberman,
A. Olivero,
C. L. Pombo,
2004
.
Conrado Daws,
Sergio Yovine,
Alfredo Olivero,
1994,
FORTE.
Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik,
2006,
Formal Methods Syst. Des..
Víctor A. Braberman,
Alfredo Olivero,
Fernando Schapachnik,
2005,
PDMC.