Thorsten Tarrach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2011–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAFECOMP | Attribute Repair for Threat Prevention. | Thorsten Tarrach, Masoud Ebrahimi, Sandra Knig, Christoph Schmittner, Roderick Bloem, Dejan Nickovic |
| 2020 | VMCAI | Language Inclusion for Finite Prime Event Structures. | Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher |
| 2019 | ICECCS | 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 |
| 2019 | SEFM | Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. | Dorottya Papp, Thorsten Tarrach, Levente Buttyn |
| 2017 | MEMOCODE | Model-based, mutation-driven test case generation via heuristic-guided branching search. | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2015 | CAV | 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 |
| 2015 | POPL | Succinct Representation of Concurrent Trace Sets. | Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
| 2014 | CAV | Regression-Free Synthesis for Concurrency. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2013 | CAV | Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2011 | CPP | Automatically Verifying Typing Constraints for a Data Processing Language. | Michael Backes, Catalin Hritcu, Thorsten Tarrach |