Direkt zum Inhalt
Symbolfoto: Das AIT ist Österreichs größte außeruniversitäre Forschungseinrichtung

Researcher Profile

Thorsten Tarrach PhD

 Thorsten Tarrach PhD

Function

Research Engineer

Center

Digital Safety & Security

Competence Unit

Security & Communication Technologies

E-Mail

Thorsten.Tarrach(at)ait.ac.at

Phone

+43 50550 4189

Fax

+43 50550 5150

Address

Giefinggasse 4, 1210 Vienna

Career

Field: Dependable Systems Engineering

Main Research: Automated Testcase Generation / Formal Methods

Experience:

Thorsten completed his PhD in 2016 at the Institute of Science and Technology Austria in the group of Thomas A. Henzinger. His thesis focused on the synthesis of synchronisation for concurrent programs. Since then he worked on numerous projects in AIT, ranging from automated test-case generation, automated binary program analysis to threat modelling techniques.

  • 2012-2016: PhD Student
    Institute of Science and Technology / Austria
  • 2010-2012: Software Engineer
    Atomia / Serbia

Publications

  • From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
    Author(s): Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta and Thorsten Tarrach
    Journal: Formal Methods in System Design (2016)
  • Model-based, mutation-driven test case generation via heuristic-guided branching search
    Author(s): Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach and Georg Weissenbacher
    Journal: ACM Transactions on Embedded Computing Systems, 18 (2019) ; 4:1-4:28
  • Automatically Verifying Typing Constraints for a Data Processing Language
    Author(s): Michael Backes, Catalin Hri?cu and Thorsten Tarrach
    Conference Certified Programs and Proofs, Kenting, Taiwan
  • Efficient Synthesis of Concurrency by Semantics-Preserving Transformations
    Author(s): Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach
    Conference Computer Aided Verification, Saint Petersburg, Russia
  • Regression-free Synthesis for Concurrency
    Author(s): Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach
    Conference Computer Aided Verification, Vienna, Austria
  • Succinct Representation of Concurrent Trace Sets
    Author(s): Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta and Thorsten Tarrach
    Conference Principles of Programming Languages, Mumbai, India
  • From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
    Author(s): Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta and Thorsten Tarrach
    Conference Computer Aided Verification, San Francisco, CA, USA
  • Model-based, mutation-driven test case generation via heuristic-guided branching search
    Author(s): Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach and Georg Weissenbacher
    Conference MEMOCODE, Vienna, Austria
  • Testmanagement und -engineering ILV (2017)
    FH Campus Wien
  • Testmanagement und -engineering ILV (2018)
    FH Campus Wien
  • Testmanagement und -engineering ILV (2019)
    FH Campus Wien

Further Information

Back