Publications

My DBLP

Journals

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

Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach and Georg Weissenbacher
Model-based, mutation-driven test case generation via heuristic-guided branching search
MEMOCODE, 2017
PDF

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

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