Travelled to:
1 × Canada
1 × Germany
1 × India
1 × Italy
1 × Luxembourg
1 × The Netherlands
2 × United Kingdom
3 × France
8 × USA
Collaborated with:
S.Uchitel D.Garbervetsky A.Olivero N.D'Ippolito N.Piterman G.d.Caso E.Pavese G.E.Sibay F.Asteasuain N.Kicillof M.Felder ∅ J.Kramer D.Sykes H.Czemerinski S.Blaustein F.Oliveto F.Schapachnik F.J.Fernández S.Yovine W.Grieskamp N.Tillmann A.Alfonso R.Castaño J.Magee J.Godoy I.Perez S.Perez
Talks about:
model (7) time (7) behaviour (5) system (5) abstract (4) verif (4) valid (4) synthesi (3) control (3) live (3)
Person: Víctor A. Braberman
DBLP: Braberman:V=iacute=ctor_A=
Contributed to:
Wrote 25 papers:
- ICSE-2014-DIppolitoBKMSU #adaptation #multi
- Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.
- ICSE-2013-BrabermanDPSU #modelling #synthesis
- Controller synthesis: from modelling to enactment (VAB, ND, NP, DS, SU), pp. 1347–1350.
- ICSE-2013-PaveseBU #automation #estimation #reliability
- Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
- ICST-2013-CzemerinskiBU #abstraction #behaviour #black box
- Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
- FM-2012-DIppolitoBPU #problem
- The Modal Transition System Control Problem (ND, VAB, NP, SU), pp. 155–170.
- FM-2012-SibayUBK
- Distribution of Modal Transition Systems (GES, SU, VAB, JK), pp. 403–417.
- SFM-2012-CasoBGU #abstraction #validation
- Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
- ICSE-2011-CasoBGU #abstraction #behaviour #validation
- Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
- ICSE-2011-DIppolitoBPU #behaviour #modelling #synthesis
- Synthesis of live behaviour models for fallible domains (ND, VAB, NP, SU), pp. 211–220.
- FSE-2010-DIppolitoBPU #behaviour #modelling #synthesis
- Synthesis of live behaviour models (ND, VAB, NP, SU), pp. 77–86.
- SEKE-2010-AsteasuainB #specification
- Specification patterns can be formal and still easy (FA, VAB), pp. 430–436.
- ESEC-FSE-2009-PaveseBU #analysis #behaviour #modelling #probability
- Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models (EP, VAB, SU), pp. 335–344.
- ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation
- Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
- ICSE-2008-SibayUB #revisited #sequence chart
- Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.
- ISMM-2008-BrabermanFGY #memory management #parametricity #predict #requirements
- Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.
- A-MOST-2007-KicillofGTB #automation #test coverage #testing
- Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
- CAV-2004-BrabermanGO #automaton #named #slicing
- ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
- ICSE-2004-AlfonsoBKO #visual notation
- Visual Timed Event Scenarios (AA, VAB, NK, AO), pp. 168–177.
- ICSE-2002-BlausteinOB #graph #sequence chart
- Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
- ICSE-2002-SchapachnikBO #approach #architecture #automaton #development #distributed #model checking
- An architecture-centric approach to the development of a distributed model-checker for timed automata (FS, VAB, AO), p. 710.
- TACAS-2002-BrabermanGO #using #verification
- Improving the Verification of Timed Systems Using Influence Information (VAB, DG, AO), pp. 21–36.
- ESEC-FSE-1999-BrabermanF #automation #design #realtime #scheduling #verification
- Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification (VAB, MF), pp. 494–510.
- ICSE-1999-Braberman #automation #design #realtime #verification
- Automatic Verification of Real-Time Designs (VAB), pp. 716–717.
- ASE-2017-CastanoBGU #execution #model checking
- Model checker execution reports (RC, VAB, DG, SU), pp. 200–205.
- ESEC-FSE-2018-BrabermanGGUCPP #testing #validation
- Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.