| Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018 | 339 | 2018 |
| A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013 | 238 | 2013 |
| Quantified event automata: Towards expressive and efficient runtime monitors H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 202 | 2012 |
| A taxonomy for classifying runtime verification tools Y Falcone, S Krstić, G Reger, D Traytel International Journal on Software Tools for Technology Transfer 23 (2), 255-284, 2021 | 147 | 2021 |
| MarQ: Monitoring at Runtime with QEA G Reger, HC Cruz, D Rydeheard Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 145 | 2015 |
| First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International journal on software tools for technology transfer 21, 31-70, 2019 | 94 | 2019 |
| The SMT competition 2015–2018 T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019 | 65 | 2019 |
| Monitoring events that carry data K Havelund, G Reger, D Thoma, E Zălinescu Lectures on Runtime Verification: Introductory and Advanced Topics, 61-102, 2018 | 59 | 2018 |
| Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016 | 56 | 2016 |
| Playing with AVATAR G Reger, M Suda, A Voronkov Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 55 | 2015 |
| A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020 | 51 | 2020 |
| Induction in saturation-based proof search G Reger, A Voronkov Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 48 | 2019 |
| Second international competition on runtime verification: CRV 2015 Y Falcone, D Ničković, G Reger, D Thoma Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 47 | 2015 |
| Third international competition on runtime verification: CRV 2016 G Reger, S Hallé, Y Falcone Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 45 | 2016 |
| New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016 | 42 | 2016 |
| AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016 | 40 | 2016 |
| A pattern-based approach to parametric specification mining G Reger, H Barringer, D Rydeheard 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 40 | 2013 |
| The Vampire and the FOOL E Kotelnikov, L Kovács, G Reger, A Voronkov Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 35 | 2016 |
| Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov International Conference on Theory and Applications of Satisfiability …, 2016 | 33 | 2016 |
| Unification with abstraction and theory instantiation in saturation-based reasoning G Reger, M Suda, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2018 | 32 | 2018 |
Martin SudaCzech Technical University in Prague在 cvut.cz 的电子邮件经过验证
