Martin Leucker

According to our database1, Martin Leucker authored at least 126 papers between 1999 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Preface to special issue: ICTAC 2015.
Mathematical Structures in Computer Science, 2019

2018
TeSSLa: Temporal Stream-Based Specification Language.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

TeSSLa: runtime verification of non-synchronized real-time streams.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Online analysis of debug trace data for embedded systems.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).
Dagstuhl Reports, 2017

ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface.
BMC Bioinformatics, 2017

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

COEMS - open traces from the industry.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Model-Checking Counting Temporal Logics on Flat Structures.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Runtime Verification for Linear-Time Temporal Logic.
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Counterexample guided abstraction refinement of product-line behavioural models.
Proceedings of the Software Engineering 2016, 2016

On Combinations of Static and Dynamic Analysis - Panel Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Runtime Verification for Interconnected Medical Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Static analysis meets runtime verification (NII Shonan Meeting 2015-5).
NII Shonan Meet. Rep., 2015

Secured SOA for the Safe Interconnection of Medical Devices (Position Paper).
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR.
Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015

Abstract Routing Models and Abstractions in the Context of Vehicle Routing.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A New Refinement Strategy for CEGAR-Based Industrial Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Workshop Energieinformatik.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

2014
Topology, monitorable properties and runtime verification.
Theor. Comput. Sci., 2014

A Robust Class of Data Languages and an Application to Learning.
Logical Methods in Computer Science, 2014

Guest editors' preface to special issue on interval temporal logics.
Ann. Math. Artif. Intell., 2014

Monitoring Modulo Theories.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Counterexample guided abstraction refinement of product-line behavioural models.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Challenges for the Dynamic Interconnection of Medical Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Efficient Profile Routing for Electric Vehicles.
Proceedings of the Internet of Vehicles - Technologies and Services, 2014

Ordered Navigation on Multi-attributed Data Words.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Learning Transparent Data Automata.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Runtime verification for multicore SoC with high-quality trace data.
ACM Trans. Design Autom. Electr. Syst., 2013

Runtime verification and reflection for wireless sensor networks.
Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.
Proceedings of the Runtime Verification - 4th International Conference, 2013

jUnitRV-Adding Runtime Verification to jUnit.
Proceedings of the NASA Formal Methods, 2013

OR.NET: Safe Interconnection of Medical Devices - (Position Paper).
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

A Fresh Approach to Learning Register Automata.
Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012
Three-valued abstraction for probabilistic systems.
J. Log. Algebr. Program., 2012

Anticipatory active monitoring for safety- and security-critical software.
SCIENCE CHINA Information Sciences, 2012

Frequency Linear-time Temporal Logic.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Sliding between Model Checking and Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

Runtime Verification with Predictive Semantics.
Proceedings of the NASA Formal Methods, 2012

Approaches for Mastering Change.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

A Formal Approach to Software Product Families.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Learning Minimal Deterministic Automata from Inexperienced Teachers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
Runtime Verification for LTL and TLTL.
ACM Trans. Softw. Eng. Methodol., 2011

Security Goals Assurance Based on Software Active Monitoring.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).
Proceedings of the Software Product Lines - 15th International Conference, 2011

Teaching Runtime Verification.
Proceedings of the Runtime Verification - Second International Conference, 2011

The Theory and Practice of SALT.
Proceedings of the NASA Formal Methods, 2011

An event pattern language for runtime monitoring based on AOP.
Proceedings of the 6th International Conference for Internet Technology and Secured Transactions, 2011

Efficient Energy-Optimal Routing for Electric Vehicles.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Learning Communicating Automata from MSCs.
IEEE Trans. Software Eng., 2010

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
STTT, 2010

Comparing LTL Semantics for Runtime Verification.
J. Log. Comput., 2010

Regular Linear Temporal Logic with Past.
Proceedings of the Verification, 2010

Regular Linear-Time Temporal Logic.
Proceedings of the TIME 2010, 2010

The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

libalf: The Automata Learning Framework.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Learning Workflow Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
Klassifikationsbäume in Echtzeit.
Softwaretechnik-Trends, 2009

A brief account of runtime verification.
J. Log. Algebr. Program., 2009

