- Finding and Fixing Faults Barbara Jobstmann,
- Property Synthesis Barbara Jobstmann
- Synthesis for Regular Specifications over Unbounded Domains
- Automatic Hardware Synthesis from Specifications: A Case Study Roderick Bloem1 Stefan Galler1 Barbara Jobstmann1
- Dissertation Applications and Optimizations
- Robustness in the Presence of Liveness Roderick Bloem1
- Synthesizing Robust Systems Roderick Bloem, Karin Greimel, Thomas A. Henzinger, and Barbara Jobstmann
- Diagnosis is Repair Stefan Staber, Barbara Jobstmann, and Roderick Bloem
- Finding and Fixing Faults # Stefan Staber, Barbara Jobstmann, and Roderick Bloem
- FP6-IST-507219 Property-Based System Design
- Better Quality in Synthesis through Quantitative Objectives
- Optimizations for LTL Synthesis Barbara Jobstmann and Roderick Bloem
- FP6-IST-507219 Property-Based System Design
- Property Synthesis Barbara Jobstmann
- Anzu: A Tool for Property Synthesis # Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, and Roderick Bloem
- Program Repair as a Game # Barbara Jobstmann, Andreas Griesmayer, and Roderick Bloem
- Measuring and Synthesizing Systems in Probabilistic Environments
- Gist: A Solver for Probabilistic Games Krishnendu Chatterjee1
- Instantaneous Soundness Checking of Industrial Business Process Models
- Open Implication Karin Greimel1
- Model Checking Transactional Memories Rachid Guerraoui Thomas A. Henzinger Barbara Jobstmann Vasu Singh
- Synthesizing Systems with Optimal Average-Case Behavior for Ratio
- Environment Assumptions for Synthesis Krishnendu Chatterjee1
- FP6-IST-507219 Property-Based System Design
- FP6-IST-507219 Property-Based System Design
- FP6-IST-507219 Property-Based System Design
- www-verimag.imag.fr Methods and tools
- Laboratoire VERIMAG Directeur: Nicolas Halbwachs
- Anzu: A Tool for Property Synthesis Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, and Roderick Bloem
- Finding and Fixing Faults Stefan Staber, Barbara Jobstmann, and Roderick Bloem
- Synthesizing Efficient Controllers Christian von Essen1
- Synthesis of Reactive(1) Designs Roderick Bloema
- Diagnosis is Repair Stefan Staber, Barbara Jobstmann, and Roderick Bloem
- Program Repair as a Game Barbara Jobstmann, Andreas Griesmayer, and Roderick Bloem
