Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

Project Information

SYMBIOSYS

Grant agreement ID: 647295

DOI

10.3030/647295

Project closed

EC signature date 20 April 2015

Start date 1 August 2015

End date 31 July 2021

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 988 750,00

EU contribution

€ 1 988 750,00

Coordinated by

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (10)

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

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

Code-transparent Discrete Event Simulation for Time-accurate Wireless Prototyping

Author(s): Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross
Published in: Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - SIGSIM-PADS '17, 2017, Page(s) 161-172, ISBN 9781450344890
Publisher: ACM Press
DOI: 10.1145/3064911.3064913

Automated Memoization for Parameter Studies Implemented in Impure Languages

Author(s): Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Published in: 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
Publisher: ACM Press
DOI: 10.1145/2901378.2901386

Floating-point symbolic execution: A case study in N-version programming

Author(s): Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zahl, Klaus Wehrle
Published in: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Page(s) 601-612, ISBN 978-1-5386-2684-9
Publisher: IEEE
DOI: 10.1109/ase.2017.8115670

SymPerf - Predicting Network Function Performance

Author(s): Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Á. Bitsch, Klaus Wehrle
Published in: Proceedings of the SIGCOMM Posters and Demos on - SIGCOMM Posters and Demos '17, 2017, Page(s) 34-36, ISBN 9781450350570
Publisher: ACM Press
DOI: 10.1145/3123878.3131977

Automated memoization: Automatically identifying memoization units in simulation parameter studies

Author(s): Mirko Stoffers, Ralf Bettermann, Klaus Wehrle
Published in: 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
Publisher: IEEE
DOI: 10.1109/DISTRA.2017.8167664

Symbolic Liveness Analysis of Real-World Software

Author(s): Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Published in: Computer Aided Verification, Issue CAV 2018, 2018, Page(s) 447-466, ISBN 978-3-319-96141-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-96142-2_27

Towards Benchmark Optimization by Automated Equivalence Detection

Author(s): Daniel Schemmel, Rene Glebke, Mirko Stoffers, Klaus Wehrle
Published in: 2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018, Page(s) 25-29, ISBN 978-1-5386-6742-2
Publisher: IEEE
DOI: 10.1109/CPSBench.2018.00011

PARTI: A Multi-interval Theory Solver for Symbolic Execution

Author(s): Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
Published in: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
Publisher: IEEE
DOI: 10.1145/3238147.3238179

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Author(s): Felix Rath, Daniel Schemmel, Klaus Wehrle
Published in: Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC - EPIQ'18, Issue 2018-12-04, 2018, Page(s) 15-21, ISBN 9781-450360821
Publisher: ACM Press
DOI: 10.1145/3284850.3284853

Peer reviewed articles (1)

On Automated Memoization in the Field of Simulation Parameter Studies

Author(s): Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Published in: ACM Transactions on Modeling and Computer Simulation, Issue 28/4, 2018, Page(s) 1-25, ISSN 1049-3301
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3186316