Power to the People. Verified.

Author(s): Holger Hermanns, Jan Krcál, Gilles Nies
Published in: Leibniz Transactions on Embedded Systems, Issue Vol 4, Issue 1, 2017, ISSN 2199-2002
DOI: 10.4230/lites-v004-i001-a004

Author(s): Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Published in: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Issue LNCS 10201, 2017, Page(s) 83-110
DOI: 10.1007/978-3-662-54434-1_4

Author(s): Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Issue LNCS 10206, 2017, Page(s) 188-203
DOI: 10.1007/978-3-662-54580-5_11

Author(s): Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Published in: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Issue LNCS 10503, 2017, Page(s) 207-223
DOI: 10.1007/978-3-319-66335-7_13

Author(s): Alexander Graf-Brill, Holger Hermanns
Published in: Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Work- shop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Issue LNCS 10471, 2017, Page(s) 66-82
DOI: 10.1007/978-3-319-67113-0_5

Author(s): Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni
Published in: Dependable Software Engineering. Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Issue LNCS 10606, 2017, Page(s) 25-41
DOI: 10.1007/978-3-319-69483-2_2

Author(s): Kangli He, Holger Hermanns, Yixiang Chen
Published in: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), 2017, Page(s) 234-243
DOI: 10.1109/compsac.2017.172

Author(s): Carlos Budde, Pedro D'Argenio, Raúl Monti
Published in: Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
DOI: 10.4108/eai.25-10-2016.2266501

Author(s): Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Published in: 2017 Winter Simulation Conference (WSC), 2017, Page(s) 1419-1430
DOI: 10.1109/wsc.2017.8247885

Author(s): Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Published in: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Issue LNCS 10806, 2018, Page(s) 340-358
DOI: 10.1007/978-3-319-89963-3_20

Author(s): Pedro R. D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
Published in: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018, Issue LNCS 10803, 2018, Page(s) 384-402
DOI: 10.1007/978-3-319-89366-2_21

Author(s): Kevin Baum, Holger Hermanns, Timo Speith
Published in: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, 2018, Page(s) 384-402

Author(s): Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Published in: International Conference on Automated Planning and Scheduling, 2018, Page(s) 150-154

Author(s): Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Published in: EPiC Series in Computing volume 57, 2018, Page(s) 1--17
DOI: 10.29007/6zxt

Author(s): Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krčál, Pavel Krčál
Published in: 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, Issue LNCS 9922, 2016, Page(s) 266-280
DOI: 10.1007/978-3-319-45477-1_21

Author(s): Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Published in: 13th International Conference on Quantitative Evaluation of Systems, QEST 2016, Issue LNCS 9826, 2016, Page(s) 55-71
DOI: 10.1007/978-3-319-43425-4_4

Author(s): Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn R. Haverkort, Marijn Jongerden, Kim G. Larsen, and Erik R. Wognsen
Published in: 67th International Astronautical Congress, IAC 2016, 2016

Author(s): Arnd Hartmanns, Holger Hermanns, Michael Bungert
Published in: Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16, 2016, Page(s) 1-10
DOI: 10.1145/2968478.2968496

Author(s): Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Published in: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2) 2016, Issue LNCS 9953, 2016, Page(s) 601-608
DOI: 10.1007/978-3-319-47169-3_46

Author(s): Holger Hermanns
Published in: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, 2016
DOI: 10.4230/LIPIcs.FSTTCS.2016.3

Author(s): Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
Published in: 21st International Symposium on Formal Methods, FM 2016, Issue LNCS 9995, 2016, Page(s) 559-576
DOI: 10.1007/978-3-319-48989-6_34

Author(s): Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
Published in: 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, Issue 8461, 2014, Page(s) 84-99
DOI: 10.1007/978-3-662-43613-4_6

Author(s): Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Published in: Models, Algorithms, Logics and Tools, Issue 10460, 2017, Page(s) 170-195
DOI: 10.1007/978-3-319-63121-9_9

Author(s): Holger Hermanns
Published in: ModelEd, TestEd, TrustEd, Issue 10500, 2017, Page(s) 357-367
DOI: 10.1007/978-3-319-68270-9_18

Author(s): Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns
Published in: Dependable Software Engineering. Theories, Tools, and Applications, Issue 10606, 2017, Page(s) 42-58
DOI: 10.1007/978-3-319-69483-2_3

Author(s): Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Published in: Measurement, Modelling and Evaluation of Computing Systems, Issue 10740, 2018, Page(s) 19-34
DOI: 10.1007/978-3-319-74947-1_2

Author(s): Yuliya Butkova
Published in: POWVER Technical Report, 2018