Martin Leucker

Computational Theory and Mathematics · 2005–2011

A researcher in the Science corpus: 3 papers; trusts 6 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Martin Leucker trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Armin Biere
  2. Feng Chen
  3. Grigore Roşu
  4. Klaus Havelund
  5. Paul Gastin
  6. Ben D'Angelo
  7. Oded Maler
  8. John E. Hopcroft
  9. Fabio Barbon
  10. Edmund M. Clarke

Papers from Martin Leucker's perspective

Ordered by how strongly the researchers Martin Leucker trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  2. Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  3. LOLA: runtime monitoring of synchronous systems (Time)
  4. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
  5. Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)
  6. Introduction to Automata Theory, Languages and Computation
  7. Model checking (Communications of the ACM)
  8. Run-Time Monitoring of Instances and Classes of Web Service Compositions (2006 IEEE International Conference on Web Services (ICWS'06))
  9. Web Services Business Process Execution Language Version 2.0
  10. Runtime Verification for LTL and TLTL (TSEM)

Their papers