The following pages link to Ernst-Ruediger Olderog (Q1838824):
Displaying 50 items.
- (Q439942) (redirect page) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Verification of sequential and concurrent programs (Q837527) (← links)
- (Q1050108) (redirect page) (← links)
- Proof rules and transformations dealing with fairness (Q1050109) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
- Sound and complete Hoare-like calculi based on copy rules (Q1154253) (← links)
- Correctness of concurrent processes (Q1176236) (← links)
- Transformational design of real-time systems. I: From requirements to program specifications (Q1282325) (← links)
- Specification and (property) inheritance in CSP-OZ (Q1776587) (← links)
- On the notion of expressiveness and the rule of adaptation (Q1838825) (← links)
- Layered reasoning for randomized distributed algorithms (Q1941864) (← links)
- A sound and complete Hoare logic for dynamically-typed, object-oriented programs (Q2026792) (← links)
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL (Q2226722) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- (Q2760239) (← links)
- (Q2764111) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Automatic Verification of Combined Specifications: An Overview (Q2873685) (← links)
- (Q3030243) (← links)
- (Q3040481) (← links)
- (Q3221388) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- (Q3347267) (← links)
- Verification of cooperating traffic agents (Q3442637) (← links)
- Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930) (← links)
- Fairness for Dynamic Control (Q3557081) (← links)
- Kleene, Rabin, and Scott Are Available (Q3584949) (← links)
- Layered Composition for Timed Automata (Q3588097) (← links)
- Modular Verification of Recursive Programs (Q3630170) (← links)
- (Q3681902) (← links)
- (Q3700805) (← links)
- (Q3700806) (← links)
- (Q3731021) (← links)
- (Q3745260) (← links)
- (Q3776645) (← links)
- Readies and Failures in the Algebra of Communicating Processes (Q3833645) (← links)
- (Q3883459) (← links)
- (Q3939210) (← links)
- (Q3948574) (← links)
- (Q3975137) (← links)
