22.05.2019
Dan Dobre et al., IEEE Trans on Parallel and Distributed System, 2019 (to appear)
Proofs of Writing for Robust Storage
16.05.2019
Patrick Metzler et al., Proc of SPIN 2019
Extracting Safe Thread Schedules from Incomplete Model Checking Results
13.05.2019
Oliver Schwahn et al., Proc of ISSTA 2019
Assessing the State and Improving the Art of Parallel Testing for C
01.02.2019
Dagstuhl seminar on “Characterizing and Modeling Residual Software Bugs” accepted for 2020
01.02.2019
Suri in Mgmt Board for EU CycberSecurity Competence Center CONCORDIA started Jan 1, 2019
01.02.2019
Suri in Mgmt Board (+ Intl. Collaborations) for TUD CYSEC
01.02.2019
Suri in German National Research Center on Applied Cybersecurity CRISP
20.12.2018
Nicolas Coppik et al., Proc of ICST 2019
MemFuzz: Using Memory Accesses to Guide Fuzzing
10.09.2018
ARES paper “Flashlight: A Novel Monitoring Path Identification Schema for Securing Cloud Services” wins Best Paper Award"
25.06.2018
Roberto Natella et al., IEEE Trans. on Software Engg (TSE), 2018
Analyzing the Effects of Bugs on Software Interfaces
13.04.2018
Feng Tan et al., ACM Trans on CPS, 2018
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS
03.04.2018
Hatem Ismail et al., Proc. IEEE WoWMoM, 2018
A Detection Mechanism for Internal Attacks in P2P Streaming Systems
15.08.2017
Oliver Schwahn et al., IEEE Trans on Dependable and Secure Computing, 2018
How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code
18.07.2017
Nicolas Coppik et al., ASE 2017
TrEKer: Tracing Error Propagation in Operating System Kernels
More News…
