publications.bib

@article{robustnessJournal,
  year = {2014},
  issn = {0001-5903},
  journal = {Acta Informatica},
  volume = {51},
  number = {3-4},
  doi = {10.1007/s00236-013-0191-5},
  title = {Synthesizing robust systems},
  url = {http://dx.doi.org/10.1007/s00236-013-0191-5},
  publisher = {Springer Berlin Heidelberg},
  author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, ThomasA. and Hofferek, Georg and Jobstmann, Barbara and K\"onighofer, Bettina and K\"onighofer, Robert},
  pages = {193-220},
  language = {English}
}
@proceedings{DBLP:conf/fmcad/2013,
  title = {Formal Methods in Computer-Aided Design, FMCAD 2013, Portland,
               OR, USA, October 20-23, 2013},
  booktitle = {FMCAD},
  publisher = {IEEE},
  year = {2013},
  ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6675286}
}
@article{DBLP:journals/sttt/BodikJ13,
  author = {Rastislav Bod\'{\i}k and
               Barbara Jobstmann},
  title = {Algorithmic program synthesis: introduction},
  journal = {STTT},
  volume = {15},
  number = {5-6},
  year = {2013},
  pages = {397-411},
  ee = {http://dx.doi.org/10.1007/s10009-013-0287-9}
}
@inproceedings{vonEssen13,
  author = {von Essen, Christian and Jobstmann, Barbara},
  editor = {Springer},
  title = {Program Repair without Regret},
  booktitle = {Computer Aided Verification (CAV)},
  year = {2013},
  pdf = {files/repair_without_regret.pdf}
}
@proceedings{Memocode2011,
  editor = { Satnam Singh and
		Barbara Jobstmann and
		Michael Kishinevsky and
		Jens Brandt},
  title = {9th ACM/IEEE International Conference on Formal Methods
               and Models for Codesign (MEMOCODE 2011), Cambridge, UK
               11-13 July 2011},
  booktitle = {MEMOCODE},
  publisher = {IEEE Computer Society},
  year = 2011,
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{Memocode2010,
  editor = {Klaus Schneider and
               Barbara Jobstmann and
               Luca P. Carloni and
               Jens Brandt},
  title = {8th ACM/IEEE International Conference on Formal Methods
               and Models for Codesign (MEMOCODE 2010), Grenoble, France,
               26-28 July 2010},
  booktitle = {MEMOCODE},
  year = {2010},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  publisher = {IEEE Computer Society}
}
@article{bloem11,
  author = {Roderick Bloem and Barbara Jobstmann and Nir Piterman and Yaniv Sa\'ar},
  title = {Synthesis of Reactive (1) Designs},
  journal = {Journal of Computer and System Sciences},
  year = {2011},
  optkey = {},
  optvolume = {},
  optnumber = {},
  optpages = {},
  optmonth = {},
  note = {In Press},
  doi = {http://dx.doi.org/10.1016/j.jcss.2011.08.007},
  optannote = {},
  pdf = {files/GROne.pdf}
}
@inproceedings{Jobstmann10,
  author = {Barbara Jobstmann},
  title = {Robustness with Respect to Error Specifications},
  booktitle = {Forum on specification {\&} Design
               Languages (FDL)},
  year = {2010},
  pages = {72}
}
@inproceedings{Bloem07,
  author = {Bloem, Roderick and Galler, Stefan and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Weiglhofer, Martin},
  title = {Automatic Hardware Synthesis from Specifications: {A} Case Study},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  year = {2007},
  pages = {1188--1193},
  pdf = {files/amba-date.pdf}
}
@inproceedings{Bloem07b,
  author = {Bloem, Roderick and Galler, Stefan and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Weiglhofer, Martin},
  title = {Specify, Compile, Run: Hardware from {PSL}},
  year = {2007},
  booktitle = {International Workshop on Compiler Optimization Meets Compiler Verification (COCV)},
  pages = {3--16},
  pdf = {files/cocv.pdf}
}
@inproceedings{Bloem09,
  author = {Bloem, Roderick and Chatterjee, Krishnendu and Henzinger, Thomas and Jobstmann, Barbara},
  editor = {Springer},
  title = {Better Quality in Synthesis through Quantitative Objectives},
  booktitle = {Computer Aided Verification (CAV)},
  pages = {140--156},
  year = {2009},
  pdf = {files/quality_through_quantity.pdf}
}
@inproceedings{Bloem09b,
  author = {Bloem, Roderick and Greimel, Karin and Henzinger, Thomas and Jobstmann, Barbara},
  title = {Synthesizing Robust Systems},
  booktitle = {Conference on Formal Methods in Computer Aided Design (FMCAD)},
  pages = {85--92},
  year = {2009},
  pdf = {files/robustness.pdf}
}
@inproceedings{Bloem10,
  author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas and Jobstmann, Barbara},
  title = {Robustness in the Presence of Liveness},
  booktitle = {Computer Aided Verification (CAV)},
  year = {2010},
  pages = {410--424},
  pdf = {files/robust_liveness.pdf}
}
@techreport{Chatte08b,
  author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara},
  title = {Environment Assumptions for Synthesis},
  year = {2008},
  institution = {Ecole Polytechnique Federale de Lausanne},
  pdf = {files/tech.pdf}
}
@inproceedings{Chatte10,
  author = {Chatterjee, Krishnendu and Henzinger, Thomas and Jobstmann, Barbara and Radhakrishna, Arjun},
  title = {{GIST}: {A} Solver for Probabilistic Games},
  booktitle = {Computer Aided Verification (CAV)},
  year = {2010},
  pages = {665--669},
  pdf = {files/gist.pdf}
}
@inproceedings{Chatte10b,
  author = {Chatterjee, Krishnendu and Henzinger, Thomas and Jobstmann, Barbara and Singh, Rohit},
  title = {Measuring and Synthesizing Systems in Probabilistic Environments},
  booktitle = {Computer Aided Verification (CAV)},
  year = {2010},
  pages = {380--395},
  pdf = {files/probabilistic_measure.pdf}
}
@article{HenzingerJW11,
  author = {Thomas A. Henzinger and
               Barbara Jobstmann and
               Verena Wolf},
  title = {Formalisms for Specifying Markovian Population Models},
  journal = {International Journal of Foundations of Computer Science (IJFCS) },
  volume = {22},
  number = {4},
  year = {2011},
  pages = {823-841},
  doi = {http://dx.doi.org/10.1142/S0129054111008441},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {files/transitionclasses_ijfcs.pdf}
}
@inproceedings{ChatterjeeHJS11,
  author = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Rohit Singh},
  title = {QUASY: Quantitative Synthesis Tool},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = {2011},
  pages = {267-271},
  doi = {http://dx.doi.org/10.1007/978-3-642-19835-9_24},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ChengBCYJRBK11,
  author = {Chih-Hong Cheng and
               Saddek Bensalem and
               Yu-Fang Chen and
               Rongjie Yan and
               Barbara Jobstmann and
               Harald Ruess and
               Christian Buckl and
               Alois Knoll},
  title = {Algorithms for Synthesizing Priorities in Component-Based
               Systems},
  booktitle = {Automated Technology for Verification and Analysis, 9th
               International Symposium (ATVA)},
  year = {2011},
  pages = {150-167},
  doi = {http://dx.doi.org/10.1007/978-3-642-24372-1_12},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ChengBJYKR11,
  author = {Chih-Hong Cheng and
               Saddek Bensalem and
               Barbara Jobstmann and
               Rongjie Yan and
               Alois Knoll and
               Harald Ruess},
  title = {Model Construction and Priority Synthesis for Simple Interaction
               Systems},
  booktitle = {NASA Formal Methods (NFM)},
  year = {2011},
  pages = {466-471},
  doi = {http://dx.doi.org/10.1007/978-3-642-20398-5_34},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ChengJBK11,
  author = {Chih-Hong Cheng and
               Barbara Jobstmann and
               Christian Buckl and
               Alois Knoll},
  title = {On the Hardness of Priority Synthesis},
  booktitle = {International Conference on Implementation and Application of Automata (CIAA)},
  year = {2011},
  pages = {110-117},
  doi = {http://dx.doi.org/10.1007/978-3-642-22256-6_11},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Fahlan09,
  author = {Fahland, Dirk and Favre, Cedric and Jobstmann, Barbara and Koehler, Jana and Lohmann, Niels and V{\"o}lzer, Hagen and Wolf, Karsten},
  editor = {Springer},
  title = {Instantaneous Soundness Checking of Industrial Business Process Models},
  booktitle = {Business Process Management (BPM)},
  year = {2009},
  pages = {278--293},
  pdf = {files/FahlandWJKLVW_2009_bpm.pdf}
}
@inproceedings{Greime08,
  author = {Greimel, Karin and Bloem, Roderick and Jobstmann, Barbara and Vardi, Moshe},
  title = {Open Implication},
  booktitle = {International Colloquium on Automata, Languages and Programming (ICALP)},
  pages = {361--372},
  note = {{LNCS} 5126},
  pdf = {files/openequivalence.pdf},
  year = {2008}
}
@inproceedings{Guerra08,
  author = {Guerraoui, Rachid and Henzinger, Thomas A. and Jobstmann, Barbara and Singh, Vasu},
  title = {Model Checking Transactional Memories},
  booktitle = {Programming Language Design and Implementation (PLDI)},
  pages = {372--382},
  year = {2008},
  pdf = {files/verifyingTM.pdf}
}
@inproceedings{Hamza10,
  author = {Hamza, Jad and Jobstmann, Barbara and Kuncak, Viktor},
  title = {Synthesis for Regular Specifications over Unbounded Domains},
  booktitle = {Conference on Formal Methods in Computer Aided Design (FMCAD)},
  year = {2010},
  pages = {101--110},
  pdf = {files/unbounded_synthesis.pdf}
}
@inproceedings{Henz09,
  author = {Henzinger, Thomas and Jobstmann, Barbara and Wolf, Verena},
  editor = {Springer},
  title = {Formalisms for Specifying Markovian Population Models},
  booktitle = {LIX Colloquium Reachability Problems'09},
  pages = {3--23},
  year = {2009},
  pdf = {files/transitionclasses.pdf}
}
@mastersthesis{Jobstm03,
  author = {Jobstmann, Barbara},
  title = {{WIA} - {A} Wearable Inspection Agent for Maintenance in Production Lines},
  school = {Graz University of Technology},
  year = {2003}
}
@inproceedings{Jobstm05,
  author = {Jobstmann, Barbara and Griesmayer, Andreas and Bloem, Roderick},
  title = {Program Repair as a Game},
  booktitle = {Conference on Computer Aided Verification (CAV)},
  pages = {226--238},
  year = {2005},
  note = {{LNCS} 3576},
  pdf = {files/repair.pdf},
  abstract = {
  We present a conservative method to automatically fix faults in a
  finite state program by considering the repair problem as a game.
  The game consists of the product of a modified version of the
  program and an automaton representing the LTL specification.  Every
  winning finite state strategy for the game corresponds to a repair.
  The opposite does not hold, but we show conditions under which the
  existence of a winning strategy is guaranteed.  A finite state
  strategy corresponds to a repair that adds variables to the program,
  which we argue is undesirable.  To avoid extra state, we need a
  memoryless strategy.  We show that the problem of finding a
  memoryless strategy is NP-complete and present a heuristic.  We have
  implemented the approach symbolically and present initial evidence
  of its usefulness.
}
}
@inproceedings{Jobstm06,
  author = {Jobstmann, Barbara and Bloem, Roderick},
  title = {Game-based and Simulation-based Improvements for {LTL} Synthesis},
  booktitle = {Workshop on Games in Design and Verification (GDV)},
  year = {2006},
  pdf = {files/ltlslides.pdf}
}
@inproceedings{Jobstm06b,
  author = {Jobstmann, Barbara},
  title = {Property Synthesis},
  booktitle = {SIGDA Ph.D. Forum at the Design Automation Conference (DAC)},
  address = {San Francisco, California, USA},
  year = {2006},
  url = {files/phdforum-application.pdf},
  pdf = {files/phdforum-poster.pdf}
}
@inproceedings{Jobstm06c,
  author = {Jobstmann, Barbara and Bloem, Roderick},
  title = {Optimizations for {LTL} Synthesis},
  booktitle = {Conference on Formal Methods in Computer Aided Design (FMCAD)},
  year = {2006},
  pages = {117--124},
  pdf = {files/ltl.pdf}
}
@phdthesis{Jobstm07b,
  author = {Jobstmann, Barbara},
  title = {Applications and Optimizations for {LTL} Synthesis},
  year = {2007},
  month = mar,
  school = {Graz University of Technology},
  pdf = {files/BJ-PhD_Thesis.pdf}
}
@inproceedings{Jobstm07c,
  author = {Jobstmann, Barbara and Galler, Stefan and Weiglhofer, Martin and Bloem, Roderick},
  title = {Anzu: {A} Tool for Property Synthesis},
  booktitle = {Computer Aided Verification (CAV)},
  year = {2007},
  pages = {258--262},
  pdf = {files/anzu.pdf}
}
@article{Jobstm12,
  author = {Barbara Jobstmann and
               Stefan Staber and
               Andreas Griesmayer and
               Roderick Bloem},
  title = {Finding and fixing faults},
  journal = {Journal of Computer and System Sciences (JCSS)},
  volume = {78},
  number = {2},
  year = {2012},
  pages = {441-460},
  ee = {http://dx.doi.org/10.1016/j.jcss.2011.05.005},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {files/findingandfixing.pdf}
}
@techreport{Prosyd:1.2.1,
  author = {Pill, Ingo and Jobstmann, Barbara and Bloem, Roderick and Frank, Roy and Moulin, Mark and Sterin, Baruch and Roveri, Marco and Semprini, Simone},
  title = {Property Simulation},
  year = {2005},
  note = {Prosyd D1.2/1},
  pdf = {files/Prosyd1.2_1.pdf}
}
@techreport{Prosyd:2.1.1,
  author = {Auerbach, Gadiel and Moulin, Mark and Jobstmann, Barbara and Bloem, Roderick},
  title = {Property-Based Design and Implementation},
  year = {2005},
  number = {Prosyd D2.1/1},
  pdf = {files/Prosyd2.1_1.pdf}
}
@techreport{Prosyd:2.2.1,
  author = {Bloem, Roderick and Jobstmann, Barbara and Pnueli, Amir},
  title = {Property-Based Logic Synthesis for Rapid Design Prototyping},
  year = {2005},
  number = {Prosyd D2.2/1},
  pdf = {files/Prosyd2.2_1.pdf}
}
@techreport{Prosyd:2.2.3,
  author = {Bloem, Roderick and Jobstmann, Barbara},
  title = {Manual for Property-Based Synthesis Tool},
  year = {2006},
  number = {Prosyd D2.2/3},
  pdf = {files/Prosyd2.2_3.pdf}
}
@techreport{Prosyd:2.3.1,
  author = {Bloem, Roderick and Galler, Stefan and Jobstmann, Barbara and Pnueli, Amir and Weiglhofer, Martin},
  title = {Evaluation of Tools and Methodology for Property-Based Logic Synthesis},
  year = {2006},
  institution = {Graz University of Technology},
  number = {Prosyd D2.3/1},
  pdf = {files/Prosyd2.3_1.pdf}
}
@inproceedings{Staber05,
  author = {Staber, Stefan and Jobstmann, Barbara and Bloem, Roderick},
  title = {Finding and Fixing Faults},
  booktitle = {Conference on Correct Hardware Design and Verification Methods (CHARME)},
  pages = {35--49},
  year = {2005},
  note = {{LNCS} 3725},
  pdf = {files/combining.pdf}
}
@inproceedings{Staber05b,
  author = {Staber, Stefan and Jobstmann, Barbara and Bloem, Roderick},
  title = {Diagnosis is Repair},
  booktitle = {International Workshop on Principles of Diagnosis (DX)},
  pages = {169--174},
  year = {2005},
  pdf = {files/diagnose.pdf}
}
@inproceedings{chatte08,
  author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara},
  title = {Environment Assumptions for Synthesis},
  booktitle = {International Conference on Concurrency Theory (CONCUR)},
  pages = {147--161},
  year = {2008},
  pdf = {files/assume.pdf}
}
@inproceedings{doyen08,
  author = {Doyen, Laurent and Henzinger, Thomas A. and Jobstmann, Barbara and Petrov, Tatjana},
  title = {Interface Theories with Component Reuse},
  booktitle = {International Conference on Embedded Software (EMSOFT)},
  year = {2008},
  pages = {79--88},
  pdf = {files/interface.pdf}
}
@inproceedings{vonessenJ12,
  author = {Christian von Essen and
               Barbara Jobstmann},
  title = {Synthesizing Efficient Controllers},
  booktitle = {International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  year = {2012},
  pages = {428-444},
  ee = {http://dx.doi.org/10.1007/978-3-642-27940-9_28},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {files/efficiency.pdf}
}
@techreport{vonessenJ10,
  author = {von Essen, Christian and Jobstmann, Barbara},
  title = {Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives},
  institution = {VERIMAG},
  year = {2010},
  number = {TR-2010-19},
  pdf = {http://www-verimag.imag.fr/TR/TR-2010-19.pdf}
}
@inproceedings{vonessenJ11,
  author = {von Essen, Christian and Jobstmann, Barbara},
  title = {Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives},
  booktitle = {International Workshop on Interactions, Games and Protocols (iWIGP)},
  year = {2011},
  pages = {17--32},
  url = {http://arxiv.org/abs/1102.4118v1}
}

This file was generated by bibtex2html 1.95.