Alfredo Olivero

	2009
22		Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero: Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS 2009: 58-72
	2007
21		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		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		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		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		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		Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik: Issues in distributed timed model checking. STTT 7(1): 4-18 (2005)
	2004
15		Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
14		A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero: Visual Timed Event Scenarios. ICSE 2004: 168-177
	2002
13		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		Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36
11		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		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		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		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		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

Coauthor Index

1	A. Alfonso	[14]
2	Rajeev Alur	[5]
3	Marius Bozga	[7] [8]
4	Víctor A. Braberman	[9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22]
5	Guido de Caso	[20]
6	Lucía Cavatorta	[20]
7	Costas Courcoubetis	[5]
8	Conrado Daws	[3] [6] [7] [8]
9	Andrés Ferrari	[20]
10	Diego Garbervetsky	[12] [15] [20] [22]
11	Nicolas Halbwachs	[5]
12	Thomas A. Henzinger	[5]
13	Pei-Hsin Ho	[5]
14	M. Jourdan	[2]
15	Nicolas Kicillof	[14] [17] [20] [22]
16	Oded Maler	[7] [8]
17	Florence Maraninchi	[2]
18	Daniel Monteverde	[22]
19	Xavier Nicollin	[1] [5]
20	Jorge Lucángeli Obes	[21]
21	Carlos López Pombo	[11]
22	Fernando Schapachnik	[10] [13] [16] [18] [19] [20] [21]
23	Joseph Sifakis	[1] [4] [5]
24	Stavros Tripakis	[6] [7] [8]
25	Sergio Yovine	[1] [3] [4] [5] [6] [7] [8]