Thorsten Tarrach

According to our database, Thorsten Tarrach authored at least 14 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Attribute Repair for Threat Prevention.

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

Proceedings of the Computer Safety, Reliability, and Security, 2023

2022

Threat Repair with Optimization Modulo Theories.

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

CoRR, 2022

2021

The analysis approach of ThreatGet.

Korbinian Christl, Thorsten Tarrach

CoRR, 2021

2020

Language Inclusion for Finite Prime Event Structures.

Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

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

Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment.

Dorottya Papp, Thorsten Tarrach, Levente Buttyán

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

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

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

A Vision for Enhancing Security of Cryptography in Executables.

Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach

Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018

2017

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

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

Succinct Representation of Concurrent Trace Sets.

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Regression-Free Synthesis for Concurrency.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Automatically Verifying Typing Constraints for a Data Processing Language.

Michael Backes, Catalin Hritcu, Thorsten Tarrach

Proceedings of the Certified Programs and Proofs - First International Conference, 2011