Harald Rueß

MaRDI QIDQ2055858zbMATH 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
A decision method for first-order stream logic	2025-01-31	Paper
Proof search and certificates for evidential transactions	2021-12-01	Paper
Compositional parameter synthesis	2020-01-03	Paper
Structural Synthesis for GXW Specifications Computer Aided Verification	2019-05-03	Paper
Reflection of formal tactics in a deductive reflection framework Automated Deduction — Cade-13	2019-01-15	Paper
Certification for \(\mu \)-calculus with winning strategies Model Checking Software	2016-06-22	Paper
Justifying equality	2013-09-25	Paper
Predicate abstraction for dense real-time systems Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Algorithms for synthesizing priorities in component-based systems Automated Technology for Verification and Analysis	2011-10-07	Paper
Model construction and priority synthesis for simple interaction systems Lecture Notes in Computer Science	2011-07-22	Paper
Synthesis of fault-tolerant embedded systems using games: from theory to practice Lecture Notes in Computer Science	2011-02-15	Paper
Bounded model checking and induction: From refutation to verification (extended abstract, Category A) Lecture Notes in Computer Science	2010-04-20	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2185723 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2090318 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090060 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2038747 (Why is no real title available?)	2004-02-08	Paper
scientific article; zbMATH DE number 1798183 (Why is no real title available?)	2002-11-04	Paper
scientific article; zbMATH DE number 1701754 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1670802 (Why is no real title available?)	2001-12-18	Paper
scientific article; zbMATH DE number 1614698 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 1424014 (Why is no real title available?)	2000-08-23	Paper
scientific article; zbMATH DE number 1006087 (Why is no real title available?)	1997-04-29	Paper

Research outcomes over time

This page was built for person: Harald Rueß