| Gemini 2.5: Pushing the frontier with advanced reasoning, multimodality, long context, and next generation agentic capabilities G Comanici, E Bieber, M Schaekermann, I Pasupat, N Sachdeva, I Dhillon, ... arXiv preprint arXiv:2507.06261, 2025 | 1337 | 2025 |
| 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 |
| Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010 | 335 | 2010 |
| Monitoring of real-time properties A Bauer, M Leucker, C Schallhart International Conference on Foundations of Software Technology and …, 2006 | 263 | 2006 |
| Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Detection of Intrusions and Malware, and Vulnerability Assessment, 174-187, 2005 | 254 | 2005 |
| 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 |
| Secure extensible computing environment J Thoma, S Murphy, C Schallhart US Patent App. 10/041,772, 2002 | 139 | 2002 |
| OXPath: A language for scalable data extraction, automation, and crawling on the deep web T Furche, G Gottlob, G Grasso, C Schallhart, A Sellers The VLDB Journal 22 (1), 47-72, 2013 | 127 | 2013 |
| DIADEM: thousands of websites to a single database T Furche, G Gottlob, G Grasso, X Guo, G Orsi, C Schallhart, C Wang Proceedings of the VLDB Endowment 7 (14), 1845-1856, 2014 | 105 | 2014 |
| CBMC-GC: an ANSI C compiler for secure two-party computations M Franz, A Holzer, S Katzenbeisser, C Schallhart, H Veith International Conference on Compiler Construction, 244-249, 2014 | 87 | 2014 |
| FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement: Tool Paper A Holzer, C Schallhart, M Tautschnig, H Veith International Conference on Computer Aided Verification, 209-213, 2008 | 84 | 2008 |
| Model-based runtime analysis of distributed reactive systems A Bauer, M Leucker, C Schallhart Australian Software Engineering Conference (ASWEC'06), 10 pp.-252, 2006 | 83 | 2006 |
| 14 tools for test case generation A Belinfante, L Frantzen, C Schallhart Model-Based Testing of Reactive Systems: Advanced Lectures, 391-438, 2005 | 81 | 2005 |
| Proactive detection of computer worms using model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith IEEE transactions on dependable and secure computing 7 (4), 424-438, 2008 | 76 | 2008 |
| DIADEM: domain-centric, intelligent, automated data extraction methodology T Furche, G Gottlob, G Grasso, O Gunes, X Guo, A Kravchenko, G Orsi, ... Proceedings of the 21st International Conference on World Wide Web, 267-270, 2012 | 63 | 2012 |
| deqa: Deep Web Extraction for Question Answering J Lehmann, T Furche, G Grasso, ACN Ngomo, C Schallhart, A Sellers, ... International Semantic Web Conference, 131-147, 2012 | 59 | 2012 |
| How did you specify your test suite A Holzer, C Schallhart, M Tautschnig, H Veith Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 58 | 2010 |
| Query-driven program testing A Holzer, C Schallhart, M Tautschnig, H Veith International Workshop on Verification, Model Checking, and Abstract …, 2009 | 57 | 2009 |
| Oxpath: A language for scalable, memory-efficient data extraction from web applications T Furche, G Gottlob, G Grasso, C Schallhart, A Sellers Proceedings of the VLDB Endowment 4 (11), 1016-1027, 2011 | 44 | 2011 |
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
