Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roderick Bloem
@article{DBLP:journals/tches/HadzicCPMB24,
author = {Vedad Hadzic and
Ga{\"{e}}tan Cassiers and
Robert Primas and
Stefan Mangard and
Roderick Bloem},
title = {Quantile: Quantifying Information Leakage},
journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.},
volume = {2024},
number = {1},
pages = {433--456},
year = {2024},
url = {https://doi.org/10.46586/tches.v2024.i1.433-456},
doi = {10.46586/TCHES.V2024.I1.433-456},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tches/HadzicCPMB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TollecHNABCHJM24,
author = {Simon Tollec and
Vedad Hadzic and
Pascal Nasahl and
Mihail Asavoae and
Roderick Bloem and
Damien Courouss{\'{e}} and
Karine Heydemann and
Mathieu Jan and
Stefan Mangard},
title = {Fault-Resistant Partitioning of Secure CPUs for System Co-Verification
against Faults},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {247},
year = {2024},
url = {https://eprint.iacr.org/2024/247},
timestamp = {Mon, 18 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/TollecHNABCHJM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/VaandragerEB23,
author = {Frits W. Vaandrager and
Masoud Ebrahimi and
Roderick Bloem},
title = {Learning Mealy machines with one timer},
journal = {Inf. Comput.},
volume = {295},
number = {Part {B}},
pages = {105013},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105013},
doi = {10.1016/J.IC.2023.105013},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/VaandragerEB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/KonighoferRPTB23,
author = {Bettina K{\"{o}}nighofer and
Julian Rudolf and
Alexander Palmisano and
Martin Tappler and
Roderick Bloem},
title = {Online shielding for reinforcement learning},
journal = {Innov. Syst. Softw. Eng.},
volume = {19},
number = {4},
pages = {379--394},
year = {2023},
url = {https://doi.org/10.1007/s11334-022-00480-4},
doi = {10.1007/S11334-022-00480-4},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/KonighoferRPTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CordobaPFBK23,
author = {Filip Cano C{\'{o}}rdoba and
Alexander Palmisano and
Martin Fr{\"{a}}nzle and
Roderick Bloem and
Bettina K{\"{o}}nighofer},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Safety Shielding under Delayed Observation},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {80--85},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27181},
doi = {10.1609/ICAPS.V33I1.27181},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/CordobaPFBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EbrahimiMNBSESSCSK23,
author = {Masoud Ebrahimi and
Stefan Marksteiner and
Dejan Nickovic and
Roderick Bloem and
David Sch{\"{o}}gler and
Philipp Eisner and
Samuel Sprung and
Thomas Schober and
Sebastian Chlup and
Christoph Schmittner and
Sandra K{\"{o}}nig},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {A Systematic Approach to Automotive Security},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {598--609},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_34},
doi = {10.1007/978-3-031-27481-7\_34},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/EbrahimiMNBSESSCSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TarrachEKSBN23,
author = {Thorsten Tarrach and
Masoud Ebrahimi and
Sandra K{\"{o}}nig and
Christoph Schmittner and
Roderick Bloem and
Dejan Nickovic},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Friedemann Bitsch},
title = {Attribute Repair for Threat Prevention},
booktitle = {Computer Safety, Reliability, and Security - 42nd International Conference,
{SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14181},
pages = {135--148},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40923-3\_11},
doi = {10.1007/978-3-031-40923-3\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/TarrachEKSBN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MaderbacherSBBNK23,
author = {Benedikt Maderbacher and
Stefan Schupp and
Ezio Bartocci and
Roderick Bloem and
Dejan Nickovic and
Bettina K{\"{o}}nighofer},
editor = {Georgiana Caltais and
Christian Schilling},
title = {Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness
Properties},
booktitle = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
Paris, France, April 26-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13872},
pages = {141--160},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-32157-3\_8},
doi = {10.1007/978-3-031-32157-3\_8},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/MaderbacherSBBNK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-02894,
author = {Masoud Ebrahimi and
Stefan Marksteiner and
Dejan Nickovic and
Roderick Bloem and
David Sch{\"{o}}gler and
Philipp Eisner and
Samuel Sprung and
Thomas Schober and
Sebastian Chlup and
Christoph Schmittner and
Sandra K{\"{o}}nig},
title = {A Systematic Approach to Automotive Security},
journal = {CoRR},
volume = {abs/2303.02894},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.02894},
doi = {10.48550/ARXIV.2303.02894},
eprinttype = {arXiv},
eprint = {2303.02894},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-02894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-02164,
author = {Filip Cano C{\'{o}}rdoba and
Alexander Palmisano and
Martin Fr{\"{a}}nzle and
Roderick Bloem and
Bettina K{\"{o}}nighofer},
title = {Safety Shielding under Delayed Observation},
journal = {CoRR},
volume = {abs/2307.02164},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.02164},
doi = {10.48550/ARXIV.2307.02164},
eprinttype = {arXiv},
eprint = {2307.02164},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-02164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemCES22,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
title = {Specifiable robustness in reactive synthesis},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {2},
pages = {259--276},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00418-x},
doi = {10.1007/S10703-023-00418-X},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BloemCES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/HadzicPB22,
author = {Vedad Hadzic and
Robert Primas and
Roderick Bloem},
title = {Proving {SIFA} protection of masked redundant circuits},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {3},
pages = {471--481},
year = {2022},
url = {https://doi.org/10.1007/s11334-022-00448-4},
doi = {10.1007/S11334-022-00448-4},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/HadzicPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KonighoferBEP22,
author = {Bettina K{\"{o}}nighofer and
Roderick Bloem and
R{\"{u}}diger Ehlers and
Christian Pek},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Correct-by-Construction Runtime Enforcement in {AI} - {A} Survey},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {650--663},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_31},
doi = {10.1007/978-3-031-22337-2\_31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KonighoferBEP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BloemGGHMP22,
author = {Roderick Bloem and
Barbara Gigerl and
Marc Gourjon and
Vedad Hadzic and
Stefan Mangard and
Robert Primas},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {Power Contracts: Provably Complete Power Leakage Models for Processors},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {381--395},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560600},
doi = {10.1145/3548606.3560600},
timestamp = {Sat, 17 Dec 2022 01:15:29 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BloemGGHMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codesisss/BloemLLMNZ22,
author = {Roderick Bloem and
Alberto Larrauri and
Roland Lengfeldner and
Cristinel Mateis and
Dejan Nickovic and
Bj{\"{o}}rn Ziegler},
title = {Industry Paper: Surrogate Models for Testing Analog Designs under
Limited Budget - a Bandgap Case Study},
booktitle = {International Conference on Hardware/Software Codesign and System
Synthesis, {CODES+ISSS} 2022, Shanghai, China, October 7-14, 2022},
pages = {21--24},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CODES-ISSS55005.2022.00016},
doi = {10.1109/CODES-ISSS55005.2022.00016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codesisss/BloemLLMNZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MaderbacherB22,
author = {Benedikt Maderbacher and
Roderick Bloem},
editor = {Alberto Griggio and
Neha Rungta},
title = {Reactive Synthesis Modulo Theories using Abstraction Refinement},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {315--324},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_38},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_38},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MaderbacherB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TapplerPKMBL22,
author = {Martin Tappler and
Stefan Pranger and
Bettina K{\"{o}}nighofer and
Edi Muskardin and
Roderick Bloem and
Kim G. Larsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automata Learning Meets Shielding},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {335--359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_20},
doi = {10.1007/978-3-031-19849-6\_20},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/TapplerPKMBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/HadzicBSS22,
author = {Vedad Hadzic and
Roderick Bloem and
Ankit Shukla and
Martina Seidl},
editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
title = {FERPModels: {A} Certification Framework for Expansion-Based {QBF}
Solving},
booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2022, Hagenberg / Linz, Austria, September
12-15, 2022},
pages = {80--83},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SYNASC57785.2022.00022},
doi = {10.1109/SYNASC57785.2022.00022},
timestamp = {Fri, 09 Jun 2023 15:18:17 +0200},
biburl = {https://dblp.org/rec/conf/synasc/HadzicBSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2021,
editor = {Roderick Bloem and
Rayna Dimitrova and
Chuchu Fan and
Natasha Sharygina},
title = {Software Verification - 13th International Conference, {VSTTE} 2021,
New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
{NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-95561-8},
doi = {10.1007/978-3-030-95561-8},
isbn = {978-3-030-95560-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07441,
author = {Alberto Larrauri and
Roderick Bloem},
title = {Conformance Testing of Mealy Machines Under Input Restrictions},
journal = {CoRR},
volume = {abs/2206.07441},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07441},
doi = {10.48550/ARXIV.2206.07441},
eprinttype = {arXiv},
eprint = {2206.07441},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07441.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14426,
author = {Bettina K{\"{o}}nighofer and
Roderick Bloem and
R{\"{u}}diger Ehlers and
Christian Pek},
title = {Correct-by-Construction Runtime Enforcement in {AI} - {A} Survey},
journal = {CoRR},
volume = {abs/2208.14426},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14426},
doi = {10.48550/ARXIV.2208.14426},
eprinttype = {arXiv},
eprint = {2208.14426},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14426.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-03207,
author = {Thorsten Tarrach and
Masoud Ebrahimi and
Sandra K{\"{o}}nig and
Christoph Schmittner and
Roderick Bloem and
Dejan Nickovic},
title = {Threat Repair with Optimization Modulo Theories},
journal = {CoRR},
volume = {abs/2210.03207},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.03207},
doi = {10.48550/ARXIV.2210.03207},
eprinttype = {arXiv},
eprint = {2210.03207},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-03207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-01838,
author = {Martin Tappler and
Stefan Pranger and
Bettina K{\"{o}}nighofer and
Edi Muskardin and
Roderick Bloem and
Kim G. Larsen},
title = {Automata Learning meets Shielding},
journal = {CoRR},
volume = {abs/2212.01838},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.01838},
doi = {10.48550/ARXIV.2212.01838},
eprinttype = {arXiv},
eprint = {2212.01838},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-01838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-01861,
author = {Bettina K{\"{o}}nighofer and
Julian Rudolf and
Alexander Palmisano and
Martin Tappler and
Roderick Bloem},
title = {Online Shielding for Reinforcement Learning},
journal = {CoRR},
volume = {abs/2212.01861},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.01861},
doi = {10.48550/ARXIV.2212.01861},
eprinttype = {arXiv},
eprint = {2212.01861},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-01861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BloemGGHMP22,
author = {Roderick Bloem and
Barbara Gigerl and
Marc Gourjon and
Vedad Hadzic and
Stefan Mangard and
Robert Primas},
title = {Power Contracts: Provably Complete Power Leakage Models for Processors},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {565},
year = {2022},
url = {https://eprint.iacr.org/2022/565},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BloemGGHMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemBHELS21,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
title = {Two {SAT} solvers for solving quantified Boolean formulas with an
arbitrary number of quantifier alternations},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {157--177},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00371-7},
doi = {10.1007/S10703-021-00371-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BloemBHELS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemCES21,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
title = {Vacuity in synthesis},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {3},
pages = {473--495},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00381-5},
doi = {10.1007/S10703-021-00381-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BloemCES21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BartocciBMMN21,
author = {Ezio Bartocci and
Roderick Bloem and
Benedikt Maderbacher and
Niveditha Manjunath and
Dejan Nickovic},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {Adaptive Testing for Specification Coverage in {CPS} Models},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {229--234},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.503},
doi = {10.1016/J.IFACOL.2021.08.503},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BartocciBMMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/PrangerKTD0B21,
author = {Stefan Pranger and
Bettina K{\"{o}}nighofer and
Martin Tappler and
Martin Deixelberger and
Nils Jansen and
Roderick Bloem},
title = {Adaptive Shielding under Uncertainty},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {3467--3474},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9482889},
doi = {10.23919/ACC50511.2021.9482889},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/PrangerKTD0B21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PrangerKPB21,
author = {Stefan Pranger and
Bettina K{\"{o}}nighofer and
Lukas Posch and
Roderick Bloem},
editor = {Zhe Hou and
Vijay Ganesh},
title = {{TEMPEST} - Synthesis Tool for Reactive Systems and Shields in Probabilistic
Environments},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {222--228},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_15},
doi = {10.1007/978-3-030-88885-5\_15},
timestamp = {Mon, 18 Oct 2021 08:49:54 +0200},
biburl = {https://dblp.org/rec/conf/atva/PrangerKPB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HadzicPB21,
author = {Vedad Hadzic and
Robert Primas and
Roderick Bloem},
editor = {Zhe Hou and
Vijay Ganesh},
title = {Proving {SIFA} Protection of Masked Redundant Circuits},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {249--265},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_17},
doi = {10.1007/978-3-030-88885-5\_17},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HadzicPB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HadzicB21,
author = {Vedad Hadzic and
Roderick Bloem},
title = {{COCOALMA:} {A} Versatile Masking Verifier},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_9},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_9},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HadzicB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/VaandragerB021,
author = {Frits W. Vaandrager and
Roderick Bloem and
Masoud Ebrahimi},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Learning Mealy Machines with One Timer},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {157--170},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_13},
doi = {10.1007/978-3-030-68195-1\_13},
timestamp = {Tue, 23 Feb 2021 12:56:48 +0100},
biburl = {https://dblp.org/rec/conf/lata/VaandragerB021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/KonighoferRPTB21,
author = {Bettina K{\"{o}}nighofer and
Julian Rudolf and
Alexander Palmisano and
Martin Tappler and
Roderick Bloem},
editor = {Aaron Dutle and
Mariano M. Moscato and
Laura Titolo and
C{\'{e}}sar A. Mu{\~{n}}oz and
Ivan Perez},
title = {Online Shielding for Stochastic Systems},
booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
Virtual Event, May 24-28, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12673},
pages = {231--248},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76384-8\_15},
doi = {10.1007/978-3-030-76384-8\_15},
timestamp = {Wed, 20 Sep 2023 15:15:29 +0200},
biburl = {https://dblp.org/rec/conf/nfm/KonighoferRPTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/GigerlHPMB21,
author = {Barbara Gigerl and
Vedad Hadzic and
Robert Primas and
Stefan Mangard and
Roderick Bloem},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {Coco: Co-Design and Co-Verification of Masked Software Implementations
on CPUs},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {1469--1468},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/gigerl},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/GigerlHPMB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10292,
author = {L{\'{a}}zaro Alberto Larrauri and
Roderick Bloem},
title = {Minimization and Synthesis of the Tail inSequential Compositions of
Mealy Machines},
journal = {CoRR},
volume = {abs/2105.10292},
year = {2021},
url = {https://arxiv.org/abs/2105.10292},
eprinttype = {arXiv},
eprint = {2105.10292},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-12588,
author = {Stefan Pranger and
Bettina K{\"{o}}nighofer and
Lukas Posch and
Roderick Bloem},
title = {{TEMPEST} - Synthesis Tool for Reactive Systems and Shields in Probabilistic
Environments},
journal = {CoRR},
volume = {abs/2105.12588},
year = {2021},
url = {https://arxiv.org/abs/2105.12588},
eprinttype = {arXiv},
eprint = {2105.12588},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-12588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01917,
author = {Vedad Hadzic and
Robert Primas and
Roderick Bloem},
title = {Proving {SIFA} Protection of Masked Redundant Circuits},
journal = {CoRR},
volume = {abs/2107.01917},
year = {2021},
url = {https://arxiv.org/abs/2107.01917},
eprinttype = {arXiv},
eprint = {2107.01917},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-01917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00090,
author = {Benedikt Maderbacher and
Roderick Bloem},
title = {Reactive Synthesis Modulo Theories Using Abstraction Refinement},
journal = {CoRR},
volume = {abs/2108.00090},
year = {2021},
url = {https://arxiv.org/abs/2108.00090},
eprinttype = {arXiv},
eprint = {2108.00090},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BloemT20,
author = {Roderick Bloem and
Paulo Tabuada},
title = {Preface for the {SYNT}},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {1},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00354-6},
doi = {10.1007/S00236-019-00354-6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BloemT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001KJSB20,
author = {Nils Jansen and
Bettina K{\"{o}}nighofer and
Sebastian Junges and
Alex Serban and
Roderick Bloem},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {3:1--3:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.3},
doi = {10.4230/LIPICS.CONCUR.2020.3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001KJSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KonighoferL0B20,
author = {Bettina K{\"{o}}nighofer and
Florian Lorber and
Nils Jansen and
Roderick Bloem},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Shield Synthesis for Reinforcement Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {290--306},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_16},
doi = {10.1007/978-3-030-61362-4\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KonighoferL0B20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MaderbacherKB20,
author = {Benedikt Maderbacher and
Anja F. Karl and
Roderick Bloem},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Placement of Runtime Checks to Counteract Fault Injections},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {241--258},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_13},
doi = {10.1007/978-3-030-60508-7\_13},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/MaderbacherKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16688,
author = {Roderick Bloem and
Peter Gj{\o}l Jensen and
Bettina K{\"{o}}nighofer and
Kim Guldstrand Larsen and
Florian Lorber and
Alexander Palmisano},
title = {It's Time to Play Safe: Shield Synthesis for Timed Systems},
journal = {CoRR},
volume = {abs/2006.16688},
year = {2020},
url = {https://arxiv.org/abs/2006.16688},
eprinttype = {arXiv},
eprint = {2006.16688},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03842,
author = {Stefan Pranger and
Bettina K{\"{o}}nighofer and
Martin Tappler and
Martin Deixelberger and
Nils Jansen and
Roderick Bloem},
title = {Adaptive Shielding under Uncertainty},
journal = {CoRR},
volume = {abs/2010.03842},
year = {2020},
url = {https://arxiv.org/abs/2010.03842},
eprinttype = {arXiv},
eprint = {2010.03842},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06674,
author = {Ezio Bartocci and
Roderick Bloem and
Benedikt Maderbacher and
Niveditha Manjunath and
Dejan Nickovic},
title = {Adaptive Testing for Specification Coverage},
journal = {CoRR},
volume = {abs/2010.06674},
year = {2020},
url = {https://arxiv.org/abs/2010.06674},
eprinttype = {arXiv},
eprint = {2010.06674},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07630,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Dana Fisman and
Heinz Riener},
title = {Safety Synthesis Sans Specification},
journal = {CoRR},
volume = {abs/2011.07630},
year = {2020},
url = {https://arxiv.org/abs/2011.07630},
eprinttype = {arXiv},
eprint = {2011.07630},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09539,
author = {Bettina K{\"{o}}nighofer and
Julian Rudolf and
Alexander Palmisano and
Martin Tappler and
Roderick Bloem},
title = {Online Shielding for Stochastic Systems},
journal = {CoRR},
volume = {abs/2012.09539},
year = {2020},
url = {https://arxiv.org/abs/2012.09539},
eprinttype = {arXiv},
eprint = {2012.09539},
timestamp = {Sun, 03 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-09539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GigerlHPMB20,
author = {Barbara Gigerl and
Vedad Hadzic and
Robert Primas and
Stefan Mangard and
Roderick Bloem},
title = {Coco: Co-Design and Co-Verification of Masked Software Implementations
on CPUs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1294},
year = {2020},
url = {https://eprint.iacr.org/2020/1294},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/GigerlHPMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemFGKPRR19,
author = {Roderick Bloem and
G{\"{o}}rschwin Fey and
Fabian Greif and
Robert K{\"{o}}nighofer and
Ingo Pill and
Heinz Riener and
Franz R{\"{o}}ck},
title = {Synthesizing adaptive test strategies from temporal logic specifications},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {2},
pages = {103--135},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00338-9},
doi = {10.1007/S10703-019-00338-9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BloemFGKPRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BharadwajBDKT19,
author = {Suda Bharadwaj and
Roderick Bloem and
Rayna Dimitrova and
Bettina K{\"{o}}nighofer and
Ufuk Topcu},
title = {Synthesis of Minimum-Cost Shields for Multi-agent Systems},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {1048--1055},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8815233},
doi = {10.23919/ACC.2019.8815233},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/BharadwajBDKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BloemJV19,
author = {Roderick Bloem and
Swen Jacobs and
Yakir Vizel},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Efficient Information-Flow Verification Under Speculative Execution},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {499--514},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_29},
doi = {10.1007/978-3-030-31784-3\_29},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/BloemJV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AvniBCHKP19,
author = {Guy Avni and
Roderick Bloem and
Krishnendu Chatterjee and
Thomas A. Henzinger and
Bettina K{\"{o}}nighofer and
Stefan Pranger},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Run-Time Optimization for Learned Controllers Through Quantitative
Games},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {630--649},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_36},
doi = {10.1007/978-3-030-25540-4\_36},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/AvniBCHKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemC0S19,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
editor = {Clark W. Barrett and
Jin Yang},
title = {Synthesizing Reactive Systems Using Robustness and Recovery Specifications},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {147--151},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894276},
doi = {10.23919/FMCAD.2019.8894276},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BloemC0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AichernigB0HPRR19,
author = {Bernhard K. Aichernig and
Roderick Bloem and
Masoud Ebrahimi and
Martin Horn and
Franz Pernkopf and
Wolfgang Roth and
Astrid Rupp and
Martin Tappler and
Markus Tranninger},
editor = {Christophe Gaston and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Learning a Behavior Model of Hybrid Systems Through Combining Model-Based
Testing and Machine Learning},
booktitle = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11812},
pages = {3--21},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31280-0\_1},
doi = {10.1007/978-3-030-31280-0\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/AichernigB0HPRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KarlSBM19,
author = {Anja F. Karl and
Robert Schilling and
Roderick Bloem and
Stefan Mangard},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Small Faults Grow Up - Verification of Error Masking Robustness in
Arithmetically Encoded Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {183--204},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_9},
doi = {10.1007/978-3-030-11245-5\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KarlSBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07075,
author = {Martin Tappler and
Bernhard K. Aichernig and
Roderick Bloem},
title = {Model-Based Testing IoT Communication via Active Automata Learning},
journal = {CoRR},
volume = {abs/1904.07075},
year = {2019},
url = {http://arxiv.org/abs/1904.07075},
eprinttype = {arXiv},
eprint = {1904.07075},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07736,
author = {Swen Jacobs and
Roderick Bloem and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Philipp J. Meyer and
Thibaud Michaud and
Mouhammad Sakr and
Salomon Sickert and
Leander Tentrup and
Adam Walker},
title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
Participants {\&} Results},
journal = {CoRR},
volume = {abs/1904.07736},
year = {2019},
url = {http://arxiv.org/abs/1904.07736},
eprinttype = {arXiv},
eprint = {1904.07736},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-04708,
author = {Bernhard K. Aichernig and
Roderick Bloem and
Masoud Ebrahimi and
Martin Horn and
Franz Pernkopf and
Wolfgang Roth and
Astrid Rupp and
Martin Tappler and
Markus Tranninger},
title = {Learning a Behavior Model of Hybrid Systems Through Combining Model-Based
Testing and Machine Learning (Full Version)},
journal = {CoRR},
volume = {abs/1907.04708},
year = {2019},
url = {http://arxiv.org/abs/1907.04708},
eprinttype = {arXiv},
eprint = {1907.04708},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-04708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tches/GrossIB18,
author = {Hannes Gro{\ss} and
Rinat Iusupov and
Roderick Bloem},
title = {Generic Low-Latency Masking in Hardware},
journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.},
volume = {2018},
number = {2},
pages = {1--21},
year = {2018},
url = {https://doi.org/10.13154/tches.v2018.i2.1-21},
doi = {10.13154/TCHES.V2018.I2.1-21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tches/GrossIB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlshiekhBEKNT18,
author = {Mohammed Alshiekh and
Roderick Bloem and
R{\"{u}}diger Ehlers and
Bettina K{\"{o}}nighofer and
Scott Niekum and
Ufuk Topcu},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Safe Reinforcement Learning via Shielding},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {2669--2678},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11797},
doi = {10.1609/AAAI.V32I1.11797},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlshiekhBEKNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KhalimovMB18,
author = {Ayrat Khalimov and
Benedikt Maderbacher and
Roderick Bloem},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Bounded Synthesis of Register Transducers},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {494--510},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_29},
doi = {10.1007/978-3-030-01090-4\_29},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KhalimovMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartocciBNR18,
author = {Ezio Bartocci and
Roderick Bloem and
Dejan Nickovic and
Franz R{\"{o}}ck},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {A Counting Semantics for Monitoring {LTL} Specifications over Finite
Traces},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {547--564},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_29},
doi = {10.1007/978-3-319-96145-3\_29},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/BartocciBNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BloemGIKMW18,
author = {Roderick Bloem and
Hannes Gro{\ss} and
Rinat Iusupov and
Bettina K{\"{o}}nighofer and
Stefan Mangard and
Johannes Winter},
editor = {Jesper Buus Nielsen and
Vincent Rijmen},
title = {Formal Verification of Masked Hardware Implementations in the Presence
of Glitches},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2018 - 37th Annual International
Conference on the Theory and Applications of Cryptographic Techniques,
Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10821},
pages = {321--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-78375-8\_11},
doi = {10.1007/978-3-319-78375-8\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/BloemGIKMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AichernigBETW18,
author = {Bernhard K. Aichernig and
Roderick Bloem and
Masoud Ebrahimi and
Martin Tappler and
Johannes Winter},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Automata Learning for Symbolic Execution},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602991},
doi = {10.23919/FMCAD.2018.8602991},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AichernigBETW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemBHELS18,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Expansion-Based {QBF} Solving Without Recursion},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603004},
doi = {10.23919/FMCAD.2018.8603004},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BloemBHELS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@book{DBLP:reference/mc/2018,
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Handbook of Model Checking},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8},
doi = {10.1007/978-3-319-10575-8},
isbn = {978-3-319-10574-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/mc/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03237,
author = {Ezio Bartocci and
Roderick Bloem and
Dejan Nickovic and
Franz R{\"{o}}ck},
title = {A Counting Semantics for Monitoring {LTL} Specifications over Finite
Traces},
journal = {CoRR},
volume = {abs/1804.03237},
year = {2018},
url = {http://arxiv.org/abs/1804.03237},
eprinttype = {arXiv},
eprint = {1804.03237},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06096,
author = {Nils Jansen and
Bettina K{\"{o}}nighofer and
Sebastian Junges and
Roderick Bloem},
title = {Shielded Decision-Making in MDPs},
journal = {CoRR},
volume = {abs/1807.06096},
year = {2018},
url = {http://arxiv.org/abs/1807.06096},
eprinttype = {arXiv},
eprint = {1807.06096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-06096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08964,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
title = {Expansion-Based {QBF} Solving Without Recursion},
journal = {CoRR},
volume = {abs/1807.08964},
year = {2018},
url = {http://arxiv.org/abs/1807.08964},
eprinttype = {arXiv},
eprint = {1807.08964},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-01607,
author = {Roderick Bloem and
G{\"{o}}rschwin Fey and
Fabian Greif and
Robert K{\"{o}}nighofer and
Ingo Pill and
Heinz Riener and
Franz R{\"{o}}ck},
title = {Synthesizing Adaptive Test Strategies from Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/1809.01607},
year = {2018},
url = {http://arxiv.org/abs/1809.01607},
eprinttype = {arXiv},
eprint = {1809.01607},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-01607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05017,
author = {Ayrat Khalimov and
Benedikt Maderbacher and
Roderick Bloem},
title = {Bounded Synthesis of Register Transducers},
journal = {CoRR},
volume = {abs/1809.05017},
year = {2018},
url = {http://arxiv.org/abs/1809.05017},
eprinttype = {arXiv},
eprint = {1809.05017},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BloemGIKM18,
author = {Roderick Bloem and
Hannes Gro{\ss} and
Rinat Iusupov and
Martin Krenn and
Stefan Mangard},
title = {Sharing Independence {\&} Relabeling: Efficient Formal Verification
of Higher-Order Masking},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1031},
year = {2018},
url = {https://eprint.iacr.org/2018/1031},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/BloemGIKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KonighoferABHKT17,
author = {Bettina K{\"{o}}nighofer and
Mohammed Alshiekh and
Roderick Bloem and
Laura R. Humphrey and
Robert K{\"{o}}nighofer and
Ufuk Topcu and
Chao Wang},
title = {Shield synthesis},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {2},
pages = {332--361},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0276-9},
doi = {10.1007/S10703-017-0276-9},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KonighoferABHKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JacobsBBEHKPRRS17,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The first reactive synthesis competition {(SYNTCOMP} 2014)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {3},
pages = {367--390},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0416-3},
doi = {10.1007/S10009-016-0416-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/JacobsBBEHKPRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MaierMB17,
author = {Patrik Maier and
Zhendong Ma and
Roderick Bloem},
title = {Towards a Secure {SCRUM} Process for Agile Web Application Development},
booktitle = {Proceedings of the 12th International Conference on Availability,
Reliability and Security, Reggio Calabria, Italy, August 29 - September
01, 2017},
pages = {73:1--73:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098954.3103171},
doi = {10.1145/3098954.3103171},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/MaierMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KhalimovB17,
author = {Ayrat Khalimov and
Roderick Bloem},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Bounded Synthesis for Streett, Rabin, and {\textbackslash}text CTL{\^{}}*},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {333--352},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_18},
doi = {10.1007/978-3-319-63390-9\_18},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KhalimovB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TapplerAB17,
author = {Martin Tappler and
Bernhard K. Aichernig and
Roderick Bloem},
title = {Model-Based Testing IoT Communication via Active Automata Learning},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {276--287},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.32},
doi = {10.1109/ICST.2017.32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TapplerAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Lazic0WB17,
author = {Marijana Lazic and
Igor Konnov and
Josef Widder and
Roderick Bloem},
editor = {James Aspnes and
Alysson Bessani and
Pascal Felber and
Jo{\~{a}}o Leit{\~{a}}o},
title = {Synthesis of Distributed Algorithms with Parameterized Threshold Guards},
booktitle = {21st International Conference on Principles of Distributed Systems,
{OPODIS} 2017, Lisbon, Portugal, December 18-20, 2017},
series = {LIPIcs},
volume = {95},
pages = {32:1--32:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.32},
doi = {10.4230/LIPICS.OPODIS.2017.32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Lazic0WB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BloemCES17,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Synthesizing Non-Vacuous Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {55--72},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_4},
doi = {10.1007/978-3-319-52234-0\_4},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BloemCES17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-10636,
author = {Roderick Bloem and
Sven Schewe and
Ayrat Khalimov},
editor = {Dana Fisman and
Swen Jacobs},
title = {CTL* synthesis via {LTL} synthesis},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {4--22},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.4},
doi = {10.4204/EPTCS.260.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11439,
author = {Swen Jacobs and
Nicolas Basset and
Roderick Bloem and
Romain Brenguier and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Thibaud Michaud and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur and
Leander Tentrup},
editor = {Dana Fisman and
Swen Jacobs},
title = {The 4th Reactive Synthesis Competition {(SYNTCOMP} 2017): Benchmarks,
Participants {\&} Results},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {116--143},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.10},
doi = {10.4204/EPTCS.260.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-08611,
author = {Mohammed Alshiekh and
Roderick Bloem and
R{\"{u}}diger Ehlers and
Bettina K{\"{o}}nighofer and
Scott Niekum and
Ufuk Topcu},
title = {Safe Reinforcement Learning via Shielding},
journal = {CoRR},
volume = {abs/1708.08611},
year = {2017},
url = {http://arxiv.org/abs/1708.08611},
eprinttype = {arXiv},
eprint = {1708.08611},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-08611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-04291,
author = {Patrick Klampfl and
Robert K{\"{o}}nighofer and
Roderick Bloem and
Ayrat Khalimov and
Aiman Abu{-}Yonis and
Shiri Moran},
title = {OpenSEA: Semi-Formal Methods for Soft Error Analysis},
journal = {CoRR},
volume = {abs/1712.04291},
year = {2017},
url = {http://arxiv.org/abs/1712.04291},
eprinttype = {arXiv},
eprint = {1712.04291},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-04291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BloemGIKMW17,
author = {Roderick Bloem and
Hannes Gro{\ss} and
Rinat Iusupov and
Bettina K{\"{o}}nighofer and
Stefan Mangard and
Johannes Winter},
title = {Formal Verification of Masked Hardware Implementations in the Presence
of Glitches},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {897},
year = {2017},
url = {http://eprint.iacr.org/2017/897},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/BloemGIKMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GrossIB17,
author = {Hannes Gro{\ss} and
Rinat Iusupov and
Roderick Bloem},
title = {Generic Low-Latency Masking},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1223},
year = {2017},
url = {http://eprint.iacr.org/2017/1223},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/GrossIB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ei/BoanoRBWBH16,
author = {Carlo Alberto Boano and
Kay R{\"{o}}mer and
Roderick Bloem and
Klaus Witrisal and
Marcel Baunach and
Martin Horn},
title = {Dependability for the Internet of Things - from dependable networking
in harsh environments to a holistic view on dependability},
journal = {Elektrotech. Informationstechnik},
volume = {133},
number = {7},
pages = {304--309},
year = {2016},
url = {https://doi.org/10.1007/s00502-016-0436-4},
doi = {10.1007/S00502-016-0436-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ei/BoanoRBWBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BloemJKKRVW16,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov and
Igor Konnov and
Sasha Rubin and
Helmut Veith and
Josef Widder},
title = {Decidability in Parameterized Verification},
journal = {{SIGACT} News},
volume = {47},
number = {2},
pages = {53--64},
year = {2016},
url = {https://doi.org/10.1145/2951860.2951873},
doi = {10.1145/2951860.2951873},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/BloemJKKRVW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemBJ16,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Swen Jacobs},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Synthesis of Self-Stabilising and Byzantine-Resilient Distributed
Systems},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {157--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_9},
doi = {10.1007/978-3-319-41528-4\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemBJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/RienerKFB16,
author = {Heinz Riener and
Robert K{\"{o}}nighofer and
G{\"{o}}rschwin Fey and
Roderick Bloem},
editor = {Goran Frehse and
Matthias Althoff},
title = {SMT-Based {CPS} Parameter Synthesis},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {126--133},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/msr8},
doi = {10.29007/MSR8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/RienerKFB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AleksandrowiczA16,
author = {Gadi Aleksandrowicz and
Eli Arbel and
Roderick Bloem and
Timon D. ter Braak and
Sergei Devadze and
G{\"{o}}rschwin Fey and
Maksim Jenihhin and
Artur Jutman and
Hans G. Kerkhoff and
Robert K{\"{o}}nighofer and
Jan Malburg and
Shiri Moran and
Jaan Raik and
Gerard K. Rauwerda and
Heinz Riener and
Franz R{\"{o}}ck and
Konstantin Shibin and
Kim Sunesen and
Jinbo Wan and
Yong Zhao},
editor = {Rolf Drechsler and
Robert Wille},
title = {Designing reliable cyber-physical systems overview associated to the
special session at FDL'16},
booktitle = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen,
Germany, September 14-16, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FDL.2016.7880382},
doi = {10.1109/FDL.2016.7880382},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/AleksandrowiczA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemKPR16,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Ingo Pill and
Franz R{\"{o}}ck},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Synthesizing adaptive test strategies from temporal logic specifications},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {17--24},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886656},
doi = {10.1109/FMCAD.2016.7886656},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BloemKPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsB16,
author = {Swen Jacobs and
Roderick Bloem},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {The Reactive Synthesis Competition: {SYNTCOMP} 2016 and Beyond},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {133--148},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.11},
doi = {10.4204/EPTCS.229.11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBK0KKLNP16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Ayrat Khalimov and
Felix Klein and
Robert K{\"{o}}nighofer and
Jens Kreber and
Alexander Legg and
Nina Narodytska and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {The 3rd Reactive Synthesis Competition {(SYNTCOMP} 2016): Benchmarks,
Participants {\&} Results},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {149--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.12},
doi = {10.4204/EPTCS.229.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2016,
editor = {Roderick Bloem and
Eli Arbel},
title = {Hardware and Software: Verification and Testing - 12th International
Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10028},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49052-6},
doi = {10.1007/978-3-319-49052-6},
isbn = {978-3-319-49051-9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemEKKLS16,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing and
Martina Seidl},
title = {Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications},
journal = {CoRR},
volume = {abs/1604.06204},
year = {2016},
url = {http://arxiv.org/abs/1604.06204},
eprinttype = {arXiv},
eprint = {1604.06204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemEKKLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2015Bloem,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov and
Igor Konnov and
Sasha Rubin and
Helmut Veith and
Josef Widder},
title = {Decidability of Parameterized Verification},
series = {Synthesis Lectures on Distributed Computing Theory},
publisher = {Morgan {\&} Claypool Publishers},
year = {2015},
url = {https://doi.org/10.2200/S00658ED1V01Y201508DCT013},
doi = {10.2200/S00658ED1V01Y201508DCT013},
isbn = {978-3-031-00883-2},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2015Bloem.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BloemEK15,
author = {Roderick Bloem and
R{\"{u}}diger Ehlers and
Robert K{\"{o}}nighofer},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Cooperative Reactive Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {394--410},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_29},
doi = {10.1007/978-3-319-24953-7\_29},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BloemEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Bloem15,
author = {Roderick Bloem},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Reactive Synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {3},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542241},
doi = {10.1109/FMCAD.2015.7542241},
timestamp = {Tue, 30 May 2023 17:04:45 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Bloem15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/EhlersKB15,
author = {R{\"{u}}diger Ehlers and
Robert K{\"{o}}nighofer and
Roderick Bloem},
title = {Synthesizing cooperative reactive mission plans},
booktitle = {2015 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2015, Hamburg, Germany, September 28 - October 2,
2015},
pages = {3478--3485},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IROS.2015.7353862},
doi = {10.1109/IROS.2015.7353862},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/EhlersKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BloemCJK15,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Swen Jacobs and
Robert K{\"{o}}nighofer},
editor = {Christel Baier and
Cesare Tinelli},
title = {Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial
Information},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {517--532},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_50},
doi = {10.1007/978-3-662-46681-0\_50},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BloemCJK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BloemKKW15,
author = {Roderick Bloem and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer and
Chao Wang},
editor = {Christel Baier and
Cesare Tinelli},
title = {Shield Synthesis: - Runtime Enforcement for Reactive Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {533--548},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_51},
doi = {10.1007/978-3-662-46681-0\_51},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BloemKKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BloemHRS15,
author = {Roderick Bloem and
Daniel M. Hein and
Franz R{\"{o}}ck and
Richard Schumi},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Case Study: Automatic Test Case Generation for a Secure Cache Implementation},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {58--75},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_4},
doi = {10.1007/978-3-319-21215-9\_4},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/BloemHRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBKPRRSST16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {27--57},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.4},
doi = {10.4204/EPTCS.202.4},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemKKW15,
author = {Roderick Bloem and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer and
Chao Wang},
title = {Shield Synthesis: Runtime Enforcement for Reactive Systems},
journal = {CoRR},
volume = {abs/1501.02573},
year = {2015},
url = {http://arxiv.org/abs/1501.02573},
eprinttype = {arXiv},
eprint = {1501.02573},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemKKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsBBEHKPRRS15,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)},
journal = {CoRR},
volume = {abs/1506.08726},
year = {2015},
url = {http://arxiv.org/abs/1506.08726},
eprinttype = {arXiv},
eprint = {1506.08726},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBEHKPRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemEK15,
author = {Roderick Bloem and
R{\"{u}}diger Ehlers and
Robert K{\"{o}}nighofer},
title = {Cooperative Reactive Synthesis},
journal = {CoRR},
volume = {abs/1507.02531},
year = {2015},
url = {http://arxiv.org/abs/1507.02531},
eprinttype = {arXiv},
eprint = {1507.02531},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemEK15.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/corr/JacobsB14,
author = {Swen Jacobs and
Roderick Bloem},
title = {Parameterized Synthesis},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {1},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(1:12)2014},
doi = {10.2168/LMCS-10(1:12)2014},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemEKKL14,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing},
title = {SAT-based methods for circuit synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {31--34},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987592},
doi = {10.1109/FMCAD.2014.6987592},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BloemEKKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemHKKAS14,
author = {Roderick Bloem and
Georg Hofferek and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer and
Simon Ausserlechner and
Raphael Spork},
title = {Synthesis of synchronization using uninterpreted functions},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {35--42},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987593},
doi = {10.1109/FMCAD.2014.6987593},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BloemHKKAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KonighoferTB14,
author = {Robert K{\"{o}}nighofer and
Ronald Toegl and
Roderick Bloem},
editor = {Eran Yahav},
title = {Automatic Error Localization for Software Using Deductive Verification},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {92--98},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_8},
doi = {10.1007/978-3-319-13338-6\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KonighoferTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BloemMSW14,
author = {Roderick Bloem and
Sharad Malik and
Matthias Schlaipfer and
Georg Weissenbacher},
editor = {Eran Yahav},
title = {Reduction of Resolution Refutations and Interpolants via Subsumption},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {188--203},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_15},
doi = {10.1007/978-3-319-13338-6\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BloemMSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iknow/PammerSEHPBW14,
author = {Viktoria Pammer and
Hermann Stern and
Stefan Edler and
Daniel M. Hein and
Martin Pirker and
Roderick Bloem and
Alfred Wertner},
editor = {Stefanie N. Lindstaedt},
title = {Security concepts for a distributed architecture for activity logging
and analysis},
booktitle = {14th International Conference on Knowledge Management and Data-driven
Business, {I-KNOW} '14, Graz, Austria, September 16-19, 2014},
pages = {23:1--23:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637748.2638426},
doi = {10.1145/2637748.2638426},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iknow/PammerSEHPBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BloemKRT14,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Franz R{\"{o}}ck and
Michael Tautschnig},
title = {Automating Test-Suite Augmentation},
booktitle = {2014 14th International Conference on Quality Software, Allen, TX,
USA, October 2-3, 2014},
pages = {67--72},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/QSIC.2014.40},
doi = {10.1109/QSIC.2014.40},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BloemKRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BloemKS14,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Martina Seidl},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {SAT-Based Synthesis Methods for Safety Specs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {1--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_1},
doi = {10.1007/978-3-642-54013-4\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BloemKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BloemEJK14,
author = {Roderick Bloem and
R{\"{u}}diger Ehlers and
Swen Jacobs and
Robert K{\"{o}}nighofer},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {How to Handle Assumptions in Synthesis},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {34--50},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.7},
doi = {10.4204/EPTCS.157.7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BloemEJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BloemJK14a,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Parameterized Synthesis Case Study: {AMBA} {AHB}},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {68--83},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.9},
doi = {10.4204/EPTCS.157.9},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemJK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
editor = {Armin Biere and
Roderick Bloem},
title = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9},
doi = {10.1007/978-3-319-08867-9},
isbn = {978-3-319-08866-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemJK14,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov},
title = {Parameterized Synthesis Case Study: {AMBA} {AHB}},
journal = {CoRR},
volume = {abs/1406.7608},
year = {2014},
url = {http://arxiv.org/abs/1406.7608},
eprinttype = {arXiv},
eprint = {1406.7608},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemEKKL14,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing},
title = {SAT-Based Methods for Circuit Synthesis},
journal = {CoRR},
volume = {abs/1408.2333},
year = {2014},
url = {http://arxiv.org/abs/1408.2333},
eprinttype = {arXiv},
eprint = {1408.2333},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemEKKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KoenighoferTB14,
author = {Robert K{\"{o}}nighofer and
Ronald Toegl and
Roderick Bloem},
title = {Automatic Error Localization for Software using Deductive Verification},
journal = {CoRR},
volume = {abs/1409.4637},
year = {2014},
url = {http://arxiv.org/abs/1409.4637},
eprinttype = {arXiv},
eprint = {1409.4637},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoenighoferTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemCJK14,
author = {Roderick Bloem and
Krishnendu Chatterjee and
Swen Jacobs and
Robert K{\"{o}}nighofer},
title = {Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial
Information},
journal = {CoRR},
volume = {abs/1411.4604},
year = {2014},
url = {http://arxiv.org/abs/1411.4604},
eprinttype = {arXiv},
eprint = {1411.4604},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemCJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KonighoferHB13,
author = {Robert K{\"{o}}nighofer and
Georg Hofferek and
Roderick Bloem},
title = {Debugging formal specifications: a practical approach using model-based
diagnosis and counterstrategies},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {563--583},
year = {2013},
url = {https://doi.org/10.1007/s10009-011-0221-y},
doi = {10.1007/S10009-011-0221-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KonighoferHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KhalimovJB13,
author = {Ayrat Khalimov and
Swen Jacobs and
Roderick Bloem},
editor = {Natasha Sharygina and
Helmut Veith},
title = {{PARTY} Parameterized Synthesis of Token Rings},
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 = {928--933},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_66},
doi = {10.1007/978-3-642-39799-8\_66},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/KhalimovJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HofferekGKJB13,
author = {Georg Hofferek and
Ashutosh Gupta and
Bettina K{\"{o}}nighofer and
Jie{-}Hong Roland Jiang and
Roderick Bloem},
title = {Synthesizing multiple boolean functions using interpolation on a single
proof},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {77--84},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679394/},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HofferekGKJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KhalimovJB13,
author = {Ayrat Khalimov and
Swen Jacobs and
Roderick Bloem},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Towards Efficient Parameterized Synthesis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {108--127},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_9},
doi = {10.1007/978-3-642-35873-9\_9},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KhalimovJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/intrust/2013,
editor = {Roderick Bloem and
Peter Lipp},
title = {Trusted Systems - 5th International Conference, {INTRUST} 2013, Graz,
Austria, December 4-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8292},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03491-1},
doi = {10.1007/978-3-319-03491-1},
isbn = {978-3-319-03490-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/intrust/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HofferekGKJB13,
author = {Georg Hofferek and
Ashutosh Gupta and
Bettina K{\"{o}}nighofer and
Jie{-}Hong Roland Jiang and
Roderick Bloem},
title = {Synthesizing Multiple Boolean Functions using Interpolation on a Single
Proof},
journal = {CoRR},
volume = {abs/1308.4767},
year = {2013},
url = {http://arxiv.org/abs/1308.4767},
eprinttype = {arXiv},
eprint = {1308.4767},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HofferekGKJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemKS13,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Martina Seidl},
title = {SAT-Based Synthesis Methods for Safety Specs},
journal = {CoRR},
volume = {abs/1311.3530},
year = {2013},
url = {http://arxiv.org/abs/1311.3530},
eprinttype = {arXiv},
eprint = {1311.3530},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemKS13.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/hvc/KonighoferB12,
author = {Robert K{\"{o}}nighofer and
Roderick Bloem},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Repair with On-The-Fly Program Analysis},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {56--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_11},
doi = {10.1007/978-3-642-39611-3\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KonighoferB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BloemDFFHKRRS12,
author = {Roderick Bloem and
Rolf Drechsler and
G{\"{o}}rschwin Fey and
Alexander Finder and
Georg Hofferek and
Robert K{\"{o}}nighofer and
Jaan Raik and
Urmas Repinski and
Andr{\'{e}} S{\"{u}}lflow},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {FoREnSiC- An Automatic Debugging Environment for {C} Programs},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {260--265},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_24},
doi = {10.1007/978-3-642-39611-3\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BloemDFFHKRRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JacobsB12,
author = {Swen Jacobs and
Roderick Bloem},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Parameterized Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {362--376},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_25},
doi = {10.1007/978-3-642-28756-5\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JacobsB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustbus/BergfeldBBBCDJSSW12,
author = {Marc{-}Michael Bergfeld and
Holger Bock and
Roderick Bloem and
Jan Blonk and
Gregory Conti and
Kurt Dietrich and
Matthias Junk and
Florian Schreiner and
Stephan Spitz and
Johannes Winter},
editor = {Simone Fischer{-}H{\"{u}}bner and
Sokratis K. Katsikas and
Gerald Quirchmayr},
title = {Secure Embedded Platform with Advanced Process Isolation and Anonymity
Capabilities},
booktitle = {Trust, Privacy and Security in Digital Business - 9th International
Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7449},
pages = {238--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32287-7\_30},
doi = {10.1007/978-3-642-32287-7\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/trustbus/BergfeldBBBCDJSSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-1268,
author = {Roderick Bloem and
Hans{-}J{\"{u}}rgen Gamauf and
Georg Hofferek and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer},
editor = {Doron A. Peled and
Sven Schewe},
title = {Synthesizing Robust Systems with {RATSY}},
booktitle = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
pages = {47--53},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84.4},
doi = {10.4204/EPTCS.84.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KonighoferB11,
author = {Robert K{\"{o}}nighofer and
Roderick Bloem},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Automated error localization and correction for imperative programs},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {91--100},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157671},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KonighoferB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SchlaipferHB11,
author = {Matthias Schlaipfer and
Georg Hofferek and
Roderick Bloem},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Generalized Reactivity(1) Synthesis without a Monolithic Strategy},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {20--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_6},
doi = {10.1007/978-3-642-34188-5\_6},
timestamp = {Fri, 27 Mar 2020 08:58:09 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SchlaipferHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RienerBF11,
author = {Heinz Riener and
Roderick Bloem and
G{\"{o}}rschwin Fey},
title = {Test Case Generation from Mutants Using Model Checking Techniques},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {388--397},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.55},
doi = {10.1109/ICSTW.2011.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RienerBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/HofferekB11,
author = {Georg Hofferek and
Roderick Bloem},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Controller synthesis for pipelined circuits using uninterpreted functions},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {31--42},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970508},
doi = {10.1109/MEMCOD.2011.5970508},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/HofferekB11.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}
}
@article{DBLP:journals/stvr/GriesmayerSB10,
author = {Andreas Griesmayer and
Stefan Staber and
Roderick Bloem},
title = {Fault localization using a model checker},
journal = {Softw. Test. Verification Reliab.},
volume = {20},
number = {2},
pages = {149--173},
year = {2010},
url = {https://doi.org/10.1002/stvr.421},
doi = {10.1002/STVR.421},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/GriesmayerSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BloemS10,
author = {Roderick Bloem and
Patrick Schaumont},
title = {Guest Editorial},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {10},
pages = {1457--1458},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2060170},
doi = {10.1109/TCAD.2010.2060170},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/BloemS10.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 = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCGHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemCGHKRSS10,
author = {Roderick Bloem and
Alessandro Cimatti and
Karin Greimel and
Georg Hofferek and
Robert K{\"{o}}nighofer and
Marco Roveri and
Viktor Schuppan and
Richard Seeber},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {{RATSY} - {A} New Requirements Analysis Tool with Synthesis},
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 = {425--429},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_37},
doi = {10.1007/978-3-642-14295-6\_37},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCGHKRSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KonighoferHB10,
author = {Robert K{\"{o}}nighofer and
Georg Hofferek and
Roderick Bloem},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Debugging Unrealizable Specifications with Model-Based Diagnosis},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {29--45},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_8},
doi = {10.1007/978-3-642-19583-9\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KonighoferHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2010,
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5766311/proceeding},
isbn = {978-1-4577-0734-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2010.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/fmcad/KonighoferHB09,
author = {Robert K{\"{o}}nighofer and
Georg Hofferek and
Roderick Bloem},
title = {Debugging formal specifications using simple counterstrategies},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {152--159},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351127},
doi = {10.1109/FMCAD.2009.5351127},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KonighoferHB09.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}
}
@article{DBLP:journals/tcad/FeySBD08,
author = {G{\"{o}}rschwin Fey and
Stefan Staber and
Roderick Bloem and
Rolf Drechsler},
title = {Automatic Fault Localization for Property Checking},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {6},
pages = {1138--1149},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.923234},
doi = {10.1109/TCAD.2008.923234},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/FeySBD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/SulflowFBD08,
author = {Andr{\'{e}} S{\"{u}}lflow and
G{\"{o}}rschwin Fey and
Roderick Bloem and
Rolf Drechsler},
editor = {Vijaykrishnan Narayanan and
Zhiyuan Yan and
Enrico Macii and
Sanjukta Bhanja},
title = {Using unsatisfiable cores to debug multiple design errors},
booktitle = {Proceedings of the 18th {ACM} Great Lakes Symposium on {VLSI} 2008,
Orlando, Florida, USA, May 4-6, 2008},
pages = {77--82},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1366110.1366131},
doi = {10.1145/1366110.1366131},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/SulflowFBD08.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/icycs/ToeglHGLPB08,
author = {Ronald Toegl and
Georg Hofferek and
Karin Greimel and
Adrian Leung and
Raphael Chung{-}Wei Phan and
Roderick Bloem},
title = {Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme},
booktitle = {Proceedings of the 9th International Conference for Young Computer
Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
2008},
pages = {2289--2294},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICYCS.2008.456},
doi = {10.1109/ICYCS.2008.456},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icycs/ToeglHGLPB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/SulflowFBD08,
author = {Andr{\'{e}} S{\"{u}}lflow and
G{\"{o}}rschwin Fey and
Roderick Bloem and
Rolf Drechsler},
editor = {Christoph Scholl and
Stefan Disch},
title = {Debugging Design Errors by Using Unsatisfiable Cores},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5,
2008},
pages = {159--168},
publisher = {Shaker},
year = {2008},
timestamp = {Wed, 03 Aug 2022 12:31:57 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/SulflowFBD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BloemCPR07,
author = {Roderick Bloem and
Alessandro Cimatti and
Ingo Pill and
Marco Roveri},
title = {Symbolic Implementation of Alternating Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {4},
pages = {727--743},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004942},
doi = {10.1142/S0129054107004942},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BloemCPR07.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/cav/BloemCPRT07,
author = {Roderick Bloem and
Roberto Cavada and
Ingo Pill and
Marco Roveri and
Andrei Tchaltsev},
editor = {Werner Damm and
Holger Hermanns},
title = {{RAT:} {A} Tool for the Formal Analysis of Requirements},
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 = {263--267},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_30},
doi = {10.1007/978-3-540-73368-3\_30},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCPRT07.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:conf/sat/StaberB07,
author = {Stefan Staber and
Roderick Bloem},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {Fault Localization and Correction with {QBF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {355--368},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_34},
doi = {10.1007/978-3-540-72788-0\_34},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/StaberB07.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}
}
@proceedings{DBLP:conf/floc/2006vd,
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/4},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/floc/2006vd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WangBHRS06,
author = {Chao Wang and
Roderick Bloem and
Gary D. Hachtel and
Kavita Ravi and
Fabio Somenzi},
title = {Compositional {SCC} Analysis for Language Emptiness},
journal = {Formal Methods Syst. Des.},
volume = {28},
number = {1},
pages = {5--36},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-4617-3},
doi = {10.1007/S10703-006-4617-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WangBHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemGS06,
author = {Roderick Bloem and
Harold N. Gabow and
Fabio Somenzi},
title = {An Algorithm for Strongly Connected Component Analysis in \emph{n}
log \emph{n} Symbolic Steps},
journal = {Formal Methods Syst. Des.},
volume = {28},
number = {1},
pages = {37--56},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-4341-z},
doi = {10.1007/S10703-006-4341-Z},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BloemGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GriesmayerBC06,
author = {Andreas Griesmayer and
Roderick Bloem and
Byron Cook},
editor = {Thomas Ball and
Robert B. Jones},
title = {Repair of Boolean Programs with an Application to {C}},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {358--371},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_33},
doi = {10.1007/11817963\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GriesmayerBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PillSCRBC06,
author = {Ingo Pill and
Simone Semprini and
Roberto Cavada and
Marco Roveri and
Roderick Bloem and
Alessandro Cimatti},
editor = {Ellen Sentovich},
title = {Formal analysis of hardware requirements},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {821--826},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1147119},
doi = {10.1145/1146909.1147119},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PillSCRBC06.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/hvc/StaberFBD06,
author = {Stefan Staber and
G{\"{o}}rschwin Fey and
Roderick Bloem and
Rolf Drechsler},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {Automatic Fault Localization for Property Checking},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {50--64},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_4},
doi = {10.1007/978-3-540-70889-6\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/StaberFBD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BloemCPRS06,
author = {Roderick Bloem and
Alessandro Cimatti and
Ingo Pill and
Marco Roveri and
Simone Semprini},
editor = {Oscar H. Ibarra and
Hsu{-}Chun Yen},
title = {Symbolic Implementation of Alternating Automata},
booktitle = {Implementation and Application of Automata, 11th International Conference,
{CIAA} 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4094},
pages = {208--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812128\_20},
doi = {10.1007/11812128\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BloemCPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloemRS07,
author = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Preface},
booktitle = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
pages = {1},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.025},
doi = {10.1016/J.ENTCS.2006.12.025},
timestamp = {Fri, 27 Jan 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloemRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GriesmayerSB07,
author = {Andreas Griesmayer and
Stefan Staber and
Roderick Bloem},
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Automated Fault Localization for {C} Programs},
booktitle = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
pages = {95--111},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.032},
doi = {10.1016/J.ENTCS.2006.12.032},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GriesmayerSB07.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}
}
@inproceedings{DBLP:conf/ieaaie/GriesmayerBHW05,
author = {Andreas Griesmayer and
Roderick Bloem and
Martin Hautzendorfer and
Franz Wotawa},
editor = {Moonis Ali and
Floriana Esposito},
title = {Formal Verification of Control Software: {A} Case Study},
booktitle = {Innovations in Applied Artificial Intelligence, 18th International
Conference on Industrial and Engineering Applications of Artificial
Intelligence and Expert Systems, {IEA/AIE} 2005, Bari, Italy, June
22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3533},
pages = {783--788},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11504894\_108},
doi = {10.1007/11504894\_108},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/GriesmayerBHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GurumurthyBS02,
author = {Sankar Gurumurthy and
Roderick Bloem and
Fabio Somenzi},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Fair Simulation Minimization},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {610--624},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_51},
doi = {10.1007/3-540-45657-0\_51},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GurumurthyBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SomenziRB02,
author = {Fabio Somenzi and
Kavita Ravi and
Roderick Bloem},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Analysis of Symbolic {SCC} Hull Algorithms},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {88--105},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_6},
doi = {10.1007/3-540-36126-X\_6},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SomenziRB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WangBHRS01,
author = {Chao Wang and
Roderick Bloem and
Gary D. Hachtel and
Kavita Ravi and
Fabio Somenzi},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Divide and Compose: {SCC} Refinement for Language Emptiness},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {456--471},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_31},
doi = {10.1007/3-540-44685-0\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/WangBHRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloemE00,
author = {Roderick Bloem and
Joost Engelfriet},
title = {A Comparison of Tree Transductions Defined by Monadic Second Order
Logic and by Attribute Grammars},
journal = {J. Comput. Syst. Sci.},
volume = {61},
number = {1},
pages = {1--50},
year = {2000},
url = {https://doi.org/10.1006/jcss.1999.1684},
doi = {10.1006/JCSS.1999.1684},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloemE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SomenziB00,
author = {Fabio Somenzi and
Roderick Bloem},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Efficient B{\"{u}}chi Automata from {LTL} Formulae},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {248--263},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_21},
doi = {10.1007/10722167\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SomenziB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BloemRS00,
author = {Roderick Bloem and
Kavita Ravi and
Fabio Somenzi},
editor = {Giovanni De Micheli},
title = {Symbolic guided search for {CTL} model checking},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {29--34},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337306},
doi = {10.1145/337292.337306},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BloemRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemGS00,
author = {Roderick Bloem and
Harold N. Gabow and
Fabio Somenzi},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {An Algorithm for Strongly Connected Component Analysis in \emph{n}
log \emph{n} Symbolic Steps},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {37--54},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_4},
doi = {10.1007/3-540-40922-X\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BloemGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RaviBS00,
author = {Kavita Ravi and
Roderick Bloem and
Fabio Somenzi},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {A Comparative Study of Symbolic Algorithms for the Computation of
Fair Cycles},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {143--160},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_10},
doi = {10.1007/3-540-40922-X\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RaviBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemRS99,
author = {Roderick Bloem and
Kavita Ravi and
Fabio Somenzi},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Efficient Decision Procedures for Model Checking of Linear Time Logic
Properties},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {222--235},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_21},
doi = {10.1007/3-540-48683-6\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BloemE97,
author = {Roderick Bloem and
Joost Engelfriet},
editor = {Jan Mycielski and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Monadic Second Order Logic and Node Relations on Graphs and Trees},
booktitle = {Structures in Logic and Computer Science, {A} Selection of Essays
in Honor of Andrzej Ehrenfeucht},
series = {Lecture Notes in Computer Science},
volume = {1261},
pages = {144--161},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63246-8\_9},
doi = {10.1007/3-540-63246-8\_9},
timestamp = {Sat, 30 May 2020 20:05:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BloemE97.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-05-09 00:31 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:
