INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
BRABERMAN VICTOR; DELGADO TOMÁS; SANCHEZ SORRONDO MARCOS; UCHITEL SEBASTIAN
Exploration Policies for On-the-fly Controller Synthesis: a Reinforcement Learning Approach
International Conference on Automated Planning and Scheduling (ICAPS 2023)
Lugar: Praga; Año: 2023;
ALRAHMAN YEHIA; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; NIR PITERMAN; UCHITEL SEBASTIAN
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
AMERICAN CONTROL CONFERENCE
Lugar: New Orleans; Año: 2021;
L. NAHABEDIAN; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; JEFF KRAMER; UCHITEL SEBASTIAN
Dynamic Reconfiguration of Business Processes
Business Process Management - 17th International Conference
Año: 2019;
POSTOLSKI IVAN; BRABERMAN VICTOR; DIEGO GARBERVETSKY; UCHITEL SEBASTIAN
Simulator-based diff-time performance testing
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019
Lugar: Montreal; Año: 2019;
EZEQUIEL CASTELLANO; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; UCHITEL SEBASTIAN; KENJI TEI
Minimising Makespan of Discrete Controllers: A Qualitative Approach
2019 IEEE Conference on Decision and Control (CDC)
Año: 2019;
GODOY JAVIER; BRABERMAN VICTOR; DIEGO GARBERVESTKY; UCHITEL SEBASTIAN
Testing and Validating End User Programmed Calculated Fields
Industry Track for ECSE/FSE 2018
Año: 2018;
CASTAÑO RODRIGO; BRABERMAN VICTOR; DIEGO GARBERVESTKY; UCHITEL SEBASTIAN
Model checker execution reports
32nd IEEE/ACM International Conference on Automated Software Engineerin
Año: 2017;
CIOLEK, DANIEL; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; UCHITEL SEBASTIAN
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
Decision and Control (CDC), 2016 IEEE 55th Conference on
Año: 2016;
RODRIGUEZ, NATALIA; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; UCHITEL SEBASTIAN
2½-player generalized reactivity (1) games
55th IEEE Conference on Decision and Control, CDC 2016,
Año: 2016;
L. NAHABEDIAN; BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; S. HONIDEN; JEFF KRAMER; K.TEI; UCHITEL SEBASTIAN
Assured and Correct Dynamic Update of Controllers
SEAMS: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Año: 2016;
BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; DANIEL SYKES; UCHITEL SEBASTIAN
Robust Degradation and Enhancement of Robot Mission Behaviour in Unpredictable Environments
1st International Workshop on Control Theory for Software Engineering,
Año: 2015;
BRABERMAN VICTOR; DIPPOLITO R. NICOLAS; JEFF KRAMER; DANIEL SYKES; UCHITEL SEBASTIAN
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation
1st International Workshop on Control Theory for Software Engineering,
Año: 2015;
HERNANDEZ ALEJANDRO; ECHAGUE JUAN; DANIEL YANKELEVICH; FILIA GUILLERMO; GOMEZ MAXIMILIANO; GUEDE CHRISTIAN; BRABERMAN VICTOR; D. GARBERVETSKY; JAMARDO JULIAN; REPKA, CAMILO; UCHITEL SEBASTIAN
Sobre la dinámica de un equipo de vinculación tecnológica
JUI - Jornadas de Vinculación Universidad-Industria
Lugar: Rosario; Año: 2015;
ANACLETO ADRIAN; BRABERMAN VICTOR; ECHAGUE JUAN; FILIA GUILLERMO; DIEGO GARBERVESTKY; GOMEZ MAXIMILIANO; ROJO ESTEBAN; UCHITEL SEBASTIAN
Experiencias de I+D+i en productos avanzados para el análisis de software
JUI - Jornadas de Vinculación Universidad-Industria
Año: 2014;
NICOLAS D´IPPOLITO; VICTOR 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
36th International Conference on Software Engineering
Lugar: Hyderabad; Año: 2014;
HERNAN CZEMERINSKI; VICTOR A. BRABERMAN; SEBASTIÁN UCHITEL
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria
15 Simposio Argentino de Ingeniería de Software
Año: 2014;
DIPPOLITO R. NICOLAS; BRABERMAN VICTOR; PITERMAN NIR; UCHITEL SEBASTIAN
Controllability in Partial and Uncertain Environments
14th International Conference on Application of Concurrency to System Design
Año: 2014;
ESTEBAN PAVESE; VICTOR A. BRABERMAN; SEBASTIÁN UCHITEL
Automated Reliability Estimation over Partial Systematic Explorations
35th International Conference on Software Engineering (ICSE 2013)
Lugar: San Francisco; Año: 2013;
HERNAN CZEMERINSKI; VICTOR A. BRABERMAN; SEBASTIÁN UCHITEL
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria
2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013)
Lugar: luxemburgo; Año: 2013;
VICTOR BRABERMAN; NICOLAS D´IPPOLITO; NIR PITERMAN; DANIEL SYKES; SEBASTIÁN UCHITEL
Controller synthesis: from modelling to enactment
2013 International Conference on Software Engineering (ICSE 2013)
Lugar: San Francisco; Año: 2013;
DIPPOLITO R. NICOLAS; VICTOR BRABERMAN; NIR PITERMAN; SEBASTIÁN UCHITEL
The Modal Transition System Control Problem
18th Intl. Symposium on Formal Methods (FM 2012)
Lugar: Paris; Año: 2012;
G. SIBAY; VICTOR A. BRABERMAN; SEBASTIÁN UCHITEL; JEFF KRAMER
Distribution of Modal Transition Systems
18th Intl. Symposium on Formal Methods (FM 2012)
Lugar: Paris; Año: 2012;
GUIDO DE CASO; VICTOR A. BRABERMAN; DIEGO GARBERVESTKY; SEBASTIÁN UCHITEL
Program Abstractions for Behaviour Validation
International Conference on Software Engineering (ICSE 2011)
Lugar: Honolulu; Año: 2011;
NICOLAS D´IPPOLITO; VICTOR A. BRABERMAN; NIR PITERMAN; SEBASTIÁN UCHITEL
Synthesis of live behaviour models for fallible domains
International Conference on Software Engineering (ICSE 2011)
Lugar: Honolulu; Año: 2011;
EDGARDO ZOPPI; VICTOR A. BRABERMAN; GUIDO DE CASO; DIEGO GARBERVESTKY; SEBASTIÁN UCHITEL
Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts
TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - ICSE 2011
Lugar: Honolulu; Año: 2011;
FERNANDO ASTEASUAIN; VICTOR BRABERMAN
Specification patterns can be formal and still easy
22nd International Conference on Software Engineering and Knowledge Engineering
Lugar: Redwood City, San Francisco Bay; Año: 2010;
FERNANDO ASTEASUAIN; VICTOR A. BRABERMAN
Exploring visual scenarios as an aspect-oriented modeling language
11th Argentine Symposium on Software Engineering (ASSE 2010) - 39th Argentine Conference on Informatics (JAIIO 2010)
Lugar: Buenos Aires; Año: 2010;
ESTEBAN PAVESE; VICTOR BRABERMAN; SEBASTIÁN UCHITEL
My Model Checker Died! How Well Did It Do?
International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Lugar: Cape Town, Sudáfrica; Año: 2010;
NICOLAS D´IPPOLITO; VICTOR A. BRABERMAN; NIR PITERMAN; SEBASTIAN UCHITEL
Synthesis of Live Behaviour Models
ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering
Lugar: Santa Fe, New Mexico, EEUU; Año: 2010;
DARIO FISCHBEIN; VICTOR A. BRABERMAN; SEBASTIÁN UCHITEL
A Sound Observational Semantics for Modal Transition Systems
International Colloquium on Theoretical Aspects of Computing
Lugar: Kuala Lumpur ; Año: 2009;
VICTOR 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
The 7th International Conference on Formal Modelling and Analysis of Timed Systems
Lugar: Budapest; Año: 2009;
ESTEBAN PAVESE; VICTOR BRABERMAN; SEBASTIAN UCHITEL
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.
Intl. Conf. Foundations of Software Engineering
Lugar: Amsterdam, Holanda; Año: 2009;
GUIDO DE CASO; VICTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL
Validation of Contracts using Enabledness Preserving Finite State Abstractions
IEEE/ACM International Conference on Software Engineering (ICSE)
Lugar: Vancuver, Canada; Año: 2009;
D. GARBERVETSKY; S. YOVINE; VICTOR BRABERMAN; MARTIN ROUAUX; ALEJANDRO TABOADA
On transforming Java-like programs into memory-predictable code.
7th International Workshop on Java Technologies for Real-time and Embedded Systems
Lugar: España; Año: 2009;
V. BRABERMAN; F. FERNÁNDEZ; D. GARBERVETSKY; S. YOVINE
Parametric Prediction of Heap Memory Requirements
ACM SIGPLAN International Symposium on Memory Management
Lugar: Tucson, EEUU; Año: 2008;
MONTEVERDE, DANIEL; AFREDO OLIVERO; SERGIO YOVINE; VICTOR BRABERMAN
VTS-based Specification and Verification of Behavioral Properties of AADL Models
Model Based Architecting and Construction of Embedded Systems
Lugar: Toulouse, Francia; Año: 2008;
G. SIBAY; S. UCHITEL; V. BRABERMAN
Existencial Life Sequence Charts Revisited
ACM\IEEE International Conference on Software Engineering
Lugar: Leipzig, Alemania; Año: 2008;
KICILLOF; GRIESKAMP; TILLMANN; BRABERMAN
Achieving Both Model and Code Coverage with Automated Gray-Box Testing"
Workshop on Advances in Model Based Testing
Lugar: Londres; Año: 2007;
LUCÍA CAVATORTA; GUIDO DE CASO; ANDRÉS FERARI; VÍCTOR A. BRABERMAN; DIEGO GARBERVETSKY; NICOLAS KICILLOF; FERNANDO SCHAPACHNIK; ALFREDO OLIVERO
A Toolsuite for the Verification of Real- Time Systems in Eclipse
Eclipse Technology Exchange
Lugar: Portland, EEUU; Año: 2006;
VÍCTOR A. BRABERMAN; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK
Optimizing timed Automata model Checking via Clock Reordering
IEEE International Real-Time Systems Symposium
Lugar: Río de janeiro, Brasil; Año: 2006;
DARÍO FISHBEIN; SEBASTIÁN UCHITEL; VICTOR A. BRABERMAN
A Foundactions for Software Behavioural Conformance in Software product Line Architectures
The Role of Soft. Architecture for Testing and Analysis
Lugar: Portland, EEUU; Año: 2006;
VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; SERGIO YOVINE
Synthesizing parametric specifications of dynamic memory utilization in object oriented programs
Whorkshop on Formal Techiques for Java-like Programs
Lugar: Glasgow, RU; Año: 2005;
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
Eclipse Technology Exchange
Lugar: San Diego, EEUU; Año: 2005;
A. ALFONSO; V. BRABERMAN; D. GARBERVETSKY; N. KICILLOF; A. OLIVER
Scenario- Based Property Description and Model Slicing for Real Systems
ACM International Conference on Automata Software Engineering
Lugar: Linz, Australia; Año: 2004;
VICTOR A. BRABERMAN; DIEGO GARBERVETSKY
Seamlessly migrating Java application to Java RealTime with Eclipse in teaching, research and development environmets
Poster Session Eclipse Technology Exchange
Lugar: Edinburgo, Escocia; Año: 2004;
ALEJANDRA ALFONSO; VICTOR A. BRABERMAN; DIEGO GARBERVETSKY; NICOLAS KICILLOF; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK
Vin-Time: Combing High-Level Finesse with Low-Level Muscle to Verify Real-Time systems
Conference on the Principles of Software Engineering
Lugar: Bs. As. , Argentina; Año: 2004;
A. ALFONSO; VICTOR A. BRABERMAN; NICOLAS KICILLOF; ALFREDO OLIVERO
Visual Tmed Event Scenarios
ACM\IEEE International Conference on Software Engineering
Lugar: Edimburgo, GB; Año: 2004;
VICTOR A. BRABERMAN; FERNANDO OLIVETO; MATÍAS BLAUNSTEIN
Scenario-based Validation and Verification for Real time Software: On run Conformance and Coverage for MSC-graphs
International Workshop on Scenarios and State Machines: Models, Algorithms and Tools
Lugar: Portland, EEUU; Año: 2003;
FERNANDO SCHAPACHNIK; VÍCTOR BRABERMAN; ALFREDO OLIVERO
An Architecture-centric approach to the development of a distributed model-checker for time automata
Poster Session International Conference on Software Engineering
Lugar: Orlando, EEUU; Año: 2002;
SEBASTIÁN BLAUSTEIN; FERNANDO OLIVETO; VICTOR BRABERMAN
Observing timed systems by means of messages sequence chart graphs
Poster Session International Conference on Software Engineering
Lugar: Oregon, EEUU; Año: 2002;
VICTOR A. BRABERMAN; ALFREDO OLIVERO
Preserving Branching-time Structure in timed Systems
Workshop Argentino de Ciencia de la Computación
Lugar: Buenos Aires, Argentina; Año: 2001;
VICTOR A. BRABERMAN; FABIO PIENIAZCK
Duration Properties over Real Time System Designs
ACM International Workshop on Software Specification and Design
Lugar: San Diego, EEUU; Año: 2000;
VICTOR A. BRABERMAN; MIGUEL FELDER
Automatic Verifiction of Real-Time-Designs
Doctoral Workshop International Conference on Software Engineering
Lugar: Loa Angeles, EEUU; Año: 1999;
VICTOR A. BRABERMAN; DANG VNA HUNG
On Checking Timed Automata For Linear Duration Invariants
RTSS -IEEE International Real-time Systems Symposium
Lugar: Madrid, Espania; Año: 1998;
VICTOR A. BRABERMAN; MARINA MARRÉ; MIGUEL FELDER
Testing Timing Behaviors of Real Time Software
International Software Quality Week
Lugar: san Francisco, EEUU; Año: 1997;
G. MATERA; ROSA WACHENCHAUZER; VICTOR A. BRABERMAN
The TERA Development Group as Interface between mathematician and Computer Scientists
Second International workshop on (Semi)numerical Techniques in Polynominal Equation
Lugar: Cordoba, Argentina; Año: 1997;
VICTOR A. BRABERMAN
On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems
WorkShop Formal Methods for the Design of Real-Time Systems
Lugar: Como, Italia; Año: 1997;
VICTOR A. BRABERMAN; FABIO PIENIAZCK; MIGUEL FELDER
Enhancing the adoption of Formal Methods to Design Real Time Systems
Congreso Argentino de Ciencias de la Computación
Lugar: San Luís, Argentina; Año: 1996;
LUCIANO BARESI; VICTOR A. BRABERMAN; MIGUEL FELDER; MAURO PEZZE; FABIO PIENIAZECK
A Practical Approach to Formal Design of Real-time Systems
IEEE International Conference on Systems, Man a Cybernetics
Lugar: Pekín, China; Año: 1996;
