Publications of Barbara Jobstmann

[Bloem et al., 2009]

Roderick Bloem and Karin Greimel and Thomas Henzinger and Barbara Jobstmann (2009).
Synthesizing Robust Systems.
In: Conference on Formal Methods in Computer Aided Design (FMCAD'09). pp. 85--92.

[Henzinger et al., 2009]

Thomas Henzinger and Barbara Jobstmann and Verena Wolf (2009).
Formalisms for Specifying Markovian Population Models.
In: Springer (ed.), LIX Colloquium Reachability Problems'09. pp. 3--23.

[Bloem et al., 2009]

Roderick Bloem and Krishnendu Chatterjee and Thomas Henzinger and Barbara Jobstmann (2009).
Better Quality in Synthesis through Quantitative Objectives.
In: Springer (ed.), Computer Aided Verification (CAV). pp. 140--156.

[Fahland et al., 2009]

Dirk Fahland and Cedric Favre and Barbara Jobstmann and Jana Koehler and Niels Lohmann and Hagen Völzer and Karsten Wolf (2009).
Instantaneous Soundness Checking of Industrial Business Process Models.
In: Springer (ed.), Business Process Management (BPM). pp. 278--293.

[Jobstmann et al., 2009]

B. Jobstmann and S. Staber and A. Griesmayer and R. Bloem (2009).
Finding and Fixing Faults.
In: Journal of Computer and System Sciences (JCSS), --. Accepted for publication.

[Doyen et al., 2008]

L. Doyen and T. Henzinger and B. Jobstmann and T. Petrov (2008).
Interface Theories with Component Reuse.
In: International Conference on Embedded Software (EMSOFT). pp. 79--88.

[Chatterjee et al., 2008]

K. Chatterjee and T. Henzinger and B. Jobstmann (2008).
Environment Assumptions for Synthesis.
In: International Conference on Concurrency Theory (CONCUR). pp. 147--161.

[Greimel et al., 2008]

K. Greimel and R. Bloem and B. Jobstmann and M. Vardi (2008).
Open Implication.
In: International Colloquium on Automata, Languages and Programming (ICALP'08). pp. 361--372. LNCS 5126.

[Guerraoui et al., 2008]

R. Guerraoui and T. Henzinger and B. Jobstmann and V. Singh (2008).
Model Checking Transactional Memories.
In: Programming Language Design and Implementation (PLDI). pp. 372--382.

[Jobstmann et al., 2007]

B. Jobstmann and S. Galler and M. Weiglhofer and R. Bloem (2007).
Anzu: A Tool for Property Synthesis.
In: Computer Aided Verification (CAV). pp. 258--262.

[Bloem et al., 2007]

R. Bloem and S. Galler and B. Jobstmann and N. Piterman and A. Pnueli and M. Weiglhofer (2007).
Automatic Hardware Synthesis from Specifications: A Case Study.
In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE). pp. 1188--1193.

[Bloem et al., 2007]

R. Bloem and S. Galler and B. Jobstmann and N. Piterman and A. Pnueli and M. Weiglhofer (2007).
Specify, Compile, Run: Hardware from PSL.
In: International Workshop on Compiler Optimization Meets Compiler Verification (COCV). pp. 3--16.

[Jobstmann and Bloem, 2006]

B. Jobstmann and R. Bloem (2006).
Optimizations for LTL Synthesis.
In: Conference on Formal Methods in Computer Aided Design (FMCAD). pp. 117--124.

[Jobstmann, 2006]

B. Jobstmann (2006).
Property Synthesis.
In: SIGDA Ph.D. Forum at the Design Automation Conference (DAC). San Francisco, California, USA.

[Jobstmann and Bloem, 2006]

B. Jobstmann and R. Bloem (2006).
Game-based and Simulation-based Improvements for LTL Synthesis.
In: Workshop on Games in Design and Verification (GDV).

[Staber et al., 2005]

S. Staber and B. Jobstmann and R. Bloem (2005).
Finding and Fixing Faults.
In: Conference on Correct Hardware Design and Verification Methods (CHARME). pp. 35--49. LNCS 3725.

[Staber et al., 2005]

S. Staber and B. Jobstmann and R. Bloem (2005).
Diagnosis is Repair.
In: International Workshop on Principles of Diagnosis (DX). pp. 169--174.

[Jobstmann et al., 2005]

B. Jobstmann and A. Griesmayer and R. Bloem (2005).
Program Repair as a Game.
In: Conference on Computer Aided Verification (CAV). pp. 226--238. LNCS 3576.

Publications of Barbara Jobstmann

[Jobstmann, 2007]

B. Jobstmann (2007).
Applications and Optimizations for LTL Synthesis.
PhD thesis, Graz University of Technology.

[Jobstmann, 2003]

B. Jobstmann (2003).
WIA - A Wearable Inspection Agent for Maintenance in Production Lines.
Masters thesis, Graz University of Technology.

Publications of Barbara Jobstmann

[Chatterjee et al., 2008]

Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann (2008).
Environment Assumptions for Synthesis.
Technical Report. Ecole Polytechnique Federale de Lausanne.

[Bloem et al., 2006]

R. Bloem and S. Galler and B. Jobstmann and A. Pnueli and M. Weiglhofer (2006).
Evaluation of Tools and Methodology for Property-Based Logic Synthesis.
Technical Report Nr. Prosyd D2.3/1. Graz University of Technology.

[Bloem and Jobstmann, 2006]

R. Bloem and B. Jobstmann (2006).
Manual for Property-Based Synthesis Tool.
Technical Report Nr. Prosyd D2.2/3.

[Bloem et al., 2005]

R. Bloem and B. Jobstmann and A. Pnueli (2005).
Property-Based Logic Synthesis for Rapid Design Prototyping.
Technical Report Nr. Prosyd D2.2/1.

[Auerbach et al., 2005]

G. Auerbach and M. Moulin and B. Jobstmann and R. Bloem (2005).
Property-Based Design and Implementation.
Technical Report Nr. Prosyd D2.1/1.

[Pill et al., 2005]

I. Pill and B. Jobstmann and R. Bloem and R. Frank and M. Moulin and B. Sterin and M. Roveri and S. Semprini (2005).
Property Simulation.
Technical Report. Prosyd D1.2/1.

This list was generated using BibTeX-XML-HTML.