Openings
Available Theses
HiWi Calls
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things

Publications

Year:  
All :: 2017, 2018, 2022
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z 
All :: Cadar, Carle, Catrein, Causevic, ... , Cutting-Decelle 

2022

3.
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack and Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution
European Conference on Object-Oriented Programming (ECOOP 2022)
June 2022
to be published

2018

2.
Oscar Soria Dustmann, Klaus Wehrle and Cristian Cadar
PARTI: A Multi-interval Theory Solver for Symbolic Execution
Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
September 2018
DOI: 10.1145/3238147.3238179

2017

1.
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl and Klaus Wehrle
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
October 2017
ISBN: 978-1-5386-2684-9/17
Export as:
BibTeX, XML
- Impressum | Datenschutz -