17 citations · 24 across the 5 of their papers we have counts for
6 papers
Threat Repair with Optimization Modulo Theories
Thorsten Tarrach, Masoud Ebrahimi, Sandra König +3
We propose a model-based procedure for automatically preventing security threats using formal models. We encode system models and potential threats as satisfiability modulo theory…
The analysis approach of ThreatGet
Korbinian Christl, Thorsten Tarrach
Nowadays, almost all electronic devices include a communication interface that allows to interact with them, exchange data, or operate their services remotely. The trend toward inc…
Language Inclusion for Finite Prime Event Structures
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
We study the problem of language inclusion between finite, labeled prime event structures. Prime event structures are a formalism to compactly represent concurrent behavior of disc…
Optimizing Solution Quality in Synchronization Synthesis
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger +4
Given a multithreaded program written assuming a friendly, non-preemptive scheduler, the goal of synchronization synthesis is to automatically insert synchronization primitives to…
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger +4
We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedu…
Regression-free Synthesis for Concurrency
Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna +2
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a…