CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Publié dans:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I, Numéro 12224, 2020, Page(s) 376-400, ISBN 978-3-030-53287-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-53288-8_18
Auteurs:
Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross
Publié dans:
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - SIGSIM-PADS '17, 2017, Page(s) 161-172, ISBN 9781450344890
Éditeur:
ACM Press
DOI:
10.1145/3064911.3064913
Auteurs:
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Publié dans:
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation - SIGSIM-PADS '16, 2016, Page(s) 221-232, ISBN 9781-450337427
Éditeur:
ACM Press
DOI:
10.1145/2901378.2901386
Auteurs:
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zahl, Klaus Wehrle
Publié dans:
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Page(s) 601-612, ISBN 978-1-5386-2684-9
Éditeur:
IEEE
DOI:
10.1109/ase.2017.8115670
Auteurs:
Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Á. Bitsch, Klaus Wehrle
Publié dans:
Proceedings of the SIGCOMM Posters and Demos on - SIGCOMM Posters and Demos '17, 2017, Page(s) 34-36, ISBN 9781450350570
Éditeur:
ACM Press
DOI:
10.1145/3123878.3131977
Auteurs:
Mirko Stoffers, Ralf Bettermann, Klaus Wehrle
Publié dans:
2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2017, Page(s) 1-10, ISBN 978-1-5386-4028-9
Éditeur:
IEEE
DOI:
10.1109/DISTRA.2017.8167664
Auteurs:
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Publié dans:
Computer Aided Verification, Numéro CAV 2018, 2018, Page(s) 447-466, ISBN 978-3-319-96141-5
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96142-2_27
Auteurs:
Daniel Schemmel, Rene Glebke, Mirko Stoffers, Klaus Wehrle
Publié dans:
2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018, Page(s) 25-29, ISBN 978-1-5386-6742-2
Éditeur:
IEEE
DOI:
10.1109/CPSBench.2018.00011
Auteurs:
Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
Publié dans:
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
Éditeur:
IEEE
DOI:
10.1145/3238147.3238179
Auteurs:
Felix Rath, Daniel Schemmel, Klaus Wehrle
Publié dans:
Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC - EPIQ'18, Numéro 2018-12-04, 2018, Page(s) 15-21, ISBN 9781-450360821
Éditeur:
ACM Press
DOI:
10.1145/3284850.3284853
Auteurs:
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Publié dans:
ACM Transactions on Modeling and Computer Simulation, Numéro 28/4, 2018, Page(s) 1-25, ISSN 1049-3301
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3186316
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible