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

This page was built for person: Stefan Leue