Víctor A. Braberman

	2012
36		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38(1): 141-162 (2012)
	2011
35		Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220
34		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Program abstractions for behaviour validation. ICSE 2011: 381-390
33		Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada: Quantitative dynamic-memory analysis for Java. Concurrency and Computation: Practice and Experience 23(14): 1665-1678 (2011)
32		Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test., Verif. Reliab. 21(1): 55-71 (2011)
	2010
31		Fernando Asteasuain, Víctor A. Braberman: Specification patterns can be formal and still easy. SEKE 2010: 430-436
30		Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86
	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 Javier 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): 60-67 (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): 503-522 (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): 227-245 (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	Fernando Asteasuain	[31]
3	Sebastián Blaustein	[10]
4	Guido de Caso	[20] [27] [34] [36]
5	Lucía Cavatorta	[20]
6	Nicolás D'Ippolito	[30] [35]
7	Miguel Felder	[3]
8	Federico Javier Fernández	[23]
9	Andrés Ferrari	[16] [20]
10	Dario Fischbein	[19] [26]
11	Diego Garbervetsky	[8] [12] [16] [17] [20] [23] [25] [27] [28] [33] [34] [36]
12	Wolfgang Grieskamp	[22] [32]
13	Dang Van Hung	[1]
14	Nicolas Kicillof	[11] [14] [20] [22] [28] [32]
15	Pablo Listingart	[16]
16	Daniel Monteverde	[28]
17	Jorge Lucángeli Obes	[21]
18	Alfredo Olivero	[5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [18] [20] [21] [28]
19	Fernando Oliveto	[10]
20	Esteban Pavese	[29]
21	Fabio Pieniazek	[4]
22	Nir Piterman	[30] [35]
23	Carlos López Pombo (Carlos Gustavo López Pombo)	[7]
24	Martín Rouaux	[25] [33]
25	Fernando Schapachnik	[6] [9] [13] [15] [18] [20] [21]
26	German Sibay	[24]
27	Keith Stobie	[32]
28	Alejandro Taboada	[25] [33]
29	Nikolai Tillmann	[22]
30	Sebastián Uchitel	[19] [24] [26] [27] [29] [30] [34] [35] [36]
31	Sergio Yovine	[16] [17] [23] [25] [33]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page