Víctor A. Braberman (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

39 Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: The Modal Transition System Control Problem. FM 2012: 155-170

35 Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220

30 Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86

Selection of 3 from 39 records - Víctor A. Braberman has 32 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

39		Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: The Modal Transition System Control Problem. FM 2012: 155-170
35		Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220
30		Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86