Barbara Jobstmann

1. Synthesis of Reactive(1) designs
   2011/08/19 by Roderick Bloem, Barbara Jobstmann, Nir Piterman +2 · 29 citations
   Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #VLSI and Analog Circuit Testing
2. Better Quality in Synthesis through Quantitative Objectives
   2009/04/17 by Roderick Bloem, Krishnendu Chatterjee, Bloem, Roderick +5 · 5 citations
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
3. Environment Assumptions for Synthesis
   2008/05/27 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Thomas A. Henzinger +3 · 1 citation
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling