Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Holger Hermanns
@inproceedings{DBLP:conf/tacas/HusungDHK24,
author = {Nils Husung and
Clemens Dubslaff and
Holger Hermanns and
Maximilian A. K{\"{o}}hl},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {OxiDD - {A} Safe, Concurrent, Modular, and Performant Decision Diagram
Framework in Rust},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {255--275},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_13},
doi = {10.1007/978-3-031-57256-2\_13},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HusungDHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2023,
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-99-8664-4},
doi = {10.1007/978-981-99-8664-4},
isbn = {978-981-99-8663-7},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiewerFHKSS23,
author = {Sebastian Biewer and
Bernd Finkbeiner and
Holger Hermanns and
Maximilian A. K{\"{o}}hl and
Yannik Schnitzer and
Maximilian Schwenger},
title = {On the road with RTLola},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {2},
pages = {205--218},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00689-5},
doi = {10.1007/S10009-022-00689-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiewerFHKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrosHHKS23,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
title = {Analyzing neural network behavior through deep statistical model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {3},
pages = {407--426},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00685-9},
doi = {10.1007/S10009-022-00685-9},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GrosHHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taes/HennFH23,
author = {Santiago Henn and
Juan A. Fraire and
Holger Hermanns},
title = {Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing},
journal = {{IEEE} Trans. Aerosp. Electron. Syst.},
volume = {59},
number = {5},
pages = {7166--7182},
year = {2023},
url = {https://doi.org/10.1109/TAES.2023.3289479},
doi = {10.1109/TAES.2023.3289479},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taes/HennFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KohlH23,
author = {Maximilian A. K{\"{o}}hl and
Holger Hermanns},
title = {Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying
Latency, Clock Drift, and Out-of-Order Observations},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {4},
pages = {68:1--68:48},
year = {2023},
url = {https://doi.org/10.1145/3597209},
doi = {10.1145/3597209},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KohlH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BiesHKS23,
author = {Aaron Bies and
Holger Hermanns and
Maximilian A. K{\"{o}}hl and
Andreas Schmidt},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Matching Distributions Under Structural Constraints},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {221--237},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_16},
doi = {10.1007/978-3-031-43835-6\_16},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BiesHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08608,
author = {Christel Baier and
Clemens Dubslaff and
Holger Hermanns and
Nikolai K{\"{a}}fer},
title = {On the Foundations of Cycles in Bayesian Networks},
journal = {CoRR},
volume = {abs/2301.08608},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08608},
doi = {10.48550/ARXIV.2301.08608},
eprinttype = {arXiv},
eprint = {2301.08608},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06186,
author = {Sebastian Biewer and
Kevin Baum and
Sarah Sterz and
Holger Hermanns and
Sven Hetmank and
Markus Langer and
Anne Lauber{-}R{\"{o}}nsberg and
Franz Lehr},
title = {Software Doping Analysis for Human Oversight},
journal = {CoRR},
volume = {abs/2308.06186},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.06186},
doi = {10.48550/ARXIV.2308.06186},
eprinttype = {arXiv},
eprint = {2308.06186},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KaferBDDGH22,
author = {Nikolai K{\"{a}}fer and
Christel Baier and
Martin Diller and
Clemens Dubslaff and
Sarah Alice Gaggl and
Holger Hermanns},
title = {Admissibility in Probabilistic Argumentation},
journal = {J. Artif. Intell. Res.},
volume = {74},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13530},
doi = {10.1613/JAIR.1.13530},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KaferBDDGH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BiewerDFGHHM22,
author = {Sebastian Biewer and
Rayna Dimitrova and
Michael Fries and
Maciej Gazda and
Thomas Heinze and
Holger Hermanns and
Mohammad Reza Mousavi},
title = {Conformance Relations and Hyperproperties for Doping Detection in
Time and Space},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:14)2022},
doi = {10.46298/LMCS-18(1:14)2022},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BiewerDFGHHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asms-spsc/StockFH22,
author = {Gregory Stock and
Juan A. Fraire and
Holger Hermanns},
title = {Distributed On-Demand Routing for {LEO} Mega-Constellations: {A} Starlink
Case Study},
booktitle = {11th Advanced Satellite Multimedia Systems Conference and the 17th
Signal Processing for Space Communications Workshop, {ASMS/SPSC} 2022,
Graz, Austria, September 6-8, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ASMS/SPSC55670.2022.9914716},
doi = {10.1109/ASMS/SPSC55670.2022.9914716},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asms-spsc/StockFH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaierDHK22,
author = {Christel Baier and
Clemens Dubslaff and
Holger Hermanns and
Nikolai K{\"{a}}fer},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {On the Foundations of Cycles in Bayesian Networks},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {343--363},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_17},
doi = {10.1007/978-3-031-22337-2\_17},
timestamp = {Fri, 06 Jan 2023 08:06:45 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BaierDHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrosHHKKW22,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Maximilian A. K{\"{o}}hl and
Verena Wolf},
editor = {Sharon Shoham and
Yakir Vizel},
title = {MoGym: Using Formal Models for Training and Verifying Decision-making
Agents},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {430--443},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_21},
doi = {10.1007/978-3-031-13188-2\_21},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GrosHHKKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BiewerH22,
author = {Sebastian Biewer and
Holger Hermanns},
editor = {Einar Broch Johnsen and
Manuel Wimmer},
title = {On the Detection of Doped Software by Falsification},
booktitle = {Fundamental Approaches to Software Engineering - 25th International
Conference, {FASE} 2022, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany,
April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13241},
pages = {71--91},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99429-7\_4},
doi = {10.1007/978-3-030-99429-7\_4},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fase/BiewerH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HermannsN22,
author = {Holger Hermanns and
Gilles Nies},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Quantification of Battery Depletion Risk Made Efficient},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {156--174},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_8},
doi = {10.1007/978-3-031-06773-0\_8},
timestamp = {Mon, 23 May 2022 16:36:23 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HermannsN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02128,
author = {Gregory Stock and
Juan A. Fraire and
Holger Hermanns},
title = {Distributed On-Demand Routing for {LEO} Mega-Constellations: {A} Starlink
Case Study},
journal = {CoRR},
volume = {abs/2208.02128},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02128},
doi = {10.48550/ARXIV.2208.02128},
eprinttype = {arXiv},
eprint = {2208.02128},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-11171,
author = {Gregory Stock and
Juan A. Fraire and
Holger Hermanns and
Eduardo Cruz and
Alastair Isaacs and
Zhana Imbrosh},
title = {On the Automation, Optimization, and In-Orbit Validation of Intelligent
Satellite Constellation Operations},
journal = {CoRR},
volume = {abs/2210.11171},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.11171},
doi = {10.48550/ARXIV.2210.11171},
eprinttype = {arXiv},
eprint = {2210.11171},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-11171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LangerOSHKSSB21,
author = {Markus Langer and
Daniel Oster and
Timo Speith and
Holger Hermanns and
Lena K{\"{a}}stner and
Eva Schmidt and
Andreas Sesing and
Kevin Baum},
title = {What do we want from Explainable Artificial Intelligence (XAI)? -
{A} stakeholder perspective on {XAI} and a conceptual model guiding
interdisciplinary {XAI} research},
journal = {Artif. Intell.},
volume = {296},
pages = {103473},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103473},
doi = {10.1016/J.ARTINT.2021.103473},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LangerOSHKSSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijscn/FraireGHNBB21,
author = {Juan A. Fraire and
Carsten Gerstacker and
Holger Hermanns and
Gilles Nies and
Morten Bisgaard and
Kristian Bay},
title = {On the scalability of battery-aware contact plan design for {LEO}
satellite constellations},
journal = {Int. J. Satell. Commun. Netw.},
volume = {39},
number = {2},
pages = {193--204},
year = {2021},
url = {https://doi.org/10.1002/sat.1374},
doi = {10.1002/SAT.1374},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijscn/FraireGHNBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ButkovaHH21,
author = {Yuliya Butkova and
Arnd Hartmanns and
Holger Hermanns},
title = {A Modest Approach to Markov Automata},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {31},
number = {3},
pages = {14:1--14:34},
year = {2021},
url = {https://doi.org/10.1145/3449355},
doi = {10.1145/3449355},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/ButkovaHH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/BiewerDH21,
author = {Sebastian Biewer and
Pedro R. D'Argenio and
Holger Hermanns},
title = {Doping Tests for Cyber-physical Systems},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {31},
number = {3},
pages = {16:1--16:27},
year = {2021},
url = {https://doi.org/10.1145/3449354},
doi = {10.1145/3449354},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tomacs/BiewerDH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChristakisEHHKL21,
author = {Maria Christakis and
Hasan Ferit Eniser and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Yugesh Kothari and
Jianlin Li and
Jorge A. Navas and
Valentin W{\"{u}}stholz},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Automated Safety Verification of Programs Invoking Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {201--224},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_9},
doi = {10.1007/978-3-030-81685-8\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChristakisEHHKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/VogelgesangFH21,
author = {Kai Vogelgesang and
Juan A. Fraire and
Holger Hermanns},
title = {Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite
IoT: {A} Case Study},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2021, Madrid,
Spain, December 7-11, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/GLOBECOM46510.2021.9685152},
doi = {10.1109/GLOBECOM46510.2021.9685152},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/VogelgesangFH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaierDDGHK21,
author = {Christel Baier and
Martin Diller and
Clemens Dubslaff and
Sarah Alice Gaggl and
Holger Hermanns and
Nikolai K{\"{a}}fer},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Admissibility in Probabilistic Argumentation},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {87--98},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/9},
doi = {10.24963/KR.2021/9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaierDDGHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FreibergerSHA21,
author = {Felix Freiberger and
Stefan Schupp and
Holger Hermanns and
Erika {\'{A}}brah{\'{a}}m},
editor = {S. Arun{-}Kumar and
Dominique M{\'{e}}ry and
Indranil Saha and
Lijun Zhang},
title = {Controller verification meets controller code: a case study},
booktitle = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, Virtual Event, China, November
20 - 22, 2021},
pages = {98--103},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3487212.3487337},
doi = {10.1145/3487212.3487337},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FreibergerSHA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KlauckH21,
author = {Michaela Klauck and
Holger Hermanns},
editor = {Alessandro Abate and
Andrea Marin},
title = {A Modest Approach to Dynamic Heuristic Search in Probabilistic Model
Checking},
booktitle = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
pages = {15--38},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9\_2},
doi = {10.1007/978-3-030-85172-9\_2},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/KlauckH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SterzBLH21,
author = {Sarah Sterz and
Kevin Baum and
Anne Lauber{-}R{\"{o}}nsberg and
Holger Hermanns},
editor = {Tao Yue and
Mehdi Mirakhorli},
title = {Towards Perspicuity Requirements},
booktitle = {29th {IEEE} International Requirements Engineering Conference Workshops,
{RE} 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021},
pages = {159--163},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/REW53955.2021.00029},
doi = {10.1109/REW53955.2021.00029},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/SterzBLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BiewerFHKSS21,
author = {Sebastian Biewer and
Bernd Finkbeiner and
Holger Hermanns and
Maximilian A. K{\"{o}}hl and
Yannik Schnitzer and
Maximilian Schwenger},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {RTLola on Board: Testing Real Driving Emissions on your Phone},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {365--372},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_20},
doi = {10.1007/978-3-030-72013-1\_20},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BiewerFHKSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KohlKH21,
author = {Maximilian A. K{\"{o}}hl and
Michaela Klauck and
Holger Hermanns},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Momba: {JANI} Meets Python},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {389--398},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_23},
doi = {10.1007/978-3-030-72013-1\_23},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KohlKH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07817,
author = {Markus Langer and
Daniel Oster and
Timo Speith and
Holger Hermanns and
Lena K{\"{a}}stner and
Eva Schmidt and
Andreas Sesing and
Kevin Baum},
title = {What Do We Want From Explainable Artificial Intelligence (XAI)? -
{A} Stakeholder Perspective on {XAI} and a Conceptual Model Guiding
Interdisciplinary {XAI} Research},
journal = {CoRR},
volume = {abs/2102.07817},
year = {2021},
url = {https://arxiv.org/abs/2102.07817},
eprinttype = {arXiv},
eprint = {2102.07817},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05255,
author = {Sebastian Biewer and
Bernd Finkbeiner and
Holger Hermanns and
Maximilian A. K{\"{o}}hl and
Yannik Schnitzer and
Maximilian Schwenger},
title = {RTLola on Board: Testing Real Driving Emissions on your Phone},
journal = {CoRR},
volume = {abs/2111.05255},
year = {2021},
url = {https://arxiv.org/abs/2111.05255},
eprinttype = {arXiv},
eprint = {2111.05255},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BaierDH20,
author = {Christel Baier and
Pedro R. D'Argenio and
Holger Hermanns},
title = {On the probabilistic bisimulation spectrum with silent moves},
journal = {Acta Informatica},
volume = {57},
number = {3-5},
pages = {465--512},
year = {2020},
url = {https://doi.org/10.1007/s00236-020-00379-2},
doi = {10.1007/S00236-020-00379-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BaierDH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/HeHWC20,
author = {Kangli He and
Holger Hermanns and
Hengyang Wu and
Yixiang Chen},
title = {Connection models for the Internet-of-Things},
journal = {Frontiers Comput. Sci.},
volume = {14},
number = {3},
pages = {143401},
year = {2020},
url = {https://doi.org/10.1007/s11704-018-7395-3},
doi = {10.1007/S11704-018-7395-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/HeHWC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KlauckSHH20,
author = {Michaela Klauck and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Holger Hermanns},
title = {Bridging the Gap Between Probabilistic Model Checking and Probabilistic
Planning: Survey, Compilations, and Empirical Comparison},
journal = {J. Artif. Intell. Res.},
volume = {68},
pages = {247--310},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11595},
doi = {10.1613/JAIR.1.11595},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KlauckSHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/StockFMHBC20,
author = {Gregory Stock and
Juan A. Fraire and
Tobias M{\"{o}}mke and
Holger Hermanns and
Fakhri Babayev and
Eduardo Cruz},
title = {Managing Fleets of {LEO} Satellites: Nonlinear, Optimal, Efficient,
Scalable, Usable, and Robust},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {3762--3773},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3012751},
doi = {10.1109/TCAD.2020.3012751},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/StockFMHBC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgcn/FraireNGHBB20,
author = {Juan A. Fraire and
Gilles Nies and
Carsten Gerstacker and
Holger Hermanns and
Kristian Bay and
Morten Bisgaard},
title = {Battery-Aware Contact Plan Design for {LEO} Satellite Constellations:
The Ulloriaq Case Study},
journal = {{IEEE} Trans. Green Commun. Netw.},
volume = {4},
number = {1},
pages = {236--245},
year = {2020},
url = {https://doi.org/10.1109/TGCN.2019.2954166},
doi = {10.1109/TGCN.2019.2954166},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgcn/FraireNGHBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoffmannHKSKM20,
author = {J{\"{o}}rg Hoffmann and
Holger Hermanns and
Michaela Klauck and
Marcel Steinmetz and
Erez Karpas and
Daniele Magazzeni},
title = {Let's Learn Their Language? {A} Case for Planning with Automata-Network
Languages from Model Checking},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {13569--13575},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i09.7083},
doi = {10.1609/AAAI.V34I09.7083},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoffmannHKSKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoBBH020,
author = {Luca Aceto and
Jos C. M. Baeten and
Patricia Bouyer{-}Decitre and
Holger Hermanns and
Alexandra Silva},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {{CONCUR} Test-Of-Time Award 2020 Announcement (Invited Paper)},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {5:1--5:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.5},
doi = {10.4230/LIPICS.CONCUR.2020.5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoBBH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DimitrovaGMBH20,
author = {Rayna Dimitrova and
Maciej Gazda and
Mohammad Reza Mousavi and
Sebastian Biewer and
Holger Hermanns},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Conformance-Based Doping Detection for Cyber-Physical Systems},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {59--77},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_4},
doi = {10.1007/978-3-030-50086-3\_4},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DimitrovaGMBH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrosH0KS20,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Deep Statistical Model Checking},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {96--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_6},
doi = {10.1007/978-3-030-50086-3\_6},
timestamp = {Wed, 10 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/GrosH0KS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BaierH20,
author = {Christel Baier and
Holger Hermanns},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {From Verification to Explanation (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {1--7},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_1},
doi = {10.1007/978-3-030-83723-5\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BaierH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BaierDHKKK20,
author = {Christel Baier and
Clemens Dubslaff and
Holger Hermanns and
Michaela Klauck and
Sascha Kl{\"{u}}ppelholz and
Maximilian A. K{\"{o}}hl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Components in Probabilistic Systems: Suitable by Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {240--261},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_13},
doi = {10.1007/978-3-030-61362-4\_13},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BaierDHKKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FaqehFH0KKSW20,
author = {Rasha Faqeh and
Christof Fetzer and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Maximilian A. K{\"{o}}hl and
Marcel Steinmetz and
Christoph Weidenbach},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Dynamic Dependable Systems Through Evidence-Based Continuous
Certification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {416--439},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_25},
doi = {10.1007/978-3-030-61470-6\_25},
timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
biburl = {https://dblp.org/rec/conf/isola/FaqehFH0KKSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiLHY0ZXH20,
author = {Renjue Li and
Jianlin Li and
Cheng{-}Chao Huang and
Pengfei Yang and
Xiaowei Huang and
Lijun Zhang and
Bai Xue and
Holger Hermanns},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {PRODeep: a platform for robustness verification of deep neural networks},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1630--1634},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417918},
doi = {10.1145/3368089.3417918},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LiLHY0ZXH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tailor/BaierCGGGH0K20,
author = {Christel Baier and
Maria Christakis and
Timo P. Gros and
David Gro{\ss} and
Stefan Gumhold and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck},
editor = {Fredrik Heintz and
Michela Milano and
Barry O'Sullivan},
title = {Lab Conditions for Research on Explainable Automated Decisions},
booktitle = {Trustworthy {AI} - Integrating Learning, Optimization and Reasoning
- First International Workshop, {TAILOR} 2020, Virtual Event, September
4-5, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12641},
pages = {83--90},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-73959-1\_8},
doi = {10.1007/978-3-030-73959-1\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tailor/BaierCGGGH0K20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2020,
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718},
doi = {10.1145/3373718},
isbn = {978-1-4503-7104-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmb/2020,
editor = {Holger Hermanns},
title = {Measurement, Modelling and Evaluation of Computing Systems - 20th
International {GI/ITG} Conference, {MMB} 2020, Saarbr{\"{u}}cken,
Germany, March 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12040},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43024-5},
doi = {10.1007/978-3-030-43024-5},
isbn = {978-3-030-43023-8},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmb/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-03910,
author = {Sebastian Biewer and
Rayna Dimitrova and
Michael Fries and
Maciej Gazda and
Thomas Heinze and
Holger Hermanns and
Mohammad Reza Mousavi},
title = {Conformance Relations and Hyperproperties for Doping Detection in
Time and Space},
journal = {CoRR},
volume = {abs/2012.03910},
year = {2020},
url = {https://arxiv.org/abs/2012.03910},
eprinttype = {arXiv},
eprint = {2012.03910},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BisgaardGHKNS19,
author = {Morten Bisgaard and
David Gerhardt and
Holger Hermanns and
Jan Krc{\'{a}}l and
Gilles Nies and
Marvin Stenger},
title = {Battery-aware scheduling in low orbit: the GomX-3 case},
journal = {Formal Aspects Comput.},
volume = {31},
number = {2},
pages = {261--285},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-0458-2},
doi = {10.1007/S00165-018-0458-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BisgaardGHKNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/HahnHHLT19,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Morteza Lahijanian and
Andrea Turrini},
title = {Interval Markov Decision Processes with Multiple Objectives: From
Robust Strategies to Pareto Curves},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {29},
number = {4},
pages = {27:1--27:31},
year = {2019},
url = {https://doi.org/10.1145/3309683},
doi = {10.1145/3309683},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tomacs/HahnHHLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FreibergerH19,
author = {Felix Freiberger and
Holger Hermanns},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Concurrent Programming from pseuCo to Petri},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {279--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_16},
doi = {10.1007/978-3-030-21571-2\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FreibergerH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Graf-BrillH19,
author = {Alexander Graf{-}Brill and
Holger Hermanns},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Component-aware Input-Output Conformance},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {111--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_7},
doi = {10.1007/978-3-030-21759-4\_7},
timestamp = {Wed, 02 Dec 2020 13:20:40 +0100},
biburl = {https://dblp.org/rec/conf/forte/Graf-BrillH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ButkovaHH19,
author = {Yuliya Butkova and
Arnd Hartmanns and
Holger Hermanns},
editor = {David Parker and
Verena Wolf},
title = {A Modest Approach to Modelling and Checking Markov Automata},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {52--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_4},
doi = {10.1007/978-3-030-30281-8\_4},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ButkovaHH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BiewerDH19,
author = {Sebastian Biewer and
Pedro R. D'Argenio and
Holger Hermanns},
editor = {David Parker and
Verena Wolf},
title = {Doping Tests for Cyber-Physical Systems},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {313--331},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_18},
doi = {10.1007/978-3-030-30281-8\_18},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BiewerDH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/HartmannsH19,
author = {Arnd Hartmanns and
Holger Hermanns},
editor = {Markus Kr{\"{o}}tzsch and
Daria Stepanova},
title = {A Modest Markov Automata Tutorial},
booktitle = {Reasoning Web. Explainable Artificial Intelligence - 15th International
Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {11810},
pages = {250--276},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31423-1\_8},
doi = {10.1007/978-3-030-31423-1\_8},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/HartmannsH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FoxSH19,
author = {Gereon Fox and
Daniel Stan and
Holger Hermanns},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Syntactic Partial Order Compression for Probabilistic Reachability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {446--467},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_21},
doi = {10.1007/978-3-030-11245-5\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FoxSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BaierHK19,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {The 10, 000 Facets of {MDP} Model Checking},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {420--451},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_21},
doi = {10.1007/978-3-319-91908-9\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BaierHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08641,
author = {Sebastian Biewer and
Pedro R. D'Argenio and
Holger Hermanns},
title = {Doping Tests for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1904.08641},
year = {2019},
url = {http://arxiv.org/abs/1904.08641},
eprinttype = {arXiv},
eprint = {1904.08641},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ZhangYSHEJG18,
author = {Lijun Zhang and
Pengfei Yang and
Lei Song and
Holger Hermanns and
Christian Eisentraut and
David N. Jansen and
Jens Chr. Godskesen},
title = {Probabilistic bisimulation for realistic schedulers},
journal = {Acta Informatica},
volume = {55},
number = {6},
pages = {461--488},
year = {2018},
url = {https://doi.org/10.1007/s00236-018-0313-1},
doi = {10.1007/S00236-018-0313-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ZhangYSHEJG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EisentrautHSTZ18,
author = {Christian Eisentraut and
Holger Hermanns and
Johann Schuster and
Andrea Turrini and
Lijun Zhang},
title = {The quest for minimal quotients for probabilistic and Markov automata},
journal = {Inf. Comput.},
volume = {262},
pages = {162--186},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.08.003},
doi = {10.1016/J.IC.2018.08.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/EisentrautHSTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlauckS0H18,
author = {Michaela Klauck and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Holger Hermanns},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Compiling Probabilistic Model Checking into Probabilistic Planning},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {150--154},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KlauckS0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AshokBHK18,
author = {Pranav Ashok and
Yuliya Butkova and
Holger Hermanns and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Continuous-Time Markov Decisions Based on Partial Exploration},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {317--334},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_19},
doi = {10.1007/978-3-030-01090-4\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AshokBHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BiewerDH18,
author = {Sebastian Biewer and
Pedro R. D'Argenio and
Holger Hermanns},
title = {Cyber-Physical Doping Tests},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {18--19},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00016},
doi = {10.1109/MT-CPS.2018.00016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/BiewerDH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/FraireNHBB18,
author = {Juan A. Fraire and
Gilles Nies and
Holger Hermanns and
Kristian Bay and
Morten Bisgaard},
title = {Battery-Aware Contact Plan Design for {LEO} Satellite Constellations:
The Ulloriaq Case Study},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2018, Abu Dhabi,
United Arab Emirates, December 9-13, 2018},
pages = {1--7},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/GLOCOM.2018.8647822},
doi = {10.1109/GLOCOM.2018.8647822},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/FraireNHBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BaumHS18,
author = {Kevin Baum and
Holger Hermanns and
Timo Speith},
title = {From Machine Ethics To Machine Explainability and Back},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
year = {2018},
url = {https://isaim2018.cs.ou.edu/papers/ISAIM2018\_Ethics\_Baum\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BaumHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HermannsBDK18,
author = {Holger Hermanns and
Sebastian Biewer and
Pedro R. D'Argenio and
Maximilian A. K{\"{o}}hl},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Verification, Testing, and Runtime Monitoring of Automotive Exhaust
Emissions},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {1--17},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/6zxt},
doi = {10.29007/6ZXT},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HermannsBDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/ButkovaWH18,
author = {Yuliya Butkova and
Ralf Wimmer and
Holger Hermanns},
editor = {Reinhard German and
Kai{-}Steffen Hielscher and
Udo R. Krieger},
title = {Markov Automata on Discount!},
booktitle = {Measurement, Modelling and Evaluation of Computing Systems - 19th
International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany,
February 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10740},
pages = {19--34},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74947-1\_2},
doi = {10.1007/978-3-319-74947-1\_2},
timestamp = {Fri, 23 Jul 2021 10:45:36 +0200},
biburl = {https://dblp.org/rec/conf/mmb/ButkovaWH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KohlHB18,
author = {Maximilian A. K{\"{o}}hl and
Holger Hermanns and
Sebastian Biewer},
editor = {Christian Colombo and
Martin Leucker},
title = {Efficient Monitoring of Real Driving Emissions},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {299--315},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_17},
doi = {10.1007/978-3-030-03769-7\_17},
timestamp = {Sat, 12 Jun 2021 11:01:04 +0200},
biburl = {https://dblp.org/rec/conf/rv/KohlHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-00590,
author = {Kevin Baum and
Holger Hermanns and
Timo Speith},
editor = {Bernd Finkbeiner and
Samantha Kleinberg},
title = {Towards a Framework Combining Machine Ethics and Machine Explainability},
booktitle = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility,
and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki,
Greece, 21st April 2018},
series = {{EPTCS}},
volume = {286},
pages = {34--49},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.286.4},
doi = {10.4204/EPTCS.286.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-00590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10154,
author = {Gilles Barthe and
Pedro R. D'Argenio and
Bernd Finkbeiner and
Holger Hermanns},
title = {Facets of Software Doping},
journal = {CoRR},
volume = {abs/1803.10154},
year = {2018},
url = {http://arxiv.org/abs/1803.10154},
eprinttype = {arXiv},
eprint = {1803.10154},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-09641,
author = {Pranav Ashok and
Yuliya Butkova and
Holger Hermanns and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Continuous-Time Markov Decisions based on Partial Exploration},
journal = {CoRR},
volume = {abs/1807.09641},
year = {2018},
url = {http://arxiv.org/abs/1807.09641},
eprinttype = {arXiv},
eprint = {1807.09641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-09641.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}
}
@article{DBLP:journals/lites/HermannsKN17,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Gilles Nies},
title = {How Is Your Satellite Doing? Battery Kinetics with Recharging and
Uncertainty},
journal = {Leibniz Trans. Embed. Syst.},
volume = {4},
number = {1},
pages = {04:1--04:28},
year = {2017},
url = {https://doi.org/10.4230/LITES-v004-i001-a004},
doi = {10.4230/LITES-V004-I001-A004},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lites/HermannsKN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BiewerFHH17,
author = {Sebastian Biewer and
Felix Freiberger and
Pascal Leo Held and
Holger Hermanns},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Teaching Academic Concurrency to Amazing Students},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {170--195},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_9},
doi = {10.1007/978-3-319-63121-9\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BiewerFHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hermanns17,
author = {Holger Hermanns},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {From Lotosphere to Thermosphere},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {357--367},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_18},
doi = {10.1007/978-3-319-68270-9\_18},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hermanns17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HeHC17,
author = {Kangli He and
Holger Hermanns and
Yixiang Chen},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Models of Connected Things: On Priced Probabilistic Timed Reo},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
pages = {234--243},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.172},
doi = {10.1109/COMPSAC.2017.172},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/HeHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DArgenioBBFH17,
author = {Pedro R. D'Argenio and
Gilles Barthe and
Sebastian Biewer and
Bernd Finkbeiner and
Holger Hermanns},
editor = {Hongseok Yang},
title = {Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced"
Programs},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {83--110},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_4},
doi = {10.1007/978-3-662-54434-1\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DArgenioBBFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Graf-BrillH17,
author = {Alexander Graf{-}Brill and
Holger Hermanns},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Model-Based Testing for Asynchronous Systems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {66--82},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_5},
doi = {10.1007/978-3-319-67113-0\_5},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/Graf-BrillH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangNLNSH17,
author = {Zhengkui Zhang and
Brian Nielsen and
Kim Guldstrand Larsen and
Gilles Nies and
Marvin Stenger and
Holger Hermanns},
editor = {Zhenhua Duan and
Luke Ong},
title = {Pareto Optimal Reachability Analysis for Simple Priced Timed Automata},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {481--495},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_29},
doi = {10.1007/978-3-319-68690-5\_29},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhangNLNSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/Graf-BrillHHR17,
author = {Alexander Graf{-}Brill and
Arnd Hartmanns and
Holger Hermanns and
Steffen Rose},
title = {Modelling and certification for electric mobility},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {109--114},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104755},
doi = {10.1109/INDIN.2017.8104755},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/Graf-BrillHHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HahnHHLT17,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Morteza Lahijanian and
Andrea Turrini},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Multi-objective Robust Strategy Synthesis for Interval Markov Decision
Processes},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {207--223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_13},
doi = {10.1007/978-3-319-66335-7\_13},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/HahnHHLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HashemiTHHE17,
author = {Vahid Hashemi and
Andrea Turrini and
Ernst Moritz Hahn and
Holger Hermanns and
Khaled M. Elbassioni},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Polynomial-Time Alternating Probabilistic Bisimulation for Interval
MDPs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {25--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_2},
doi = {10.1007/978-3-319-69483-2\_2},
timestamp = {Tue, 13 Apr 2021 10:56:13 +0200},
biburl = {https://dblp.org/rec/conf/setta/HashemiTHHE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ButkovaWH17,
author = {Yuliya Butkova and
Ralf Wimmer and
Holger Hermanns},
editor = {Axel Legay and
Tiziana Margaria},
title = {Long-Run Rewards for Markov Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {188--203},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_11},
doi = {10.1007/978-3-662-54580-5\_11},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ButkovaWH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/Scheftelowitsch17,
author = {Dimitri Scheftelowitsch and
Peter Buchholz and
Vahid Hashemi and
Holger Hermanns},
editor = {Andrea Marin and
Benny Van Houdt and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Multi-Objective Approaches to Markov Decision Processes with Uncertain
Transition Parameters},
booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
December 05-07, 2017},
pages = {44--51},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3150928.3150945},
doi = {10.1145/3150928.3150945},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/Scheftelowitsch17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HermannsH17,
editor = {Holger Hermanns and
Peter H{\"{o}}fner},
title = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {244},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.244},
doi = {10.4204/EPTCS.244},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DArgenioBBFH17,
author = {Pedro R. D'Argenio and
Gilles Barthe and
Sebastian Biewer and
Bernd Finkbeiner and
Holger Hermanns},
title = {Is your software on dope? Formal analysis of surreptitiously "enhanced"
programs},
journal = {CoRR},
volume = {abs/1702.04693},
year = {2017},
url = {http://arxiv.org/abs/1702.04693},
eprinttype = {arXiv},
eprint = {1702.04693},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DArgenioBBFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnHHLT17,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Morteza Lahijanian and
Andrea Turrini},
title = {Multi-objective Robust Strategy Synthesis for Interval Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1706.06875},
year = {2017},
url = {http://arxiv.org/abs/1706.06875},
eprinttype = {arXiv},
eprint = {1706.06875},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnHHLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08986,
author = {Dimitri Scheftelowitsch and
Peter Buchholz and
Vahid Hashemi and
Holger Hermanns},
title = {Multi-Objective Approaches to Markov Decision Processes with Uncertain
Transition Parameters},
journal = {CoRR},
volume = {abs/1710.08986},
year = {2017},
url = {http://arxiv.org/abs/1710.08986},
eprinttype = {arXiv},
eprint = {1710.08986},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FioritiHHT16,
author = {Luis Mar{\'{\i}}a Ferrer Fioriti and
Vahid Hashemi and
Holger Hermanns and
Andrea Turrini},
title = {Deciding probabilistic automata weak bisimulation: theory and practice},
journal = {Formal Aspects Comput.},
volume = {28},
number = {1},
pages = {109--143},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0356-4},
doi = {10.1007/S00165-016-0356-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FioritiHHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JafariKSHC16,
author = {Ali Jafari and
Ehsan Khamespanah and
Marjan Sirjani and
Holger Hermanns and
Matteo Cimini},
title = {PTRebeca: Modeling and analysis of distributed and asynchronous systems},
journal = {Sci. Comput. Program.},
volume = {128},
pages = {22--50},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.03.004},
doi = {10.1016/J.SCICO.2016.03.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JafariKSHC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HartmannsHK16,
author = {Arnd Hartmanns and
Holger Hermanns and
Jan Krc{\'{a}}l},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Schedulers are no Prophets},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {214--235},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_11},
doi = {10.1007/978-3-319-27810-0\_11},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HartmannsHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HartmannsHB16,
author = {Arnd Hartmanns and
Holger Hermanns and
Michael Bungert},
editor = {Petru Eles and
Rahul Mangharam},
title = {Flexible support for time and costs in scenario-aware dataflow},
booktitle = {2016 International Conference on Embedded Software, {EMSOFT} 2016,
Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2968478.2968496},
doi = {10.1145/2968478.2968496},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HartmannsHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BisgaardGHKNS16,
author = {Morten Bisgaard and
David Gerhardt and
Holger Hermanns and
Jan Krc{\'{a}}l and
Gilles Nies and
Marvin Stenger},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Battery-Aware Scheduling in Low Orbit: The GomX-3 Case},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {559--576},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_34},
doi = {10.1007/978-3-319-48989-6\_34},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BisgaardGHKNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HermannsKV16,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Steen Vester},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Distributed Synthesis in Continuous Time},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {353--369},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_21},
doi = {10.1007/978-3-662-49630-5\_21},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HermannsKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Hermanns16,
author = {Holger Hermanns},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {My {O} Is Bigger Than Yours (Invited Talk)},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {3:1--3:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.3},
doi = {10.4230/LIPICS.FSTTCS.2016.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Hermanns16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartheDFH16,
author = {Gilles Barthe and
Pedro R. D'Argenio and
Bernd Finkbeiner and
Holger Hermanns},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Facets of Software Doping},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {601--608},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_46},
doi = {10.1007/978-3-319-47169-3\_46},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartheDFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/HashemiH0STW16,
author = {Vahid Hashemi and
Holger Hermanns and
Lei Song and
K. Subramani and
Andrea Turrini and
Piotr Wojciechowski},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Compositional Bisimulation Minimization for Interval Markov Decision
Processes},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {114--126},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_9},
doi = {10.1007/978-3-319-30000-9\_9},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/HashemiH0STW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/HermannsKKS16,
author = {Holger Hermanns and
Julia Kr{\"{a}}mer and
Jan Krc{\'{a}}l and
Mari{\"{e}}lle Stoelinga},
editor = {Frank Piessens and
Luca Vigan{\`{o}}},
title = {The Value of Attack-Defence Diagrams},
booktitle = {Principles of Security and Trust - 5th International Conference, {POST}
2016, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April
2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9635},
pages = {163--185},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49635-0\_9},
doi = {10.1007/978-3-662-49635-0\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/HermannsKKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HahnHHT16,
author = {Ernst Moritz Hahn and
Vahid Hashemi and
Holger Hermanns and
Andrea Turrini},
editor = {Gul Agha and
Benny Van Houdt},
title = {Exploiting Robust Optimization for Interval Probabilistic Bisimulation},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {55--71},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_4},
doi = {10.1007/978-3-319-43425-4\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/qest/HahnHHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BackstromBHKK16,
author = {Ola B{\"{a}}ckstr{\"{o}}m and
Yuliya Butkova and
Holger Hermanns and
Jan Krc{\'{a}}l and
Pavel Krc{\'{a}}l},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Effective Static and Dynamic Fault Tree Analysis},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {266--280},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_21},
doi = {10.1007/978-3-319-45477-1\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BackstromBHKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DimitrovaFHM16,
author = {Rayna Dimitrova and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns and
Rupak Majumdar},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Probabilistic CTL\({}^{\mbox{*}}\): The Deductive Way},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {280--296},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_16},
doi = {10.1007/978-3-662-49674-9\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DimitrovaFHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HashemiH016,
author = {Vahid Hashemi and
Holger Hermanns and
Lei Song},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Reward-Bounded Reachability Probability for Uncertain Weighted MDPs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {351--371},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_17},
doi = {10.1007/978-3-662-49122-5\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HashemiH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HermannsKV16,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Steen Vester},
title = {Distributed Synthesis in Continuous Time},
journal = {CoRR},
volume = {abs/1601.01587},
year = {2016},
url = {http://arxiv.org/abs/1601.01587},
eprinttype = {arXiv},
eprint = {1601.01587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HashemiHT16,
author = {Vahid Hashemi and
Holger Hermanns and
Andrea Turrini},
title = {Compositional Reasoning for Interval Markov Decision Processes},
journal = {CoRR},
volume = {abs/1607.08484},
year = {2016},
url = {http://arxiv.org/abs/1607.08484},
eprinttype = {arXiv},
eprint = {1607.08484},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HashemiHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TurriniH15,
author = {Andrea Turrini and
Holger Hermanns},
title = {Polynomial time decision algorithms for probabilistic automata},
journal = {Inf. Comput.},
volume = {244},
pages = {134--171},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.07.004},
doi = {10.1016/J.IC.2015.07.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/TurriniH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HartmannsH15,
author = {Arnd Hartmanns and
Holger Hermanns},
title = {In the quantitative automata zoo},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {3--23},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.08.009},
doi = {10.1016/J.SCICO.2015.08.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HartmannsH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HatefiH15,
author = {Hassan Hatefi and
Holger Hermanns},
title = {Improving time bounded reachability computations in interactive Markov
chains},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {58--74},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.05.003},
doi = {10.1016/J.SCICO.2015.05.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HatefiH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PulunganH15,
author = {Reza Pulungan and
Holger Hermanns},
title = {A construction and minimization service for continuous probability
distributions},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {77--90},
year = {2015},
url = {https://doi.org/10.1007/s10009-013-0296-8},
doi = {10.1007/S10009-013-0296-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PulunganH15.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/atva/HartmannsH15,
author = {Arnd Hartmanns and
Holger Hermanns},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Explicit Model Checking of Very Large {MDP} Using Partitioning and
Secondary Storage},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {131--147},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_10},
doi = {10.1007/978-3-319-24953-7\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HartmannsH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ButkovaHHK15,
author = {Yuliya Butkova and
Hassan Hatefi and
Holger Hermanns and
Jan Krc{\'{a}}l},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Optimal Continuous Time Markov Decisions},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {166--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_12},
doi = {10.1007/978-3-319-24953-7\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ButkovaHHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/HermannsKN15,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Gilles Nies},
editor = {Christian Berger and
Mohammad Reza Mousavi},
title = {Recharging Probably Keeps Batteries Alive},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9361},
pages = {83--98},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25141-7\_7},
doi = {10.1007/978-3-319-25141-7\_7},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/HermannsKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BuddeDH15,
author = {Carlos E. Budde and
Pedro R. D'Argenio and
Holger Hermanns},
editor = {Marta Beltr{\'{a}}n and
William J. Knottenbelt and
Jeremy T. Bradley},
title = {Rare Event Simulation with Fully Automated Importance Splitting},
booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW}
2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9272},
pages = {275--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23267-6\_18},
doi = {10.1007/978-3-319-23267-6\_18},
timestamp = {Sat, 19 Oct 2019 19:59:03 +0200},
biburl = {https://dblp.org/rec/conf/epew/BuddeDH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EisentrautGHS015,
author = {Christian Eisentraut and
Jens Chr. Godskesen and
Holger Hermanns and
Lei Song and
Lijun Zhang},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Probabilistic Bisimulation for Realistic Schedulers},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {248--264},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_16},
doi = {10.1007/978-3-319-19249-9\_16},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/EisentrautGHS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Hermanns15,
author = {Holger Hermanns},
editor = {Douglas W. Cunningham and
Petra Hofstedt and
Klaus Meer and
Ingo Schmitt},
title = {Energieinformatik im erdnahen Orbit},
booktitle = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
28 - October 2, 2015},
series = {{LNI}},
volume = {{P-246}},
pages = {41},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2228},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Hermanns15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FioritiH15,
author = {Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns},
editor = {Sriram K. Rajamani and
David Walker},
title = {Probabilistic Termination: Soundness, Completeness, and Compositionality},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {489--501},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677001},
doi = {10.1145/2676726.2677001},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/FioritiH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BungertHP15,
author = {Michael Bungert and
Holger Hermanns and
Reza Pulungan},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {A Compression App for Continuous Probability Distributions},
booktitle = {Quantitative Evaluation of Systems, 12th International Conference,
{QEST} 2015, Madrid, Spain, September 1-3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9259},
pages = {113--121},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_8},
doi = {10.1007/978-3-319-22264-6\_8},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/BungertHP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HatefiBWFHB15,
author = {Hassan Hatefi and
Bettina Braitling and
Ralf Wimmer and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns and
Bernd Becker},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cost vs. Time in Stochastic Games and Markov Automata},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {19--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_2},
doi = {10.1007/978-3-319-25942-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HatefiBWFHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BraitlingFHWBH15,
author = {Bettina Braitling and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Hassan Hatefi and
Ralf Wimmer and
Bernd Becker and
Holger Hermanns},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstraction-Based Computation of Reward Measures for Markov Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {172--189},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_10},
doi = {10.1007/978-3-662-46081-8\_10},
timestamp = {Tue, 07 May 2024 20:11:13 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BraitlingFHWBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FreibergerH15,
author = {Felix Freiberger and
Holger Hermanns},
editor = {Rob J. van Glabbeek and
Jan Friso Groote and
Peter H{\"{o}}fner},
title = {On the Control of Self-Balancing Unicycles},
booktitle = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
{MARS} 2015, Suva, Fiji, November 23, 2015},
series = {{EPTCS}},
volume = {196},
pages = {25--36},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.196.3},
doi = {10.4204/EPTCS.196.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FreibergerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HermannsKN15,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Gilles Nies},
title = {Recharging Probably Keeps Batteries Alive},
journal = {CoRR},
volume = {abs/1502.07120},
year = {2015},
url = {http://arxiv.org/abs/1502.07120},
eprinttype = {arXiv},
eprint = {1502.07120},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HartmannsH15,
author = {Arnd Hartmanns and
Holger Hermanns},
title = {Explicit Model Checking of Very Large {MDP} using Partitioning and
Secondary Storage},
journal = {CoRR},
volume = {abs/1504.02861},
year = {2015},
url = {http://arxiv.org/abs/1504.02861},
eprinttype = {arXiv},
eprint = {1504.02861},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HartmannsH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ButkovaHHK15,
author = {Yuliya Butkova and
Hassan Hatefi and
Holger Hermanns and
Jan Krc{\'{a}}l},
title = {Optimal Continuous Time Markov Decisions},
journal = {CoRR},
volume = {abs/1507.02876},
year = {2015},
url = {http://arxiv.org/abs/1507.02876},
eprinttype = {arXiv},
eprint = {1507.02876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ButkovaHHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuckHHKT14,
author = {Dennis Guck and
Hassan Hatefi and
Holger Hermanns and
Joost{-}Pieter Katoen and
Mark Timmer},
title = {Analysis of Timed and Long-Run Objectives for Markov Automata},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:17)2014},
doi = {10.2168/LMCS-10(3:17)2014},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuckHHKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TurriniH14,
author = {Andrea Turrini and
Holger Hermanns},
title = {Cost Preserving Bisimulations for Probabilistic Automata},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:11)2014},
doi = {10.2168/LMCS-10(4:11)2014},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TurriniH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HahnHH14,
author = {Ernst Moritz Hahn and
Arnd Hartmanns and
Holger Hermanns},
title = {Reachability and Reward Checking for Stochastic Timed Automata},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.968},
doi = {10.14279/TUJ.ECEASST.70.968},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HahnHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JafariKSH14,
author = {Ali Jafari and
Ehsan Khamespanah and
Marjan Sirjani and
Holger Hermanns},
title = {Performance Analysis of Distributed and Asynchronous Systems using
Probabilistic Timed Actors},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.984},
doi = {10.14279/TUJ.ECEASST.70.984},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/JafariKSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/CasaleCH14,
author = {Giuliano Casale and
Ludmila Cherkasova and
Holger Hermanns},
title = {Special Issue on "Quantitative Evaluation of SysTems" {(QEST}
2012)},
journal = {Perform. Evaluation},
volume = {73},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.peva.2013.12.001},
doi = {10.1016/J.PEVA.2013.12.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/CasaleCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Song0HG14,
author = {Lei Song and
Lijun Zhang and
Holger Hermanns and
Jens Chr. Godskesen},
title = {Incremental Bisimulation Abstraction Refinement},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4s},
pages = {142:1--142:23},
year = {2014},
url = {https://doi.org/10.1145/2627352},
doi = {10.1145/2627352},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Song0HG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsKK14,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Probabilistic Bisimulation: Naturally on Distributions},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {249--265},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_18},
doi = {10.1007/978-3-662-44584-6\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Graf-BrillHG14,
author = {Alexander Graf{-}Brill and
Holger Hermanns and
Hubert Garavel},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {A Model-Based Certification Framework for the EnergyBus Standard},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {84--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_6},
doi = {10.1007/978-3-662-43613-4\_6},
timestamp = {Fri, 09 Apr 2021 18:40:15 +0200},
biburl = {https://dblp.org/rec/conf/forte/Graf-BrillHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/ArnoldHPS14,
author = {Florian Arnold and
Holger Hermanns and
Reza Pulungan and
Mari{\"{e}}lle Stoelinga},
editor = {Mart{\'{\i}}n Abadi and
Steve Kremer},
title = {Time-Dependent Analysis of Attacks},
booktitle = {Principles of Security and Trust - Third International Conference,
{POST} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8414},
pages = {285--305},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54792-8\_16},
doi = {10.1007/978-3-642-54792-8\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/ArnoldHPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HartmannsH14,
author = {Arnd Hartmanns and
Holger Hermanns},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {The Modest Toolset: An Integrated Environment for Quantitative Modelling
and Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {593--598},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_51},
doi = {10.1007/978-3-642-54862-8\_51},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HartmannsH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BraitlingFHWBH14,
author = {Bettina Braitling and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Hassan Hatefi and
Ralf Wimmer and
Bernd Becker and
Holger Hermanns},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of
Markov Automata},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {48--63},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.4},
doi = {10.4204/EPTCS.154.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BraitlingFHWBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HermannsKK14,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Probabilistic Bisimulation: Naturally on Distributions},
journal = {CoRR},
volume = {abs/1404.5084},
year = {2014},
url = {http://arxiv.org/abs/1404.5084},
eprinttype = {arXiv},
eprint = {1404.5084},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HashemiHT13,
author = {Vahid Hashemi and
Holger Hermanns and
Andrea Turrini},
title = {On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.895},
doi = {10.14279/TUJ.ECEASST.66.895},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HashemiHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HahnHHK13,
author = {Ernst Moritz Hahn and
Arnd Hartmanns and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {A compositional modelling and analysis framework for stochastic hybrid
systems},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {2},
pages = {191--232},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0167-z},
doi = {10.1007/S10703-012-0167-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/HahnHHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/HermannsH13,
author = {Holger Hermanns and
Arnd Hartmanns},
title = {An Internet Inspired Approach to Power Grid Stability},
journal = {it Inf. Technol.},
volume = {55},
number = {2},
pages = {45--51},
year = {2013},
url = {https://doi.org/10.1524/itit.2013.0006},
doi = {10.1524/ITIT.2013.0006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/HermannsH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaierHHHK13,
author = {Christel Baier and
Ernst Moritz Hahn and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Model checking for performability},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {751--795},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000254},
doi = {10.1017/S0960129512000254},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaierHHHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Song0HG13,
author = {Lei Song and
Lijun Zhang and
Holger Hermanns and
Jens Chr. Godskesen},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Incremental Bisimulation Abstraction Refinement},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.5},
doi = {10.1109/ACSD.2013.5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/Song0HG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EisentrautHK013,
author = {Christian Eisentraut and
Holger Hermanns and
Joost{-}Pieter Katoen and
Lijun Zhang},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {A Semantics for Every {GSPN}},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {90--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_6},
doi = {10.1007/978-3-642-38697-8\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/EisentrautHK013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsT13,
author = {Holger Hermanns and
Andrea Turrini},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Cost Preserving Bisimulations for Probabilistic Automata},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {349--363},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_25},
doi = {10.1007/978-3-642-40184-8\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsKK13,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Compositional Verification and Optimization of Interactive Markov
Chains},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {364--379},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_26},
doi = {10.1007/978-3-642-40184-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/HatefiH13,
author = {Hassan Hatefi and
Holger Hermanns},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Improving Time Bounded Reachability Computations in Interactive Markov
Chains},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {250--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_16},
doi = {10.1007/978-3-642-40213-5\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/HatefiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HahnH13,
author = {Ernst Moritz Hahn and
Holger Hermanns},
editor = {Calin Belta and
Franjo Ivancic},
title = {Rewarding probabilistic hybrid automata},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
PA, {USA}},
pages = {313--322},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461328.2461375},
doi = {10.1145/2461328.2461375},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HahnH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GuckHHKT13,
author = {Dennis Guck and
Hassan Hatefi and
Holger Hermanns and
Joost{-}Pieter Katoen and
Mark Timmer},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {Modelling, Reduction and Analysis of Markov Automata},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {55--71},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_5},
doi = {10.1007/978-3-642-40196-1\_5},
timestamp = {Sat, 30 Sep 2023 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/qest/GuckHHKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/EisentrautHKT013,
author = {Christian Eisentraut and
Holger Hermanns and
Julia Kr{\"{a}}mer and
Andrea Turrini and
Lijun Zhang},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {Deciding Bisimilarities on Distributions},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {72--88},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_6},
doi = {10.1007/978-3-642-40196-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/EisentrautHKT013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EisentrautHST013,
author = {Christian Eisentraut and
Holger Hermanns and
Johann Schuster and
Andrea Turrini and
Lijun Zhang},
editor = {Nir Piterman and
Scott A. Smolka},
title = {The Quest for Minimal Quotients for Probabilistic Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {16--31},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_2},
doi = {10.1007/978-3-642-36742-7\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EisentrautHST013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-7050,
author = {Dennis Guck and
Hassan Hatefi and
Holger Hermanns and
Joost{-}Pieter Katoen and
Mark Timmer},
title = {Modelling, Reduction and Analysis of Markov Automata (extended version)},
journal = {CoRR},
volume = {abs/1305.7050},
year = {2013},
url = {http://arxiv.org/abs/1305.7050},
eprinttype = {arXiv},
eprint = {1305.7050},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-7050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HermannsKK13,
author = {Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Compositional Verification and Optimization of Interactive Markov
Chains},
journal = {CoRR},
volume = {abs/1305.7332},
year = {2013},
url = {http://arxiv.org/abs/1305.7332},
eprinttype = {arXiv},
eprint = {1305.7332},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HermannsKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HatefiH12,
author = {Hassan Hatefi and
Holger Hermanns},
title = {Model Checking Algorithms for Markov Automata},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.783},
doi = {10.14279/TUJ.ECEASST.53.783},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HatefiH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/0001SRHH12,
author = {Lijun Zhang and
Zhikun She and
Stefan Ratschan and
Holger Hermanns and
Ernst Moritz Hahn},
title = {Safety Verification for Probabilistic Hybrid Systems},
journal = {Eur. J. Control},
volume = {18},
number = {6},
pages = {572--587},
year = {2012},
url = {https://doi.org/10.3166/ejc.18.572-587},
doi = {10.3166/EJC.18.572-587},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/0001SRHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEssd/Vogel-HeuserFFL12,
author = {Birgit Vogel{-}Heuser and
Jens Folmer and
Georg Frey and
Liu Liu and
Holger Hermanns and
Arnd Hartmanns},
title = {Modeling of Networked Automation Systems for simulation and model
checking of time behavior},
booktitle = {International Multi-Conference on Systems, Signals {\&} Devices,
{SSD} 2012, Chemnitz, Germany, March 20-23, 2012},
pages = {1--5},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SSD.2012.6197943},
doi = {10.1109/SSD.2012.6197943},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEssd/Vogel-HeuserFFL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FioritiHHW12,
author = {Luis Mar{\'{\i}}a Ferrer Fioriti and
Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Variable Probabilistic Abstraction Refinement},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {300--316},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_24},
doi = {10.1007/978-3-642-33386-6\_24},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FioritiHHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BozgaDHHLLT12,
author = {Marius Bozga and
Alexandre David and
Arnd Hartmanns and
Holger Hermanns and
Kim G. Larsen and
Axel Legay and
Jan Tretmans},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {State-of-the-art tools and techniques for quantitative modeling and
analysis of embedded systems},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {370--375},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176499},
doi = {10.1109/DATE.2012.6176499},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/BozgaDHHLLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HermannsT12,
author = {Holger Hermanns and
Andrea Turrini},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {435--447},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.435},
doi = {10.4230/LIPICS.FSTTCS.2012.435},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HermannsT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilHKKR12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Holger Hermanns and
Jan Krc{\'{a}}l and
Jan Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Verification of Open Interactive Markov Chains},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {474--485},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.474},
doi = {10.4230/LIPICS.FSTTCS.2012.474},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilHKKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HartmannsH12,
author = {Arnd Hartmanns and
Holger Hermanns},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling and Decentralised Runtime Control of Self-stabilising Power
Micro Grids},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {420--439},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_31},
doi = {10.1007/978-3-642-34026-0\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HartmannsH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/FioritiH12,
author = {Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns},
editor = {Jens B. Schmitt},
title = {Heuristics for Probabilistic Timed Automata with Abstraction Refinement},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
{\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7201},
pages = {151--165},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28540-0\_11},
doi = {10.1007/978-3-642-28540-0\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mmb/FioritiH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/BogdollHH12,
author = {Jonathan Bogdoll and
Arnd Hartmanns and
Holger Hermanns},
editor = {Jens B. Schmitt},
title = {Simulation and Statistical Model Checking for Modestly Nondeterministic
Models},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
{\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7201},
pages = {249--252},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28540-0\_20},
doi = {10.1007/978-3-642-28540-0\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmb/BogdollHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BogdollDHH12,
author = {Jonathan Bogdoll and
Alexandre David and
Arnd Hartmanns and
Holger Hermanns},
editor = {Alastair F. Donaldson and
David Parker},
title = {mctau: Bridging the Gap between Modest and {UPPAAL}},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {227--233},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_16},
doi = {10.1007/978-3-642-31759-0\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BogdollDHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Hermanns12,
author = {Holger Hermanns},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Quantitative Models for a Not So Dumb Grid},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_1},
doi = {10.1007/978-3-642-28756-5\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Hermanns12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/HartmannsHB12,
author = {Arnd Hartmanns and
Holger Hermanns and
Pascal Berrang},
editor = {Oliver Rose and
Adelinde M. Uhrmacher},
title = {A comparative analysis of decentralized power grid stabilization strategies},
booktitle = {Winter Simulation Conference, {WSC} '12, Berlin, Germany, December
9-12, 2012},
pages = {158:1--158:13},
publisher = {{WSC}},
year = {2012},
url = {https://doi.org/10.1109/WSC.2012.6465083},
doi = {10.1109/WSC.2012.6465083},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/HartmannsHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-0376,
author = {Holger Hermanns and
Andrea Turrini},
title = {Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time},
journal = {CoRR},
volume = {abs/1205.0376},
year = {2012},
url = {http://arxiv.org/abs/1205.0376},
eprinttype = {arXiv},
eprint = {1205.0376},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-0376.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}
}
@article{DBLP:journals/corr/abs-1104-4983,
author = {Lijun Zhang and
David N. Jansen and
Flemming Nielson and
Holger Hermanns},
title = {Automata-Based {CSL} Model Checking},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-8(2:17)2012},
doi = {10.2168/LMCS-8(2:17)2012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HermannsPSWZ11,
author = {Holger Hermanns and
Augusto Parma and
Roberto Segala and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
title = {Probabilistic Logical Characterization},
journal = {Inf. Comput.},
volume = {209},
number = {2},
pages = {154--172},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.11.024},
doi = {10.1016/J.IC.2010.11.024},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HermannsPSWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nla/DayarHSW11,
author = {Tugrul Dayar and
Holger Hermanns and
David Spieler and
Verena Wolf},
title = {Bounding the equilibrium distribution of Markov population models},
journal = {Numer. Linear Algebra Appl.},
volume = {18},
number = {6},
pages = {931--946},
year = {2011},
url = {https://doi.org/10.1002/nla.795},
doi = {10.1002/NLA.795},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nla/DayarHSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/KatoenZHHJ11,
author = {Joost{-}Pieter Katoen and
Ivan S. Zapreev and
Ernst Moritz Hahn and
Holger Hermanns and
David N. Jansen},
title = {The ins and outs of the probabilistic model checker {MRMC}},
journal = {Perform. Evaluation},
volume = {68},
number = {2},
pages = {90--104},
year = {2011},
url = {https://doi.org/10.1016/j.peva.2010.04.001},
doi = {10.1016/J.PEVA.2010.04.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/KatoenZHHJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HahnHZ11,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Lijun Zhang},
title = {Probabilistic reachability for parametric Markov models},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {1},
pages = {3--19},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0146-x},
doi = {10.1007/S10009-010-0146-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HahnHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrouzenHHDTWBB11,
author = {Pepijn Crouzen and
Ernst Moritz Hahn and
Holger Hermanns and
Abhishek Dhama and
Oliver E. Theel and
Ralf Wimmer and
Bettina Braitling and
Bernd Becker},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {Bounded Fairness for Probabilistic Distributed Algorithms},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {89--97},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.21},
doi = {10.1109/ACSD.2011.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BuchholzHHZ11,
author = {Peter Buchholz and
Ernst Moritz Hahn and
Holger Hermanns and
Lijun Zhang},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Model Checking Algorithms for CTMDPs},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {225--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_19},
doi = {10.1007/978-3-642-22110-1\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BuchholzHHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BogdollFHH11,
author = {Jonathan Bogdoll and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Arnd Hartmanns and
Holger Hermanns},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Partial Order Methods for Statistical Model Checking and Simulation},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {59--74},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_4},
doi = {10.1007/978-3-642-21461-5\_4},
timestamp = {Sun, 02 Jun 2019 21:14:32 +0200},
biburl = {https://dblp.org/rec/conf/forte/BogdollFHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FranzleHHWZ11,
author = {Martin Fr{\"{a}}nzle and
Ernst Moritz Hahn and
Holger Hermanns and
Nicol{\'{a}}s Wolovick and
Lijun Zhang},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Measurability and safety verification for stochastic hybrid systems},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {43--52},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967710},
doi = {10.1145/1967701.1967710},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FranzleHHWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ZhangJNH11,
author = {Lijun Zhang and
David N. Jansen and
Flemming Nielson and
Holger Hermanns},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Automata-Based {CSL} Model Checking},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {271--282},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_21},
doi = {10.1007/978-3-642-22012-8\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ZhangJNH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WimmerHHB11,
author = {Ralf Wimmer and
Ernst Moritz Hahn and
Holger Hermanns and
Bernd Becker},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Reachability analysis for incomplete networks of Markov decision processes},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {151--160},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970522},
doi = {10.1109/MEMCOD.2011.5970522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/WimmerHHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Hermanns11,
author = {Holger Hermanns},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Formal Methods in Energy Informatics},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {1--2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_1},
doi = {10.1007/978-3-642-24690-6\_1},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Hermanns11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/GrafHKPVV11,
author = {Hernan Baro Graf and
Holger Hermanns and
Juhi Kulshrestha and
Jens Peter and
Anjo Vahldiek and
Aravind Vasudevan},
title = {A verified wireless safety critical hard real-time design},
booktitle = {12th {IEEE} International Symposium on a World of Wireless, Mobile
and Multimedia Networks, {WOWMOM} 2011, Lucca, Italy, 20-24 June,
2011},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WoWMoM.2011.5986386},
doi = {10.1109/WOWMOM.2011.5986386},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wowmom/GrafHKPVV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/HermannsZ11,
author = {Holger Hermanns and
Lijun Zhang},
editor = {Manfred Broy and
Christian Leuxner and
Tony Hoare},
title = {From Concurrency Models to Numbers - Performance and Dependability},
booktitle = {Software and Systems Safety - Specification and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {30},
pages = {182--210},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-711-6-182},
doi = {10.3233/978-1-60750-711-6-182},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/HermannsZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BoehmGHS11,
author = {Hans{-}Juergen Boehm and
Ursula Goltz and
Holger Hermanns and
Peter Sewell},
title = {Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar
11011)},
journal = {Dagstuhl Reports},
volume = {1},
number = {1},
pages = {1--26},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.1.1},
doi = {10.4230/DAGREP.1.1.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BoehmGHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BaierHHK10,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Performance evaluation and model checking join forces},
journal = {Commun. {ACM}},
volume = {53},
number = {9},
pages = {76--85},
year = {2010},
url = {https://doi.org/10.1145/1810891.1810912},
doi = {10.1145/1810891.1810912},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BaierHHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BaierCHHK10,
author = {Christel Baier and
Lucia Cloth and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Performability assessment by model checking of Markov reward models},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {1},
pages = {1--36},
year = {2010},
url = {https://doi.org/10.1007/s10703-009-0088-7},
doi = {10.1007/S10703-009-0088-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BaierCHHK10.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}
}
@article{DBLP:journals/sttt/MaderBUJHH10,
author = {Angelika Mader and
Henrik C. Bohnenkamp and
Yaroslav S. Usenko and
David N. Jansen and
Johann L. Hurink and
Holger Hermanns},
title = {Synthesis and stochastic assessment of cost-optimal schedules},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {305--318},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0129-y},
doi = {10.1007/S10009-009-0129-Y},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MaderBUJHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrouzenH10,
author = {Pepijn Crouzen and
Holger Hermanns},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {Aggregation Ordering for Massively Compositional Models},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.28},
doi = {10.1109/ACSD.2010.28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/CrouzenH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangSRHH10,
author = {Lijun Zhang and
Zhikun She and
Stefan Ratschan and
Holger Hermanns and
Ernst Moritz Hahn},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Safety Verification for Probabilistic Hybrid Systems},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {196--211},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_21},
doi = {10.1007/978-3-642-14295-6\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ZhangSRHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnHWZ10,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {{PARAM:} {A} Model Checker for Parametric Markov Models},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {660--664},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_56},
doi = {10.1007/978-3-642-14295-6\_56},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnHWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EisentrautHZ10,
author = {Christian Eisentraut and
Holger Hermanns and
Lijun Zhang},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Concurrency and Composition in a Stochastic World},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {21--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_3},
doi = {10.1007/978-3-642-15375-4\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/EisentrautHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HermannsLRT10,
author = {Holger Hermanns and
Kim Guldstrand Larsen and
Jean{-}Fran{\c{c}}ois Raskin and
Jan Tretmans},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Quantitative system validation in model driven design},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {301--302},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879062},
doi = {10.1145/1879021.1879062},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HermannsLRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CosteGHLMS10,
author = {Nicolas Coste and
Hubert Garavel and
Holger Hermanns and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu and
Wendelin Serwe},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Ten Years of Performance Evaluation for Concurrent Systems Using {CADP}},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {128--142},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_18},
doi = {10.1007/978-3-642-16561-0\_18},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/CosteGHLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EisentrautHZ10,
author = {Christian Eisentraut and
Holger Hermanns and
Lijun Zhang},
title = {On Probabilistic Automata in Continuous Time},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {342--351},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.41},
doi = {10.1109/LICS.2010.41},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/EisentrautHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FietzkeHW10,
author = {Arnaud Fietzke and
Holger Hermanns and
Christoph Weidenbach},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Superposition-Based Analysis of First-Order Probabilistic Timed Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {302--316},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_22},
doi = {10.1007/978-3-642-16242-8\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FietzkeHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerBBHCHDT10,
author = {Ralf Wimmer and
Bettina Braitling and
Bernd Becker and
Ernst Moritz Hahn and
Pepijn Crouzen and
Holger Hermanns and
Abhishek Dhama and
Oliver E. Theel},
title = {Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic
Systems},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.12},
doi = {10.1109/QEST.2010.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerBBHCHDT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnHWZ10,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Javier Esparza and
Rupak Majumdar},
title = {{PASS:} Abstraction Refinement for Infinite Probabilistic Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {353--357},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_30},
doi = {10.1007/978-3-642-12002-2\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnHWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10271,
editor = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
title = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10271},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10271/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeckerCHT10,
author = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
editor = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
title = {10271 Abstracts Collection - Verification over discrete-continuous
boundaries},
booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10271},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2792/},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeckerCHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HahnHWZ09,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
title = {Time-Bounded Model Checking of Infinite-State Continuous-Time Markov
Chains},
journal = {Fundam. Informaticae},
volume = {95},
number = {1},
pages = {129--155},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-145},
doi = {10.3233/FI-2009-145},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HahnHWZ09.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/cav/CosteHLS09,
author = {Nicolas Coste and
Holger Hermanns and
Etienne Lantreibecq and
Wendelin Serwe},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Towards Performance Prediction of Compositional Models in Industrial
{GALS} Designs},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {204--218},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_18},
doi = {10.1007/978-3-642-02658-4\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CosteHLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnHWZ09,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{INFAMY:} An Infinite-State Markov Model Checker},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {641--647},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_49},
doi = {10.1007/978-3-642-02658-4\_49},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnHWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/HermannsW09,
author = {Holger Hermanns and
Holger Wiechmann},
title = {Future Design Challenges for Electric Energy Supply},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
de Mallorca, Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ETFA.2009.5347150},
doi = {10.1109/ETFA.2009.5347150},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/HermannsW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HermannsK09,
author = {Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The How and Why of Interactive Markov Chains},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {311--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_16},
doi = {10.1007/978-3-642-17071-3\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HermannsK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PulunganH09,
author = {Reza Pulungan and
Holger Hermanns},
title = {Acyclic Minimality by Construction---Almost},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {63--72},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.45},
doi = {10.1109/QEST.2009.45},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/PulunganH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KatoenZHHJ09,
author = {Joost{-}Pieter Katoen and
Ivan S. Zapreev and
Ernst Moritz Hahn and
Holger Hermanns and
David N. Jansen},
title = {The Ins and Outs of the Probabilistic Model Checker {MRMC}},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.11},
doi = {10.1109/QEST.2009.11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/KatoenZHHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HartmannsH09,
author = {Arnd Hartmanns and
Holger Hermanns},
title = {A Modest Approach to Checking Probabilistic Timed Automata},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {187--196},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.41},
doi = {10.1109/QEST.2009.41},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/HartmannsH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BogdollHZ09,
author = {Jonathan Bogdoll and
Holger Hermanns and
Lijun Zhang},
title = {FlowSim Simulation Benchmarking Platform},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {211--212},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.20},
doi = {10.1109/QEST.2009.20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BogdollHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HahnHZ09,
author = {Ernst Moritz Hahn and
Holger Hermanns and
Lijun Zhang},
editor = {Corina S. Pasareanu},
title = {Probabilistic Reachability for Parametric Markov Models},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {88--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_10},
doi = {10.1007/978-3-642-02652-2\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HahnHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DhamaTCHWB09,
author = {Abhishek Dhama and
Oliver E. Theel and
Pepijn Crouzen and
Holger Hermanns and
Ralf Wimmer and
Bernd Becker},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Dependability Engineering of Silent Self-stabilizing Systems},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {238--253},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_17},
doi = {10.1007/978-3-642-05118-0\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/DhamaTCHWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaierH08,
author = {Christel Baier and
Holger Hermanns},
title = {Special issue: {CONCUR} 2006},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {491},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.11.005},
doi = {10.1016/J.IC.2007.11.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BaierH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ZhangHEJ08,
author = {Lijun Zhang and
Holger Hermanns and
Friedrich Eisenbrand and
David N. Jansen},
title = {Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:6)2008},
doi = {10.2168/LMCS-4(4:6)2008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ZhangHEJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HermannsP08,
author = {Holger Hermanns and
Jens Palsberg},
title = {Improving the effectiveness of system verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {2},
pages = {111--112},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0060-z},
doi = {10.1007/S10009-007-0060-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HermannsP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EisentrautH08,
author = {Christian Eisentraut and
Holger Hermanns},
title = {Teaching Concurrency Concepts to Freshmen},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {35--53},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_3},
doi = {10.1007/978-3-540-89287-8\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/EisentrautH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ZhangHHW08,
author = {Lijun Zhang and
Holger Hermanns and
Ernst Moritz Hahn and
Bj{\"{o}}rn Wachter},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {Time-bounded model checking of infinite-state continuous-time Markov
chains},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {98--107},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574601},
doi = {10.1109/ACSD.2008.4574601},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/ZhangHHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/PulunganH08,
author = {Reza Pulungan and
Holger Hermanns},
editor = {Khalid Al{-}Begain and
Armin Heindl and
Mikl{\'{o}}s Telek},
title = {Effective Minimization of Acyclic Phase-Type Representations},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications, 15th
International Conference, {ASMTA} 2008, Nicosia, Cyprus, June 4-6,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5055},
pages = {128--143},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68982-9\_10},
doi = {10.1007/978-3-540-68982-9\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/asmta/PulunganH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaierHHK08,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Reachability in continuous-time Markov reward decision processes},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {53--72},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 22:14:40 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BaierHHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HermannsWZ08,
author = {Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Aarti Gupta and
Sharad Malik},
title = {Probabilistic {CEGAR}},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {162--175},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_16},
doi = {10.1007/978-3-540-70545-1\_16},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/HermannsWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CrouzenHZ08,
author = {Pepijn Crouzen and
Holger Hermanns and
Lijun Zhang},
editor = {Franck van Breugel and
Marsha Chechik},
title = {On the Minimisation of Acyclic Models},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {295--309},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_25},
doi = {10.1007/978-3-540-85361-9\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/CrouzenHZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CosteGHHTZ08,
author = {Nicolas Coste and
Hubert Garavel and
Holger Hermanns and
Richard Hersemeule and
Yvain Thonnart and
Meriem Zidouni},
editor = {Donatella Sciuto},
title = {Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor
Multithreaded Architectures},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {88--89},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484666},
doi = {10.1109/DATE.2008.4484666},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CosteGHHTZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BogdollHZ08,
author = {Jonathan Bogdoll and
Holger Hermanns and
Lijun Zhang},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {An Experimental Evaluation of Probabilistic Simulation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {37--52},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_3},
doi = {10.1007/978-3-540-68855-6\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BogdollHZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FranzleHT08,
author = {Martin Fr{\"{a}}nzle and
Holger Hermanns and
Tino Teige},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {Stochastic Satisfiability Modulo Theory: {A} Novel Technique for the
Analysis of Probabilistic Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {172--186},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_13},
doi = {10.1007/978-3-540-78929-1\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FranzleHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/HermannsJ08,
author = {Holger Hermanns and
Sven Johr},
editor = {Falko Bause and
Peter Buchholz},
title = {May we reach it? Or must we? In what time? With what probability?},
booktitle = {Proceedings 14th {GI/ITG} Conference on Measurement, Modelling and
Evaluation of Computer and Communication Systems {(MMB} 2008), March
31 - April 2, 2008, Dortmund, Germany},
pages = {125--140},
publisher = {{VDE} Verlag},
year = {2008},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/mmb/HermannsJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/PulunganH08,
author = {Reza Pulungan and
Holger Hermanns},
editor = {Falko Bause and
Peter Buchholz},
title = {The Minimal Representation of the Maximum of Erlang Distributions},
booktitle = {Proceedings 14th {GI/ITG} Conference on Measurement, Modelling and
Evaluation of Computer and Communication Systems {(MMB} 2008), March
31 - April 2, 2008, Dortmund, Germany},
pages = {207--222},
publisher = {{VDE} Verlag},
year = {2008},
timestamp = {Wed, 25 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmb/PulunganH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WimmerDH08,
author = {Ralf Wimmer and
Salem Derisavi and
Holger Hermanns},
title = {Symbolic Partition Refinement with Dynamic Balancing of Time and Space},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.14},
doi = {10.1109/QEST.2008.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WimmerDH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-3651,
author = {Lijun Zhang and
Holger Hermanns and
Friedrich Eisenbrand and
David N. Jansen},
title = {Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations},
journal = {CoRR},
volume = {abs/0808.3651},
year = {2008},
url = {http://arxiv.org/abs/0808.3651},
eprinttype = {arXiv},
eprint = {0808.3651},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-3651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ZhangH07,
author = {Lijun Zhang and
Holger Hermanns},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Deciding Simulations on Probabilistic Automata},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {207--222},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_16},
doi = {10.1007/978-3-540-75596-8\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ZhangH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HermannsJ07,
author = {Holger Hermanns and
Sven Johr},
title = {Uniformity by Construction in the Analysis of Nondeterministic Stochastic
Systems},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {718--728},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.96},
doi = {10.1109/DSN.2007.96},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/HermannsJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GrossHP07,
author = {Christian Gro{\ss} and
Holger Hermanns and
Reza Pulungan},
editor = {Eduardo Tovar and
Philippas Tsigas and
Hac{\`{e}}ne Fouchal},
title = {Does Clock Precision Influence ZigBee's Energy Consumptions?},
booktitle = {Principles of Distributed Systems, 11th International Conference,
{OPODIS} 2007, Guadeloupe, French West Indies, December 17-20, 2007.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4878},
pages = {174--188},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77096-1\_13},
doi = {10.1007/978-3-540-77096-1\_13},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/GrossHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WachterZH07,
author = {Bj{\"{o}}rn Wachter and
Lijun Zhang and
Holger Hermanns},
title = {Probabilistic Model Checking Modulo Theories},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {129--140},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.10},
doi = {10.1109/QEST.2007.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/WachterZH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ZhangHEJ07,
author = {Lijun Zhang and
Holger Hermanns and
Friedrich Eisenbrand and
David N. Jansen},
editor = {Orna Grumberg and
Michael Huth},
title = {Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {155--169},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_14},
doi = {10.1007/978-3-540-71209-1\_14},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ZhangHEJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BohnenkampHK07,
author = {Henrik C. Bohnenkamp and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Orna Grumberg and
Michael Huth},
title = {motor: The modestTool Environment},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {500--504},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_38},
doi = {10.1007/978-3-540-71209-1\_38},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BohnenkampHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
editor = {Werner Damm and
Holger Hermanns},
title = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3},
doi = {10.1007/978-3-540-73368-3},
isbn = {978-3-540-73367-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BohnenkampDHK06,
author = {Henrik C. Bohnenkamp and
Pedro R. D'Argenio and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {{MODEST:} {A} Compositional Modeling Formalism for Hard and Softly
Timed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {10},
pages = {812--830},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.104},
doi = {10.1109/TSE.2006.104},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BohnenkampDHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BujorianuBH06,
author = {Manuela{-}Luminita Bujorianu and
Henk A. P. Blom and
Holger Hermanns},
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {Functional Abstractions of stochastic Hybrid Systems},
booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
volume = {39},
number = {5},
pages = {160--165},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00031},
doi = {10.3182/20060607-3-IT-3902.00031},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BujorianuBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WimmerHHSB06,
author = {Ralf Wimmer and
Marc Herbstritt and
Holger Hermanns and
Kelley Strampp and
Bernd Becker},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Sigref- {A} Symbolic Bisimulation Tool Box},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {477--492},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_35},
doi = {10.1007/11901914\_35},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/WimmerHHSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BodeHHJPPWB06,
author = {Eckard B{\"{o}}de and
Marc Herbstritt and
Holger Hermanns and
Sven Johr and
Thomas Peikenkamp and
Reza Pulungan and
Ralf Wimmer and
Bernd Becker},
title = {Compositional Performability Evaluation for {STATEMATE}},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {167--178},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.10},
doi = {10.1109/QEST.2006.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BodeHHJPPWB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2006,
editor = {Christel Baier and
Holger Hermanns},
title = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949},
doi = {10.1007/11817949},
isbn = {3-540-37376-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
editor = {Holger Hermanns and
Jens Palsberg},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372},
doi = {10.1007/11691372},
isbn = {3-540-33056-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BattBEFHHKMMNSU06,
author = {Gr{\'{e}}gory Batt and
Jeremy T. Bradley and
Roland Ewald and
Fran{\c{c}}ois Fages and
Holger Hermanns and
Jane Hillston and
Peter Kemper and
Alke Martens and
Pieter J. Mosterman and
Flemming Nielson and
Oleg Sokolsky and
Adelinde M. Uhrmacher},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {06161 Working Groups' Report: The Challlenge of Combining Simulation
and Verification},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/724},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BattBEFHHKMMNSU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaierKHW05,
author = {Christel Baier and
Joost{-}Pieter Katoen and
Holger Hermanns and
Verena Wolf},
title = {Comparative branching-time semantics for Markov chains},
journal = {Inf. Comput.},
volume = {200},
number = {2},
pages = {149--214},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.03.001},
doi = {10.1016/J.IC.2005.03.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BaierKHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LohreyDH05,
author = {Markus Lohrey and
Pedro R. D'Argenio and
Holger Hermanns},
title = {Axiomatising divergence},
journal = {Inf. Comput.},
volume = {203},
number = {2},
pages = {115--144},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.05.007},
doi = {10.1016/J.IC.2005.05.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LohreyDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/BaierHHK05,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Model checking meets performance evaluation},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {32},
number = {4},
pages = {10--15},
year = {2005},
url = {https://doi.org/10.1145/1059816.1059819},
doi = {10.1145/1059816.1059819},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/BaierHHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/JansenH05,
author = {David N. Jansen and
Holger Hermanns},
title = {QoS modelling and analysis with UML-statecharts: the StoCharts approach},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {32},
number = {4},
pages = {28--33},
year = {2005},
url = {https://doi.org/10.1145/1059816.1059822},
doi = {10.1145/1059816.1059822},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/JansenH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaierHKH05,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen and
Boudewijn R. Haverkort},
title = {Efficient computation of time-bounded reachability probabilities in
uniform continuous-time Markov decision processes},
journal = {Theor. Comput. Sci.},
volume = {345},
number = {1},
pages = {2--26},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.07.022},
doi = {10.1016/J.TCS.2005.07.022},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaierHKH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AljazzarHL05,
author = {Husain Aljazzar and
Holger Hermanns and
Stefan Leue},
editor = {Paul Pettersson and
Wang Yi},
title = {Counterexamples for Timed Probabilistic Reachability},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {177--195},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_15},
doi = {10.1007/11603009\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AljazzarHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangHJ05,
author = {Lijun Zhang and
Holger Hermanns and
David N. Jansen},
editor = {Farn Wang},
title = {Logic and Model Checking for Hidden Markov Models},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {98--112},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_9},
doi = {10.1007/11562436\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/ZhangHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/HermannsJU05,
author = {Holger Hermanns and
David N. Jansen and
Yaroslav S. Usenko},
title = {From StoCharts to MoDeST: a comparative reliability analysis of train
radio communications},
booktitle = {Proceedings of the Fifth International Workshop on Software and Performance,
{WOSP} 2005, Palma, Illes Balears, Spain, July 12-14, 2005},
pages = {13--23},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1071021.1071023},
doi = {10.1145/1071021.1071023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/HermannsJU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaierHKW06,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen and
Verena Wolf},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Bisimulation and Simulation Relations for Markov Chains},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {73--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.078},
doi = {10.1016/J.ENTCS.2005.12.078},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BaierHKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiHK06,
author = {Mario Bravetti and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {{YMCA:} - Why Markov Chain Algebra? -},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {107--112},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.108},
doi = {10.1016/J.ENTCS.2005.12.108},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BravettiHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BaierHK04,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Probabilistic weak simulation is decidable in polynomial time},
journal = {Inf. Process. Lett.},
volume = {89},
number = {3},
pages = {123--130},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2003.10.001},
doi = {10.1016/J.IPL.2003.10.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BaierHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BohnenkampHJKU04,
author = {Henrik C. Bohnenkamp and
Holger Hermanns and
David N. Jansen and
Joost{-}Pieter Katoen and
Yaroslav S. Usenko},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {An industrial-strength formal method -- {A} Modest survey},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {284--295},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/BohnenkampHJKU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BohnenkampHKMU04,
author = {Henrik C. Bohnenkamp and
Holger Hermanns and
Ric Klaren and
Angelika Mader and
Yaroslav S. Usenko},
title = {Synthesis and Stochastic Assessment of Schedules for Lacquer Production},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {28--37},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348013},
doi = {10.1109/QEST.2004.1348013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BohnenkampHKMU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JansenH04,
author = {David N. Jansen and
Holger Hermanns},
title = {Dependability Checking with StoCharts: Is Train Radio Reliable Enough
for Trains?},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {250--259},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348039},
doi = {10.1109/QEST.2004.1348039},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/JansenH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KatoenBKH04,
author = {Joost{-}Pieter Katoen and
Henrik C. Bohnenkamp and
Ric Klaren and
Holger Hermanns},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Embedded Software Analysis with {MOTOR}},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {268--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_9},
doi = {10.1007/978-3-540-30080-9\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KatoenBKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BaierHHK04,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Efficient Computation of Time-Bounded Reachability Probabilities in
Uniform Continuous-Time Markov Decision Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {61--76},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_5},
doi = {10.1007/978-3-540-24730-2\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BaierHHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/voss/2004,
editor = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen and
Markus Siegle},
title = {Validation of Stochastic Systems - {A} Guide to Current Research},
series = {Lecture Notes in Computer Science},
volume = {2925},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98484},
doi = {10.1007/B98484},
isbn = {3-540-22265-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/voss/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DerisaviHS03,
author = {Salem Derisavi and
Holger Hermanns and
William H. Sanders},
title = {Optimal state-space lumping in Markov chains},
journal = {Inf. Process. Lett.},
volume = {87},
number = {6},
pages = {309--315},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(03)00343-0},
doi = {10.1016/S0020-0190(03)00343-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DerisaviHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HermannsKNPS03,
author = {Holger Hermanns and
Marta Z. Kwiatkowska and
Gethin Norman and
David Parker and
Markus Siegle},
title = {On the use of MTBDDs for performability analysis and verification
of stochastic systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {56},
number = {1-2},
pages = {23--67},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(02)00066-8},
doi = {10.1016/S1567-8326(02)00066-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/HermannsKNPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HermannsKMS03,
author = {Holger Hermanns and
Joost{-}Pieter Katoen and
Joachim Meyer{-}Kayser and
Markus Siegle},
title = {A tool for model-checking Markov chains},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {2},
pages = {153--172},
year = {2003},
url = {https://doi.org/10.1007/s100090100072},
doi = {10.1007/S100090100072},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HermannsKMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaierHHK03,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Model-Checking Algorithms for Continuous-Time Markov Chains},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {6},
pages = {524--541},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1205180},
doi = {10.1109/TSE.2003.1205180},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BaierHHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaierHKW03,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen and
Verena Wolf},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Comparative Branching-Time Semantics},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {482--497},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_32},
doi = {10.1007/978-3-540-45187-7\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaierHKW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/BohnenkampHKK03,
author = {Henrik C. Bohnenkamp and
Holger Hermanns and
Joost{-}Pieter Katoen and
Ric Klaren},
editor = {Peter Kemper and
William H. Sanders},
title = {The Modest Modeling Tool and Its Implementation},
booktitle = {Computer Performance Evaluations, Modelling Techniques and Tools.
13th International Conference, {TOOLS} 2003, Urbana, IL, USA, September
2-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2794},
pages = {116--133},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45232-4\_8},
doi = {10.1007/978-3-540-45232-4\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cpe/BohnenkampHKK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BohnenkampSHV03,
author = {Henrik C. Bohnenkamp and
Peter van der Stok and
Holger Hermanns and
Frits W. Vaandrager},
title = {Cost-Optimization of the IPv4 Zeroconf Protocol},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
pages = {531--540},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSN.2003.1209963},
doi = {10.1109/DSN.2003.1209963},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BohnenkampSHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BohnenkampCDDHKKLS03,
author = {Henrik C. Bohnenkamp and
Tod Courtney and
David Daly and
Salem Derisavi and
Holger Hermanns and
Joost{-}Pieter Katoen and
Ric Klaren and
Vinh Vi Lam and
William H. Sanders},
title = {On Integrating the M{\"{O}}BIUS and {MODEST} Modeling Tools},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
pages = {671},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSN.2003.1209980},
doi = {10.1109/DSN.2003.1209980},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BohnenkampCDDHKKLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HermannsKMS03,
author = {Holger Hermanns and
Joost{-}Pieter Katoen and
Joachim Meyer{-}Kayser and
Markus Siegle},
title = {{ETMCC:} Model Checking Performability Properties of Markov Chains},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
pages = {673},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSN.2003.1209982},
doi = {10.1109/DSN.2003.1209982},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/HermannsKMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndovaHK03,
author = {Suzana Andova and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Discrete-Time Rewards Model-Checked},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {88--104},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_8},
doi = {10.1007/978-3-540-40903-8\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AndovaHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HermannsJ03,
author = {Holger Hermanns and
Christophe Joubert},
editor = {Hubert Garavel and
John Hatcliff},
title = {A Set of Performance and Dependability Analysis Components for {CADP}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {425--430},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_30},
doi = {10.1007/3-540-36577-X\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HermannsJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/JansenHK03,
author = {David N. Jansen and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Perdita Stevens and
Jon Whittle and
Grady Booch},
title = {A QoS-Oriented Extension of {UML} Statecharts},
booktitle = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
Modeling Languages and Applications, 6th International Conference,
San Francisco, CA, USA, October 20-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2863},
pages = {76--91},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45221-8\_7},
doi = {10.1007/978-3-540-45221-8\_7},
timestamp = {Tue, 24 May 2022 15:28:50 +0200},
biburl = {https://dblp.org/rec/conf/uml/JansenHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Hermanns02,
author = {Holger Hermanns},
title = {Interactive Markov Chains: The Quest for Quantified Quality},
series = {Lecture Notes in Computer Science},
volume = {2428},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45804-2},
doi = {10.1007/3-540-45804-2},
isbn = {3-540-44261-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Hermanns02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HermannsK02,
author = {Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Guest editors' introduction: Model checking in a nutshell},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {1--5},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00030-9},
doi = {10.1016/S1567-8326(02)00030-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/HermannsK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HermannsHK02,
author = {Holger Hermanns and
Ulrich Herzog and
Joost{-}Pieter Katoen},
title = {Process algebra for performance evaluation},
journal = {Theor. Comput. Sci.},
volume = {274},
number = {1-2},
pages = {43--87},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00305-4},
doi = {10.1016/S0304-3975(00)00305-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HermannsHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaierKHH02,
author = {Christel Baier and
Joost{-}Pieter Katoen and
Holger Hermanns and
Boudewijn R. Haverkort},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Simulation for Continuous-Time Markov Chains},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {338--354},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_23},
doi = {10.1007/3-540-45694-5\_23},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaierKHH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HaverkortCHK02,
author = {Boudewijn R. Haverkort and
Lucia Cloth and
Holger Hermanns and
Joost{-}Pieter Katoen and
Christel Baier},
title = {Model Checking Performability Properties},
booktitle = {2002 International Conference on Dependable Systems and Networks {(DSN}
2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DSN.2002.1028891},
doi = {10.1109/DSN.2002.1028891},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/HaverkortCHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GaravelH02,
author = {Hubert Garavel and
Holger Hermanns},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {On Combining Functional Verification and Performance Evaluation Using
{CADP}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {410--429},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_23},
doi = {10.1007/3-540-45614-7\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GaravelH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JansenHK02,
author = {David N. Jansen and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Probabilistic Extension of {UML} Statecharts},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {355--374},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_21},
doi = {10.1007/3-540-45739-9\_21},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JansenHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LohreyDH02,
author = {Markus Lohrey and
Pedro R. D'Argenio and
Holger Hermanns},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Axiomatising Divergence},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {585--596},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_50},
doi = {10.1007/3-540-45465-9\_50},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LohreyDH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/performance/BaierHHK02,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Mariacarla Calzarossa and
Salvatore Tucci},
title = {Automated Performance and Dependability Evaluation Using Model Checking},
booktitle = {Performance Evaluation of Complex Systems: Techniques and Tools, Performance
2002, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {2459},
pages = {261--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45798-4\_12},
doi = {10.1007/3-540-45798-4\_12},
timestamp = {Thu, 14 Oct 2021 09:51:33 +0200},
biburl = {https://dblp.org/rec/conf/performance/BaierHHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/papm/2002,
editor = {Holger Hermanns and
Roberto Segala},
title = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification, Second Joint International Workshop {PAPM-PROBMIV} 2002,
Copenhagen, Denmark, July 25-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2399},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45605-8},
doi = {10.1007/3-540-45605-8},
isbn = {3-540-43913-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papm/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Hermanns01,
author = {Holger Hermanns},
title = {Construction and Verification of Performance and Reliability Models},
journal = {Bull. {EATCS}},
volume = {74},
pages = {135--153},
year = {2001},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Hermanns01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsK01,
author = {Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Performance Evaluation : = (Process Algebra + Model Checking) {\texttimes}
Markov Chains},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {59--81},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_6},
doi = {10.1007/3-540-44685-0\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/LopezHK01,
author = {Gabriel G. Infante L{\'{o}}pez and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {Beyond Memoryless Distributions: Model Checking Semi-Markov Chains},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
pages = {57--70},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7\_4},
doi = {10.1007/3-540-44804-7\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/papm/LopezHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/DArgenioHKK01,
author = {Pedro R. D'Argenio and
Holger Hermanns and
Joost{-}Pieter Katoen and
Ric Klaren},
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {MoDeST - {A} Modelling and Description Language for Stochastic Timed
Systems},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
pages = {87--104},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7\_6},
doi = {10.1007/3-540-44804-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papm/DArgenioHKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eef/2000,
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44667-2},
doi = {10.1007/3-540-44667-2},
isbn = {3-540-42479-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eef/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/HermannsHKMS00,
author = {Holger Hermanns and
Ulrich Herzog and
Ulrich Klehmet and
Vassilis Mertsiotakis and
Markus Siegle},
title = {Compositional performance modelling with the TIPPtool},
journal = {Perform. Evaluation},
volume = {39},
number = {1-4},
pages = {5--35},
year = {2000},
url = {https://doi.org/10.1016/S0166-5316(99)00056-5},
doi = {10.1016/S0166-5316(99)00056-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/HermannsHKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HermannsK00,
author = {Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Automated compositional Markov chain generation for a plain-old telephone
system},
journal = {Sci. Comput. Program.},
volume = {36},
number = {1},
pages = {97--127},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00019-2},
doi = {10.1016/S0167-6423(99)00019-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HermannsK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaierHHK00,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Model Checking Continuous-Time Markov Chains by Transient Analysis},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {358--372},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_28},
doi = {10.1007/10722167\_28},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BaierHHK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/BrinksmaH00,
author = {Ed Brinksma and
Holger Hermanns},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Process Algebra and Markov Chains},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {183--231},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_5},
doi = {10.1007/3-540-44667-2\_5},
timestamp = {Sat, 30 Sep 2023 09:39:42 +0200},
biburl = {https://dblp.org/rec/conf/eef/BrinksmaH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaierHHK00,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {On the Logical Characterisation of Performability Properties},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {780--792},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_65},
doi = {10.1007/3-540-45022-X\_65},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BaierHHK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HermannsKMS00,
author = {Holger Hermanns and
Joost{-}Pieter Katoen and
Joachim Meyer{-}Kayser and
Markus Siegle},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Towards Model Checking Stochastic Process Algebra},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {420--439},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_24},
doi = {10.1007/3-540-40911-4\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HermannsKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HaverkortHK00,
author = {Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {On the Use of Model Checking Techniques for Dependability Evaluation},
booktitle = {19th {IEEE} Symposium on Reliable Distributed Systems, SRDS'00, N{\"{u}}rnberg,
Germany, October 16-18, 2000, Proceedings},
pages = {228--237},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RELDI.2000.885410},
doi = {10.1109/RELDI.2000.885410},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/srds/HaverkortHK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HermannsKMS00,
author = {Holger Hermanns and
Joost{-}Pieter Katoen and
Joachim Meyer{-}Kayser and
Markus Siegle},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {A Markov Chain Model Checker},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {347--362},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_24},
doi = {10.1007/3-540-46419-0\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HermannsKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hermanns99,
author = {Holger Hermanns},
title = {Interactive Markov chains = Interaktive Markovketten},
school = {University of Erlangen-Nuremberg, Germany},
year = {1999},
url = {https://d-nb.info/95776152X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hermanns99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/HermannsS99,
author = {Holger Hermanns and
Markus Siegle},
editor = {Joost{-}Pieter Katoen},
title = {Bisimulation Algorithms for Stochastic Process Algebras and Their
BDD-Based Implementation},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {244--264},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_15},
doi = {10.1007/3-540-48778-6\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/HermannsS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HermannsMS99,
author = {Holger Hermanns and
Vassilis Mertsiotakis and
Markus Siegle},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {TIPPtool: Compositional Specification and Analysis of Markovian Performance
Models},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {487--490},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_42},
doi = {10.1007/3-540-48683-6\_42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HermannsMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaierKH99,
author = {Christel Baier and
Joost{-}Pieter Katoen and
Holger Hermanns},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Approximate Symbolic Model Checking of Continuous-Time Markov Chains},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {146--161},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_12},
doi = {10.1007/3-540-48320-9\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaierKH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HermannsS99,
author = {Holger Hermanns and
Markus Siegle},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Symbolic Minimisation of Stochastic Process Algebra Models},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {73--82},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Thu, 27 Mar 2003 09:47:32 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HermannsS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/HermannsHM98,
author = {Holger Hermanns and
Ulrich Herzog and
Vassilis Mertsiotakis},
title = {Stochastic Process Algebras - Between {LOTOS} and Markov Chains},
journal = {Comput. Networks},
volume = {30},
number = {9-10},
pages = {901--924},
year = {1998},
url = {https://doi.org/10.1016/S0169-7552(97)00133-5},
doi = {10.1016/S0169-7552(97)00133-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/HermannsHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermannsL98,
author = {Holger Hermanns and
Markus Lohrey},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Priority and Maximal Progress Are Completely Axioatisable (Extended
Abstract)},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {237--252},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055626},
doi = {10.1007/BFB0055626},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HermannsL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/HermannsHKMS98,
author = {Holger Hermanns and
Ulrich Herzog and
Ulrich Klehmet and
Vassilis Mertsiotakis and
Markus Siegle},
editor = {Ram{\'{o}}n Puigjaner and
Nunzio N. Savino and
Bartomeu Serra},
title = {Compositional Performance Modelling with TIPPtool},
booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, 10th
International Conference, Tools '98, Palma de Mallorca, Spain, September
14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1469},
pages = {51--62},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68061-6\_5},
doi = {10.1007/3-540-68061-6\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpe/HermannsHKMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/HermannsR98,
author = {Holger Hermanns and
Marina Ribaudo},
editor = {Richard N. Zobel and
Dietmar P. F. M{\"{o}}ller},
title = {Exploiting Symmetries in Stochastic Process Algebras},
booktitle = {12\({}^{\mbox{th}}\) European Simulation Multiconference - Simulation
- Past, Present and Future, June 16-19, 1998, Machester, United Kingdom},
pages = {763--770},
publisher = {{SCS} Europe},
year = {1998},
timestamp = {Tue, 14 Jan 2003 13:43:29 +0100},
biburl = {https://dblp.org/rec/conf/esm/HermannsR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DArgenioHK99,
author = {Pedro R. D'Argenio and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Christel Baier and
Michael Huth and
Marta Z. Kwiatkowska and
Mark Ryan},
title = {On Generative Parallel Composition},
booktitle = {First International Workshop on Probabilistic Methods in Verification,
{PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {22},
pages = {30--54},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80596-1},
doi = {10.1016/S1571-0661(05)80596-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DArgenioHK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaierH97,
author = {Christel Baier and
Holger Hermanns},
editor = {Orna Grumberg},
title = {Weak Bisimulation for Fully Probabilistic Processes},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {119--130},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_14},
doi = {10.1007/3-540-63166-6\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaierH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BaierH97,
author = {Christel Baier and
Holger Hermanns},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Weak Bisimulation for Fully Probabilistic Processes},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {59--68},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BaierH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/HermannsHMR97,
author = {Holger Hermanns and
Ulrich Herzog and
Vassilis Mertsiotakis and
Michael Rettelbach},
title = {Exploiting stochastic process algebra achievements for generalized
stochastic Petri nets},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595549},
doi = {10.1109/PNPM.1997.595549},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/HermannsHMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HermannsMR96,
author = {Holger Hermanns and
Vassilis Mertsiotakis and
Michael Rettelbach},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Construction and Analysis Tool Based on the Stochastic Process Algebra
{TIPP}},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {427--430},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_65},
doi = {10.1007/3-540-61042-1\_65},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HermannsMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HermannsRW95,
author = {Holger Hermanns and
Michael Rettelbach and
Thorsten Weiss},
title = {Formal Characterisation of Immediate Actions in {SPA} with Nondeterministic
Branching},
journal = {Comput. J.},
volume = {38},
number = {7},
pages = {530--541},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.7.530},
doi = {10.1093/COMJNL/38.7.530},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/HermannsRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HillstonHHMR94,
author = {Jane Hillston and
Holger Hermanns and
Ulrich Herzog and
Vassilis Mertsiotakis and
Michael Rettelbach},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Stochastic process algebras: integrating qualitative and quantitative
modelling},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {449--451},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/HillstonHHMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-09 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
