Barbara Jobstmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
13
Active years
2005–2013
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CAV | Program Repair without Regret. | Christian von Essen, Barbara Jobstmann |
| 2013 | FMCAD | Preface. | Barbara Jobstmann, Sandip Ray |
| 2012 | VMCAI | Synthesizing Efficient Controllers. | Christian von Essen, Barbara Jobstmann |
| 2011 | ATVA | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | TACAS | QUASY: Quantitative Synthesis Tool. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2010 | CAV | Robustness in the Presence of Liveness. | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2010 | CAV | Gist: A Solver for Probabilistic Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
| 2010 | CAV | Measuring and Synthesizing Systems in Probabilistic Environments. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh |
| 2010 | FDL | Robustness with Respect to Error Specifications. | Barbara Jobstmann |
| 2010 | FMCAD | Synthesis for regular specifications over unbounded domains. | Jad Hamza, Barbara Jobstmann, Viktor Kuncak |
| 2010 | MEMOCODE | Message from the chairs. | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
| 2009 | BPM | Instantaneous Soundness Checking of Industrial Business Process Models. | Dirk Fahland, Cdric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Vlzer, Karsten Wolf |
| 2009 | CAV | Better Quality in Synthesis through Quantitative Objectives. | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2009 | FMCAD | Synthesizing robust systems. | Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
| 2008 | CONCUR | Environment Assumptions for Synthesis. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2008 | EMSOFT | Interface theories with component reuse. | Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
| 2008 | ICALP | Open Implication. | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |
| 2008 | PLDI | Model checking transactional memories. | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
| 2007 | CAV | Anzu: A Tool for Property Synthesis. | Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem |
| 2007 | DATE | Interactive presentation: Automatic hardware synthesis from specifications: a case study. | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
| 2006 | FMCAD | Optimizations for LTL Synthesis. | Barbara Jobstmann, Roderick Bloem |
| 2005 | CAV | Program Repair as a Game. | Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem |