BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Braberman:V=iacute=ctor_A=

Contributed to:

ICSE 20142014
ICSE 20132013
ICST 20132013
FM 20122012
SFM 20122012
ICSE 20112011
FSE 20102010
SEKE 20102010
ESEC/FSE 20092009
ICSE 20092009
ICSE 20082008
ISMM 20082008
A-MOST 20072007
CAV 20042004
ICSE 20042004
ICSE 20022002
TACAS 20022002
ESEC/FSE 19991999
ICSE 19991999
ASE 20172017
ESEC/FSE 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.