Víctor A. Braberman

	2009
29		Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel: Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. ESEC/SIGSOFT FSE 2009: 335-344
28		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
27		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462
26		Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel: A Sound Observational Semantics for Modal Transition Systems. ICTAC 2009: 215-230
25		Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada: On transforming Java-like programs into memory-predictable code. JTRES 2009: 140-149
	2008
24		German Sibay, Sebastián Uchitel, Víctor A. Braberman: Existential live sequence charts revisited. ICSE 2008: 41-50
23		Víctor A. Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
	2007
22		Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman: Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11
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		Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman: A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48
18		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)
17		Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine: A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. Journal of Object Technology 5(5): 31-58 (2006)
	2005
16		Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine: JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. ETX 2005: 50-54
15		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)
14		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)
13		Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik: Issues in distributed timed model checking. STTT 7(1): 4-18 (2005)
	2004
12		Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
11		A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero: Visual Timed Event Scenarios. ICSE 2004: 168-177
	2002
10		Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman: Observing timed systems by means of message sequence chart graphs. ICSE 2002: 707
9		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
8		Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36
7		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)
6		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
5		Víctor A. Braberman, Alfredo Olivero: Extending Timed Automata for Compositional Modeling Healthy Timed Systems. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
	2000
4		Víctor A. Braberman, Fabio Pieniazek: Duration Properties over Real Time System Designs. IWSSD 2000: 51-62
	1999
3		Víctor A. Braberman, Miguel Felder: Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE 1999: 494-510
2		Víctor A. Braberman: Automatic Verification of Real-Time Designs. ICSE 1999: 716-717
	1998
1		Víctor A. Braberman, Dang Van Hung: On Checking Timed Automata for Linear Duration Invariants. IEEE Real-Time Systems Symposium 1998: 264-273

Coauthor Index

1	A. Alfonso	[11]
2	Sebastián Blaustein	[10]
3	Guido de Caso	[20] [27]
4	Lucía Cavatorta	[20]
5	Miguel Felder	[3]
6	Federico Fernández	[23]
7	Andrés Ferrari	[16] [20]
8	Dario Fischbein	[19] [26]
9	Diego Garbervetsky	[8] [12] [16] [17] [20] [23] [25] [27] [28]
10	Wolfgang Grieskamp	[22]
11	Dang Van Hung	[1]
12	Nicolas Kicillof	[11] [14] [20] [22] [28]
13	Pablo Listingart	[16]
14	Daniel Monteverde	[28]
15	Jorge Lucángeli Obes	[21]
16	Alfredo Olivero	[5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [18] [20] [21] [28]
17	Fernando Oliveto	[10]
18	Esteban Pavese	[29]
19	Fabio Pieniazek	[4]
20	Carlos López Pombo	[7]
21	Martín Rouaux	[25]
22	Fernando Schapachnik	[6] [9] [13] [15] [18] [20] [21]
23	German Sibay	[24]
24	Alejandro Taboada	[25]
25	Nikolai Tillmann	[22]
26	Sebastián Uchitel	[19] [24] [26] [27] [29]
27	Sergio Yovine	[16] [17] [23] [25]

Colors in the list of coauthors