The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Víctor A. Braberman" ( http://dblp.L3S.de/Authors/Víctor_A._Braberman )

URL (Homepage):  http://www.dc.uba.ar/people/exclusivos/vbraber/  Author page on DBLP  Author page in RDF  Community of Víctor A. Braberman in ASPL-2

Publication years (Num. hits)
1998-2005 (16) 2006-2010 (16) 2011-2013 (18) 2014-2016 (16) 2017-2019 (7)
Publication types (Num. hits)
article(26) inproceedings(46) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 42 occurrences of 33 keywords

Results
Found 74 publication records. Showing 73 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel Dynamic Reconfiguration of Business Processes. Search on Bibsonomy BPM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Simulator-based diff-time performance testing. Search on Bibsonomy ICSE (NIER) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez Testing and validating end user programmed calculated fields. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fernando Asteasuain, Víctor A. Braberman Declaratively building behavior by means of scenario clauses. Search on Bibsonomy Requir. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel Interaction Models and Automated Control under Partial Observable Environments. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Verification Coverage. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Model checker execution reports. Search on Bibsonomy ASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel Probabilistic Interface Automata. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel Technical Report: Directed Controller Synthesis of Discrete Event Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Model Checker Execution Reports. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel Less is More: Estimating Probabilistic Rewards over Partial System Explorations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel Behaviour abstraction adequacy criteria for API call protocol testing. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. Search on Bibsonomy CDC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel 2½-player generalized reactivity (1) games. Search on Bibsonomy CDC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel Assured and correct dynamic update of controllers. Search on Bibsonomy SEAMS@ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito Runtime controller synthesis for self-adaptation: be discrete! Search on Bibsonomy SEAMS@ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Fernando Asteasuain, Víctor A. Braberman Specification Patterns: Formal and Easy. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel Robust degradation and enhancement of robot mission behaviour in unpredictable environments. Search on Bibsonomy CTSE@SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel MORPH: a reference architecture for configuration and behaviour self-adaptation. Search on Bibsonomy CTSE@SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine Summary-based inference of quantitative bounds of live heap objects. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel Controllability in Partial and Uncertain Environments. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel Hope for the best, prepare for the worst: multi-tier control for adaptive systems. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay Supporting incremental behaviour model elaboration. Search on Bibsonomy Computer Science - R&D The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer Synthesizing Modal Transition Systems from Triggered Scenarios. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Enabledness-based program abstractions for behavior validation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel Synthesizing nonanomalous event-based controllers for liveness goals. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. Search on Bibsonomy ICST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel Controller synthesis: from modelling to enactment. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel Automated reliability estimation over partial systematic explorations. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Laurent Fribourg (eds.) Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings Search on Bibsonomy FORMATS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Automated Abstractions for Contract Validation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel The Modal Transition System Control Problem. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer Distribution of Modal Transition Systems. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Abstractions for Validation in Action. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada Quantitative dynamic-memory analysis for Java. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman Model-based quality assurance of protocol documentation: tools and methodology. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Program abstractions for behaviour validation. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel Synthesis of live behaviour models for fallible domains. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel Contractor.NET: inferring typestate properties to enrich code contracts. Search on Bibsonomy TOPI@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fernando Asteasuain, Víctor A. Braberman Specification patterns can be formal and still easy. Search on Bibsonomy SEKE The full citation details ... 2010 DBLP  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel Synthesis of live behaviour models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel My model checker died!: how well did it do? Search on Bibsonomy QUOVADIS@ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel A Sound Observational Semantics for Modal Transition Systems. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, probability, behaviour models, interface automata
1Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada On transforming Java-like programs into memory-predictable code. Search on Bibsonomy JTRES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Validation of contracts using enabledness preserving finite state abstractions. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ví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. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine Parametric prediction of heap memory requirements. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF heap consumption, heap space analysis, java, memory regions
1German E. Sibay, Sebastián Uchitel, Víctor A. Braberman Existential live sequence charts revisited. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF partial behaviour models, synthesis, scenarios, mts
1Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman Achieving both model and code coverage with automated gray-box testing. Search on Bibsonomy A-MOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parameterized unit testing, model-based testing, symbolic execution, test-case generation, concolic execution
1Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik Hypervolume Approximation in Timed Automata Model Checking. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. Search on Bibsonomy Journal of Object Technology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik Dealing with practical limitations of distributed timed model checking for timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
1Lucí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. Search on Bibsonomy ETX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF LAPSUS, OBSSLICE, timed model checking, verification, timed automata, Eclipse, Eclipse plug-in, ZEUS, VTS
1Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman A foundation for behavioural conformance in software product line architectures. Search on Bibsonomy ROSATEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik Issues in distributed timed model checking. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Distributed timed model checking, Kronos, Timed automata, Timed systems, Zeus
1Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scenario-based verification, model checking, formal methods, Requirements/specifications
1André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. Search on Bibsonomy ETX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF memory management, real-time java, Eclipse plug-in
1Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero ObsSlice: A Timed Automata Slicer Based on Observers. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero Visual Timed Event Scenarios. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik ZEUS: A Distributed Timed Model-Checker Based on KRONOS. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero On Improving Backwards Verification of Timed Automata. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero Improving the Verification of Timed Systems Using Influence Information. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero An architecture-centric approach to the development of a distributed model-checker for timed automata. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman Observing timed systems by means of message sequence chart graphs. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Alfredo Olivero Extending Timed Automata for Compositional Modeling Healthy Timed Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman, Fabio Pieniazek Duration Properties over Real Time System Designs. Search on Bibsonomy IWSSD The full citation details ... 2000 DBLP  BibTeX  RDF Duration Properties, Model-Checking, Timed Automata, Real-Time System Designs
1Víctor A. Braberman, Miguel Felder Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Víctor A. Braberman Automatic Verification of Real-Time Designs. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF end-to-end constraints, real-time systems, timed automata, automatic verification, fixed-priority scheduling
1Víctor A. Braberman, Dang Van Hung On Checking Timed Automata for Linear Duration Invariants. Search on Bibsonomy RTSS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license