Barbara Jobstmann

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Accurate Localization

Program Synthesis

Top Venues

J. Comput. Syst. Sci.

Acta Informatica

Int. J. Softw. Tools Technol. Transf.

Publications

Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya
Synthesizing efficient systems in probabilistic environments. Acta Informatica 53 (4) (2016)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
Measuring and Synthesizing Systems in Probabilistic Environments. J. ACM 62 (1) (2015)
Christian von Essen, Barbara Jobstmann
Program repair without regret. Formal Methods Syst. Des. 47 (1) (2015)
Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. Haifa Verification Conference (2015)
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
Synthesizing robust systems. Acta Informatica 51 (3-4) (2014)
Rastislav Bodík, Barbara Jobstmann
Algorithmic program synthesis: introduction. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Barbara Jobstmann, Sandip Ray
Preface. FMCAD (2013)
Christian von Essen, Barbara Jobstmann
Program Repair without Regret. CAV (2013)
Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem
Finding and fixing faults. J. Comput. Syst. Sci. 78 (2) (2012)
Christian von Essen, Barbara Jobstmann
Synthesizing Efficient Controllers. VMCAI (2012)
Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports 2 (12) (2012)
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78 (3) (2012)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA (2011)
Christian von Essen, Barbara Jobstmann
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives iWIGP (2011)
Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess
Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods (2011)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
QUASY: Quantitative Synthesis Tool. TACAS (2011)
Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll
On the Hardness of Priority Synthesis. CIAA (2011)
Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22 (4) (2011)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-based Systems CoRR (2011)
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Specification-centered robustness. SIES (2011)
Jad Hamza, Barbara Jobstmann, Viktor Kuncak
Synthesis for regular specifications over unbounded domains. FMCAD (2010)
Barbara Jobstmann
Robustness with Respect to Error Specifications. FDL (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
Measuring and Synthesizing Systems in Probabilistic Environments. CAV (2010)
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Robustness in the Presence of Liveness. CAV (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
GIST: A Solver for Probabilistic Games CoRR (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
Measuring and Synthesizing Systems in Probabilistic Environments CoRR (2010)
Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt
Message from the chairs. MEMOCODE (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
Gist: A Solver for Probabilistic Games. CAV (2010)
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
Better Quality in Synthesis through Quantitative Objectives. CAV (2009)
Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
Formalisms for Specifying Markovian Population Models. RP (2009)
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
Better Quality in Synthesis through Quantitative Objectives CoRR (2009)
Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
Instantaneous Soundness Checking of Industrial Business Process Models. BPM (2009)
Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
Synthesizing robust systems. FMCAD (2009)
Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh
Model checking transactional memories. PLDI (2008)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
Environment Assumptions for Synthesis CoRR (2008)
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov
Interface theories with component reuse. EMSOFT (2008)
Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi
Open Implication. ICALP (2) (2008)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
Environment Assumptions for Synthesis. CONCUR (2008)
Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem
Anzu: A Tool for Property Synthesis. CAV (2007)
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE (2007)
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
Specify, Compile, Run: Hardware from PSL. Electron. Notes Theor. Comput. Sci. 190 (4) (2007)
Barbara Jobstmann, Roderick Bloem
Optimizations for LTL Synthesis. FMCAD (2006)
Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
Program Repair as a Game. CAV (2005)
Stefan Staber, Barbara Jobstmann, Roderick Bloem
Finding and Fixing Faults. CHARME (2005)