Stefan Leue

MaRDI QIDQ420802zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Clock bound repair for timed systems Computer Aided Verification	2024-02-16	Paper
\textsf{symQV}: automated symbolic verification of quantum programs Formal Methods	2023-08-17	Paper
Automated repair for timed systems Formal Methods in System Design	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 Automated Technology for Verification and Analysis	2020-07-20	Paper
Causality checking for complex system models Lecture Notes in Computer Science	2014-11-03	Paper
K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths Artificial Intelligence	2012-05-23	Paper
Specification languages for stutter-invariant regular properties Automated Technology for Verification and Analysis	2009-12-01	Paper
Extended Directed Search for Probabilistic Timed Reachability Lecture Notes in Computer Science	2008-07-08	Paper
Model Checking Software Lecture Notes in Computer Science	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-05-02	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-11-14	Paper
Model Checking Software Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2087625 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1746648 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1629968 (Why is no real title available?)	2001-11-04	Paper
Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
scientific article; zbMATH DE number 1069486 (Why is no real title available?)	1998-01-14	Paper
Interpreting message flow graphs Formal Aspects of Computing	1996-05-27	Paper

Research outcomes over time

This page was built for person: Stefan Leue