- DEADLOCK AVOIDANCE FOR DISTRIBUTED REALTIME AND EMBEDDED SYSTEMS
- Final Semantics for Event-Pattern Reactive Cesar Sanchez, Henny B. Sipma, Matteo Slanina, and Zohar Manna
- Regular Linear Temporal Logic with Past Cesar Sanchez1,2
- Thread Allocation Protocols for Distributed RealTime and Embedded Systems #
- Event Correlation: Language and Semantics Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma,
- LOLA: Runtime Monitoring of Synchronous Ben D'Angelo Sriram Sankaranarayanan Cesar Sanchez Will Robinson
- Thread Allocation Protocols for Distributed Real-Time and Embedded Systems
- Decision Procedures for the Temporal Verification of Concurrent Lists
- The Reaction Algebra: A Formal Language for Event Correlation
- Regular Linear Temporal Logic Martin Leucker1
- DEADLOCK AVOIDANCE FOR DISTRIBUTED REAL-TIME AND EMBEDDED SYSTEMS
- Generating Efficient Distributed Deadlock Avoidance Controllers Cesar Sanchez Henny B. Sipma Zohar Manna
- Reachable State Spaces of Distributed Deadlock Avoidance Protocols
- Expressive Completeness of an Event-Pattern Reactive Programming Language
- Expressive Completeness of an Event-Pattern Reactive Programming Language
- Event Correlation: Language and Semantics Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma,
- The Reaction Algebra: A Formal Language for Event Correlation #
- Distributed Priority Inheritance for RealTime and Embedded Systems #
- Generating E#cient Distributed Deadlock Avoidance Controllers # Cesar Sanchez Henny B. Sipma Zohar Manna
- A Family of Distributed Deadlock Avoidance Protocols and their Reachable State Spaces #
- On E#cient Deadlock Avoidance for Distributive Recursive Processes
- LOLA: Runtime Monitoring of Synchronous Ben D'Angelo # Sriram Sankaranarayanan # Cesar Sanchez # Will Robinson #
- Expressive Completeness of an EventPattern Reactive Programming Language
- Efficient Distributed Deadlock Avoidance with Liveness Guarantees
- Reachable State Spaces of Distributed Deadlock Avoidance Protocols
- Reusable Models for Timing and Liveness Analysis of Middleware for Distributed RealTime and Embedded
- Regular Linear Temporal Logic with Past Cesar Sanchez 1,2 and Martin Leucker 3
- A lightweight asynchronous algorithm for causal delivery using extra message
- A Family of Distributed Deadlock Avoidance Protocols and their Reachable State Spaces
- On Efficient Deadlock Avoidance for Distributive Recursive Processes
- Final Semantics for EventPattern Reactive Cesar Sanchez, Henny B. Sipma, Matteo Slanina, and Zohar Manna
- On E#cient Distributed Deadlock Avoidance for RealTime and Embedded Systems
- A lightweight asynchronous algorithm for causal delivery using extra message
- Expressive Completeness of an EventPattern Reactive Programming Language #
- A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes
- A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes #
- Regular Linear-time Temporal Logic Martin Leucker
