Researcher Profile

Thorsten Tarrach

 Tarrach

Function

Research Engineer

Center

Digital Safety & Security

Competence Unit

Dependable Systems Engineering

E-Mail

Thorsten.Tarrach(at)ait.ac.at

Phone

+43 50550 4189

Fax

+43 50550 5150

Address

Tech Gate Vienna, Donau-City-Strasse 1, 1220 Vienna

Career

Field: Assessment and Testing of Autonomous and Safety-Critical Systems

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.

  • 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)
  • 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

Further Information

Back