Victor Braberman

Identifiers

• name variant Victor Braberman 0.60 · backfill

Papers (4)

1. Verification Coverage cs.SE · 2017 · author #2
2. Model Checker Execution Reports cs.SE · 2016 · author #2
3. Technical Report: Directed Controller Synthesis of Discrete Event Systems cs.SY · 2016 · author #2
4. MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation cs.SE · 2015 · author #1

Mentions

• 1605.09772 #2 · arxiv_oai · confidence 0.70 Victor Braberman
• 1504.08339 #1 · backfill · confidence 0.70 Victor Braberman

Frequent Coauthors

• Sebastian Uchitel 3 shared papers
• Diego Garbervetsky 2 shared papers
• Rodrigo Casta\~no 2 shared papers
• Daniel Ciolek 1 shared papers
• Daniel Sykes 1 shared papers
• Jeff Kramer 1 shared papers
• Nicol\'as D'Ippolito 1 shared papers
• Nicolas D'Ippolito 1 shared papers
• Sebasti\'an Uchitel 1 shared papers