| 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 | 35 | 2013 |
| Regression-free synthesis for concurrency P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014 | 19 | 2014 |
| Succinct representation of concurrent trace sets A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach ACM SIGPLAN Notices 50 (1), 433-444, 2015 | 18 | 2015 |
| 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 | 18 | 2009 |
| 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 | 17 | 2011 |
| 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 | 14 | 2015 |
| 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 | 7 | 2019 |
| Spi2F# – A prototype code generator for security protocols T Tarrach Bachelor's thesis, Saarland University, 2008 | 6 | 2008 |
| Optimizing Solution Quality in Synchronization Synthesis P Černı, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ... arXiv preprint arXiv:1511.07163, 2015 | 2 | 2015 |
| A Rational Secret Sharing Scheme Robust Against Malicious Players N Altabari, A Krohmer, H Molter, T Tarrach | 2 | 2009 |
| 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 | | |