dblp.uni-trier.dewww.uni-trier.de

Víctor A. Braberman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
24EEGerman Sibay, Sebastián Uchitel, Víctor A. Braberman: Existential live sequence charts revisited. ICSE 2008: 41-50
23EEVíctor A. Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
2007
22EENicolas 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
21EEVíctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik: Hypervolume Approximation in Timed Automata Model Checking. FORMATS 2007: 69-81
2006
20EELucí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
19EEDario Fischbein, Sebastián Uchitel, Víctor A. Braberman: A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48
18EEVí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)
17EEVí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
16EEAndré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
15EEVí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)
14EEVí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)
13EEVíctor A. Braberman, Alfredo Olivero, Fernando Schapachnik: Issues in distributed timed model checking. STTT 7(1): 4-18 (2005)
2004
12EEVíctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
11EEA. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero: Visual Timed Event Scenarios. ICSE 2004: 168-177
2002
10EESebastián Blaustein, Fernando Oliveto, Víctor A. Braberman: Observing timed systems by means of message sequence chart graphs. ICSE 2002: 707
9EEFernando 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
8EEVíctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36
7EEVíctor A. Braberman, Carlos López Pombo, Alfredo Olivero: On Improving Backwards Verification of Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
6EEVí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
5EEVíctor A. Braberman, Alfredo Olivero: Extending Timed Automata for Compositional Modeling Healthy Timed Systems. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
2000
4EEVíctor A. Braberman, Fabio Pieniazek: Duration Properties over Real Time System Designs. IWSSD 2000: 51-62
1999
3EEVíctor A. Braberman, Miguel Felder: Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE 1999: 494-510
2EEVíctor A. Braberman: Automatic Verification of Real-Time Designs. ICSE 1999: 716-717
1998
1EEVíctor A. Braberman, Dang Van Hung: On Checking Timed Automata for Linear Duration Invariants. IEEE Real-Time Systems Symposium 1998: 264-273

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)