_id,title
4253,Coalescence in a Random Background
4372,Monitoring Temporal Properties of Continuous Signals
4424,Program verification by lazy abstraction
4445,A typed assembly language for real-time programs
4458,Abstractions from proofs
4459,Race checking by context inference
4461,Extreme model checking
4525,Event-driven programming with logical execution times
4555,Trading memory for randomness
4556,Stack size analysis for interrupt-driven programs
4558,Quantitative stochastic parity games