Harald Ruess

Available identifiers

zbMath Open ruess.haraldMaRDI QIDQ2055858

List of research outcomes

Publication	Date of Publication	Type
Proof search and certificates for evidential transactions	2021-12-01	Paper
Compositional parameter synthesis	2020-01-03	Paper
Structural Synthesis for GXW Specifications	2019-05-03	Paper
Reflection of formal tactics in a deductive reflection framework	2019-01-15	Paper
Certification for $$\mu $$ μ -Calculus with Winning Strategies	2016-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q2848059	2013-09-25	Paper
Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.	2013-08-15	Paper
Algorithms for Synthesizing Priorities in Component-Based Systems	2011-10-07	Paper
Model Construction and Priority Synthesis for Simple Interaction Systems	2011-07-22	Paper
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice	2011-02-15	Paper
Computer Aided Verification	2010-04-20	Paper
Automated Reasoning	2007-09-25	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q3024916	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808733	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809077	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4449212	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4553256	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769581	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754118	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q2723421	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4945203	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4335795	1997-04-29	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: Harald Ruess