H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 32 Citations 6,789 124 World Ranking 7205 National Ranking 353

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Artificial intelligence

Martin Leucker focuses on Theoretical computer science, Model checking, Algorithm, Semantics and Programming language. The various areas that he examines in his Theoretical computer science study include Equivalence and Formal language. His Model checking research includes themes of Formal methods, Probabilistic logic, Software product line and Product.

His biological study spans a wide range of topics, including Linear temporal logic, Interpretation, Property Specification Language, Temporal logic and Process calculus. Runtime verification, Software verification and Finite-state machine are the core of his Programming language study. His work carried out in the field of Software verification brings together such families of science as Verification, Reflection, High-level verification, Intelligent verification and Functional verification.

His most cited work include:

  • A Brief Account of Runtime Verification (519 citations)
  • A Brief Account of Runtime Verification (519 citations)
  • Model-Based Testing of Reactive Systems, Advanced Lectures (393 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Theoretical computer science, Model checking, Programming language, Runtime verification and Automaton. His research investigates the connection between Model checking and topics such as State that intersect with problems in Software. His works in Specification language, Compiler, Formal methods, Software verification and Intelligent verification are all subjects of inquiry into Programming language.

His Runtime verification research includes elements of Correctness, Semantics, TRACE, Embedded system and Software engineering. His studies in Semantics integrate themes in fields like Semantics and Interpretation. His Automaton study combines topics from a wide range of disciplines, such as Finite-state machine and Equivalence.

He most often published in these fields:

  • Theoretical computer science (33.01%)
  • Model checking (26.70%)
  • Programming language (22.82%)

What were the highlights of his more recent work (between 2015-2020)?

  • Runtime verification (20.87%)
  • Specification language (7.28%)
  • State (4.85%)

In recent papers he was focusing on the following fields of study:

His scientific interests lie mostly in Runtime verification, Specification language, State, TRACE and Embedded system. His Runtime verification study is concerned with the larger field of Programming language. His Programming language research includes themes of Automaton, Program trace and Decidability.

He has researched Specification language in several fields, including Event and Data science. His State study integrates concerns from other disciplines, such as Undecidable problem, Model checking, Simple, Software and Smart contract. His biological study spans a wide range of topics, including Prefix, Recurrent neural network, Static analysis and Counterexample.

Between 2015 and 2020, his most popular works were:

  • TeSSLa: Temporal Stream-Based Specification Language (26 citations)
  • Monitoring modulo theories (26 citations)
  • TeSSLa: runtime verification of non-synchronized real-time streams (24 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Artificial intelligence

His main research concerns Runtime verification, Embedded system, Debugging, TRACE and Specification language. His work carried out in the field of Runtime verification brings together such families of science as Linear temporal logic, Theory of computation, Temporal logic and Satisfiability modulo theories. His Linear temporal logic research is within the category of Theoretical computer science.

His research integrates issues of Complex event processing and State in his study of Embedded system. His studies deal with areas such as Correctness, Boolean data type, Stream processing, Component and Implementation as well as Specification language. His Correctness study necessitates a more in-depth grasp of Programming language.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

A Brief Account of Runtime Verification

Martin Leucker;Martin Leucker;Christian Schallhart;Christian Schallhart.
The Journal of Logic and Algebraic Programming (2009)

834 Citations

Model-Based Testing of Reactive Systems, Advanced Lectures

Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)

601 Citations

Runtime Verification for LTL and TLTL

Andreas Bauer;Martin Leucker;Christian Schallhart.
ACM Transactions on Software Engineering and Methodology (2011)

589 Citations

Comparing LTL Semantics for Runtime Verification

Andreas Bauer;Martin Leucker;Christian Schallhart.
Journal of Logic and Computation (2010)

252 Citations

Monitoring of real-time properties

Andreas Bauer;Martin Leucker;Christian Schallhart.
foundations of software technology and theoretical computer science (2006)

207 Citations

Efficient energy-optimal routing for electric vehicles

Martin Sachenbacher;Martin Leucker;Andreas Artmeier;Julian Haselmayr.
national conference on artificial intelligence (2011)

204 Citations

Modeling and Model Checking Software Product Lines

Alexander Gruler;Martin Leucker;Kathrin Scheidemann.
formal methods for open object based distributed systems (2008)

192 Citations

The shortest path problem revisited: optimal routing for electric vehicles

Andreas Artmeier;Julian Haselmayr;Martin Leucker;Martin Sachenbacher.
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence (2010)

190 Citations

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
(2005)

167 Citations

The good, the bad, and the ugly, but how ugly is ugly?

Andreas Bauer;Martin Leucker;Christian Schallhart.
runtime verification (2007)

141 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Martin Leucker

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 69

Bernhard Steffen

Bernhard Steffen

TU Dortmund University

Publications: 43

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 38

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 33

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 28

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 26

David Basin

David Basin

ETH Zurich

Publications: 24

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 20

Patrick Heymans

Patrick Heymans

University of Namur

Publications: 18

Fabrizio Maria Maggi

Fabrizio Maria Maggi

Free University of Bozen-Bolzano

Publications: 17

Roderick Bloem

Roderick Bloem

Graz University of Technology

Publications: 16

Bengt Jonsson

Bengt Jonsson

Uppsala University

Publications: 16

Stavros Tripakis

Stavros Tripakis

Northeastern University

Publications: 14

Stefania Gnesi

Stefania Gnesi

Institute of Information Science and Technologies

Publications: 14

Tiziana Margaria

Tiziana Margaria

University of Limerick

Publications: 14

Calin Belta

Calin Belta

Boston University

Publications: 13

Something went wrong. Please try again later.