Barbara Jobstmann

According to our database, Barbara Jobstmann authored at least 37 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Graph Games and Reactive Synthesis.

Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann

Proceedings of the Handbook of Model Checking., 2018

2016

Synthesizing efficient systems in probabilistic environments.

Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya

Acta Informatica, 2016

2015

Measuring and Synthesizing Systems in Probabilistic Environments.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh

J. ACM, 2015

Program repair without regret.

Christian von Essen, Barbara Jobstmann

Formal Methods Syst. Des., 2015

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction.

Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Synthesizing robust systems.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer

Acta Informatica, 2014

2013

Algorithmic program synthesis: introduction.

Rastislav Bodík, Barbara Jobstmann

Int. J. Softw. Tools Technol. Transf., 2013

Preface.

Barbara Jobstmann, Sandip Ray

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Finding and fixing faults.

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem

J. Comput. Syst. Sci., 2012

Synthesis of Reactive(1) designs.

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar

J. Comput. Syst. Sci., 2012

Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).

Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga

Dagstuhl Reports, 2012

Synthesizing Efficient Controllers.

Christian von Essen, Barbara Jobstmann

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Formalisms for Specifying Markovian Population Models.

Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf

Int. J. Found. Comput. Sci., 2011

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Christian von Essen, Barbara Jobstmann

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

On the Hardness of Priority Synthesis.

Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll

Proceedings of the Implementation and Application of Automata, 2011

QUASY: Quantitative Synthesis Tool.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Specification-centered robustness.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of the Industrial Embedded Systems (SIES), 2011

Model Construction and Priority Synthesis for Simple Interaction Systems.

Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess

Proceedings of the NASA Formal Methods, 2011

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

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Message from the chairs.

Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Synthesis for regular specifications over unbounded domains.

Jad Hamza, Barbara Jobstmann, Viktor Kuncak

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Robustness with Respect to Error Specifications.

Barbara Jobstmann

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Gist: A Solver for Probabilistic Games.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Robustness in the Presence of Liveness.

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Synthesizing robust systems.

Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Better Quality in Synthesis through Quantitative Objectives.

Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Instantaneous Soundness Checking of Industrial Business Process Models.

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

Model checking transactional memories.

Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Open Implication.

Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Interface theories with component reuse.

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Environment Assumptions for Synthesis.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Specify, Compile, Run: Hardware from PSL.

Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Interactive presentation: Automatic hardware synthesis from specifications: a case study.

Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Anzu: A Tool for Property Synthesis.

Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Optimizations for LTL Synthesis.

Barbara Jobstmann, Roderick Bloem

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Finding and Fixing Faults.

Stefan Staber, Barbara Jobstmann, Roderick Bloem

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Program Repair as a Game.

Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem

Proceedings of the Computer Aided Verification, 17th International Conference, 2005