default search action
Víctor A. Braberman
Person information
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
Verification of Programs with Common Fragments. SIGSOFT FSE Companion 2024: 487-491 - [i9]Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous
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
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
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104: 101850 (2022) - [j21]Maureen Keegan
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
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC 2021: 4892-4899 - 2020
- [j20]Daniel Alfredo Ciolek
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65(8): 3502-3516 (2020) - [j19]Leandro Nahabedian
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
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
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
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
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
2½-player generalized reactivity (1) games. CDC 2016: 6996-7001 - [c44]Sebastián Uchitel
Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE 2016: 1-3 - [c43]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito
Assured and correct dynamic update of controllers. SEAMS@ICSE 2016: 96-107 - [i3]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito
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
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE 2015: 9-16 - [c41]Nicolás D'Ippolito
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
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR abs/1504.08339 (2015) - 2014
- [j12]Víctor A. Braberman, Diego Garbervetsky
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92: 56-84 (2014) - [c40]Nicolás D'Ippolito
Controllability in Partial and Uncertain Environments. ACSD 2014: 52-61 - [c39]Nicolás D'Ippolito
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE 2014: 688-699 - 2013
- [j11]Sebastián Uchitel
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28(4): 279-293 (2013) - [j10]Nicolás D'Ippolito
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
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
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
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
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
Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38(1): 141-162 (2012) - [c34]Nicolás D'Ippolito
The Modal Transition System Control Problem. FM 2012: 155-170 - [c33]German E. Sibay, Sebastián Uchitel
Distribution of Modal Transition Systems. FM 2012: 403-417 - [c32]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
Abstractions for Validation in Action. SFM 2012: 192-218 - 2011
- [j6]Diego Garbervetsky
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
Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE 2011: 44-47 - [c30]Nicolás D'Ippolito
Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220 - [c29]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
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
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
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
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
Existential live sequence charts revisited. ICSE 2008: 41-50 - [c19]Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky
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
A toolsuite for the verification of real-time systems in Eclipse. ETX 2006: 35-39 - [c15]Dario Fischbein, Sebastián Uchitel
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
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
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: