Automatically Verifying Typing Constraints for a Data Processing Language. - Michael Backes 001; Catalin Hritcu; Thorsten Tarrach (CPP, 2011)

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Thorsten Tarrach (CAV, 2013)

Regression-Free Synthesis for Concurrency. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Thorsten Tarrach (CAV, 2014)

Succinct Representation of Concurrent Trace Sets. - Ashutosh Gupta 001; Thomas A. Henzinger; Arjun Radhakrishna; Roopsha Samanta; Thorsten Tarrach (POPL, 2015)

Optimizing Solution Quality in Synchronization Synthesis. - Pavol Cerný; Edmund M. Clarke; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Roopsha Samanta; Thorsten Tarrach (CoRR, 2015)

From non-preemptive to preemptive scheduling using synchronization synthesis. - Pavol Cerný; Edmund M. Clarke; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Roopsha Samanta; Thorsten Tarrach (Formal Methods Syst. Des., 2017)

A Vision for Enhancing Security of Cryptography in Executables. - Otto Brechelmacher; Willibald Krenn; Thorsten Tarrach (ESSoS, 2018)

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. - Michael J. Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin F. Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer (ICECCS, 2019)

Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. - Dorottya Papp; Thorsten Tarrach; Levente Buttyán (SEFM, 2019)

Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. - Andreas Fellner; Willibald Krenn; Rupert Schlick; Thorsten Tarrach; Georg Weissenbacher (ACM Trans. Embed. Comput. Syst., 2019)

Language Inclusion for Finite Prime Event Structures. - Andreas Fellner; Thorsten Tarrach; Georg Weissenbacher (VMCAI, 2020)

The analysis approach of ThreatGet. - Korbinian Christl; Thorsten Tarrach (CoRR, 2021)

Threat Repair with Optimization Modulo Theories. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (CoRR, 2022)

Attribute Repair for Threat Prevention. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (SAFECOMP, 2023)