default search action
BibTeX records: Holger Hermanns
@inproceedings{DBLP:conf/fat/Sterz0BHLML24, author = {Sarah Sterz and Kevin Baum and Sebastian Biewer and Holger Hermanns and Anne Lauber{-}R{\"{o}}nsberg and Philip Meinel and Markus Langer}, title = {On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives}, booktitle = {The 2024 {ACM} Conference on Fairness, Accountability, and Transparency, FAccT 2024, Rio de Janeiro, Brazil, June 3-6, 2024}, pages = {2495--2507}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3630106.3659051}, doi = {10.1145/3630106.3659051}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fat/Sterz0BHLML24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icc/0002FHH024, author = {Gregory Stock and Juan A. Fraire and Santiago Henn and Holger Hermanns and Andreas Schmidt}, title = {A Stability-First Approach to Running {TCP} Over Starlink}, booktitle = {{IEEE} International Conference on Communications Workshops, {ICC} 2024 Workshops, Denver, CO, USA, June 9-13, 2024}, pages = {1708--1713}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICCWorkshops59551.2024.10615714}, doi = {10.1109/ICCWORKSHOPS59551.2024.10615714}, timestamp = {Wed, 21 Aug 2024 14:57:07 +0200}, biburl = {https://dblp.org/rec/conf/icc/0002FHH024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/GaragiolaHD24, author = {Nazareno Garagiola and Holger Hermanns and Pedro R. D'Argenio}, editor = {Andrea Ceccarelli and Mario Trapp and Andrea Bondavalli and Friedemann Bitsch}, title = {Coyan: Fault Tree Analysis - Exact and Scalable}, booktitle = {Computer Safety, Reliability, and Security - 43rd International Conference, {SAFECOMP} 2024, Florence, Italy, September 18-20, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14988}, pages = {235--250}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-68606-1\_15}, doi = {10.1007/978-3-031-68606-1\_15}, timestamp = {Fri, 20 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/GaragiolaHD24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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, 08 Jun 2024 13:13:56 +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} }
@misc{DBLP:data/10/GaragiolaDH24, author = {Nazareno Garagiola and Pedro R. D'Argenio and Holger Hermanns}, title = {Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable" (Version 1)}, publisher = {Zenodo}, year = {2024}, month = may, howpublished = {\url{https://doi.org/10.5281/zenodo.11191730}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.11191730}, doi = {10.5281/ZENODO.11191730}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/GaragiolaDH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/HusungDHK24, author = {Nils Husung and Clemens Dubslaff and Holger Hermanns and Maximilian A. K{\"{o}}hl}, title = {OxiDD: {A} Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust (Version 2)}, publisher = {Zenodo}, year = {2024}, howpublished = {\url{https://doi.org/10.5281/zenodo.10578461}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.10578461}, doi = {10.5281/ZENODO.10578461}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/HusungDHK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-04059, author = {Sarah Sterz and Kevin Baum and Sebastian Biewer and Holger Hermanns and Anne Lauber{-}R{\"{o}}nsberg and Philip Meinel and Markus Langer}, title = {On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives}, journal = {CoRR}, volume = {abs/2404.04059}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.04059}, doi = {10.48550/ARXIV.2404.04059}, eprinttype = {arXiv}, eprint = {2404.04059}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-04059.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-14210, author = {Hanwei Zhang and Luo Cheng and Qisong He and Wei Huang and Renjue Li and Ronan Sicre and Xiaowei Huang and Holger Hermanns and Lijun Zhang}, title = {Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds}, journal = {CoRR}, volume = {abs/2405.14210}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.14210}, doi = {10.48550/ARXIV.2405.14210}, eprinttype = {arXiv}, eprint = {2405.14210}, timestamp = {Wed, 07 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-14210.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2408-01449, author = {Holger Hermanns and Anne Lauber{-}R{\"{o}}nsberg and Philip Meinel and Sarah Sterz and Hanwei Zhang}, title = {{AI} Act for the Working Programmer}, journal = {CoRR}, volume = {abs/2408.01449}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2408.01449}, doi = {10.48550/ARXIV.2408.01449}, eprinttype = {arXiv}, eprint = {2408.01449}, timestamp = {Wed, 11 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2408-01449.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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
@misc{DBLP:data/10/HusungDHK23, author = {Nils Husung and Clemens Dubslaff and Holger Hermanns and Maximilian A. K{\"{o}}hl}, title = {OxiDD: {A} Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust (Version 1)}, publisher = {Zenodo}, year = {2023}, month = oct, howpublished = {\url{https://doi.org/10.5281/zenodo.10044913}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.10044913}, doi = {10.5281/ZENODO.10044913}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/HusungDHK23.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 = {Sun, 04 Aug 2024 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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
@misc{DBLP:data/10/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}, title = {Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents (Version 1)}, publisher = {Zenodo}, year = {2022}, month = may, howpublished = {\url{https://doi.org/10.5281/zenodo.6510840}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.6510840}, doi = {10.5281/ZENODO.6510840}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/GrosHHKKW22.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 = {Sun, 04 Aug 2024 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 = {Sun, 04 Aug 2024 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 = {Sun, 04 Aug 2024 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 = {Sun, 04 Aug 2024 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} }
@misc{DBLP:data/10/GrosHKK21, author = {Timo P. Gros and Holger Hermanns and Michaela Klauck and Maximilian A. K{\"{o}}hl}, title = {Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents" (Version 1)}, publisher = {Zenodo}, year = {2021}, month = nov, howpublished = {\url{https://doi.org/10.5281/zenodo.5643442}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.5643442}, doi = {10.5281/ZENODO.5643442}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/GrosHKK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/KlauckH21, author = {Michaela Klauck and Holger Hermanns}, title = {Artifact accompanying the paper "A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking" (Version 1)}, publisher = {Zenodo}, year = {2021}, month = aug, howpublished = {\url{https://doi.org/10.5281/zenodo.4922360}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.4922360}, doi = {10.5281/ZENODO.4922360}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/KlauckH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/KohlKH21, author = {Maximilian A. K{\"{o}}hl and Michaela Klauck and Holger Hermanns}, title = {{(TACAS21} Artifact) Momba: {JANI} Meets Python (Version 1)}, publisher = {Zenodo}, year = {2021}, month = mar, howpublished = {\url{https://doi.org/10.5281/zenodo.4431780}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.4431780}, doi = {10.5281/ZENODO.4431780}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/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/eatcs/FreibergerH20, author = {Felix Freiberger and Holger Hermanns}, title = {{LICS-ICALP} 2020 Questionnaire Evaluation}, journal = {Bull. {EATCS}}, volume = {132}, year = {2020}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/634}, timestamp = {Tue, 04 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/FreibergerH20.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 = {Wed, 21 Aug 2024 22:46: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 = {Mon, 19 Aug 2024 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} }
@misc{DBLP:data/10/BaierDHKKK20, author = {Christel Baier and Clemens Dubslaff and Holger Hermanns and Michaela Klauck and Sascha Kl{\"{u}}ppelholz and Maximilian A. K{\"{o}}hl}, title = {Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction" (Version 1)}, publisher = {Zenodo}, year = {2020}, month = aug, howpublished = {\url{https://doi.org/10.5281/zenodo.3970766}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.3970766}, doi = {10.5281/ZENODO.3970766}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/BaierDHKKK20.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 = {Thu, 27 Jun 2024 13:01:45 +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 = {Mon, 19 Aug 2024 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 = {Sun, 04 Aug 2024 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 = {Mon, 02 Sep 2024 08:02:22 +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 = {Wed, 21 Aug 2024 22:46: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 = {Thu, 11 Jul 2024 20:37:24 +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} }
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.