Harald Rueß

Available identifiers

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
Justifying equality	2013-09-25	Paper
Predicate abstraction for dense real-time systems	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/Q4809077	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808733	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

This page was built for person: Harald Rueß