Äquivalenzklassen mit Zeit und Zuständen.
Proceedings of the Informatiktage 2009: Fachwissenschaftlicher Informatik-Kongress 27. und 28. März 2009, 2009

Angluin-Style Learning of NFA.
Proceedings of the IJCAI 2009, 2009

Don't Know for Multi-valued Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Network invariants for real-time systems.
Formal Asp. Comput., 2008

Checking and Enforcing Safety: Runtime Verification and Runtime Reflection.
ERCIM News, 2008

Calculating and Modeling Common Parts of Software Product Lines.
Proceedings of the Software Product Lines, 12th International Conference, 2008

SMA - The Smyle Modeling Approach.
Proceedings of the Software Engineering Techniques, 2008

Lightweight Verification 2008.
Proceedings of the INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 2008

Modeling and Model Checking Software Product Lines.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

08332 Executive Summary - Distributed Verification and Grid Computing.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

08332 Abstracts Collection - Distributed Verification and Grid Computing.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

Abstraction for Stochastic Systems by Erlang's Method of Stages.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Impartial Anticipation in Runtime-Verification.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
When not losing is better than winning: Abstraction and refinement for the full mu-calculus.
Inf. Comput., 2007

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.
Proceedings of the ISoLA 2007, 2007

Regular Linear Temporal Logic.
Proceedings of the Theoretical Aspects of Computing, 2007

The LearnLib in FMICS-jETI.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Parallel Model Checking and the FMICS-jETI Platform.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Three-Valued Abstraction for Continuous-Time Markov Chains.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Foreword.
Formal Methods in System Design, 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Don't Know in Probabilistic Systems.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Learning Finite-State Machines from Inexperienced Teachers.
Proceedings of the Grammatical Inference: Algorithms and Applications, 2006

SALT - Structured Assertion Language for Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2006

Monitoring of Real-Time Properties.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Learning Meets Verification.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Inferring Network Invariants Automatically.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Model-based runtime analysis of distributed reactive systems.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
STTT, 2005

UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.
Electr. Notes Theor. Comput. Sci., 2005

Inference of Timed Transition Systems.
Electr. Notes Theor. Comput. Sci., 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Insights to Angluin's Learning.
Electr. Notes Theor. Comput. Sci., 2005

Don't Know in the µ-Calculus.
Proceedings of the Verification, 2005

A Hierarchy of Implementable MSC Languages.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On the Correspondence Between Conformance Testing and Regular Inference.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
Network Invariants for Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2004

Verifying Qualitative Properties of Probabilistic Programs.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Controller Synthesis for Probabilistic Systems.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Learning of Event-Recording Automata.
Proceedings of the Formal Techniques, 2004

Model-Based Testing - A Glossary.
Proceedings of the Model-Based Testing of Reactive Systems, 2004

Message-Passing Automata Are Expressively Equivalent to EMSO Logic.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Parallel Model Checking for LTL, CTL*, and Lµ2.
Electr. Notes Theor. Comput. Sci., 2003

Model Checking Probabilistic Distributed Systems.
Proceedings of the Advances in Computing Science, 2003

2002
Logics for Mazurkiewicz traces.
PhD thesis, 2002

Local Parallel Model Checking for the Alternation-Free µ-Calculus.
Proceedings of the Model Checking of Software, 2002

Extending Compositional Message Sequence Graphs.
Proceedings of the Logic for Programming, 2002

Dynamic Message Sequence Charts.
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Generalised Regular MSC Languages.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Modelling, Specifying, and Verifying Message Passing Systems.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Deciding LTL over Mazurkiewicz Traces.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Parallel Model Checking for the Alternation Free µ-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Prefix-Recognizable Graphs and Monadic Logic.
Proceedings of the Automata, 2001

Truth/SLC - A Parallel Verification Platform for Concurrent Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Rewriting Logic as a Framework for Generic Verification Tools.
Electr. Notes Theor. Comput. Sci., 2000

On Model Checking Synchronised Hardware Circuits.
Proceedings of the Advances in Computing Science, 2000

1999
Rapid Prototyping of Specification Language Implementations.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999


  Loading...