Program Repair as a Game. - Barbara Jobstmann; Andreas Griesmayer; Roderick Bloem (CAV, 2005)

Finding and Fixing Faults. - Stefan Staber; Barbara Jobstmann; Roderick Bloem (CHARME, 2005)

Optimizations for LTL Synthesis. - Barbara Jobstmann; Roderick Bloem (FMCAD, 2006)

Anzu: A Tool for Property Synthesis. - Barbara Jobstmann; Stefan J. Galler; Martin Weiglhofer; Roderick Bloem (CAV, 2007)

Interactive presentation: Automatic hardware synthesis from specifications: a case study. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (DATE, 2007)

Specify, Compile, Run: Hardware from PSL. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (COCV@ETAPS, 2007)

Environment Assumptions for Synthesis. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann (CONCUR, 2008)

Interface theories with component reuse. - Laurent Doyen 001; Thomas A. Henzinger; Barbara Jobstmann; Tatjana Petrov (EMSOFT, 2008)

Open Implication. - Karin Greimel; Roderick Bloem; Barbara Jobstmann; Moshe Y. Vardi (ICALP (2), 2008)

Model checking transactional memories. - Rachid Guerraoui; Thomas A. Henzinger; Barbara Jobstmann; Vasu Singh (PLDI, 2008)

Instantaneous Soundness Checking of Industrial Business Process Models. - Dirk Fahland; Cédric Favre; Barbara Jobstmann; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (BPM, 2009)

Better Quality in Synthesis through Quantitative Objectives. - Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann (CAV, 2009)

Synthesizing robust systems. - Roderick Bloem; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (FMCAD, 2009)

Robustness in the Presence of Liveness. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (CAV, 2010)

Gist: A Solver for Probabilistic Games. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann; Arjun Radhakrishna (CAV, 2010)

Robustness with Respect to Error Specifications. - Barbara Jobstmann (FDL, 2010)

Synthesis for regular specifications over unbounded domains. - Jad Hamza; Barbara Jobstmann; Viktor Kuncak (FMCAD, 2010)

Message from the chairs. - Klaus Schneider 001; Barbara Jobstmann; Luca P. Carloni; Jens Brandt 001 (MEMOCODE, 2010)

Algorithms for Synthesizing Priorities in Component-Based Systems. - Chih-Hong Cheng; Saddek Bensalem; Yu-Fang Chen 001; Rongjie Yan; Barbara Jobstmann; Harald Ruess; Christian Buckl; Alois C. Knoll (ATVA, 2011)

Model Construction and Priority Synthesis for Simple Interaction Systems. - Chih-Hong Cheng; Saddek Bensalem; Barbara Jobstmann; Rongjie Yan; Alois C. Knoll; Harald Ruess (NASA Formal Methods, 2011)

Specification-centered robustness. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann (SIES, 2011)

QUASY: Quantitative Synthesis Tool. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann; Rohit Singh 002 (TACAS, 2011)

On the Hardness of Priority Synthesis. - Chih-Hong Cheng; Barbara Jobstmann; Christian Buckl; Alois C. Knoll (CIAA, 2011)

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives - Christian von Essen; Barbara Jobstmann (iWIGP, 2011)

Formalisms for Specifying Markovian Population Models. - Thomas A. Henzinger; Barbara Jobstmann; Verena Wolf (Int. J. Found. Comput. Sci., 2011)

Synthesizing Efficient Controllers. - Christian von Essen; Barbara Jobstmann (VMCAI, 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)

Synthesis of Reactive(1) designs. - Roderick Bloem; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Yaniv Sa'ar (J. Comput. Syst. Sci., 2012)

Finding and fixing faults. - Barbara Jobstmann; Stefan Staber; Andreas Griesmayer; Roderick Bloem (J. Comput. Syst. Sci., 2012)

Preface. - Barbara Jobstmann; Sandip Ray (FMCAD, 2013)

Algorithmic program synthesis: introduction. - Rastislav Bodík; Barbara Jobstmann (Int. J. Softw. Tools Technol. Transf., 2013)

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)

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 (Haifa Verification Conference, 2015)

Program repair without regret. - Christian von Essen; Barbara Jobstmann (Formal Methods Syst. Des., 2015)

Measuring and Synthesizing Systems in Probabilistic Environments. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann; Rohit Singh 002 (J. ACM, 2015)

Synthesizing efficient systems in probabilistic environments. - Christian von Essen; Barbara Jobstmann; David Parker 001; Rahul Varshneya (Acta Informatica, 2016)

Graph Games and Reactive Synthesis. - Roderick Bloem; Krishnendu Chatterjee; Barbara Jobstmann (Handbook of Model Checking, 2018)