| A brief account of runtime verification M Leucker, C Schallhart The journal of logic and algebraic programming 78 (5), 293-303, 2009 | 1222 | 2009 |
| Runtime verification for LTL and TLTL A Bauer, M Leucker, C Schallhart ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 1-64, 2011 | 861 | 2011 |
| Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005 | 713 | 2005 |
| Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010 | 335 | 2010 |
| The shortest path problem revisited: Optimal routing for electric vehicles A Artmeier, J Haselmayr, M Leucker, M Sachenbacher Annual conference on artificial intelligence, 309-316, 2010 | 288 | 2010 |
| Efficient energy-optimal routing for electric vehicles M Sachenbacher, M Leucker, A Artmeier, J Haselmayr Proceedings of the AAAI conference on artificial intelligence 25 (1), 1402-1407, 2011 | 281 | 2011 |
| Monitoring of real-time properties A Bauer, M Leucker, C Schallhart International Conference on Foundations of Software Technology and …, 2006 | 263 | 2006 |
| Modeling and model checking software product lines A Gruler, M Leucker, K Scheidemann International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 223 | 2008 |
| The good, the bad, and the ugly, but how ugly is ugly? A Bauer, M Leucker, C Schallhart International Workshop on Runtime Verification, 126-138, 2007 | 194 | 2007 |
| Angluin-Style Learning of NFA. B Bollig, P Habermehl, C Kern, M Leucker IJCAI 9, 1004-1009, 2009 | 183 | 2009 |
| On the correspondence between conformance testing and regular inference T Berg, O Grinchtein, B Jonsson, M Leucker, H Raffelt, B Steffen International Conference on Fundamental Approaches to Software Engineering …, 2005 | 140 | 2005 |
| libalf: The Automata Learning Framework B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon International Conference on Computer Aided Verification, 360-364, 2010 | 139 | 2010 |
| Don’t Know in Probabilistic Systems H Fecher, M Leucker, V Wolf International SPIN Workshop on Model Checking of Software, 71-88, 2006 | 128 | 2006 |
| Controller synthesis for probabilistic systems C Baier, M Größer, M Leucker, B Bollig, F Ciesinski Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004 | 125 | 2004 |
| TeSSLa: temporal stream-based specification language L Convent, S Hungerecker, M Leucker, T Scheffel, M Schmitz, D Thoma Brazilian Symposium on Formal Methods, 144-162, 2018 | 119 | 2018 |
| Three-valued abstraction for continuous-time Markov chains JP Katoen, D Klink, M Leucker, V Wolf International Conference on Computer Aided Verification, 311-324, 2007 | 119 | 2007 |
| The optimal routing problem in the context of battery-powered electric vehicles A Artmeier, J Haselmayr, M Leucker, M Sachenbacher CPAIOR Workshop on Constraint Reasoning and Optimization for Computational …, 2010 | 114 | 2010 |
| Regular linear temporal logic M Leucker, C Sánchez International colloquium on theoretical aspects of computing, 291-305, 2007 | 94 | 2007 |
| Monitoring modulo theories N Decker, M Leucker, D Thoma International Journal on Software Tools for Technology Transfer 18 (2), 205-225, 2016 | 87 | 2016 |
| Runtime verification with predictive semantics X Zhang, M Leucker, W Dong NASA formal methods symposium, 418-432, 2012 | 86 | 2012 |
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
