Thorsten Tarrach
TitleCited byYear
Efficient synthesis for concurrency by semantics-preserving transformations
P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International Conference on Computer Aided Verification, 951-967, 2013
352013
Regression-free synthesis for concurrency
P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
192014
Succinct representation of concurrent trace sets
A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach
ACM SIGPLAN Notices 50 (1), 433-444, 2015
182015
Type-checking implementations of protocols based on zero-knowledge proofs
M Backes, C Hritcu, M Maffei, T Tarrach
11th International Workshop on Foundations of Computer Security (FCS), 2009
182009
Automatically verifying typing constraints for a data processing language
M Backes, C Hriţcu, T Tarrach
International Conference on Certified Programs and Proofs, 296-313, 2011
172011
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černı, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
International Conference on Computer Aided Verification, 180-197, 2015
142015
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search
A Fellner, W Krenn, R Schlick, T Tarrach, G Weissenbacher
ACM Transactions on Embedded Computing Systems (TECS) 18 (1), 4, 2019
72019
Spi2F# – A prototype code generator for security protocols
T Tarrach
Bachelor's thesis, Saarland University, 2008
62008
Optimizing Solution Quality in Synchronization Synthesis
P Černı, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
arXiv preprint arXiv:1511.07163, 2015
22015
A Rational Secret Sharing Scheme Robust Against Malicious Players
N Altabari, A Krohmer, H Molter, T Tarrach
22009
Automatically Verifying" M" Modelling Language Constraints
T Tarrach
1*
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment
D Papp, T Tarrach, L Buttyán
International Conference on Software Engineering and Formal Methods, 491-509, 2019
2019
Behaviour-driven formal model development of the ETCS hybrid level 3
M Butler, D Dghaym, TS Hoang, T Omitola, C Snook, A Fellner, R Schlick, ...
2019
A Vision for Enhancing Security of Cryptography in Executables
O Brechelmacher, W Krenn, T Tarrach
International Symposium on Engineering Secure Software and Systems, 1-8, 2018
2018
From non-preemptive to preemptive scheduling using synchronization synthesis
P Cerny, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
Formal Methods in System Design 50 (2-3), 97-139, 2017
2017
AUTOMATIC SYNTHESIS OF SYNCHRONISATION PRIMITIVES FOR CONCURRENT PROGRAMS
T Tarrach
Institute of Science and Technology Austria, Klosterneuburg, Austria, 2016
2016
Pavol Černı
P Černı, T Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
The system can't perform the operation now. Try again later.
Articles 1–17