Veröffentlichungen
Autoren:
Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
Veröffentlicht in:
Information and Computation, Ausgabe 262, 2018, Seite(n) 162-186, ISSN 0890-5401
Herausgeber:
Academic Press
DOI:
10.1016/j.ic.2018.08.003
Autoren:
Sebastian Biewer, Pedro R. D’argenio, Holger Hermanns
Veröffentlicht in:
ACM Transactions on Modeling and Computer Simulation, Ausgabe 31/3, 2021, Seite(n) 1-27, ISSN 1049-3301
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3449354
Autoren:
Juan A. Fraire, Elias L. Gasparini
Veröffentlicht in:
IEEE Network, Ausgabe 35/4, 2021, Seite(n) 110-117, ISSN 0890-8044
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/mnet.011.2100102
Autoren:
Fernando D. Raverta, Juan A. Fraire, Pablo G. Madoery, Ramiro A. Demasi, Jorge M. Finochietto, Pedro R. D’Argenio
Veröffentlicht in:
Ad Hoc Networks, Ausgabe 123, 2021, Seite(n) 102663, ISSN 1570-8705
Herausgeber:
Elsevier BV
DOI:
10.1016/j.adhoc.2021.102663
Autoren:
Juan A. Fraire, Juan E. Duran
Veröffentlicht in:
IEEE Transactions on Education, Ausgabe 64/2, 2021, Seite(n) 133-138, ISSN 0018-9359
Herausgeber:
IEEE Education Society
DOI:
10.1109/te.2020.3015673
Autoren:
Jorg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Veröffentlicht in:
Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 34/09, 2020, Seite(n) 13569-13575, ISSN 2374-3468
Herausgeber:
Association for the Advancement of Artificial Intelligence
DOI:
10.1609/aaai.v34i09.7083
Autoren:
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
Veröffentlicht in:
Formal Aspects of Computing, Ausgabe 31/2, 2019, Seite(n) 261-285, ISSN 0934-5043
Herausgeber:
Springer Verlag
DOI:
10.1007/s00165-018-0458-2
Autoren:
Gregory Stock, Juan A. Fraire, Tobias Momke, Holger Hermanns, Fakhri Babayev, Eduardo Cruz
Veröffentlicht in:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Ausgabe 39/11, 2020, Seite(n) 3762-3773, ISSN 0278-0070
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tcad.2020.3012751
Autoren:
Juan A. Fraire, Gilles Nies, Carsten Gerstacker, Holger Hermanns, Kristian Bay, Morten Bisgaard
Veröffentlicht in:
IEEE Transactions on Green Communications and Networking, Ausgabe 4/1, 2020, Seite(n) 236-245, ISSN 2473-2400
Herausgeber:
IEEE
DOI:
10.1109/tgcn.2019.2954166
Autoren:
Juan A. Fraire, Carsten Gerstacker, Holger Hermanns, Gilles Nies, Morten Bisgaard, Kristian Bay
Veröffentlicht in:
International Journal of Satellite Communications and Networking, Ausgabe 39/2, 2021, Seite(n) 193-204, ISSN 1542-0973
Herausgeber:
John Wiley & Sons Inc.
DOI:
10.1002/sat.1374
Autoren:
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Veröffentlicht in:
Journal of Artificial Intelligence Research, Ausgabe 68, 2020, Seite(n) 247-310, ISSN 1076-9757
Herausgeber:
Morgan Kaufmann Publishers, Inc.
DOI:
10.1613/jair.1.11595
Autoren:
Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn Haverkort, Marijn Jongerden, Kim G. Larsen, Erik R. Wognsen
Veröffentlicht in:
Acta Astronautica, Ausgabe 151, 2018, Seite(n) 726-735, ISSN 0094-5765
Herausgeber:
Pergamon Press Ltd.
DOI:
10.1016/j.actaastro.2018.04.040
Autoren:
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Veröffentlicht in:
Frontiers of Computer Science, Ausgabe 14/3, 2020, ISSN 2095-2228
Herausgeber:
Springer Verlag
DOI:
10.1007/s11704-018-7395-3
Autoren:
Holger Hermanns, Jan Krcál, Gilles Nies
Veröffentlicht in:
Leibniz Transactions on Embedded Systems, Ausgabe Vol 4, Ausgabe 1, 2017, ISSN 2199-2002
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI)
DOI:
10.4230/lites-v004-i001-a004
Autoren:
Juan A. Fraire, Olivier De Jonckère, Scott C. Burleigh
Veröffentlicht in:
Journal of Network and Computer Applications, Ausgabe 174, 2021, Seite(n) 102884, ISSN 1084-8045
Herausgeber:
Academic Press
DOI:
10.1016/j.jnca.2020.102884
Autoren:
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Veröffentlicht in:
ACM Transactions on Modeling and Computer Simulation, Ausgabe 29/4, 2019, Seite(n) 1-31, ISSN 1049-3301
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3309683
Autoren:
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
Veröffentlicht in:
ACM Transactions on Modeling and Computer Simulation, Ausgabe 31/3, 2021, Seite(n) 1-34, ISSN 1049-3301
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3449355
Autoren:
Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum
Veröffentlicht in:
Artificial Intelligence, Ausgabe 296, 2021, Seite(n) 103473, ISSN 0004-3702
Herausgeber:
Elsevier BV
DOI:
10.1016/j.artint.2021.103473
Autoren:
Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Veröffentlicht in:
International Journal on Software Tools for Technology Transfer, Ausgabe 22/6, 2020, Seite(n) 759-780, ISSN 1433-2779
Herausgeber:
Springer Verlag
DOI:
10.1007/s10009-020-00563-2
Autoren:
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Veröffentlicht in:
Science of Computer Programming, Ausgabe 174, 2019, Seite(n) 90-108, ISSN 0167-6423
Herausgeber:
Elsevier BV
DOI:
10.1016/j.scico.2019.01.006
Autoren:
Zhibo Yan, Juan Andres Fraire, Kanglian Zhao, Hongcheng Yan, Pablo G. Madoery, Wenfeng Li, Hong Yang
Veröffentlicht in:
IEEE Transactions on Aerospace and Electronic Systems, Ausgabe 56/1, 2020, Seite(n) 660-672, ISSN 0018-9251
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/taes.2019.2917492
Autoren:
Fabrizio Grandoni, Tobias Mömke, Andreas Wiese
Veröffentlicht in:
29th Annual European Symposium on Algorithms (ESA 2021), Ausgabe LIPICS 204, 2021, Seite(n) 49:1--49:15
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.esa.2021.49
Autoren:
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Veröffentlicht in:
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, Ausgabe 12476, 2020, Seite(n) 240-261, ISBN 978-3-030-61361-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-61362-4_13
Autoren:
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Veröffentlicht in:
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017, Seite(n) 44-51, ISBN 9781450363464
Herausgeber:
ACM
DOI:
10.1145/3150928.3150945
Autoren:
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns
Veröffentlicht in:
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018, Seite(n) 18-19, ISBN 978-1-5386-6748-4
Herausgeber:
IEEE
DOI:
10.1109/mt-cps.2018.00016
Autoren:
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, Ausgabe 11429, 2019, Seite(n) 69-92, ISBN 978-3-030-17501-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17502-3_5
Autoren:
Maximilian A. Kohl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender
Veröffentlicht in:
2019 IEEE 27th International Requirements Engineering Conference (RE), 2019, Seite(n) 363-368, ISBN 978-1-7281-3912-8
Herausgeber:
IEEE
DOI:
10.1109/re.2019.00046
Autoren:
Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer
Veröffentlicht in:
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings, Ausgabe 11237, 2018, Seite(n) 299-315, ISBN 978-3-030-03768-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-03769-7_17
Autoren:
Juan A. Fraire, Gilles Nies, Holger Hermanns, Kristian Bay, Morten Bisgaard
Veröffentlicht in:
2018 IEEE Global Communications Conference (GLOBECOM), 2018, Seite(n) 1-7, ISBN 978-1-5386-4727-1
Herausgeber:
IEEE
DOI:
10.1109/glocom.2018.8647822
Autoren:
Alexander Graf-Brill, Holger Hermanns
Veröffentlicht in:
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, Ausgabe 11535, 2019, Seite(n) 111-128, ISBN 978-3-030-21758-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-21759-4_7
Autoren:
Pedro R. D’Argenio, Raúl E. Monti
Veröffentlicht in:
Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Ausgabe 11187, 2018, Seite(n) 132-152, ISBN 978-3-030-02507-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-02508-3_8
Autoren:
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Křetínský
Veröffentlicht in:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Ausgabe 11138, 2018, Seite(n) 317-334, ISBN 978-3-030-01089-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-01090-4_19
Autoren:
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Veröffentlicht in:
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, Ausgabe 12136, 2020, Seite(n) 59-77, ISBN 978-3-030-50085-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-50086-3_4
Autoren:
Tobias Mömke, Andreas Wiese
Veröffentlicht in:
47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Ausgabe LIPICS 168, 2020, Seite(n) 86:1--86:19
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icalp.2020.86
Autoren:
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
Veröffentlicht in:
Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings, Ausgabe 11785, 2019, Seite(n) 52-69, ISBN 978-3-030-30280-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-30281-8_4
Autoren:
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Veröffentlicht in:
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, Ausgabe 12136, 2020, Seite(n) 96-114, ISBN 978-3-030-50085-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-50086-3_6
Autoren:
Sebastian Biewer, Pedro D’Argenio, Holger Hermanns
Veröffentlicht in:
Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings, Ausgabe 11785, 2019, Seite(n) 313-331, ISBN 978-3-030-30280-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-30281-8_18
Autoren:
Santiago M. Henn, Juan A. Fraire, Pablo C. Marino, Maximiliano Fischer, Andrea Bianco, Holger Hermanns
Veröffentlicht in:
2019 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2019, Seite(n) 100-105, ISBN 978-1-7281-1545-0
Herausgeber:
IEEE
DOI:
10.1109/smc-it.2019.00018
Autoren:
Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Veröffentlicht in:
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Ausgabe 11245, 2018, Seite(n) 336-353, ISBN 978-3-030-03420-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-03421-4_22
Autoren:
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D’Argenio, Mariëlle Stoelinga
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I, Ausgabe 12078, 2020, Seite(n) 463-482, ISBN 978-3-030-45189-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-45190-5_26
Autoren:
Alexis A. Dowhuszko, Juan Fraire, Musbah Shaat, Ana Perez-Neira
Veröffentlicht in:
2020 22nd International Conference on Transparent Optical Networks (ICTON), 2020, Seite(n) 1-6, ISBN 978-1-7281-8423-4
Herausgeber:
IEEE
DOI:
10.1109/icton51198.2020.9203447
Autoren:
Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
Veröffentlicht in:
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, Ausgabe 12652, 2021, Seite(n) 389-398, ISBN 978-3-030-72012-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-72013-1_23
Autoren:
Christel Baier, Holger Hermanns, Joost-Pieter Katoen
Veröffentlicht in:
Computing and Software Science - State of the Art and Perspectives, Ausgabe 10000, 2019, Seite(n) 420-451, ISBN 978-3-319-91907-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-91908-9_21
Autoren:
Pedro R. D’Argenio, Juan A. Fraire, Arnd Hartmanns
Veröffentlicht in:
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, Ausgabe 12229, 2020, Seite(n) 291-310, ISBN 978-3-030-55753-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-55754-6_17
Autoren:
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I, Ausgabe 11427, 2019, Seite(n) 344-350, ISBN 978-3-030-17461-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17462-0_20
Autoren:
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
Veröffentlicht in:
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, Ausgabe 12652, 2021, Seite(n) 365-372, ISBN 978-3-030-72012-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-72013-1_20
Autoren:
Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Veröffentlicht in:
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Ausgabe LNCS 10201, 2017, Seite(n) 83-110
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54434-1_4
Autoren:
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Ausgabe LNCS 10206, 2017, Seite(n) 188-203, ISBN 978-3-662-54580-5
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54580-5_11
Autoren:
Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
Veröffentlicht 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, Ausgabe 8461, 2014, Seite(n) 84-99, ISBN 978-3-662-43612-7
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-43613-4_6
Autoren:
Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Veröffentlicht in:
Models, Algorithms, Logics and Tools, Ausgabe 10460, 2017, Seite(n) 170-195
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63121-9_9
Autoren:
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Veröffentlicht in:
Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Ausgabe LNCS 10503, 2017, Seite(n) 207-223, ISBN 978-3-319-66334-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66335-7_13
Autoren:
Alexander Graf-Brill, Holger Hermanns
Veröffentlicht 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, Ausgabe LNCS 10471, 2017, Seite(n) 66-82, ISBN 978-3-319-67112-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-67113-0_5
Autoren:
Holger Hermanns
Veröffentlicht in:
ModelEd, TestEd, TrustEd, Ausgabe 10500, 2017, Seite(n) 357-367, ISBN 978-3-319-68269-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-68270-9_18
Autoren:
Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni
Veröffentlicht in:
Dependable Software Engineering. Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Ausgabe LNCS 10606, 2017, Seite(n) 25-41, ISBN 978-3-319-69482-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-69483-2_2
Autoren:
Kangli He, Holger Hermanns, Yixiang Chen
Veröffentlicht in:
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), 2017, Seite(n) 234-243, ISBN 978-1-5386-0367-3
Herausgeber:
IEEE
DOI:
10.1109/compsac.2017.172
Autoren:
Carlos Budde, Pedro D'Argenio, Raúl Monti
Veröffentlicht in:
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017, ISBN 978-1-63190-141-6
Herausgeber:
ACM
DOI:
10.4108/eai.25-10-2016.2266501
Autoren:
Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns
Veröffentlicht in:
Dependable Software Engineering. Theories, Tools, and Applications, Ausgabe 10606, 2017, Seite(n) 42-58, ISBN 978-3-319-69482-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-69483-2_3
Autoren:
Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Veröffentlicht in:
2017 Winter Simulation Conference (WSC), 2017, Seite(n) 1419-1430, ISBN 978-1-5386-3428-8
Herausgeber:
IEEE
DOI:
10.1109/wsc.2017.8247885
Autoren:
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Veröffentlicht in:
Measurement, Modelling and Evaluation of Computing Systems, Ausgabe 10740, 2018, Seite(n) 19-34
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-74947-1_2
Autoren:
Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
Veröffentlicht in:
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Ausgabe LNCS 10806, 2018, Seite(n) 340-358, ISBN 978-3-319-89963-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_20
Autoren:
Pedro R. D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
Veröffentlicht in:
21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018, Ausgabe LNCS 10803, 2018, Seite(n) 384-402, ISBN 978-3-319-89366-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89366-2_21
Autoren:
Kevin Baum, Holger Hermanns, Timo Speith
Veröffentlicht in:
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, 2018, Seite(n) 384-402
Herausgeber:
International Symposium on Artificial Intelligence and Mathematics
Autoren:
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Veröffentlicht in:
International Conference on Automated Planning and Scheduling, 2018, Seite(n) 150-154
Herausgeber:
AAAI Publications
Autoren:
Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl
Veröffentlicht in:
EPiC Series in Computing volume 57, 2018, Seite(n) 1--17
Herausgeber:
EasyChair
DOI:
10.29007/6zxt
Autoren:
Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krčál, Pavel Krčál
Veröffentlicht in:
35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, Ausgabe LNCS 9922, 2016, Seite(n) 266-280
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45477-1_21
Autoren:
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Veröffentlicht in:
13th International Conference on Quantitative Evaluation of Systems, QEST 2016, Ausgabe LNCS 9826, 2016, Seite(n) 55-71
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-43425-4_4
Autoren:
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
Veröffentlicht in:
67th International Astronautical Congress, IAC 2016, 2016
Herausgeber:
International Astronautical Foundation
Autoren:
Arnd Hartmanns, Holger Hermanns, Michael Bungert
Veröffentlicht in:
Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16, 2016, Seite(n) 1-10, ISBN 9781-450344852
Herausgeber:
ACM Press
DOI:
10.1145/2968478.2968496
Autoren:
Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Veröffentlicht in:
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2) 2016, Ausgabe LNCS 9953, 2016, Seite(n) 601-608
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-47169-3_46
Autoren:
Holger Hermanns
Veröffentlicht in:
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, 2016
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2016.3
Autoren:
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
Veröffentlicht in:
21st International Symposium on Formal Methods, FM 2016, Ausgabe LNCS 9995, 2016, Seite(n) 559-576
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-48989-6_34
Autoren:
Felix Freiberger, Holger Hermanns
Veröffentlicht in:
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings, Ausgabe 11522, 2019, Seite(n) 279-297, ISBN 978-3-030-21570-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-21571-2_16
Autoren:
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Veröffentlicht in:
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 87-98, ISBN 978-1-956792-99-7
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/kr.2021/9
Autoren:
Yuliya Butkova, Gereon Fox
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Ausgabe 11428, 2019, Seite(n) 191-208, ISBN 978-3-030-17464-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17465-1_11
Autoren:
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
Veröffentlicht in:
19th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2021
Herausgeber:
ACM
DOI:
10.1145/3487212.3487337
Autoren:
Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio
Veröffentlicht in:
EPiC Series in Computing volume 73, 2020, Seite(n) 354-334
Herausgeber:
EasyChair
DOI:
10.29007/p16v
Autoren:
Kevin Baum, Holger Hermanns, Timo Speith
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 286, 2019, Seite(n) 34-49, ISSN 2075-2180
Herausgeber:
Open Publishing Association
DOI:
10.4204/eptcs.286.4
Autoren:
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Veröffentlicht in:
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, Ausgabe 12477, 2020, Seite(n) 416-439, ISBN 978-3-030-61469-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-61470-6_25
Autoren:
Arnd Hartmanns, Holger Hermanns
Veröffentlicht in:
Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures, Ausgabe 11810, 2019, Seite(n) 250-276, ISBN 978-3-030-31422-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-31423-1_8
Autoren:
Michaela Klauck, Holger Hermanns
Veröffentlicht in:
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings, Ausgabe 12846, 2021, Seite(n) 15-38, ISBN 978-3-030-85171-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-85172-9_2
Autoren:
Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Ausgabe 11428, 2019, Seite(n) 375-392, ISBN 978-3-030-17464-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17465-1_21
Autoren:
Gereon Fox, Daniel Stan, Holger Hermanns
Veröffentlicht in:
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings, Ausgabe 11388, 2019, Seite(n) 446-467, ISBN 978-3-030-11244-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-11245-5_21
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor