The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Víctor A. Braberman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Víctor A. Braberman
    Automatic Verification of Real-Time Designs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:716-717 [Conf]
  6. 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]
  7. Víctor A. Braberman, Fabio Pieniazek
    Duration Properties over Real Time System Designs. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:51-62 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]

  19. Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. [Citation Graph (, )][DBLP]


  20. Existential live sequence charts revisited. [Citation Graph (, )][DBLP]


  21. Validation of contracts using enabledness preserving finite state abstractions. [Citation Graph (, )][DBLP]


  22. A Sound Observational Semantics for Modal Transition Systems. [Citation Graph (, )][DBLP]


  23. A foundation for behavioural conformance in software product line architectures. [Citation Graph (, )][DBLP]


  24. Parametric prediction of heap memory requirements. [Citation Graph (, )][DBLP]


  25. Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. [Citation Graph (, )][DBLP]


  26. Achieving both model and code coverage with automated gray-box testing. [Citation Graph (, )][DBLP]


  27. A toolsuite for the verification of real-time systems in Eclipse. [Citation Graph (, )][DBLP]


  28. JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. [Citation Graph (, )][DBLP]


  29. On transforming Java-like programs into memory-predictable code. [Citation Graph (, )][DBLP]


Search in 0.295secs, Finished in 0.297secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002