Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Ralf Wimmer"
download as .bib file
@article{DBLP:journals/sttt/WintererWBJ24,
author = {Leonore Winterer and
Ralf Wimmer and
Bernd Becker and
Nils Jansen},
title = {Strong Simple Policies for POMDPs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {3},
pages = {269--299},
year = {2024},
url = {https://doi.org/10.1007/s10009-024-00747-0},
doi = {10.1007/S10009-024-00747-0},
timestamp = {Tue, 25 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WintererWBJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogcom/XueWHC23,
author = {Xiaohe Xue and
Ralf D. Wimmer and
Michael M. Halassa and
Zhe Sage Chen},
title = {Spiking Recurrent Neural Networks Represent Task-Relevant Neural Sequences
in Rule-Dependent Computation},
journal = {Cogn. Comput.},
volume = {15},
number = {4},
pages = {1167--1189},
year = {2023},
url = {https://doi.org/10.1007/s12559-022-09994-2},
doi = {10.1007/S12559-022-09994-2},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogcom/XueWHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14446,
author = {Ralf Wimmer and
Ming{-}Yi Hu},
title = {Using Unit Propagation with Universal Reduction in {DQBF} Preprocessing},
journal = {CoRR},
volume = {abs/2303.14446},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14446},
doi = {10.48550/ARXIV.2303.14446},
eprinttype = {arXiv},
eprint = {2303.14446},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ge-ErnstSSW22,
author = {Aile Ge{-}Ernst and
Christoph Scholl and
Juraj S{\'{\i}}c and
Ralf Wimmer},
title = {Solving dependency quantified Boolean formulas using quantifier localization},
journal = {Theor. Comput. Sci.},
volume = {925},
pages = {1--24},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.03.029},
doi = {10.1016/J.TCS.2022.03.029},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Ge-ErnstSSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/EckerAMHKHDAWMS22,
author = {Wolfgang Ecker and
Peer Adelt and
Wolfgang M{\"{u}}ller and
Reinhold Heckmann and
Milos Krstic and
Vladimir Herdt and
Rolf Drechsler and
Gerhard Angst and
Ralf Wimmer and
Andreas Mauderer and
Rafael Stahl and
Karsten Emrich and
Daniel Mueller{-}Gritschneder and
Bernd Becker and
Philipp Scholl and
Eyck Jentzsch and
Jan Schlamelcher and
Kim Gr{\"{u}}ttner and
Paul Palomero Bernardo and
Oliver Bringmann and
Mihaela Damian and
Julian Oppermann and
Andreas Koch and
J{\"{o}}rg Bormann and
Johannes Partzsch and
Christian Mayr and
Wolfgang Kunz},
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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-25 20:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
