|
Search the dblp DataBase
Víctor A. Braberman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
ObsSlice: A Timed Automata Slicer Based on Observers. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:470-474 [Conf]
- Víctor A. Braberman, Miguel Felder
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 1999, pp:494-510 [Conf]
- A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
Visual Timed Event Scenarios. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:168-177 [Conf]
- Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman
Observing timed systems by means of message sequence chart graphs. [Citation Graph (0, 0)][DBLP] ICSE, 2002, pp:707- [Conf]
- Víctor A. Braberman
Automatic Verification of Real-Time Designs. [Citation Graph (0, 0)][DBLP] ICSE, 1999, pp:716-717 [Conf]
- Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
An architecture-centric approach to the development of a distributed model-checker for timed automata. [Citation Graph (0, 0)][DBLP] ICSE, 2002, pp:710- [Conf]
- Víctor A. Braberman, Fabio Pieniazek
Duration Properties over Real Time System Designs. [Citation Graph (0, 0)][DBLP] IWSSD, 2000, pp:51-62 [Conf]
- Víctor A. Braberman, Dang Van Hung
On Checking Timed Automata for Linear Duration Invariants. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1998, pp:264-273 [Conf]
- Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
Improving the Verification of Timed Systems Using Influence Information. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:21-36 [Conf]
- Víctor A. Braberman, Alfredo Olivero
Extending Timed Automata for Compositional Modeling Healthy Timed Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
ZEUS: A Distributed Timed Model-Checker Based on KRONOS. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:3-18 [Journal]
- Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
On Improving Backwards Verification of Timed Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Dealing with practical limitations of distributed timed model checking for timed automata. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:197-214 [Journal]
- Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2006, v:5, n:5, pp:31-58 [Journal]
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Issues in distributed timed model checking. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:1, pp:4-18 [Journal]
- Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1028-1041 [Journal]
- Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
Hypervolume Approximation in Timed Automata Model Checking. [Citation Graph (0, 0)][DBLP] FORMATS, 2007, pp:69-81 [Conf]
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. [Citation Graph (, )][DBLP]
Existential live sequence charts revisited. [Citation Graph (, )][DBLP]
Validation of contracts using enabledness preserving finite state abstractions. [Citation Graph (, )][DBLP]
A Sound Observational Semantics for Modal Transition Systems. [Citation Graph (, )][DBLP]
A foundation for behavioural conformance in software product line architectures. [Citation Graph (, )][DBLP]
Parametric prediction of heap memory requirements. [Citation Graph (, )][DBLP]
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. [Citation Graph (, )][DBLP]
Achieving both model and code coverage with automated gray-box testing. [Citation Graph (, )][DBLP]
A toolsuite for the verification of real-time systems in Eclipse. [Citation Graph (, )][DBLP]
JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. [Citation Graph (, )][DBLP]
On transforming Java-like programs into memory-predictable code. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|