Martin Leucker

Available identifiers

zbMath Open leucker.martinMaRDI QIDQ444482

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6191009	2024-02-08	Paper
TeSSLa: temporal stream-based specification language	2023-08-02	Paper
A survey of model learning techniques for recurrent neural networks	2023-07-26	Paper
Symbolic runtime verification for monitoring under uncertainties and assumptions	2023-06-02	Paper
Property-directed verification and robustness certification of recurrent neural networks	2022-06-22	Paper
Model-Checking Counting Temporal Logics on Flat Structures	2020-05-27	Paper
A Robust Class of Data Languages and an Application to Learning	2015-01-15	Paper
Ordered Navigation on Multi-attributed Data Words	2014-09-15	Paper
Learning Transparent Data Automata	2014-07-08	Paper
Topology, monitorable properties and runtime verification	2014-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2851066	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848151	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2849548	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2847414	2013-09-09	Paper
A Fresh Approach to Learning Register Automata	2013-06-28	Paper
Three-valued abstraction for probabilistic systems	2012-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q3225714	2012-03-22	Paper
Learning of event-recording automata	2010-11-11	Paper
Learning Workflow Petri Nets	2010-06-22	Paper
Comparing LTL Semantics for Runtime Verification	2010-06-17	Paper
Regular Linear Temporal Logic with Past	2010-01-14	Paper
Don’t Know for Multi-valued Systems	2009-12-01	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
Validation of Stochastic Systems	2009-07-24	Paper
A brief account of runtime verification	2009-07-20	Paper
Network invariants for real-time systems	2009-05-27	Paper
Inferring Network Invariants Automatically	2009-03-12	Paper
Abstraction for Stochastic Systems by Erlang’s Method of Stages	2008-11-25	Paper
Impartial Anticipation in Runtime-Verification	2008-11-20	Paper
Regular Linear Temporal Logic	2008-09-17	Paper
Learning Meets Verification	2008-09-17	Paper
Monitoring of Real-Time Properties	2008-04-17	Paper
Three-Valued Abstraction for Continuous-Time Markov Chains	2007-11-29	Paper
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning	2007-09-03	Paper
When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus	2007-08-23	Paper
Model Checking Software	2007-05-02	Paper
Message-passing automata are expressively equivalent to EMSO logic	2006-09-13	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4673428	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4738217	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4428292	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4422788	2003-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4415260	2003-07-28	Paper
Prefix-Recognizable Graphs and Monadic Logic	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4551158	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2766537	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4934536	2001-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q2703694	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4938419	2000-02-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Leucker