Thorsten Tarrach

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