Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Ralf Wimmer"
download as .bib file
@article{DBLP:journals/sttt/WintererWBJ24,
author = {Leonore Winterer and
Ralf Wimmer and
Bernd Becker and
Nils Jansen},
title = {Strong Simple Policies for POMDPs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {3},
pages = {269--299},
year = {2024},
url = {https://doi.org/10.1007/s10009-024-00747-0},
doi = {10.1007/S10009-024-00747-0},
timestamp = {Tue, 25 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WintererWBJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogcom/XueWHC23,
author = {Xiaohe Xue and
Ralf D. Wimmer and
Michael M. Halassa and
Zhe Sage Chen},
title = {Spiking Recurrent Neural Networks Represent Task-Relevant Neural Sequences
in Rule-Dependent Computation},
journal = {Cogn. Comput.},
volume = {15},
number = {4},
pages = {1167--1189},
year = {2023},
url = {https://doi.org/10.1007/s12559-022-09994-2},
doi = {10.1007/S12559-022-09994-2},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogcom/XueWHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14446,
author = {Ralf Wimmer and
Ming{-}Yi Hu},
title = {Using Unit Propagation with Universal Reduction in {DQBF} Preprocessing},
journal = {CoRR},
volume = {abs/2303.14446},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14446},
doi = {10.48550/ARXIV.2303.14446},
eprinttype = {arXiv},
eprint = {2303.14446},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ge-ErnstSSW22,
author = {Aile Ge{-}Ernst and
Christoph Scholl and
Juraj S{\'{\i}}c and
Ralf Wimmer},
title = {Solving dependency quantified Boolean formulas using quantifier localization},
journal = {Theor. Comput. Sci.},
volume = {925},
pages = {1--24},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.03.029},
doi = {10.1016/J.TCS.2022.03.029},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Ge-ErnstSSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/EckerAMHKHDAWMS22,
author = {Wolfgang Ecker and
Peer Adelt and
Wolfgang M{\"{u}}ller and
Reinhold Heckmann and
Milos Krstic and
Vladimir Herdt and
Rolf Drechsler and
Gerhard Angst and
Ralf Wimmer and
Andreas Mauderer and
Rafael Stahl and
Karsten Emrich and
Daniel Mueller{-}Gritschneder and
Bernd Becker and
Philipp Scholl and
Eyck Jentzsch and
Jan Schlamelcher and
Kim Gr{\"{u}}ttner and
Paul Palomero Bernardo and
Oliver Bringmann and
Mihaela Damian and
Julian Oppermann and
Andreas Koch and
J{\"{o}}rg Bormann and
Johannes Partzsch and
Christian Mayr and
Wolfgang Kunz},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {The Scale4Edge {RISC-V} Ecosystem},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {808--813},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774593},
doi = {10.23919/DATE54114.2022.9774593},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/EckerAMHKHDAWMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HuW022,
author = {Ming Hu and
Leonore Winterer and
Ralf Wimmer},
title = {Diagnosing Partially Observable Markov Decision Processes},
booktitle = {Methods and Description Languages for Modelling and Verification of
Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany,
February 17-18, 2022},
pages = {1--10},
publisher = {{VDE/IEEE}},
year = {2022},
url = {https://ieeexplore.ieee.org/document/9788584},
timestamp = {Fri, 12 Jan 2024 10:14:38 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/HuW022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CombemaleKMAABB21,
author = {Beno{\^{\i}}t Combemale and
J{\"{o}}rg Kienzle and
Gunter Mussbacher and
Hyacinth Ali and
Daniel Amyot and
Mojtaba Bagherzadeh and
Edouard Batot and
Nelly Bencomo and
Benjamin Benni and
Jean{-}Michel Bruel and
Jordi Cabot and
Betty H. C. Cheng and
Philippe Collet and
Gregor Engels and
Robert Heinrich and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Anne Koziolek and
S{\'{e}}bastien Mosser and
Ralf H. Reussner and
Houari A. Sahraoui and
Rijul Saini and
June Sallou and
Serge Stinckwich and
Eugene Syriani and
Manuel Wimmer},
title = {A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric
Systems},
journal = {{IEEE} Softw.},
volume = {38},
number = {4},
pages = {71--84},
year = {2021},
url = {https://doi.org/10.1109/MS.2020.2995125},
doi = {10.1109/MS.2020.2995125},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/CombemaleKMAABB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WintererJWJTKB21,
author = {Leonore Winterer and
Sebastian Junges and
Ralf Wimmer and
Nils Jansen and
Ufuk Topcu and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {3},
pages = {1040--1054},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.2990140},
doi = {10.1109/TAC.2020.2990140},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/WintererJWJTKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/Pieper0AD21,
author = {Pascal Pieper and
Ralf Wimmer and
Gerhard Angst and
Rolf Drechsler},
editor = {Yiran Chen and
Victor V. Zhirnov and
Avesta Sasan and
Ioannis Savidis},
title = {Minimally Invasive {HW/SW} Co-debug Live Visualization on Architecture
Level},
booktitle = {{GLSVLSI} '21: Great Lakes Symposium on {VLSI} 2021, Virtual Event,
USA, June 22-25, 2021},
pages = {321--326},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453688.3461524},
doi = {10.1145/3453688.3461524},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/Pieper0AD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Winterer00020,
author = {Leonore Winterer and
Ralf Wimmer and
Nils Jansen and
Bernd Becker},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Strengthening Deterministic Policies for POMDPs},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {115--132},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_7},
doi = {10.1007/978-3-030-55754-6\_7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Winterer00020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08351,
author = {Leonore Winterer and
Ralf Wimmer and
Nils Jansen and
Bernd Becker},
title = {Strengthening Deterministic Policies for POMDPs},
journal = {CoRR},
volume = {abs/2007.08351},
year = {2020},
url = {https://arxiv.org/abs/2007.08351},
eprinttype = {arXiv},
eprint = {2007.08351},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/WimmerSB19,
author = {Ralf Wimmer and
Christoph Scholl and
Bernd Becker},
title = {The {(D)QBF} Preprocessor HQSpre - Underlying Theory and Its Implementation},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {3--52},
year = {2019},
url = {https://doi.org/10.3233/SAT190115},
doi = {10.3233/SAT190115},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/WimmerSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neco/DehghaniW19,
author = {Nima Dehghani and
Ralf D. Wimmer},
title = {A Computational Perspective of the Role of the Thalamus in Cognition},
journal = {Neural Comput.},
volume = {31},
number = {7},
pages = {1380--1418},
year = {2019},
url = {https://doi.org/10.1162/neco\_a\_01197},
doi = {10.1162/NECO\_A\_01197},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neco/DehghaniW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchollJWG19,
author = {Christoph Scholl and
Jie{-}Hong Roland Jiang and
Ralf Wimmer and
Aile Ge{-}Ernst},
title = {A {PSPACE} Subclass of Dependency Quantified Boolean Formulas and
Its Effective Solving},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {1584--1591},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33011584},
doi = {10.1609/AAAI.V33I01.33011584},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchollJWG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Ge-ErnstSW19,
author = {Aile Ge{-}Ernst and
Christoph Scholl and
Ralf Wimmer},
editor = {Clark W. Barrett and
Jin Yang},
title = {Localizing Quantifiers for {DQBF}},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {184--192},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894269},
doi = {10.23919/FMCAD.2019.8894269},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Ge-ErnstSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Carr0WS0T19,
author = {Steven Carr and
Nils Jansen and
Ralf Wimmer and
Alexandru Constantin Serban and
Bernd Becker and
Ufuk Topcu},
editor = {Sarit Kraus},
title = {Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent
Neural Networks},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {5532--5539},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/768},
doi = {10.24963/IJCAI.2019/768},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Carr0WS0T19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snr/0001JKQ00W19,
author = {Nils Jansen and
Sebastian Junges and
Joost{-}Pieter Katoen and
Tim Quatmann and
Bernd Becker and
Ralf Wimmer and
Leonore Winterer},
editor = {Sriram Sankaranarayanan and
Sadegh Soudjani},
title = {Correct-by-construction policies for POMDPs},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
Canada, April 15, 2019},
pages = {6--8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313149.3313366},
doi = {10.1145/3313149.3313366},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snr/0001JKQ00W19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08428,
author = {Steven Carr and
Nils Jansen and
Ralf Wimmer and
Alexandru Constantin Serban and
Bernd Becker and
Ufuk Topcu},
title = {Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent
Neural Networks},
journal = {CoRR},
volume = {abs/1903.08428},
year = {2019},
url = {http://arxiv.org/abs/1903.08428},
eprinttype = {arXiv},
eprint = {1903.08428},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04755,
author = {Aile Ge{-}Ernst and
Christoph Scholl and
Ralf Wimmer},
title = {Quantifier Localization for {DQBF}},
journal = {CoRR},
volume = {abs/1905.04755},
year = {2019},
url = {http://arxiv.org/abs/1905.04755},
eprinttype = {arXiv},
eprint = {1905.04755},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04755.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Carr0WFT18,
author = {Steven Carr and
Nils Jansen and
Ralf Wimmer and
Jie Fu and
Ufuk Topcu},
title = {Human-in-the-Loop Synthesis for Partially Observable Markov Decision
Processes},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {762--769},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431911},
doi = {10.23919/ACC.2018.8431911},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/Carr0WFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WimmerKBSB18,
author = {Ralf Wimmer and
Andreas Karrenbauer and
Ruben Becker and
Christoph Scholl and
Bernd Becker},
title = {From {DQBF} to {QBF} by Dependency Elimination},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
February 8-9, 2018},
publisher = {Universit{\"{a}}t T{\"{u}}bingen},
year = {2018},
url = {https://hdl.handle.net/10900/84276},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/WimmerKBSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WintererJWJTKB18,
author = {Leonore Winterer and
Sebastian Junges and
Ralf Wimmer and
Nils Jansen and
Ufuk Topcu and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
February 8-9, 2018},
publisher = {Universit{\"{a}}t T{\"{u}}bingen},
year = {2018},
url = {https://hdl.handle.net/10900/84282},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/WintererJWJTKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/ButkovaWH18,
author = {Yuliya Butkova and
Ralf Wimmer and
Holger Hermanns},
editor = {Reinhard German and
Kai{-}Steffen Hielscher and
Udo R. Krieger},
title = {Markov Automata on Discount!},
booktitle = {Measurement, Modelling and Evaluation of Computing Systems - 19th
International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany,
February 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10740},
pages = {19--34},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74947-1\_2},
doi = {10.1007/978-3-319-74947-1\_2},
timestamp = {Fri, 23 Jul 2021 10:45:36 +0200},
biburl = {https://dblp.org/rec/conf/mmb/ButkovaWH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SchollW18,
author = {Christoph Scholl and
Ralf Wimmer},
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Dependency Quantified Boolean Formulas: An Overview of Solution Methods
and Applications - Extended Abstract},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
pages = {3--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8\_1},
doi = {10.1007/978-3-319-94144-8\_1},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/SchollW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Junges0WQWK018,
author = {Sebastian Junges and
Nils Jansen and
Ralf Wimmer and
Tim Quatmann and
Leonore Winterer and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Amir Globerson and
Ricardo Silva},
title = {Finite-State Controllers of POMDPs using Parameter Synthesis},
booktitle = {Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2018, Monterey, California, USA, August 6-10,
2018},
pages = {519--529},
publisher = {{AUAI} Press},
year = {2018},
url = {http://auai.org/uai2018/proceedings/papers/195.pdf},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Junges0WQWK018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/WimmerWS018,
author = {Ralf Wimmer and
Karina Wimmer and
Christoph Scholl and
Bernd Becker},
editor = {Andr{\'{e}} In{\'{a}}cio Reis and
Rolf Drechsler},
title = {Analysis of Incomplete Circuits Using Dependency Quantified Boolean
Formulas},
booktitle = {Advanced Logic Synthesis},
pages = {151--168},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-67295-3\_7},
doi = {10.1007/978-3-319-67295-3\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/18/WimmerWS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09810,
author = {Steven Carr and
Nils Jansen and
Ralf Wimmer and
Jie Fu and
Ufuk Topcu},
title = {Human-in-the-Loop Synthesis for Partially Observable Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1802.09810},
year = {2018},
url = {http://arxiv.org/abs/1802.09810},
eprinttype = {arXiv},
eprint = {1802.09810},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-00997,
author = {Nima Dehghani and
Ralf D. Wimmer},
title = {A computational perspective of the role of Thalamus in cognition},
journal = {CoRR},
volume = {abs/1803.00997},
year = {2018},
url = {http://arxiv.org/abs/1803.00997},
eprinttype = {arXiv},
eprint = {1803.00997},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HatefiWBFBH17,
author = {Hassan Hatefi and
Ralf Wimmer and
Bettina Braitling and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Bernd Becker and
Holger Hermanns},
title = {Cost vs. time in stochastic games and Markov automata},
journal = {Formal Aspects Comput.},
volume = {29},
number = {4},
pages = {629--649},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0411-1},
doi = {10.1007/S00165-016-0411-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HatefiWBFBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WintererJW0TK017,
author = {Leonore Winterer and
Sebastian Junges and
Ralf Wimmer and
Nils Jansen and
Ufuk Topcu and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Motion planning under partial observability using game-based abstraction},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {2201--2208},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8263971},
doi = {10.1109/CDC.2017.8263971},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WintererJW0TK017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/WimmerKBS017,
author = {Ralf Wimmer and
Andreas Karrenbauer and
Ruben Becker and
Christoph Scholl and
Bernd Becker},
editor = {Serge Gaspers and
Toby Walsh},
title = {From {DQBF} to {QBF} by Dependency Elimination},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {326--343},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_21},
doi = {10.1007/978-3-319-66263-3\_21},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/WimmerKBS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ButkovaWH17,
author = {Yuliya Butkova and
Ralf Wimmer and
Holger Hermanns},
editor = {Axel Legay and
Tiziana Margaria},
title = {Long-Run Rewards for Markov Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {188--203},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_11},
doi = {10.1007/978-3-662-54580-5\_11},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ButkovaWH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WimmerRM017,
author = {Ralf Wimmer and
Sven Reimer and
Paolo Marin and
Bernd Becker},
editor = {Axel Legay and
Tiziana Margaria},
title = {HQSpre - An Effective Preprocessor for {QBF} and {DQBF}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {373--390},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_21},
doi = {10.1007/978-3-662-54577-5\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/WimmerRM017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-04236,
author = {Leonore Winterer and
Sebastian Junges and
Ralf Wimmer and
Nils Jansen and
Ufuk Topcu and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Motion Planning under Partial Observability using Game-Based Abstraction},
journal = {CoRR},
volume = {abs/1708.04236},
year = {2017},
url = {http://arxiv.org/abs/1708.04236},
eprinttype = {arXiv},
eprint = {1708.04236},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-04236.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-10294,
author = {Sebastian Junges and
Nils Jansen and
Ralf Wimmer and
Tim Quatmann and
Leonore Winterer and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Permissive Finite-State Controllers of POMDPs using Parameter Synthesis},
journal = {CoRR},
volume = {abs/1710.10294},
year = {2017},
url = {http://arxiv.org/abs/1710.10294},
eprinttype = {arXiv},
eprint = {1710.10294},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-10294.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WimmerWSB16,
author = {Karina Wimmer and
Ralf Wimmer and
Christoph Scholl and
Bernd Becker},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Skolem Functions for {DQBF}},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {395--411},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_25},
doi = {10.1007/978-3-319-46520-3\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/WimmerWSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Wimmer16,
author = {Ralf Wimmer},
editor = {Ralf Wimmer},
title = {Vorwort},
booktitle = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
pages = {4},
publisher = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
year = {2016},
url = {https://doi.org/10.6094/UNIFR/10632},
doi = {10.6094/UNIFR/10632},
timestamp = {Fri, 26 Jun 2020 16:58:03 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Wimmer16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/WimmerSWB16,
author = {Ralf Wimmer and
Christoph Scholl and
Karina Wimmer and
Bernd Becker},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Dependency Schemes for {DQBF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {473--489},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_29},
doi = {10.1007/978-3-319-40970-2\_29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/WimmerSWB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2016,
editor = {Ralf Wimmer},
title = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
publisher = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
year = {2016},
url = {https://freidok.uni-freiburg.de/data/10617},
isbn = {978-3-00-052380-9},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5055,
author = {Ralf Wimmer and
Nils Jansen and
Andreas Vorpahl and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {High-level Counterexamples for Probabilistic Automata},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:15)2015},
doi = {10.2168/LMCS-11(1:15)2015},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-5055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/HahnHWB15,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Ralf Wimmer and
Bernd Becker},
title = {Transient Reward Approximation for Continuous-Time Markov Chains},
journal = {{IEEE} Trans. Reliab.},
volume = {64},
number = {4},
pages = {1254--1275},
year = {2015},
url = {https://doi.org/10.1109/TR.2015.2449292},
doi = {10.1109/TR.2015.2449292},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/HahnHWB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GitinaWRSSB15,
author = {Karina Gitina and
Ralf Wimmer and
Sven Reimer and
Matthias Sauer and
Christoph Scholl and
Bernd Becker},
editor = {Wolfgang Nebel and
David Atienza},
title = {Solving {DQBF} through quantifier elimination},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1617--1622},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757188},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/GitinaWRSSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/QuatmannJDWAKB15,
author = {Tim Quatmann and
Nils Jansen and
Christian Dehnert and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Counterexamples for Expected Rewards},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {435--452},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_27},
doi = {10.1007/978-3-319-19249-9\_27},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/QuatmannJDWAKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/ScheiblerWWB15,
author = {Karsten Scheibler and
Leonore Winterer and
Ralf Wimmer and
Bernd Becker},
editor = {Ulrich Heinkel and
Daniel Kriesten and
Marko R{\"{o}}{\ss}ler},
title = {Towards Verification of Artificial Neural Networks},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
3-4, 2015},
pages = {30--40},
publisher = {S{\"{a}}chsische Landesbibliothek},
year = {2015},
timestamp = {Sat, 17 Jul 2021 09:02:10 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/ScheiblerWWB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/WimmerGNSB15,
author = {Ralf Wimmer and
Karina Gitina and
Jennifer Nist and
Christoph Scholl and
Bernd Becker},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Preprocessing for {DQBF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {173--190},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_13},
doi = {10.1007/978-3-319-24318-4\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/WimmerGNSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HatefiBWFHB15,
author = {Hassan Hatefi and
Bettina Braitling and
Ralf Wimmer and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns and
Bernd Becker},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cost vs. Time in Stochastic Games and Markov Automata},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {19--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_2},
doi = {10.1007/978-3-319-25942-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HatefiBWFHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syde/BeckerSSW15,
author = {Bernd Becker and
Matthias Sauer and
Christoph Scholl and
Ralf Wimmer},
editor = {Rolf Drechsler and
Ulrich K{\"{u}}hne},
title = {Modeling Unknown Values in Test and Verification},
booktitle = {Formal Modeling and Verification of Cyber-Physical Systems, 1st International
Summer School on Methods and Tools for the Design of Digital Systems,
Bremen, Germany, September 2015},
pages = {122--150},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-658-09994-7\_5},
doi = {10.1007/978-3-658-09994-7\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syde/BeckerSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BraitlingFHWBH15,
author = {Bettina Braitling and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Hassan Hatefi and
Ralf Wimmer and
Bernd Becker and
Holger Hermanns},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstraction-Based Computation of Reward Measures for Markov Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {172--189},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_10},
doi = {10.1007/978-3-662-46081-8\_10},
timestamp = {Tue, 07 May 2024 20:11:13 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BraitlingFHWBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JansenWAZKBS14,
author = {Nils Jansen and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Barna Zajzon and
Joost{-}Pieter Katoen and
Bernd Becker and
Johann Schuster},
title = {Symbolic counterexample generation for large discrete-time Markov
chains},
journal = {Sci. Comput. Program.},
volume = {91},
pages = {90--114},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.001},
doi = {10.1016/J.SCICO.2014.02.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JansenWAZKBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WimmerJAKB14,
author = {Ralf Wimmer and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Minimal counterexamples for linear-time probabilistic verification},
journal = {Theor. Comput. Sci.},
volume = {549},
pages = {61--100},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.06.020},
doi = {10.1016/J.TCS.2014.06.020},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WimmerJAKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DehnertJWAK14,
author = {Christian Dehnert and
Nils Jansen and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Fast Debugging of {PRISM} Models},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {146--162},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_11},
doi = {10.1007/978-3-319-11936-6\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DehnertJWAK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WimmerA14,
author = {Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m},
editor = {Rolf Drechsler},
title = {Maybe or Maybe Not: Contributions to Stochastic Verification},
booktitle = {Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag
von Bernd Becker},
pages = {119--128},
publisher = {MV-Wissenschaft},
year = {2014},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WimmerA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JansenCVWAKB14,
author = {Nils Jansen and
Florian Corzilius and
Matthias Volk and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Gethin Norman and
William H. Sanders},
title = {Accelerating Parametric Probabilistic Verification},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {404--420},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_31},
doi = {10.1007/978-3-319-10696-0\_31},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/JansenCVWAKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AbrahamBDJKW14,
author = {Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Christian Dehnert and
Nils Jansen and
Joost{-}Pieter Katoen and
Ralf Wimmer},
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
title = {Counterexample Generation for Discrete-Time Markov Models: An Introductory
Survey},
booktitle = {Formal Methods for Executable Software Models - 14th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8483},
pages = {65--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0\_3},
doi = {10.1007/978-3-319-07317-0\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AbrahamBDJKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BraitlingFHWBH14,
author = {Bettina Braitling and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Hassan Hatefi and
Ralf Wimmer and
Bernd Becker and
Holger Hermanns},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of
Markov Automata},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {48--63},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.4},
doi = {10.4204/EPTCS.154.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BraitlingFHWBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/GitinaRSWSB13,
author = {Karina Gitina and
Sven Reimer and
Matthias Sauer and
Ralf Wimmer and
Christoph Scholl and
Bernd Becker},
title = {Equivalence checking of partial designs using dependency quantified
Boolean formulae},
booktitle = {2013 {IEEE} 31st International Conference on Computer Design, {ICCD}
2013, Asheville, NC, USA, October 6-9, 2013},
pages = {396--403},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICCD.2013.6657071},
doi = {10.1109/ICCD.2013.6657071},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/GitinaRSWSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BraitlingWBA13,
author = {Bettina Braitling and
Ralf Wimmer and
Bernd Becker and
Erika {\'{A}}brah{\'{a}}m},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {Stochastic Bounded Model Checking: Bounded Rewards and Compositionality},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {243--254},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BraitlingWBA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GitinaRSWSB13,
author = {Karina Gitina and
Sven Reimer and
Matthias Sauer and
Ralf Wimmer and
Christoph Scholl and
Bernd Becker},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {Equivalence Checking for Partial Implementations Revisited},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {61--70},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/GitinaRSWSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerJVAKB13,
author = {Ralf Wimmer and
Nils Jansen and
Andreas Vorpahl and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {High-Level Counterexamples for Probabilistic Automata},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {39--54},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_4},
doi = {10.1007/978-3-642-40196-1\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerJVAKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/si3d/LukschTHSW13,
author = {Christian Luksch and
Robert F. Tobler and
Ralf Habel and
Michael Schw{\"{a}}rzler and
Michael Wimmer},
editor = {Meenakshisundaram Gopi and
Sung{-}Eui Yoon and
Stephen N. Spencer and
Marc Olano and
Miguel A. Otaduy},
title = {Fast light-map computation with virtual polygon lights},
booktitle = {Symposium on Interactive 3D Graphics and Games, {I3D} '13, Orlando,
FL, USA, March 22-24, 2013},
pages = {87--94},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2448196.2448210},
doi = {10.1145/2448196.2448210},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/si3d/LukschTHSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JansenCVWAKB13,
author = {Nils Jansen and
Florian Corzilius and
Matthias Volk and
Ralf Wimmer and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {Accelerating Parametric Probabilistic Verification},
journal = {CoRR},
volume = {abs/1312.3979},
year = {2013},
url = {http://arxiv.org/abs/1312.3979},
eprinttype = {arXiv},
eprint = {1312.3979},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JansenCVWAKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/HabelKW12,
author = {Ralf Habel and
Michael W. Kudenov and
Michael Wimmer},
title = {Practical Spectral Photography},
journal = {Comput. Graph. Forum},
volume = {31},
number = {2pt2},
pages = {449--458},
year = {2012},
url = {https://doi.org/10.1111/j.1467-8659.2012.03024.x},
doi = {10.1111/J.1467-8659.2012.03024.X},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cgf/HabelKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAVWKB12,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Matthias Volk and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {The {COMICS} Tool - Computing Minimal Counterexamples for DTMCs},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {349--353},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_27},
doi = {10.1007/978-3-642-33386-6\_27},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/JansenAVWKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JansenAZWSKB12,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Barna Zajzon and
Ralf Wimmer and
Johann Schuster and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Symbolic Counterexample Generation for Discrete-Time Markov Chains},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {134--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_9},
doi = {10.1007/978-3-642-35861-6\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/JansenAZWSKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WimmerBJAK12,
author = {Ralf Wimmer and
Bernd Becker and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Joost{-}Pieter Katoen},
editor = {Jens Brandt and
Klaus Schneider},
title = {Minimal Critical Subsystems as Counterexamples for omega-Regular {DTMC}
Properties},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
5-7, 2012},
series = {Forschungsergebnisse zur Informatik},
volume = {68},
pages = {169--180},
publisher = {Verlag Dr. Kovac},
year = {2012},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/WimmerBJAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/AuzingerHMHW12,
author = {Thomas Auzinger and
Ralf Habel and
Andreas Musilek and
Dieter Hainz and
Michael Wimmer},
title = {GeigerCam: measuring radioactivity with webcams},
booktitle = {International Conference on Computer Graphics and Interactive Techniques,
{SIGGRAPH} 2012, Los Angeles, California, USA, August 5-9, 2012, Poster
Proceedings},
pages = {40},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342896.2342949},
doi = {10.1145/2342896.2342949},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/siggraph/AuzingerHMHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WimmerJABK12,
author = {Ralf Wimmer and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Joost{-}Pieter Katoen},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Minimal Critical Subsystems for Discrete-Time Markov Models},
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 = {299--314},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_21},
doi = {10.1007/978-3-642-28756-5\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WimmerJABK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-0603,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Maik Scheffler and
Matthias Volk and
Andreas Vorpahl and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {The {COMICS} Tool - Computing Minimal Counterexamples for Discrete-time
Markov Chains},
journal = {CoRR},
volume = {abs/1206.0603},
year = {2012},
url = {http://arxiv.org/abs/1206.0603},
eprinttype = {arXiv},
eprint = {1206.0603},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-0603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1251,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Ralf Wimmer and
Bernd Becker},
title = {Transient Reward Approximation for Grids, Crowds, and Viruses},
journal = {CoRR},
volume = {abs/1212.1251},
year = {2012},
url = {http://arxiv.org/abs/1212.1251},
eprinttype = {arXiv},
eprint = {1212.1251},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Wimmer2010,
author = {Ralf Wimmer},
title = {Symbolische Methoden f{\"{u}}r die probabilistische Verifikation:
Zustandsraumreduktion und Gegenbeispiele},
school = {University of Freiburg},
year = {2011},
url = {http://www.freidok.uni-freiburg.de/volltexte/7932/},
urn = {urn:nbn:de:bsz:25-opus-79328},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Wimmer2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrouzenHHDTWBB11,
author = {Pepijn Crouzen and
Ernst Moritz Hahn and
Holger Hermanns and
Abhishek Dhama and
Oliver E. Theel and
Ralf Wimmer and
Bettina Braitling and
Bernd Becker},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {Bounded Fairness for Probabilistic Distributed Algorithms},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {89--97},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.21},
doi = {10.1109/ACSD.2011.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JansenAKWKB11,
author = {Nils Jansen and
Erika {\'{A}}brah{\'{a}}m and
Jens Katelaan and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Hierarchical Counterexamples for Discrete-Time Markov Chains},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {443--452},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_33},
doi = {10.1007/978-3-642-24372-1\_33},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/JansenAKWKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BraitlingWBJA11,
author = {Bettina Braitling and
Ralf Wimmer and
Bernd Becker and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Counterexample Generation for Markov Chains Using SMT-Based Bounded
Model Checking},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {75--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_5},
doi = {10.1007/978-3-642-21461-5\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BraitlingWBJA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BraitlingWBJA11,
author = {Bettina Braitling and
Ralf Wimmer and
Bernd Becker and
Nils Jansen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Frank Oppenheimer},
title = {SMT-based Counterexample Generation for Markov Chains},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
21-23, 2011},
pages = {19--28},
publisher = {OFFIS-Institut f{\"{u}}r Informatik},
year = {2011},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BraitlingWBJA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WimmerHHB11,
author = {Ralf Wimmer and
Ernst Moritz Hahn and
Holger Hermanns and
Bernd Becker},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Reachability analysis for incomplete networks of Markov decision processes},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {151--160},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970522},
doi = {10.1109/MEMCOD.2011.5970522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/WimmerHHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Wimmer11,
author = {Ralf Wimmer},
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Symbolische Methoden f{\"{u}}r die probabilistische Verifikation:
Zustandsraumreduktion und Gegenbeispiele},
booktitle = {Ausgezeichnete Informatikdissertationen 2011},
series = {{LNI}},
volume = {{D-12}},
pages = {271--280},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/33711},
timestamp = {Tue, 04 Jul 2023 17:43:46 +0200},
biburl = {https://dblp.org/rec/conf/gi/Wimmer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/WimmerDH10,
author = {Ralf Wimmer and
Salem Derisavi and
Holger Hermanns},
title = {Symbolic partition refinement with automatic balancing of time and
space},
journal = {Perform. Evaluation},
volume = {67},
number = {9},
pages = {816--836},
year = {2010},
url = {https://doi.org/10.1016/j.peva.2009.12.008},
doi = {10.1016/J.PEVA.2009.12.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/WimmerDH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCKNNRW10,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri and
Ralf Wimmer},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {A Model Checker for {AADL}},
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 = {562--565},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_48},
doi = {10.1007/978-3-642-14295-6\_48},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCKNNRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KalinnikASWB10,
author = {Natalia Kalinnik and
Erika {\'{A}}brah{\'{a}}m and
Tobias Schubert and
Ralf Wimmer and
Bernd Becker},
editor = {Manfred Dietrich},
title = {Exploiting Different Strategies for the Parallelization of an {SMT}
Solver},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
2010},
pages = {97--106},
publisher = {Fraunhofer Verlag},
year = {2010},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/KalinnikASWB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/WimmerB10,
author = {Ralf Wimmer and
Bernd Becker},
editor = {Bruno M{\"{u}}ller{-}Clostermann and
Klaus Echtle and
Erwin P. Rathgeb},
title = {Correctness Issues of Symbolic Bisimulation Computation for Markov
Chains},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
and Fault Tolerance, 15th International {GI/ITG} Conference, MMB{\&}DFT
2010, Essen, Germany, March 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5987},
pages = {287--301},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12104-3\_22},
doi = {10.1007/978-3-642-12104-3\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmb/WimmerB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AbrahamJWKB10,
author = {Erika {\'{A}}brah{\'{a}}m and
Nils Jansen and
Ralf Wimmer and
Joost{-}Pieter Katoen and
Bernd Becker},
title = {{DTMC} Model Checking by {SCC} Reduction},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {37--46},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.13},
doi = {10.1109/QEST.2010.13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/AbrahamJWKB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerBBHCHDT10,
author = {Ralf Wimmer and
Bettina Braitling and
Bernd Becker and
Ernst Moritz Hahn and
Pepijn Crouzen and
Holger Hermanns and
Abhishek Dhama and
Oliver E. Theel},
title = {Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic
Systems},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.12},
doi = {10.1109/QEST.2010.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerBBHCHDT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/si3d/HabelW10,
author = {Ralf Habel and
Michael Wimmer},
editor = {Daniel G. Aliaga and
Manuel M. Oliveira and
Amitabh Varshney and
Chris Wyman},
title = {Efficient irradiance normal mapping},
booktitle = {Proceedings of the 2010 Symposium on Interactive 3D Graphics, {SI3D}
2010, February 19-21, 2010, Washington, DC, {USA}},
pages = {189--195},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1730804.1730835},
doi = {10.1145/1730804.1730835},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/si3d/HabelW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/HabelKW09,
author = {Ralf Habel and
Alexander Kusternig and
Michael Wimmer},
title = {Physically Guided Animation of Trees},
journal = {Comput. Graph. Forum},
volume = {28},
number = {2},
pages = {523--532},
year = {2009},
url = {https://doi.org/10.1111/j.1467-8659.2009.01391.x},
doi = {10.1111/J.1467-8659.2009.01391.X},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/HabelKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BodeHHJPPRWB09,
author = {Eckard B{\"{o}}de and
Marc Herbstritt and
Holger Hermanns and
Sven Johr and
Thomas Peikenkamp and
Reza Pulungan and
Jan{-}Hendrik Rakow and
Ralf Wimmer and
Bernd Becker},
title = {Compositional Dependability Evaluation for {STATEMATE}},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {2},
pages = {274--292},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.102},
doi = {10.1109/TSE.2008.102},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BodeHHJPPRWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/KalinnikSAWB09,
author = {Natalia Kalinnik and
Tobias Schubert and
Erika {\'{A}}brah{\'{a}}m and
Ralf Wimmer and
Bernd Becker},
editor = {Hamid R. Arabnia},
title = {Picoso - {A} Parallel Interval Constraint Solver},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2009, Las Vegas, Nevada,
USA, July 13-17, 2009, 2 Volumes},
pages = {473--479},
publisher = {{CSREA} Press},
year = {2009},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/KalinnikSAWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DhamaTCHWB09,
author = {Abhishek Dhama and
Oliver E. Theel and
Pepijn Crouzen and
Holger Hermanns and
Ralf Wimmer and
Bernd Becker},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Dependability Engineering of Silent Self-stabilizing Systems},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {238--253},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_17},
doi = {10.1007/978-3-642-05118-0\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/DhamaTCHWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WimmerBB09,
author = {Ralf Wimmer and
Bettina Braitling and
Bernd Becker},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Counterexample Generation for Discrete-Time Markov Chains Using Bounded
Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {366--380},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_29},
doi = {10.1007/978-3-540-93900-9\_29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WimmerBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/KornbergerRW08,
author = {Ralf Kornberger and
Helmut Reiser and
Claus Wimmer},
title = {Virtuelle Firewalls im M{\"{u}}nchner Wissenschaftsnetz {(MWN)}},
journal = {Prax. Inf.verarb. Kommun.},
volume = {31},
number = {2},
pages = {112--121},
year = {2008},
url = {https://doi.org/10.1515/piko.2008.0021},
doi = {10.1515/PIKO.2008.0021},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/KornbergerRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/WimmerKHB08,
author = {Ralf Wimmer and
Alexander Kortus and
Marc Herbstritt and
Bernd Becker},
editor = {Bernd Straube and
Milos Drutarovsk{\'{y}} and
Michel Renovell and
Peter Gramata and
M{\'{a}}ria Fischerov{\'{a}}},
title = {Probabilistic Model Checking and Reliability of Results},
booktitle = {Proceedings of the 11th {IEEE} Workshop on Design {\&} Diagnostics
of Electronic Circuits {\&} Systems {(DDECS} 2008), Bratislava,
Slovakia, April 16-18, 2008},
pages = {207--212},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DDECS.2008.4538787},
doi = {10.1109/DDECS.2008.4538787},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/WimmerKHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/HabelMW08,
author = {Ralf Habel and
Bogdan Mustata and
Michael Wimmer},
editor = {Katerina Mania and
Eric R. Reinhard},
title = {Efficient Spherical Harmonics Lighting with the Preetham Skylight
Model},
booktitle = {29th Annual Conference of the European Association for Computer Graphics,
Eurographics 2008 - Short Papers, Hersonissos, Crete, Greece, April
14-18, 2008},
pages = {119--122},
publisher = {Eurographics Association},
year = {2008},
url = {https://doi.org/10.2312/egs.20081036},
doi = {10.2312/EGS.20081036},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurographics/HabelMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BeckerHKLLNW08,
author = {Bernd Becker and
Marc Herbstritt and
Natalia Kalinnik and
Matthew Lewis and
Juri Lichtner and
Tobias Nopper and
Ralf Wimmer},
title = {Propositional approximations for bounded model checking of partial
circuit designs},
booktitle = {26th International Conference on Computer Design, {ICCD} 2008, 12-15
October 2008, Lake Tahoe, CA, USA, Proceedings},
pages = {52--59},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICCD.2008.4751840},
doi = {10.1109/ICCD.2008.4751840},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/BeckerHKLLNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WimmerKHB08,
author = {Ralf Wimmer and
Alexander Kortus and
Marc Herbstritt and
Bernd Becker},
editor = {Christoph Scholl and
Stefan Disch},
title = {The Demand for Reliability in Probabilistic Verification},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5,
2008},
pages = {99--108},
publisher = {Shaker},
year = {2008},
timestamp = {Wed, 03 Aug 2022 12:31:57 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/WimmerKHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerDH08,
author = {Ralf Wimmer and
Salem Derisavi and
Holger Hermanns},
title = {Symbolic Partition Refinement with Dynamic Balancing of Time and Space},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.14},
doi = {10.1109/QEST.2008.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerDH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwscg/HabelWJ07,
author = {Ralf Habel and
Michael Wimmer and
Stefan Jeschke},
title = {Instant Animated Grass},
journal = {J. {WSCG}},
volume = {15},
number = {1-3},
pages = {123--128},
year = {2007},
url = {http://wscg.zcu.cz/wscg2007/Papers\_2007/journal/!WSCG2007\_Journal\_Final.zip},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwscg/HabelWJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/WimmerHB07,
author = {Ralf Wimmer and
Marc Herbstritt and
Bernd Becker},
editor = {Hai Zhou and
Enrico Macii and
Zhiyuan Yan and
Yehia Massoud},
title = {Optimization techniques for BDD-based bisimulation computation},
booktitle = {Proceedings of the 17th {ACM} Great Lakes Symposium on {VLSI} 2007,
Stresa, Lago Maggiore, Italy, March 11-13, 2007},
pages = {405--410},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1228784.1228880},
doi = {10.1145/1228784.1228880},
timestamp = {Wed, 16 Aug 2023 21:16:32 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/WimmerHB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/WimmerHB07,
author = {Ralf Wimmer and
Marc Herbstritt and
Bernd Becker},
editor = {Christian Haubelt and
J{\"{u}}rgen Teich},
title = {Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation
Computation},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7,
2007},
series = {Berichte aus der Informatik},
pages = {203--212},
publisher = {Shaker},
year = {2007},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/WimmerHB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rt/HabelKW07,
author = {Ralf Habel and
Alexander Kusternig and
Michael Wimmer},
editor = {Jan Kautz and
Sumanta N. Pattanaik},
title = {Physically Based Real-Time Translucency for Leaves},
booktitle = {Proceedings of the Eurographics Symposium on Rendering Techniques,
Grenoble, France, 2007},
pages = {253--263},
publisher = {Eurographics Association},
year = {2007},
url = {https://doi.org/10.2312/EGWR/EGSR07/253-263},
doi = {10.2312/EGWR/EGSR07/253-263},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rt/HabelKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WimmerHHSB06,
author = {Ralf Wimmer and
Marc Herbstritt and
Holger Hermanns and
Kelley Strampp and
Bernd Becker},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Sigref- {A} Symbolic Bisimulation Tool Box},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {477--492},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_35},
doi = {10.1007/11901914\_35},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/WimmerHHSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/WimmerHB06,
author = {Ralf Wimmer and
Marc Herbstritt and
Bernd Becker},
editor = {Matteo Sonza Reorda and
Ondrej Nov{\'{a}}k and
Bernd Straube and
Hana Kub{\'{a}}tov{\'{a}} and
Zdenek Kot{\'{a}}sek and
Pavel Kubal{\'{\i}}k and
Raimund Ubar and
Jir{\'{\i}} Bucek},
title = {Minimization of Large State Spaces using Symbolic Branching Bisimulation},
booktitle = {Proceedings of the 9th {IEEE} Workshop on Design {\&} Diagnostics
of Electronic Circuits {\&} Systems {(DDECS} 2006), Prague, Czech
Republic, April 18-21, 2006},
pages = {9--14},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DDECS.2006.1649562},
doi = {10.1109/DDECS.2006.1649562},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/WimmerHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BodeHHJPPWB06,
author = {Eckard B{\"{o}}de and
Marc Herbstritt and
Holger Hermanns and
Sven Johr and
Thomas Peikenkamp and
Reza Pulungan and
Ralf Wimmer and
Bernd Becker},
title = {Compositional Performability Evaluation for {STATEMATE}},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {167--178},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.10},
doi = {10.1109/QEST.2006.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BodeHHJPPWB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/BeckerBEW05,
author = {Bernd Becker and
Markus Behle and
Friedrich Eisenbrand and
Ralf Wimmer},
editor = {Sotiris E. Nikoletseas},
title = {BDDs in a Branch and Cut Framework},
booktitle = {Experimental and Efficient Algorithms, 4th InternationalWorkshop,
{WEA} 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3503},
pages = {452--463},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11427186\_39},
doi = {10.1007/11427186\_39},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wea/BeckerBEW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BeckerBEFHHHKNPW04,
author = {Bernd Becker and
Markus Behle and
Friedrich Eisenbrand and
Martin Fr{\"{a}}nzle and
Marc Herbstritt and
Christian Herde and
J{\"{o}}rg Hoffmann and
Daniel Kr{\"{o}}ning and
Bernhard Nebel and
Ilia Polian and
Ralf Wimmer},
editor = {Dominik Stoffel and
Wolfgang Kunz},
title = {Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous
Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February
24-25, 2004},
pages = {65--75},
publisher = {Shaker},
year = {2004},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BeckerBEFHHHKNPW04.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.
retrieved on 2024-07-03 14:07 CEST from data curated 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:
