default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVíctor A. Braberman
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c54]Ivan Postolski
, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Verification of Programs with Common Fragments. SIGSOFT FSE Companion 2024: 487-491- [i9]Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas:
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR abs/2404.09384 (2024) - 2023
- [j23]Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
On-the-fly informed search of non-blocking directed controllers. Autom. 147: 110731 (2023) - [c53]Tomás Delgado, Marco Sánchez Sorondo, Víctor A. Braberman, Sebastián Uchitel:
Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. ICAPS 2023: 569-577 - 2022
- [j22]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel:
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104: 101850 (2022) - [j21]Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. 48(6): 1965-1978 (2022) - [i8]Tomás Delgado, Víctor A. Braberman, Sebastián Uchitel:
Scaling Directed Controller Synthesis via Reinforcement Learning. CoRR abs/2210.05393 (2022) - [i7]Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel:
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. CoRR abs/2211.04560 (2022) - [i6]Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Dynamic Slicing by On-demand Re-execution. CoRR abs/2211.04683 (2022) - 2021
- [c52]Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC 2021: 4892-4899 - 2020
- [j20]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel:
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65(8): 3502-3516 (2020) - [j19]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel:
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46(11): 1220-1240 (2020) - [i5]Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR abs/2009.05554 (2020)
2010 – 2019
- 2019
- [c51]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel:
Dynamic Reconfiguration of Business Processes. BPM 2019: 35-51 - [c50]Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei:
Minimising Makespan of Discrete Controllers: A Qualitative Approach. CDC 2019: 1068-1075 - [c49]Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Simulator-based diff-time performance testing. ICSE (NIER) 2019: 81-84 - 2018
- [c48]Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez:
Testing and validating end user programmed calculated fields. ESEC/SIGSOFT FSE 2018: 827-832 - 2017
- [j18]Fernando Asteasuain, Víctor A. Braberman:
Declaratively building behavior by means of scenario clauses. Requir. Eng. 22(2): 239-274 (2017) - [j17]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. 43(1): 19-33 (2017) - [c47]Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Model checker execution reports. ASE 2017: 200-205 - [i4]Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Verification Coverage. CoRR abs/1706.03796 (2017) - 2016
- [j16]Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel:
Behaviour abstraction adequacy criteria for API call protocol testing. Softw. Test. Verification Reliab. 26(3): 211-244 (2016) - [j15]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Less is More: Estimating Probabilistic Rewards over Partial System Explorations. ACM Trans. Softw. Eng. Methodol. 25(2): 16:1-16:47 (2016) - [j14]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Probabilistic Interface Automata. IEEE Trans. Software Eng. 42(9): 843-865 (2016) - [c46]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. CDC 2016: 4764-4769 - [c45]Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
2½-player generalized reactivity (1) games. CDC 2016: 6996-7001 - [c44]Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito:
Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE 2016: 1-3 - [c43]Leandro 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. SEAMS@ICSE 2016: 96-107 - [i3]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR abs/1605.09772 (2016) - [i2]Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Model Checker Execution Reports. CoRR abs/1607.06857 (2016) - 2015
- [j13]Fernando Asteasuain, Víctor A. Braberman:
Specification Patterns: Formal and Easy. Int. J. Softw. Eng. Knowl. Eng. 25(4): 669-700 (2015) - [c42]Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE 2015: 9-16 - [c41]Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel:
Robust degradation and enhancement of robot mission behaviour in unpredictable environments. CTSE@SIGSOFT FSE 2015: 26-33 - [i1]Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR abs/1504.08339 (2015) - 2014
- [j12]Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine:
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92: 56-84 (2014) - [c40]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Controllability in Partial and Uncertain Environments. ACSD 2014: 52-61 - [c39]Nicolá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. ICSE 2014: 688-699 - 2013
- [j11]Sebastiá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. Comput. Sci. Res. Dev. 28(4): 279-293 (2013) - [j10]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22(1): 9:1-9:36 (2013) - [j9]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. 22(3): 25:1-25:46 (2013) - [j8]German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer:
Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Trans. Software Eng. 39(7): 975-1001 (2013) - [c38]Ví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. Software Engineering for Self-Adaptive Systems 2013: 377-408 - [c37]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Automated reliability estimation over partial systematic explorations. ICSE 2013: 602-611 - [c36]Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel:
Controller synthesis: from modelling to enactment. ICSE 2013: 1347-1350 - [c35]Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel:
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. ICST 2013: 222-231 - [e1]Víctor A. Braberman, Laurent Fribourg:
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Lecture Notes in Computer Science 8053, Springer 2013, ISBN 978-3-642-40228-9 [contents] - 2012
- [j7]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) - [c34]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
The Modal Transition System Control Problem. FM 2012: 155-170 - [c33]German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer:
Distribution of Modal Transition Systems. FM 2012: 403-417 - [c32]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Abstractions for Validation in Action. SFM 2012: 192-218 - 2011
- [j6]Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada:
Quantitative dynamic-memory analysis for Java. Concurr. Comput. Pract. Exp. 23(14): 1665-1678 (2011) - [j5]Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman:
Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21(1): 55-71 (2011) - [c31]Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel:
Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE 2011: 44-47 - [c30]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 - [c29]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Program abstractions for behaviour validation. ICSE 2011: 381-390 - 2010
- [c28]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
My model checker died!: how well did it do? QUOVADIS@ICSE 2010: 33-40 - [c27]Fernando Asteasuain, Víctor A. Braberman:
Specification patterns can be formal and still easy. SEKE 2010: 430-436 - [c26]Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86
2000 – 2009
- 2009
- [c25]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 - [c24]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 - [c23]Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel:
A Sound Observational Semantics for Modal Transition Systems. ICTAC 2009: 215-230 - [c22]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 - [c21]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 - 2008
- [c20]German E. Sibay, Sebastián Uchitel, Víctor A. Braberman:
Existential live sequence charts revisited. ICSE 2008: 41-50 - [c19]Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine:
Parametric prediction of heap memory requirements. ISMM 2008: 141-150 - 2007
- [c18]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 - [c17]Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik:
Hypervolume Approximation in Timed Automata Model Checking. FORMATS 2007: 69-81 - 2006
- [j4]Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
Dealing with practical limitations of distributed timed model checking for timed automata. Formal Methods Syst. Des. 29(2): 197-214 (2006) - [j3]Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine:
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. 5(5): 31-58 (2006) - [c16]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 - [c15]Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman:
A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48 - 2005
- [j2]Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
Issues in distributed timed model checking. Int. J. Softw. Tools Technol. Transf. 7(1): 4-18 (2005) - [j1]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) - [c14]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 - 2004
- [c13]Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero:
ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474 - [c12]Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero:
Visual Timed Event Scenarios. ICSE 2004: 168-177 - [c11]Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. PDMC 2004: 3-18 - 2002
- [c10]Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman:
Observing timed systems by means of message sequence chart graphs. ICSE 2002: 707 - [c9]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 - [c8]Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero:
Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36 - [c7]Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero:
On Improving Backwards Verification of Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 60-67 - [c6]Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
ZEUS: A Distributed Timed Model-Checker Based on KRONOS. PDMC@CONCUR 2002: 503-522 - 2001
- [c5]Víctor A. Braberman, Alfredo Olivero:
Extending Timed Automata for Compositional Modeling Healthy Timed Systems. MTCS 2001: 227-245 - 2000
- [c4]Víctor A. Braberman, Fabio Pieniazek:
Duration Properties over Real Time System Designs. IWSSD 2000: 51-62
1990 – 1999
- 1999
- [c3]Víctor A. Braberman, Miguel Felder:
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. ESEC / SIGSOFT FSE 1999: 494-510 - [c2]Víctor A. Braberman:
Automatic Verification of Real-Time Designs. ICSE 1999: 716-717 - 1998
- [c1]Víctor A. Braberman, Dang Van Hung:
On Checking Timed Automata for Linear Duration Invariants. RTSS 1998: 264-273
Coauthor Index
[c54] [j23] [c53] [j22] [j21] [i8] [i7] [i6] [c52] [j20] [j19] [i5] [c51] [c50] [c49] [c48] [j17] [c47] [i4] [j16] [j15] [j14] [c46] [c45] [c44] [c43] [i3] [i2] [c42] [c41] [i1] [c40] [c39] [j11] [j10] [j9] [j8] [c38] [c37] [c36] [c35] [j7] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c26] [c24] [c23] [c21] [c20] [c15]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
