Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

Informazioni relative al progetto

SYMBIOSYS

ID dell’accordo di sovvenzione: 647295

DOI

10.3030/647295

Progetto chiuso

Data della firma CE 20 Aprile 2015

Data di avvio 1 Agosto 2015

Data di completamento 31 Luglio 2021

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 988 750,00

Contributo UE

€ 1 988 750,00

Coordinato da

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (10)

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

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

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

Autori: Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross
Pubblicato in: Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - SIGSIM-PADS '17, 2017, Pagina/e 161-172, ISBN 9781450344890
Editore: ACM Press
DOI: 10.1145/3064911.3064913

Automated Memoization for Parameter Studies Implemented in Impure Languages

Autori: Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Pubblicato in: Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation - SIGSIM-PADS '16, 2016, Pagina/e 221-232, ISBN 9781-450337427
Editore: ACM Press
DOI: 10.1145/2901378.2901386

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

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

SymPerf - Predicting Network Function Performance

Autori: Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Á. Bitsch, Klaus Wehrle
Pubblicato in: Proceedings of the SIGCOMM Posters and Demos on - SIGCOMM Posters and Demos '17, 2017, Pagina/e 34-36, ISBN 9781450350570
Editore: ACM Press
DOI: 10.1145/3123878.3131977

Automated memoization: Automatically identifying memoization units in simulation parameter studies

Autori: Mirko Stoffers, Ralf Bettermann, Klaus Wehrle
Pubblicato in: 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2017, Pagina/e 1-10, ISBN 978-1-5386-4028-9
Editore: IEEE
DOI: 10.1109/DISTRA.2017.8167664

Symbolic Liveness Analysis of Real-World Software

Autori: Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Pubblicato in: Computer Aided Verification, Numero CAV 2018, 2018, Pagina/e 447-466, ISBN 978-3-319-96141-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-96142-2_27

Towards Benchmark Optimization by Automated Equivalence Detection

Autori: Daniel Schemmel, Rene Glebke, Mirko Stoffers, Klaus Wehrle
Pubblicato in: 2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018, Pagina/e 25-29, ISBN 978-1-5386-6742-2
Editore: IEEE
DOI: 10.1109/CPSBench.2018.00011

PARTI: A Multi-interval Theory Solver for Symbolic Execution

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

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Autori: Felix Rath, Daniel Schemmel, Klaus Wehrle
Pubblicato in: Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC - EPIQ'18, Numero 2018-12-04, 2018, Pagina/e 15-21, ISBN 9781-450360821
Editore: ACM Press
DOI: 10.1145/3284850.3284853

Peer reviewed articles (1)

On Automated Memoization in the Field of Simulation Parameter Studies

Autori: Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Pubblicato in: ACM Transactions on Modeling and Computer Simulation, Numero 28/4, 2018, Pagina/e 1-25, ISSN 1049-3301
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3186316