Veröffentlichungen
Autoren:
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Veröffentlicht in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I, Ausgabe 12224, 2020, Seite(n) 376-400, ISBN 978-3-030-53287-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53288-8_18
Autoren:
Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross
Veröffentlicht in:
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - SIGSIM-PADS '17, 2017, Seite(n) 161-172, ISBN 9781-450344890
Herausgeber:
ACM Press
DOI:
10.1145/3064911.3064913
Autoren:
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Veröffentlicht in:
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation - SIGSIM-PADS '16, 2016, Seite(n) 221-232, ISBN 9781-450337427
Herausgeber:
ACM Press
DOI:
10.1145/2901378.2901386
Autoren:
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zahl, Klaus Wehrle
Veröffentlicht in:
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Seite(n) 601-612, ISBN 978-1-5386-2684-9
Herausgeber:
IEEE
DOI:
10.1109/ase.2017.8115670
Autoren:
Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Á. Bitsch, Klaus Wehrle
Veröffentlicht in:
Proceedings of the SIGCOMM Posters and Demos on - SIGCOMM Posters and Demos '17, 2017, Seite(n) 34-36, ISBN 9781-450350570
Herausgeber:
ACM Press
DOI:
10.1145/3123878.3131977
Autoren:
Mirko Stoffers, Ralf Bettermann, Klaus Wehrle
Veröffentlicht in:
2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2017, Seite(n) 1-10, ISBN 978-1-5386-4028-9
Herausgeber:
IEEE
DOI:
10.1109/DISTRA.2017.8167664
Autoren:
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Veröffentlicht in:
Computer Aided Verification, Ausgabe CAV 2018, 2018, Seite(n) 447-466, ISBN 978-3-319-96141-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96142-2_27
Autoren:
Daniel Schemmel, Rene Glebke, Mirko Stoffers, Klaus Wehrle
Veröffentlicht in:
2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018, Seite(n) 25-29, ISBN 978-1-5386-6742-2
Herausgeber:
IEEE
DOI:
10.1109/CPSBench.2018.00011
Autoren:
Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
Veröffentlicht in:
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
Herausgeber:
IEEE
DOI:
10.1145/3238147.3238179
Autoren:
Felix Rath, Daniel Schemmel, Klaus Wehrle
Veröffentlicht in:
Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC - EPIQ'18, Ausgabe 2018-12-04, 2018, Seite(n) 15-21, ISBN 9781-450360821
Herausgeber:
ACM Press
DOI:
10.1145/3284850.3284853
Autoren:
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Veröffentlicht in:
ACM Transactions on Modeling and Computer Simulation, Ausgabe 28/4, 2018, Seite(n) 1-25, ISSN 1049-3301
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3186316
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor