Barbara Jobstmann

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