Verimag Verimag CNRS
[Home] [News] [Research] [Students] [Committees] [Teaching] [Publications] [Projects]

List of Publications

See also Google Scholar or DBLP.

Please note that this list is ordered chronologically. It includes journal, conference, and workshop publications, as well as, technical reports and references to my theses and editorial work.

[BCG+14] Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, ThomasA. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. Synthesizing robust systems. Acta Informatica, 51(3-4):193-220, 2014. [ bib | DOI | http ]
[DBL13] Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013. IEEE, 2013. [ bib ]
[BJ13] Rastislav Bodík and Barbara Jobstmann. Algorithmic program synthesis: introduction. STTT, 15(5-6):397-411, 2013. [ bib ]
[vEJ13] Christian von Essen and Barbara Jobstmann. Program repair without regret. In Springer, editor, Computer Aided Verification (CAV), 2013. [ bib | .pdf ]
[JSGB12] Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, and Roderick Bloem. Finding and fixing faults. Journal of Computer and System Sciences (JCSS), 78(2):441-460, 2012. [ bib | .pdf ]
[vEJ12] Christian von Essen and Barbara Jobstmann. Synthesizing efficient controllers. In International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 428-444, 2012. [ bib | .pdf ]
[SJKB11] Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, and Jens Brandt, editors. 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011), Cambridge, UK 11-13 July 2011. IEEE Computer Society, 2011. [ bib ]
[BJPS11] Roderick Bloem, Barbara Jobstmann, Nir Piterman, and Yaniv Saár. Synthesis of reactive (1) designs. Journal of Computer and System Sciences, 2011. In Press. [ bib | DOI | .pdf ]
[HJW11] Thomas A. Henzinger, Barbara Jobstmann, and Verena Wolf. Formalisms for specifying markovian population models. International Journal of Foundations of Computer Science (IJFCS), 22(4):823-841, 2011. [ bib | DOI | .pdf ]
[CHJS11] Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, and Rohit Singh. Quasy: Quantitative synthesis tool. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 267-271, 2011. [ bib | DOI ]
[CBC+11] Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, and Alois Knoll. Algorithms for synthesizing priorities in component-based systems. In Automated Technology for Verification and Analysis, 9th International Symposium (ATVA), pages 150-167, 2011. [ bib | DOI ]
[CBJ+11] Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, and Harald Ruess. Model construction and priority synthesis for simple interaction systems. In NASA Formal Methods (NFM), pages 466-471, 2011. [ bib | DOI ]
[CJBK11] Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, and Alois Knoll. On the hardness of priority synthesis. In International Conference on Implementation and Application of Automata (CIAA), pages 110-117, 2011. [ bib | DOI ]
[vEJ11] Christian von Essen and Barbara Jobstmann. Synthesizing systems with optimal average-case behavior for ratio objectives. In International Workshop on Interactions, Games and Protocols (iWIGP), pages 17-32, 2011. [ bib | http ]
[SJCB10] Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, and Jens Brandt, editors. 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010. IEEE Computer Society, 2010. [ bib ]
[Job10] Barbara Jobstmann. Robustness with respect to error specifications. In Forum on specification & Design Languages (FDL), page 72, 2010. [ bib ]
[BCG+10] Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, and Barbara Jobstmann. Robustness in the presence of liveness. In Computer Aided Verification (CAV), pages 410-424, 2010. [ bib | .pdf ]
[CHJR10] Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. GIST: A solver for probabilistic games. In Computer Aided Verification (CAV), pages 665-669, 2010. [ bib | .pdf ]
[CHJS10] Krishnendu Chatterjee, Thomas Henzinger, Barbara Jobstmann, and Rohit Singh. Measuring and synthesizing systems in probabilistic environments. In Computer Aided Verification (CAV), pages 380-395, 2010. [ bib | .pdf ]
[HJK10] Jad Hamza, Barbara Jobstmann, and Viktor Kuncak. Synthesis for regular specifications over unbounded domains. In Conference on Formal Methods in Computer Aided Design (FMCAD), pages 101-110, 2010. [ bib | .pdf ]
[vEJ10] Christian von Essen and Barbara Jobstmann. Synthesizing systems with optimal average-case behavior for ratio objectives. Technical Report TR-2010-19, VERIMAG, 2010. [ bib | .pdf ]
[BCHJ09] Roderick Bloem, Krishnendu Chatterjee, Thomas Henzinger, and Barbara Jobstmann. Better quality in synthesis through quantitative objectives. In Springer, editor, Computer Aided Verification (CAV), pages 140-156, 2009. [ bib | .pdf ]
[BGHJ09] Roderick Bloem, Karin Greimel, Thomas Henzinger, and Barbara Jobstmann. Synthesizing robust systems. In Conference on Formal Methods in Computer Aided Design (FMCAD), pages 85-92, 2009. [ bib | .pdf ]
[FFJ+09] Dirk Fahland, Cedric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. Instantaneous soundness checking of industrial business process models. In Springer, editor, Business Process Management (BPM), pages 278-293, 2009. [ bib | .pdf ]
[HJW09] Thomas Henzinger, Barbara Jobstmann, and Verena Wolf. Formalisms for specifying markovian population models. In Springer, editor, LIX Colloquium Reachability Problems'09, pages 3-23, 2009. [ bib | .pdf ]
[CHJ08a] Krishnendu Chatterjee, Thomas A. Henzinger, and Barbara Jobstmann. Environment assumptions for synthesis. Technical report, Ecole Polytechnique Federale de Lausanne, 2008. [ bib | .pdf ]
[GBJV08] Karin Greimel, Roderick Bloem, Barbara Jobstmann, and Moshe Vardi. Open implication. In International Colloquium on Automata, Languages and Programming (ICALP), pages 361-372, 2008. LNCS 5126. [ bib | .pdf ]
[GHJS08] Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, and Vasu Singh. Model checking transactional memories. In Programming Language Design and Implementation (PLDI), pages 372-382, 2008. [ bib | .pdf ]
[CHJ08b] Krishnendu Chatterjee, Thomas A. Henzinger, and Barbara Jobstmann. Environment assumptions for synthesis. In International Conference on Concurrency Theory (CONCUR), pages 147-161, 2008. [ bib | .pdf ]
[DHJP08] Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, and Tatjana Petrov. Interface theories with component reuse. In International Conference on Embedded Software (EMSOFT), pages 79-88, 2008. [ bib | .pdf ]
[Job07] Barbara Jobstmann. Applications and Optimizations for LTL Synthesis. PhD thesis, Graz University of Technology, March 2007. [ bib | .pdf ]
[BGJ+07a] Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer. Automatic hardware synthesis from specifications: A case study. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pages 1188-1193, 2007. [ bib | .pdf ]
[BGJ+07b] Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer. Specify, compile, run: Hardware from PSL. In International Workshop on Compiler Optimization Meets Compiler Verification (COCV), pages 3-16, 2007. [ bib | .pdf ]
[JGWB07] Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, and Roderick Bloem. Anzu: A tool for property synthesis. In Computer Aided Verification (CAV), pages 258-262, 2007. [ bib | .pdf ]
[JB06a] Barbara Jobstmann and Roderick Bloem. Game-based and simulation-based improvements for LTL synthesis. In Workshop on Games in Design and Verification (GDV), 2006. [ bib | .pdf ]
[Job06] Barbara Jobstmann. Property synthesis. In SIGDA Ph.D. Forum at the Design Automation Conference (DAC), San Francisco, California, USA, 2006. [ bib | .pdf | .pdf ]
[JB06b] Barbara Jobstmann and Roderick Bloem. Optimizations for LTL synthesis. In Conference on Formal Methods in Computer Aided Design (FMCAD), pages 117-124, 2006. [ bib | .pdf ]
[BJ06] Roderick Bloem and Barbara Jobstmann. Manual for property-based synthesis tool. Technical Report Prosyd D2.2/3, 2006. [ bib | .pdf ]
[BGJ+06] Roderick Bloem, Stefan Galler, Barbara Jobstmann, Amir Pnueli, and Martin Weiglhofer. Evaluation of tools and methodology for property-based logic synthesis. Technical Report Prosyd D2.3/1, Graz University of Technology, 2006. [ bib | .pdf ]
[JGB05] Barbara Jobstmann, Andreas Griesmayer, and Roderick Bloem. Program repair as a game. In Conference on Computer Aided Verification (CAV), pages 226-238, 2005. LNCS 3576. [ bib | .pdf ]
[PJB+05] Ingo Pill, Barbara Jobstmann, Roderick Bloem, Roy Frank, Mark Moulin, Baruch Sterin, Marco Roveri, and Simone Semprini. Property simulation. Technical report, 2005. Prosyd D1.2/1. [ bib | .pdf ]
[AMJB05] Gadiel Auerbach, Mark Moulin, Barbara Jobstmann, and Roderick Bloem. Property-based design and implementation. Technical Report Prosyd D2.1/1, 2005. [ bib | .pdf ]
[BJP05] Roderick Bloem, Barbara Jobstmann, and Amir Pnueli. Property-based logic synthesis for rapid design prototyping. Technical Report Prosyd D2.2/1, 2005. [ bib | .pdf ]
[SJB05b] Stefan Staber, Barbara Jobstmann, and Roderick Bloem. Finding and fixing faults. In Conference on Correct Hardware Design and Verification Methods (CHARME), pages 35-49, 2005. LNCS 3725. [ bib | .pdf ]
[SJB05a] Stefan Staber, Barbara Jobstmann, and Roderick Bloem. Diagnosis is repair. In International Workshop on Principles of Diagnosis (DX), pages 169-174, 2005. [ bib | .pdf ]
[Job03] Barbara Jobstmann. WIA - A wearable inspection agent for maintenance in production lines. Master's thesis, Graz University of Technology, 2003. [ bib ]

This file was generated by bibtex2html 1.95.