Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Opublikowane w: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I, Numer 12224, 2020, Strona(/y) 376-400, ISBN 978-3-030-53287-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-53288-8_18

Code-transparent Discrete Event Simulation for Time-accurate Wireless Prototyping (odnośnik otworzy się w nowym oknie)

Autorzy: Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross
Opublikowane w: Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - SIGSIM-PADS '17, 2017, Strona(/y) 161-172, ISBN 9781450344890
Wydawca: ACM Press
DOI: 10.1145/3064911.3064913

Automated Memoization for Parameter Studies Implemented in Impure Languages (odnośnik otworzy się w nowym oknie)

Autorzy: Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Opublikowane w: Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation - SIGSIM-PADS '16, 2016, Strona(/y) 221-232, ISBN 9781-450337427
Wydawca: ACM Press
DOI: 10.1145/2901378.2901386

Floating-point symbolic execution: A case study in N-version programming (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zahl, Klaus Wehrle
Opublikowane w: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Strona(/y) 601-612, ISBN 978-1-5386-2684-9
Wydawca: IEEE
DOI: 10.1109/ase.2017.8115670

SymPerf - Predicting Network Function Performance (odnośnik otworzy się w nowym oknie)

Autorzy: Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Á. Bitsch, Klaus Wehrle
Opublikowane w: Proceedings of the SIGCOMM Posters and Demos on - SIGCOMM Posters and Demos '17, 2017, Strona(/y) 34-36, ISBN 9781450350570
Wydawca: ACM Press
DOI: 10.1145/3123878.3131977

Automated memoization: Automatically identifying memoization units in simulation parameter studies (odnośnik otworzy się w nowym oknie)

Autorzy: Mirko Stoffers, Ralf Bettermann, Klaus Wehrle
Opublikowane w: 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2017, Strona(/y) 1-10, ISBN 978-1-5386-4028-9
Wydawca: IEEE
DOI: 10.1109/DISTRA.2017.8167664

Symbolic Liveness Analysis of Real-World Software (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Opublikowane w: Computer Aided Verification, Numer CAV 2018, 2018, Strona(/y) 447-466, ISBN 978-3-319-96141-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-96142-2_27

Towards Benchmark Optimization by Automated Equivalence Detection (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Schemmel, Rene Glebke, Mirko Stoffers, Klaus Wehrle
Opublikowane w: 2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018, Strona(/y) 25-29, ISBN 978-1-5386-6742-2
Wydawca: IEEE
DOI: 10.1109/CPSBench.2018.00011

PARTI: A Multi-interval Theory Solver for Symbolic Execution (odnośnik otworzy się w nowym oknie)

Autorzy: Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
Opublikowane w: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
Wydawca: IEEE
DOI: 10.1145/3238147.3238179

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution (odnośnik otworzy się w nowym oknie)

Autorzy: Felix Rath, Daniel Schemmel, Klaus Wehrle
Opublikowane w: Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC - EPIQ'18, Numer 2018-12-04, 2018, Strona(/y) 15-21, ISBN 9781-450360821
Wydawca: ACM Press
DOI: 10.1145/3284850.3284853

On Automated Memoization in the Field of Simulation Parameter Studies (odnośnik otworzy się w nowym oknie)

Autorzy: Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Opublikowane w: ACM Transactions on Modeling and Computer Simulation, Numer 28/4, 2018, Strona(/y) 1-25, ISSN 1049-3301
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3186316

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0