Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Barbara Jobstmann
@incollection{DBLP:reference/mc/BloemCJ18,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Barbara Jobstmann},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Graph Games and Reactive Synthesis},
booktitle = {Handbook of Model Checking},
pages = {921--962},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_27},
doi = {10.1007/978-3-319-10575-8\_27},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/BloemCJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EssenJPV16,
author = {Christian von Essen and
Barbara Jobstmann and
David Parker and
Rahul Varshneya},
title = {Synthesizing efficient systems in probabilistic environments},
journal = {Acta Informatica},
volume = {53},
number = {4},
pages = {425--457},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0237-y},
doi = {10.1007/S00236-015-0237-Y},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EssenJPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2016,
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5},
doi = {10.1007/978-3-662-49122-5},
isbn = {978-3-662-49121-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EssenJ15,
author = {Christian von Essen and
Barbara Jobstmann},
title = {Program repair without regret},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {1},
pages = {26--50},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0223-6},
doi = {10.1007/S10703-015-0223-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/EssenJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ChatterjeeHJ015,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Rohit Singh},
title = {Measuring and Synthesizing Systems in Probabilistic Environments},
journal = {J. {ACM}},
volume = {62},
number = {1},
pages = {9:1--9:34},
year = {2015},
url = {https://doi.org/10.1145/2699430},
doi = {10.1145/2699430},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/ChatterjeeHJ015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BeckerMNEVJI15,
author = {Andrew Becker and
Djordje Maksimovic and
David Novo and
Mohsen Ewaida and
Andreas G. Veneris and
Barbara Jobstmann and
Paolo Ienne},
editor = {Nir Piterman},
title = {FudgeFactor: Syntax-Guided Synthesis for Accurate {RTL} Error Localization
and Correction},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {259--275},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_16},
doi = {10.1007/978-3-319-26287-1\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BeckerMNEVJI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BloemCGHHJKK14,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Karin Greimel and
Thomas A. Henzinger and
Georg Hofferek and
Barbara Jobstmann and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer},
title = {Synthesizing robust systems},
journal = {Acta Informatica},
volume = {51},
number = {3-4},
pages = {193--220},
year = {2014},
url = {https://doi.org/10.1007/s00236-013-0191-5},
doi = {10.1007/S00236-013-0191-5},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BloemCGHHJKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BodikJ13,
author = {Rastislav Bod{\'{\i}}k and
Barbara Jobstmann},
title = {Algorithmic program synthesis: introduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {397--411},
year = {2013},
url = {https://doi.org/10.1007/s10009-013-0287-9},
doi = {10.1007/S10009-013-0287-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BodikJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EssenJ13,
author = {Christian von Essen and
Barbara Jobstmann},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Program Repair without Regret},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {896--911},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_64},
doi = {10.1007/978-3-642-39799-8\_64},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/EssenJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JobstmannR13,
author = {Barbara Jobstmann and
Sandip Ray},
title = {Preface},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679383/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JobstmannR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JobstmannSGB12,
author = {Barbara Jobstmann and
Stefan Staber and
Andreas Griesmayer and
Roderick Bloem},
title = {Finding and fixing faults},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {441--460},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.005},
doi = {10.1016/J.JCSS.2011.05.005},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JobstmannSGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloemJPPS12,
author = {Roderick Bloem and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Yaniv Sa'ar},
title = {Synthesis of Reactive(1) designs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {911--938},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.007},
doi = {10.1016/J.JCSS.2011.08.007},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloemJPPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/EssenJ12,
author = {Christian von Essen and
Barbara Jobstmann},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Synthesizing Efficient Controllers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {428--444},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_28},
doi = {10.1007/978-3-642-27940-9\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/EssenJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HuismanJSS12,
author = {Marieke Huisman and
Barbara Jobstmann and
Ina Schaefer and
Mari{\"{e}}lle Stoelinga},
title = {Divide and Conquer: the Quest for Compositional Design and Analysis
(Dagstuhl Seminar 12511)},
journal = {Dagstuhl Reports},
volume = {2},
number = {12},
pages = {64--88},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.12.64},
doi = {10.4230/DAGREP.2.12.64},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HuismanJSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HenzingerJW11,
author = {Thomas A. Henzinger and
Barbara Jobstmann and
Verena Wolf},
title = {Formalisms for Specifying Markovian Population Models},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {4},
pages = {823--841},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008441},
doi = {10.1142/S0129054111008441},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HenzingerJW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/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 C. Knoll},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Algorithms for Synthesizing Priorities in Component-Based Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {150--167},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_12},
doi = {10.1007/978-3-642-24372-1\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChengBCYJRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChengBJYKR11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Barbara Jobstmann and
Rongjie Yan and
Alois C. Knoll and
Harald Ruess},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Model Construction and Priority Synthesis for Simple Interaction Systems},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {466--471},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_34},
doi = {10.1007/978-3-642-20398-5\_34},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChengBJYKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BloemCGHJ11,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Karin Greimel and
Thomas A. Henzinger and
Barbara Jobstmann},
title = {Specification-centered robustness},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
pages = {176--185},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SIES.2011.5953660},
doi = {10.1109/SIES.2011.5953660},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/BloemCGHJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChatterjeeHJS11,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Rohit Singh},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{QUASY:} Quantitative Synthesis Tool},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {267--271},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_24},
doi = {10.1007/978-3-642-19835-9\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChatterjeeHJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/ChengJBK11,
author = {Chih{-}Hong Cheng and
Barbara Jobstmann and
Christian Buckl and
Alois C. Knoll},
editor = {B{\'{e}}atrice Bouchou{-}Markhoff and
Pascal Caron and
Jean{-}Marc Champarnaud and
Denis Maurel},
title = {On the Hardness of Priority Synthesis},
booktitle = {Implementation and Application of Automata - 16th International Conference,
{CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6807},
pages = {110--117},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22256-6\_11},
doi = {10.1007/978-3-642-22256-6\_11},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/ChengJBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-4118,
author = {Christian von Essen and
Barbara Jobstmann},
editor = {Johannes Reich and
Bernd Finkbeiner},
title = {Synthesizing Systems with Optimal Average-Case Behavior for Ratio
Objectives},
booktitle = {Proceedings International Workshop on Interactions, Games and Protocols,
iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
series = {{EPTCS}},
volume = {50},
pages = {17--32},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.50.2},
doi = {10.4204/EPTCS.50.2},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-4118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2011,
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/5959846/proceeding},
isbn = {978-1-4577-0117-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1383,
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 C. Knoll},
title = {Algorithms for Synthesizing Priorities in Component-based Systems},
journal = {CoRR},
volume = {abs/1107.1383},
year = {2011},
url = {http://arxiv.org/abs/1107.1383},
eprinttype = {arXiv},
eprint = {1107.1383},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeHJS10,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Rohit Singh},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Measuring and Synthesizing Systems in Probabilistic Environments},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {380--395},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_34},
doi = {10.1007/978-3-642-14295-6\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChatterjeeHJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemCGHJ10,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Karin Greimel and
Thomas A. Henzinger and
Barbara Jobstmann},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Robustness in the Presence of Liveness},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {410--424},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_36},
doi = {10.1007/978-3-642-14295-6\_36},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCGHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeHJR10,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Arjun Radhakrishna},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Gist: {A} Solver for Probabilistic Games},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {665--669},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_57},
doi = {10.1007/978-3-642-14295-6\_57},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChatterjeeHJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Jobstmann10,
author = {Barbara Jobstmann},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Robustness with Respect to Error Specifications},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {72},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 17:44:56 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Jobstmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HamzaJK10,
author = {Jad Hamza and
Barbara Jobstmann and
Viktor Kuncak},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Synthesis for regular specifications over unbounded domains},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {101--109},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770938/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HamzaJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SchneiderJCB10,
author = {Klaus Schneider and
Barbara Jobstmann and
Luca P. Carloni and
Jens Brandt},
title = {Message from the chairs},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {1--3},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558631},
doi = {10.1109/MEMCOD.2010.5558631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SchneiderJCB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-0739,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Rohit Singh},
title = {Measuring and Synthesizing Systems in Probabilistic Environments},
journal = {CoRR},
volume = {abs/1004.0739},
year = {2010},
url = {http://arxiv.org/abs/1004.0739},
eprinttype = {arXiv},
eprint = {1004.0739},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-0739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2367,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Arjun Radhakrishna},
title = {{GIST:} {A} Solver for Probabilistic Games},
journal = {CoRR},
volume = {abs/1004.2367},
year = {2010},
url = {http://arxiv.org/abs/1004.2367},
eprinttype = {arXiv},
eprint = {1004.2367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-2367.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FahlandFJKLVW09,
author = {Dirk Fahland and
C{\'{e}}dric Favre and
Barbara Jobstmann and
Jana Koehler and
Niels Lohmann and
Hagen V{\"{o}}lzer and
Karsten Wolf},
editor = {Umeshwar Dayal and
Johann Eder and
Jana Koehler and
Hajo A. Reijers},
title = {Instantaneous Soundness Checking of Industrial Business Process Models},
booktitle = {Business Process Management, 7th International Conference, {BPM} 2009,
Ulm, Germany, September 8-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5701},
pages = {278--293},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03848-8\_19},
doi = {10.1007/978-3-642-03848-8\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/FahlandFJKLVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemCHJ09,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Better Quality in Synthesis through Quantitative Objectives},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {140--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_14},
doi = {10.1007/978-3-642-02658-4\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemGHJ09,
author = {Roderick Bloem and
Karin Greimel and
Thomas A. Henzinger and
Barbara Jobstmann},
title = {Synthesizing robust systems},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {85--92},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351139},
doi = {10.1109/FMCAD.2009.5351139},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BloemGHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HenzingerJW09,
author = {Thomas A. Henzinger and
Barbara Jobstmann and
Verena Wolf},
editor = {Olivier Bournez and
Igor Potapov},
title = {Formalisms for Specifying Markovian Population Models},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {3--23},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_2},
doi = {10.1007/978-3-642-04420-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/HenzingerJW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2638,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann},
title = {Better Quality in Synthesis through Quantitative Objectives},
journal = {CoRR},
volume = {abs/0904.2638},
year = {2009},
url = {http://arxiv.org/abs/0904.2638},
eprinttype = {arXiv},
eprint = {0904.2638},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChatterjeeHJ08,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Environment Assumptions for Synthesis},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {147--161},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_14},
doi = {10.1007/978-3-540-85361-9\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChatterjeeHJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DoyenHJP08,
author = {Laurent Doyen and
Thomas A. Henzinger and
Barbara Jobstmann and
Tatjana Petrov},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Interface theories with component reuse},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {79--88},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450070},
doi = {10.1145/1450058.1450070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/DoyenHJP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GreimelBJV08,
author = {Karin Greimel and
Roderick Bloem and
Barbara Jobstmann and
Moshe Y. Vardi},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Open Implication},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {361--372},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_30},
doi = {10.1007/978-3-540-70583-3\_30},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GreimelBJV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuerraouiHJS08,
author = {Rachid Guerraoui and
Thomas A. Henzinger and
Barbara Jobstmann and
Vasu Singh},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Model checking transactional memories},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {372--382},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375626},
doi = {10.1145/1375581.1375626},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/GuerraouiHJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-4167,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann},
title = {Environment Assumptions for Synthesis},
journal = {CoRR},
volume = {abs/0805.4167},
year = {2008},
url = {http://arxiv.org/abs/0805.4167},
eprinttype = {arXiv},
eprint = {0805.4167},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-4167.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JobstmannGWB07,
author = {Barbara Jobstmann and
Stefan J. Galler and
Martin Weiglhofer and
Roderick Bloem},
editor = {Werner Damm and
Holger Hermanns},
title = {Anzu: {A} Tool for Property Synthesis},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {258--262},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_29},
doi = {10.1007/978-3-540-73368-3\_29},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/JobstmannGWB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BloemGJPPW07,
author = {Roderick Bloem and
Stefan J. Galler and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Martin Weiglhofer},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {Interactive presentation: Automatic hardware synthesis from specifications:
a case study},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {1188--1193},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1266622},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BloemGJPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloemGJPPW07,
author = {Roderick Bloem and
Stefan J. Galler and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Martin Weiglhofer},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Specify, Compile, Run: Hardware from {PSL}},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {3--16},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.004},
doi = {10.1016/J.ENTCS.2007.09.004},
timestamp = {Tue, 31 Jan 2023 16:00:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloemGJPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JobstmannB06,
author = {Barbara Jobstmann and
Roderick Bloem},
title = {Optimizations for {LTL} Synthesis},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.22},
doi = {10.1109/FMCAD.2006.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/JobstmannB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JobstmannGB05,
author = {Barbara Jobstmann and
Andreas Griesmayer and
Roderick Bloem},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Program Repair as a Game},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {226--238},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_23},
doi = {10.1007/11513988\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JobstmannGB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/StaberJB05,
author = {Stefan Staber and
Barbara Jobstmann and
Roderick Bloem},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Finding and Fixing Faults},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {35--49},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_6},
doi = {10.1007/11560548\_6},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/StaberJB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
