The following pages link to Harald Ruess (Q2055858):
Displaying 24 items.
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Compositional parameter synthesis (Q2281626) (← links)
- (Q2723421) (← links)
- (Q2754118) (← links)
- (Q2769581) (← links)
- Certification for $$\mu $$ μ -Calculus with Winning Strategies (Q2814623) (← links)
- 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 (Q2842588) (← links)
- (Q2848059) (← links)
- Model Construction and Priority Synthesis for Simple Interaction Systems (Q3021171) (← links)
- (Q3024916) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- Algorithms for Synthesizing Priorities in Component-Based Systems (Q3172911) (← links)
- (Q4335795) (← links)
- (Q4449212) (← links)
- (Q4553256) (← links)
- Structural Synthesis for GXW Specifications (Q4633528) (← links)
- Reflection of formal tactics in a deductive reflection framework (Q4647552) (← links)
- (Q4808733) (← links)
- (Q4809077) (← links)
- (Q4945203) (← links)
- Automated Reasoning (Q5307060) (← links)
- Computer Aided Verification (Q5312896) (← links)
- Computer Aided Verification (Q5312938) (← links)
- Computer Aided Verification (Q5900667) (← links)
