Víctor A. Braberman

2008
24	EE	German Sibay, Sebastián Uchitel, Víctor A. Braberman: Existential live sequence charts revisited. ICSE 2008: 41-50
23	EE	Víctor A. Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
2007
22	EE	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	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	Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman: A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48
18	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)
17	EE	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	EE	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	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)
14	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)
13	EE	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik: Issues in distributed timed model checking. STTT 7(1): 4-18 (2005)
2004
12	EE	Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
11	EE	A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero: Visual Timed Event Scenarios. ICSE 2004: 168-177
2002
10	EE	Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman: Observing timed systems by means of message sequence chart graphs. ICSE 2002: 707
9	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
8	EE	Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36
7	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)
6	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
5	EE	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	EE	Víctor A. Braberman, Fabio Pieniazek: Duration Properties over Real Time System Designs. IWSSD 2000: 51-62
1999
3	EE	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	EE	Víctor A. Braberman: Automatic Verification of Real-Time Designs. ICSE 1999: 716-717
1998
1	EE	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]
4	Lucía Cavatorta	[20]
5	Miguel Felder	[3]
6	Federico Fernández	[23]
7	Andrés Ferrari	[16] [20]
8	Dario Fischbein	[19]
9	Diego Garbervetsky	[8] [12] [16] [17] [20] [23]
10	Wolfgang Grieskamp	[22]
11	Dang Van Hung	[1]
12	Nicolas Kicillof	[11] [14] [20] [22]
13	Pablo Listingart	[16]
14	Jorge Lucángeli Obes	[21]
15	Alfredo Olivero	[5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [18] [20] [21]
16	Fernando Oliveto	[10]
17	Fabio Pieniazek	[4]
18	Carlos López Pombo	[7]
19	Fernando Schapachnik	[6] [9] [13] [15] [18] [20] [21]
20	German Sibay	[24]
21	Nikolai Tillmann	[22]
22	Sebastián Uchitel	[19] [24]
23	Sergio Yovine	[16] [17] [23]

Colors in the list of coauthors