![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Ralf Wimmer"
@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}, 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}, year = {2022}, crossref = {DBLP:conf/date/2022}, url = {https://doi.org/10.23919/DATE54114.2022.9774593}, doi = {10.23919/DATE54114.2022.9774593}, timestamp = {Sun, 04 Aug 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}, year = {2022}, crossref = {DBLP:conf/mbmv/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}, 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}, year = {2021}, crossref = {DBLP:conf/glvlsi/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}, title = {Strengthening Deterministic Policies for POMDPs}, booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings}, pages = {115--132}, year = {2020}, crossref = {DBLP:conf/nfm/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}, year = {2019}, crossref = {DBLP:conf/aaai/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}, 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}, year = {2019}, crossref = {DBLP:conf/fmcad/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}, 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}, year = {2019}, crossref = {DBLP:conf/ijcai/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}, 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}, year = {2019}, crossref = {DBLP:conf/snr/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}, year = {2018}, crossref = {DBLP:conf/amcc/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}, year = {2018}, crossref = {DBLP:conf/mbmv/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}, year = {2018}, crossref = {DBLP:conf/mbmv/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}, 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}, pages = {19--34}, year = {2018}, crossref = {DBLP:conf/mmb/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}, 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}, pages = {3--16}, year = {2018}, crossref = {DBLP:conf/sat/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}, 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}, year = {2018}, crossref = {DBLP:conf/uai/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}, title = {Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas}, booktitle = {Advanced Logic Synthesis}, pages = {151--168}, year = {2018}, crossref = {DBLP:books/sp/18/RD2018}, 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}, year = {2017}, crossref = {DBLP:conf/cdc/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}, 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}, pages = {326--343}, year = {2017}, crossref = {DBLP:conf/sat/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}, 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}}, pages = {188--203}, year = {2017}, crossref = {DBLP:conf/tacas/2017-2}, 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}, 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}}, pages = {373--390}, year = {2017}, crossref = {DBLP:conf/tacas/2017-1}, 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}, title = {Skolem Functions for {DQBF}}, booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings}, pages = {395--411}, year = {2016}, crossref = {DBLP:conf/atva/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}, 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}, year = {2016}, crossref = {DBLP:conf/mbmv/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}, title = {Dependency Schemes for {DQBF}}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}, pages = {473--489}, year = {2016}, crossref = {DBLP:conf/sat/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}, 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}, year = {2015}, crossref = {DBLP:conf/date/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}, title = {Counterexamples for Expected Rewards}, booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, pages = {435--452}, year = {2015}, crossref = {DBLP:conf/fm/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}, 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}, year = {2015}, crossref = {DBLP:conf/mbmv/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}, title = {Preprocessing for {DQBF}}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings}, pages = {173--190}, year = {2015}, crossref = {DBLP:conf/sat/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}, 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}, pages = {19--34}, year = {2015}, crossref = {DBLP:conf/setta/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}, 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}, year = {2015}, crossref = {DBLP:conf/syde/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}, 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}, pages = {172--189}, year = {2015}, crossref = {DBLP:conf/vmcai/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}, 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}, pages = {146--162}, year = {2014}, crossref = {DBLP:conf/atva/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}, title = {Maybe or Maybe Not: Contributions to Stochastic Verification}, booktitle = {Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag von Bernd Becker}, pages = {119--128}, year = {2014}, crossref = {DBLP:conf/birthday/2014becker}, 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}, title = {Accelerating Parametric Probabilistic Verification}, booktitle = {Quantitative Evaluation of Systems - 11th International Conference, {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings}, pages = {404--420}, year = {2014}, crossref = {DBLP:conf/qest/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}, 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}, pages = {65--121}, year = {2014}, crossref = {DBLP:conf/sfm/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}, 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}, pages = {48--63}, year = {2014}, crossref = {DBLP:journals/corr/BertrandB14}, 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}, year = {2013}, crossref = {DBLP:conf/iccd/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}, 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}, year = {2013}, crossref = {DBLP:conf/mbmv/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}, 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}, year = {2013}, crossref = {DBLP:conf/mbmv/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}, 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}, pages = {39--54}, year = {2013}, crossref = {DBLP:conf/qest/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}, 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}, year = {2013}, crossref = {DBLP:conf/si3d/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}, 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}, pages = {349--353}, year = {2012}, crossref = {DBLP:conf/atva/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}, 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}, pages = {134--151}, year = {2012}, crossref = {DBLP:conf/facs2/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}, 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}, pages = {169--180}, year = {2012}, crossref = {DBLP:conf/mbmv/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}, year = {2012}, crossref = {DBLP:conf/siggraph/2012posters}, 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}, 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}, pages = {299--314}, year = {2012}, crossref = {DBLP:conf/tacas/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}, 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}, year = {2011}, crossref = {DBLP:conf/acsd/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}, 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}, pages = {443--452}, year = {2011}, crossref = {DBLP:conf/atva/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}, 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}, pages = {75--89}, year = {2011}, crossref = {DBLP:conf/forte/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}, 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}, year = {2011}, crossref = {DBLP:conf/mbmv/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}, 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}, year = {2011}, crossref = {DBLP:conf/memocode/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}, title = {Symbolische Methoden f{\"{u}}r die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele}, booktitle = {Ausgezeichnete Informatikdissertationen 2011}, pages = {271--280}, year = {2011}, crossref = {DBLP:conf/gi/2011diss}, 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}, title = {A Model Checker for {AADL}}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, pages = {562--565}, year = {2010}, crossref = {DBLP:conf/cav/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}, 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}, year = {2010}, crossref = {DBLP:conf/mbmv/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}, 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}, pages = {287--301}, year = {2010}, crossref = {DBLP:conf/mmb/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}, year = {2010}, crossref = {DBLP:conf/qest/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}, year = {2010}, crossref = {DBLP:conf/qest/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}, 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}, year = {2010}, crossref = {DBLP:conf/si3d/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}, 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}, year = {2009}, crossref = {DBLP:conf/pdpta/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}, 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}, pages = {238--253}, year = {2009}, crossref = {DBLP:conf/sss/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}, 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}, pages = {366--380}, year = {2009}, crossref = {DBLP:conf/vmcai/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}, 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}, year = {2008}, crossref = {DBLP:conf/ddecs/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}, 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}, year = {2008}, crossref = {DBLP:conf/eurographics/2008short}, 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}, year = {2008}, crossref = {DBLP:conf/iccd/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}, 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}, year = {2008}, crossref = {DBLP:conf/mbmv/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}, year = {2008}, crossref = {DBLP:conf/qest/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}, 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}, year = {2007}, crossref = {DBLP:conf/glvlsi/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}, 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}, pages = {203--212}, year = {2007}, crossref = {DBLP:conf/mbmv/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}, title = {Physically Based Real-Time Translucency for Leaves}, booktitle = {Proceedings of the Eurographics Symposium on Rendering Techniques, Grenoble, France, 2007}, pages = {253--263}, year = {2007}, crossref = {DBLP:conf/rt/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}, 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}, pages = {477--492}, year = {2006}, crossref = {DBLP:conf/atva/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}, 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}, year = {2006}, crossref = {DBLP:conf/ddecs/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}, year = {2006}, crossref = {DBLP:conf/qest/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}, 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}, pages = {452--463}, year = {2005}, crossref = {DBLP:conf/wea/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}, 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}, year = {2004}, crossref = {DBLP:conf/mbmv/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} }
@proceedings{DBLP:conf/date/2022, editor = {Cristiana Bolchini and Ingrid Verbauwhede and Ioana Vatajelu}, title = {2022 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.23919/DATE54114.2022}, doi = {10.23919/DATE54114.2022}, isbn = {978-3-9819263-6-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/date/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2022, title = {Methods and Description Languages for Modelling and Verification of Circuits and Systems, {MBMV} 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022}, publisher = {{VDE/IEEE}}, year = {2022}, url = {https://ieeexplore.ieee.org/xpl/conhome/9788575/proceeding}, isbn = {978-3-8007-5754-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/glvlsi/2021, editor = {Yiran Chen and Victor V. Zhirnov and Avesta Sasan and Ioannis Savidis}, title = {{GLSVLSI} '21: Great Lakes Symposium on {VLSI} 2021, Virtual Event, USA, June 22-25, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3453688}, doi = {10.1145/3453688}, isbn = {978-1-4503-8393-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/glvlsi/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nfm/2020, editor = {Ritchie Lee and Susmit Jha and Anastasia Mavridou}, title = {{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}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-55754-6}, doi = {10.1007/978-3-030-55754-6}, isbn = {978-3-030-55753-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/nfm/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aaai/2019, title = {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}, publisher = {{AAAI} Press}, year = {2019}, url = {https://ojs.aaai.org/index.php/AAAI/issue/view/246}, isbn = {978-1-57735-809-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/aaai/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fmcad/2019, editor = {Clark W. Barrett and Jin Yang}, title = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose, CA, USA, October 22-25, 2019}, publisher = {{IEEE}}, year = {2019}, url = {https://ieeexplore.ieee.org/xpl/conhome/8891869/proceeding}, isbn = {978-0-9835678-9-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ijcai/2019, editor = {Sarit Kraus}, title = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019}, publisher = {ijcai.org}, year = {2019}, url = {https://doi.org/10.24963/ijcai.2019}, doi = {10.24963/IJCAI.2019}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/snr/2019, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3313149}, doi = {10.1145/3313149}, isbn = {978-1-4503-6697-7}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/snr/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/amcc/2018, title = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI, USA, June 27-29, 2018}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.23919/ACC44127.2018}, doi = {10.23919/ACC44127.2018}, isbn = {978-1-5386-5428-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/amcc/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2018, title = {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/81790}, isbn = {978-3-00-059317-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mmb/2018, editor = {Reinhard German and Kai{-}Steffen Hielscher and Udo R. Krieger}, title = {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}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-74947-1}, doi = {10.1007/978-3-319-74947-1}, isbn = {978-3-319-74946-4}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mmb/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2018, editor = {Olaf Beyersdorff and Christoph M. Wintersteiger}, title = {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}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94144-8}, doi = {10.1007/978-3-319-94144-8}, isbn = {978-3-319-94143-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/uai/2018, editor = {Amir Globerson and Ricardo Silva}, title = {Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, {UAI} 2018, Monterey, California, USA, August 6-10, 2018}, publisher = {{AUAI} Press}, year = {2018}, url = {http://auai.org/uai2018/accepted.php}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/uai/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/18/RD2018, editor = {Andr{\'{e}} In{\'{a}}cio Reis and Rolf Drechsler}, title = {Advanced Logic Synthesis}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-67295-3}, doi = {10.1007/978-3-319-67295-3}, isbn = {978-3-319-67294-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/books/sp/18/RD2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cdc/2017, title = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CDC35579.2017}, doi = {10.1109/CDC35579.2017}, isbn = {978-1-5090-2873-3}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/cdc/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2017, editor = {Serge Gaspers and Toby Walsh}, title = {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}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66263-3}, doi = {10.1007/978-3-319-66263-3}, isbn = {978-3-319-66262-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2017-2, editor = {Axel Legay and Tiziana Margaria}, title = {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}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54580-5}, doi = {10.1007/978-3-662-54580-5}, isbn = {978-3-662-54579-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2017-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2017-1, editor = {Axel Legay and Tiziana Margaria}, title = {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}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54577-5}, doi = {10.1007/978-3-662-54577-5}, isbn = {978-3-662-54576-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2017-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2016, editor = {Cyrille Artho and Axel Legay and Doron Peled}, title = {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}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46520-3}, doi = {10.1007/978-3-319-46520-3}, isbn = {978-3-319-46519-7}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/atva/2016.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 = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2016, editor = {Nadia Creignou and Daniel Le Berre}, title = {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}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40970-2}, doi = {10.1007/978-3-319-40970-2}, isbn = {978-3-319-40969-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/date/2015, editor = {Wolfgang Nebel and David Atienza}, title = {Proceedings of the 2015 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March 9-13, 2015}, publisher = {{ACM}}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2755753}, isbn = {978-3-9815370-4-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/date/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fm/2015, editor = {Nikolaj S. Bj{\o}rner and Frank S. de Boer}, title = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9109}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19249-9}, doi = {10.1007/978-3-319-19249-9}, isbn = {978-3-319-19248-2}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/fm/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2015, editor = {Ulrich Heinkel and Daniel Kriesten and Marko R{\"{o}}{\ss}ler}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March 3-4, 2015}, publisher = {S{\"{a}}chsische Landesbibliothek}, year = {2015}, url = {https://d-nb.info/1068405465}, isbn = {978-3-00-048889-4}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sat/2015, editor = {Marijn Heule and Sean A. Weaver}, title = {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}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24318-4}, doi = {10.1007/978-3-319-24318-4}, isbn = {978-3-319-24317-7}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/setta/2015, editor = {Xuandong Li and Zhiming Liu and Wang Yi}, title = {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}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25942-0}, doi = {10.1007/978-3-319-25942-0}, isbn = {978-3-319-25941-3}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/setta/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/syde/2015, editor = {Rolf Drechsler and Ulrich K{\"{u}}hne}, title = {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}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-658-09994-7}, doi = {10.1007/978-3-658-09994-7}, isbn = {978-3-658-09993-0}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/syde/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2015, editor = {Deepak D'Souza and Akash Lal and Kim Guldstrand Larsen}, title = {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}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-46081-8}, doi = {10.1007/978-3-662-46081-8}, isbn = {978-3-662-46080-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2014, editor = {Franck Cassez and Jean{-}Fran{\c{c}}ois Raskin}, title = {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}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11936-6}, doi = {10.1007/978-3-319-11936-6}, isbn = {978-3-319-11935-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/atva/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2014becker, editor = {Rolf Drechsler}, title = {Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag von Bernd Becker}, publisher = {MV-Wissenschaft}, year = {2014}, isbn = {978-3-9564523-5-2}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2014becker.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qest/2014, editor = {Gethin Norman and William H. Sanders}, title = {Quantitative Evaluation of Systems - 11th International Conference, {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8657}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10696-0}, doi = {10.1007/978-3-319-10696-0}, isbn = {978-3-319-10695-3}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/qest/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sfm/2014, editor = {Marco Bernardo and Ferruccio Damiani and Reiner H{\"{a}}hnle and Einar Broch Johnsen and Ina Schaefer}, title = {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}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-07317-0}, doi = {10.1007/978-3-319-07317-0}, isbn = {978-3-319-07316-3}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/sfm/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/BertrandB14, editor = {Nathalie Bertrand and Luca Bortolussi}, title = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014}, series = {{EPTCS}}, volume = {154}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.154}, doi = {10.4204/EPTCS.154}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/journals/corr/BertrandB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iccd/2013, title = {2013 {IEEE} 31st International Conference on Computer Design, {ICCD} 2013, Asheville, NC, USA, October 6-9, 2013}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6644329/proceeding}, isbn = {978-1-4799-2987-0}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/iccd/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2013, editor = {Christian Haubelt and Dirk Timmermann}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany, March 12-14, 2013}, publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik, Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik, Universit{\"{a}}t Rostock}, year = {2013}, isbn = {978-3-86009-147-0}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qest/2013, editor = {Kaustubh R. Joshi and Markus Siegle and Mari{\"{e}}lle Stoelinga and Pedro R. D'Argenio}, title = {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}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40196-1}, doi = {10.1007/978-3-642-40196-1}, isbn = {978-3-642-40195-4}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/qest/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/si3d/2013, editor = {Meenakshisundaram Gopi and Sung{-}Eui Yoon and Stephen N. Spencer and Marc Olano and Miguel A. Otaduy}, title = {Symposium on Interactive 3D Graphics and Games, {I3D} '13, Orlando, FL, USA, March 22-24, 2013}, publisher = {{ACM}}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2448196}, isbn = {978-1-4503-1956-0}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/si3d/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2012, editor = {Supratik Chakraborty and Madhavan Mukund}, title = {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}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33386-6}, doi = {10.1007/978-3-642-33386-6}, isbn = {978-3-642-33385-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/atva/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/facs2/2012, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {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}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35861-6}, doi = {10.1007/978-3-642-35861-6}, isbn = {978-3-642-35860-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/facs2/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2012, editor = {Jens Brandt and Klaus Schneider}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012}, series = {Forschungsergebnisse zur Informatik}, volume = {68}, publisher = {Verlag Dr. Kovac}, year = {2012}, url = {http://www.verlagdrkovac.de/3-8300-6201-X.htm}, isbn = {978-3-8300-6201-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/siggraph/2012posters, title = {International Conference on Computer Graphics and Interactive Techniques, {SIGGRAPH} 2012, Los Angeles, California, USA, August 5-9, 2012, Poster Proceedings}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2342896}, doi = {10.1145/2342896}, isbn = {978-1-4503-1682-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/siggraph/2012posters.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2012, editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {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}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28756-5}, doi = {10.1007/978-3-642-28756-5}, isbn = {978-3-642-28755-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acsd/2011, editor = {Beno{\^{\i}}t Caillaud and Josep Carmona and Kunihiko Hiraishi}, title = {11th International Conference on Application of Concurrency to System Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/5986770/proceeding}, isbn = {978-0-7695-4387-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/acsd/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2011, editor = {Tevfik Bultan and Pao{-}Ann Hsiung}, title = {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}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24372-1}, doi = {10.1007/978-3-642-24372-1}, isbn = {978-3-642-24371-4}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/atva/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2011, editor = {Roberto Bruni and J{\"{u}}rgen Dingel}, title = {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}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21461-5}, doi = {10.1007/978-3-642-21461-5}, isbn = {978-3-642-21460-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/forte/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2011, editor = {Frank Oppenheimer}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011}, publisher = {OFFIS-Institut f{\"{u}}r Informatik}, year = {2011}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/memocode/2011, editor = {Satnam Singh and Barbara Jobstmann and Michael Kishinevsky and Jens Brandt}, title = {9th {IEEE/ACM} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011}, publisher = {{IEEE}}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/5959846/proceeding}, isbn = {978-1-4577-0117-7}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/memocode/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:conf/gi/2011diss, 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 = {Ausgezeichnete Informatikdissertationen 2011}, series = {{LNI}}, volume = {{D-12}}, publisher = {{GI}}, year = {2012}, url = {https://dl.gi.de/handle/20.500.12116/4411}, isbn = {978-3-88579-416-5}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/gi/2011diss.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2010, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6}, doi = {10.1007/978-3-642-14295-6}, isbn = {978-3-642-14294-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/cav/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2010, editor = {Manfred Dietrich}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, publisher = {Fraunhofer Verlag}, year = {2010}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mmb/2010, editor = {Bruno M{\"{u}}ller{-}Clostermann and Klaus Echtle and Erwin P. Rathgeb}, title = {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}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12104-3}, doi = {10.1007/978-3-642-12104-3}, isbn = {978-3-642-12103-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mmb/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qest/2010, title = {{QEST} 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5599994/proceeding}, isbn = {978-0-7695-4188-4}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/qest/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/si3d/2010, editor = {Daniel G. Aliaga and Manuel M. Oliveira and Amitabh Varshney and Chris Wyman}, title = {Proceedings of the 2010 Symposium on Interactive 3D Graphics, {SI3D} 2010, February 19-21, 2010, Washington, DC, {USA}}, publisher = {{ACM}}, year = {2010}, isbn = {978-1-60558-939-8}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/si3d/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pdpta/2009, editor = {Hamid R. Arabnia}, title = {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}, publisher = {{CSREA} Press}, year = {2009}, isbn = {1-60132-123-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sss/2009, editor = {Rachid Guerraoui and Franck Petit}, title = {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}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05118-0}, doi = {10.1007/978-3-642-05118-0}, isbn = {978-3-642-05117-3}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/sss/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2009, editor = {Neil D. Jones and Markus M{\"{u}}ller{-}Olm}, title = {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}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-93900-9}, doi = {10.1007/978-3-540-93900-9}, isbn = {978-3-540-93899-6}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ddecs/2008, editor = {Bernd Straube and Milos Drutarovsk{\'{y}} and Michel Renovell and Peter Gramata and M{\'{a}}ria Fischerov{\'{a}}}, title = {Proceedings of the 11th {IEEE} Workshop on Design {\&} Diagnostics of Electronic Circuits {\&} Systems {(DDECS} 2008), Bratislava, Slovakia, April 16-18, 2008}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4534845/proceeding}, isbn = {978-1-4244-2276-0}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/ddecs/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurographics/2008short, editor = {Katerina Mania and Eric R. Reinhard}, title = {29th Annual Conference of the European Association for Computer Graphics, Eurographics 2008 - Short Papers, Hersonissos, Crete, Greece, April 14-18, 2008}, publisher = {Eurographics Association}, year = {2008}, url = {http://diglib.eg.org/handle/10.2312/266}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/eurographics/2008short.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iccd/2008, title = {26th International Conference on Computer Design, {ICCD} 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4740204/proceeding}, isbn = {978-1-4244-2657-7}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/iccd/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2008, editor = {Christoph Scholl and Stefan Disch}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008}, publisher = {Shaker}, year = {2008}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qest/2008, title = {Fifth International Conference on the Quantitative Evaluaiton of Systems {(QEST} 2008), 14-17 September 2008, Saint-Malo, France}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4634932/proceeding}, isbn = {978-0-7695-3360-5}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/qest/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/glvlsi/2007, editor = {Hai Zhou and Enrico Macii and Zhiyuan Yan and Yehia Massoud}, title = {Proceedings of the 17th {ACM} Great Lakes Symposium on {VLSI} 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1228784}, doi = {10.1145/1228784}, isbn = {978-1-59593-605-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/glvlsi/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2007, editor = {Christian Haubelt and J{\"{u}}rgen Teich}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007}, series = {Berichte aus der Informatik}, publisher = {Shaker}, year = {2007}, isbn = {978-3-8322-5956-3}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rt/2007, editor = {Jan Kautz and Sumanta N. Pattanaik}, title = {Proceedings of the Eurographics Symposium on Rendering Techniques, Grenoble, France, 2007}, publisher = {Eurographics Association}, year = {2007}, url = {http://diglib.eg.org/handle/10.2312/386}, isbn = {978-3-905673-52-4}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/rt/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2006, editor = {Susanne Graf and Wenhui Zhang}, title = {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}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901914}, doi = {10.1007/11901914}, isbn = {3-540-47237-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/atva/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ddecs/2006, 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 = {Proceedings of the 9th {IEEE} Workshop on Design {\&} Diagnostics of Electronic Circuits {\&} Systems {(DDECS} 2006), Prague, Czech Republic, April 18-21, 2006}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://ieeexplore.ieee.org/xpl/conhome/10974/proceeding}, isbn = {1-4244-0185-2}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/ddecs/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qest/2006, title = {Third International Conference on the Quantitative Evaluation of Systems {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://ieeexplore.ieee.org/xpl/conhome/11169/proceeding}, isbn = {0-7695-2665-9}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/qest/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wea/2005, editor = {Sotiris E. Nikoletseas}, title = {Experimental and Efficient Algorithms, 4th InternationalWorkshop, {WEA} 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3503}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b136461}, doi = {10.1007/B136461}, isbn = {3-540-25920-1}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/wea/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbmv/2004, editor = {Dominik Stoffel and Wolfgang Kunz}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004}, publisher = {Shaker}, year = {2004}, timestamp = {Sun, 25 Aug 2024 20:42:41 +0200}, biburl = {https://dblp.org/rec/conf/mbmv/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.