The following pages link to Martin Steffen (Q338622):
Displayed 47 items.
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Termination detection for active objects (Q444506) (← links)
- Deadlock checking by data race detection (Q465488) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Checking modal contracts for virtually timed ambients (Q1623139) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Iterating transducers (Q1858440) (← links)
- A small-step semantics of a concurrent calculus with Goroutines and deferred functions (Q2026809) (← links)
- SAT modulo discrete event simulation applied to railway design capacity analysis (Q2058381) (← links)
- Translating active objects into colored Petri nets for communication analysis (Q2093151) (← links)
- (Q2779795) (← links)
- (Q2848138) (← links)
- Bounded Model Checking with Parametric Data Structures (Q2864380) (← links)
- Safe Locking for Multi-threaded Java (Q2894561) (← links)
- Reachability Analysis of Non-linear Planar Autonomous Systems (Q2894564) (← links)
- Deadlock Checking by Data Race Detection (Q2948236) (← links)
- Executable Interface Specifications for Testing Asynchronous Creol Components (Q3400930) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- (Q4433933) (← links)
- (Q4551159) (← links)
- (Q4736989) (← links)
- (Q4738214) (← links)
- (Q4779117) (← links)
- (Q4808850) (← links)
- Abstract Interface Behavior of Object-Oriented Languages with Monitors (Q4989491) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- A Calculus of Virtually Timed Ambients (Q5208501) (← links)
- Verification: Theory and Practice (Q5305646) (← links)
- Formal Methods for Components and Objects (Q5311293) (← links)
- (Q5457270) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710002) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711504) (← links)
- Observable interface behaviour and inheritance (Q5741571) (← links)
- Formal Methods for Components and Objects (Q5897122) (← links)
- Formal Methods for Components and Objects (Q5897445) (← links)
- Formal Methods for Components and Objects (Q5897455) (← links)
- Logical Approaches to Computational Barriers (Q5898797) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902547) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)