Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(33)
Alfredo Olivero
21
Diego Garbervetsky
14
Fernando Schapachnik
11
Sebastian Uchitel
9
Sergio Yovine
8
Conferences
(14)
ICSE
8
ESEC
2
FORMATS
2
ETX
2
ISSTA
1
Journals
(6)
ENTCS
6
STTT
3
FMSD
2
TSE
1
JOT
1
Keywords
(132)
Embed
Subscribe
Academic
Authors
Víctor A. Braberman
Edit
Víctor A. Braberman
Universidad de Buenos Aires
Publications: 47
|
Citations: 252
|
G-Index: 14
|
H-Index: 9
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
33 co-authors
from 1996 to 2011
; Cited by
304 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(47)
BibTeX
|
RIS
|
RefWorks
Download
Model-based quality assurance of protocol documentation: tools and methodology
(
Citations: 2
)
Wolfgang Grieskamp
,
Nicolas Kicillof
,
Keith Stobie
,
Víctor A. Braberman
Journal:
Software Testing, Verification & Reliability - STVR
, vol. 21, no. 1, pp. 55-71, 2011
Program abstractions for behaviour validation
Guido de Caso
,
Víctor A. Braberman
,
Diego Garbervetsky
,
Sebastián Uchitel
Conference:
International Conference on Software Engineering - ICSE
, pp. 381-390, 2011
Synthesis of live behaviour models for fallible domains
Nicolás D'Ippolito
,
Víctor A. Braberman
,
Nir Piterman
,
Sebastián Uchitel
Conference:
International Conference on Software Engineering - ICSE
, pp. 211-220, 2011
My model checker died!: how well did it do?
(
Citations: 1
)
Esteban Pavese
,
Víctor Braberman
,
Sebastian Uchitel
Published in 2010.
Synthesis of live behaviour models
Nicolás Roque D'Ippolito
,
Víctor A. Braberman
,
Nir Piterman
,
Sebastián Uchitel
Published in 2010.
Order by:
Citations
(252 times by 193 publications)
Symbolic model checking of software product lines
(
Citations: 2
)
Andreas Classen
,
Patrick Heymans
,
Pierre-Yves Schobbens
,
Axel Legay
Conference:
International Conference on Software Engineering - ICSE
, pp. 321-330, 2011
Task-level analysis for a language with async/finish parallelism
(
Citations: 1
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Damiano Zanardini
Conference:
Languages, Compilers, and Tools for Embedded Systems - LCTES
, pp. 21-30, 2011
Seamless Testing for Models and Code
(
Citations: 1
)
Andreas Holzer
,
Visar Januzaj
,
Stefan Kugele
,
Boris Langer
,
Christian Schallhart
,
Michael Tautschnig
,
Helmut Veith
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 278-293, 2011
Program abstractions for behaviour validation
Guido de Caso
,
Víctor A. Braberman
,
Diego Garbervetsky
,
Sebastián Uchitel
Conference:
International Conference on Software Engineering - ICSE
, pp. 381-390, 2011
A semi-formal approach for Java programs verification
Toufik Benouhiba
,
Hanene Cheriet
Conference:
International Symposium on Programming and Systems - ISPS
, 2011
Comments