Stefan Leue

Available identifiers

zbMath Open leue.stefanMaRDI QIDQ420802

List of research outcomes

Publication	Date of Publication	Type
Clock bound repair for timed systems	2024-02-16	Paper
\textsf{symQV}: automated symbolic verification of quantum programs	2023-08-17	Paper
Automated repair for timed systems	2023-06-29	Paper
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks	2022-12-07	Paper
Dynamic causes for the violation of timed reachability properties	2021-03-02	Paper
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking	2020-07-20	Paper
Causality Checking for Complex System Models	2014-11-03	Paper
K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths	2012-05-23	Paper
Specification Languages for Stutter-Invariant Regular Properties	2009-12-01	Paper
Extended Directed Search for Probabilistic Timed Reachability	2008-07-08	Paper
Model Checking Software	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems	2007-09-04	Paper
Model Checking Software	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Model Checking Software	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738472	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530808	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2729086	2001-11-04	Paper
Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4356437	1998-01-14	Paper
Interpreting message flow graphs	1996-05-27	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: Stefan Leue