Publications

Journals

Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach and Georg Weissenbacher
Model-based, mutation-driven test case generation via heuristic-guided branching search
ACM Transactions on Embedded Computing Systems (February 2019, Volume 18, Issue 1)
Open-access

Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta and Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
Formel Methods in System Design (June 2017, Volume 50, Issue 2–3, pp 97–139)
Open-access

Conferences

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem and Dejan Ničković
Attribute Repair for Threat Prevention
SAFECOMP, 2023
PDF
The original publication is available at www.springerlink.com.

Andreas Fellner, Thorsten Tarrach and Georg Weissenbacher
Language Inclusion for Finite Prime Event Structures
VMCAI, 2020
PDF
The original publication is available at www.springerlink.com.

Dorottya Papp, Thorsten Tarrach and Levente Buttyán
Towards Detecting Trigger-based Behavior In Binaries: Uncovering the Correct Environment
SEFM, 2019
PDF
The original publication is available at www.springerlink.com.

Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach
A Vision For Enhancing Security Of Cryptography In Executables
ESSoS, 2018
PDF
The original publication is available at www.springerlink.com.

Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta and Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
Computer Aided Verification, 2015
PDF
The original publication is available at www.springerlink.com.

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta and Thorsten Tarrach
Succinct Representation of Concurrent Trace Sets
Principles of Programming Languages, 2014
PDF
The original publication is available at the ACM Digital Library.

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach
Regression-free Synthesis for Concurrency
Computer Aided Verification, 2014
PDF / Slides
The original publication is available at www.springerlink.com.

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach
Efficient Synthesis of Concurrency by Semantics-Preserving Transformations
Computer Aided Verification, 2013
PDF
The original publication is available at www.springerlink.com.

Michael Backes, Cătălin Hrițcu and Thorsten Tarrach
Automatically Verifying Typing Constraints for a Data Processing Language
Certified Programs and Proofs, 2011
PDF
The original publication is available at www.springerlink.com.

Workshop papers

Rupert Schlick and Thorsten Tarrach
Mutation-based test-case generation for Event-B
Rodin Workshop 2018
PDF

Michael Backes, Cătălin Hrițcu and Thorsten Tarrach
Automatically Verifying Typing Constraints for a Data Processing Language
BOOGIE: First International Workshop on Intermediate Verification Languages, 2011
PDF

Michael Backes, Cătălin Hrițcu, Matteo Maffei and Thorsten Tarrach
Type-checking Implementations of Protocols Based on Zero-knowledge Proofs Workshop on Foundations of Computer Security, 2009
PDF