| Decidability of Parameterized Verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015 | 206 | 2015 |
| On local reasoning in verification C Ihlemann, S Jacobs, V Sofronie-Stokkermans Tools and Algorithms for the Construction and Analysis of Systems, 265-281, 2008 | 102 | 2008 |
| Parameterized Synthesis S Jacobs, R Bloem Logical Methods in Computer Science 10 (1:12), 1-29, 2014 | 75 | 2014 |
| The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ... arXiv preprint arXiv:1711.11439, 2017 | 68 | 2017 |
| How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer Workshop on Synthesis, 2014 | 68 | 2014 |
| Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014 | 61 | 2014 |
| The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International Journal on Software Tools for Technology Transfer, 2016 | 55 | 2016 |
| Exact state set representations in the verification of linear hybrid systems with large discrete state space W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ... International Symposium on Automated Technology for Verification and …, 2007 | 52 | 2007 |
| A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016 | 50 | 2016 |
| PARTY Parameterized Synthesis of Token Rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013 | 43 | 2013 |
| Lazy Synthesis B Finkbeiner, S Jacobs Verification, Model Checking, and Abstract Interpretation, 2012 | 43 | 2012 |
| Verifying CSP-OZ-DC specifications with complex data types and timing parameters J Faber, S Jacobs, V Sofronie-Stokkermans Proceedings of the 6th international conference on Integrated formal methods …, 2007 | 40 | 2007 |
| Applications of hierarchical reasoning in the verification of complex systems S Jacobs, V Sofronie-Stokkermans Electronic Notes in Theoretical Computer Science 174 (8), 39-54, 2007 | 38 | 2007 |
| Synthesis of self-stabilising and byzantine-resilient distributed systems R Bloem, N Braud-Santoni, S Jacobs Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 31 | 2016 |
| Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 31 | 2016 |
| Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2013 | 31 | 2013 |
| Assume-guarantee synthesis for concurrent reactive programs with partial information R Bloem, K Chatterjee, S Jacobs, R Könighofer International Conference on Tools and Algorithms for the Construction and …, 2015 | 30 | 2015 |
| Towards complete reasoning about axiomatic specifications S Jacobs, V Kuncak International Conference on Verification, Model Checking, and Abstract …, 2011 | 29 | 2011 |
| Incremental instance generation in local reasoning S Jacobs Computer Aided Verification, 368-382, 2009 | 27 | 2009 |
| Analyzing guarded protocols: Better cutoffs, more systems, more expressivity S Jacobs, M Sakr Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 25 | 2018 |
Roderick BloemGraz University of Technology在 iaik.tugraz.at 的电子邮件经过验证
