Thorsten Tarrach

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 15

Top Topics

Preemptive Scheduling

Locally Weighted

Test Case Generation

Modulo Theories

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Attribute Repair for Threat Prevention. SAFECOMP (2023)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Threat Repair with Optimization Modulo Theories. CoRR (2022)
Korbinian Christl, Thorsten Tarrach
The analysis approach of ThreatGet. CoRR (2021)
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
Language Inclusion for Finite Prime Event Structures. VMCAI (2020)
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS (2019)
Dorottya Papp, Thorsten Tarrach, Levente Buttyán
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. SEFM (2019)
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
Language Inclusion for Finite Prime Event Structures. CoRR (2019)
Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach
A Vision for Enhancing Security of Cryptography in Executables. ESSoS (2018)
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Model-based, mutation-driven test case generation via heuristic-guided branching search. MEMOCODE (2017)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50 (2-3) (2017)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR (2015)
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
Succinct Representation of Concurrent Trace Sets. POPL (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
Optimizing Solution Quality in Synchronization Synthesis. CoRR (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) (2015)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-Free Synthesis for Concurrency. CAV (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-free Synthesis for Concurrency. CoRR (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV (2013)
Michael Backes, Catalin Hritcu, Thorsten Tarrach
Automatically Verifying Typing Constraints for a Data Processing Language. CPP (2011)