DOI,IST REx ID,Title of publication
null,4253,Coalescence in a Random Background
10.1007/978-3-540-30206-3_12,4372,Monitoring Temporal Properties of Continuous Signals
null,4424,Program verification by lazy abstraction
10.1145/1017753.1017774,4445,A typed assembly language for real-time programs
10.1145/964001.964021,4458,Abstractions from proofs
10.1145/996841.996844,4459,Race checking by context inference
10.1007/978-3-540-39910-0_16,4461,Extreme model checking
10.1007/978-3-540-24743-2_24,4525,Event-driven programming with logical execution times
10.1109/QEST.2004.10051,4555,Trading memory for randomness
10.1016/j.ic.2004.06.001,4556,Stack size analysis for interrupt-driven programs
null,4558,Quantitative stochastic parity games
10.1109/WPC.2004.1311069  ,4577,An eclipse plug-in for model checking
10.1007/978-3-540-27864-1_2,4578,The BLAST query language for software verification
10.1109/ICSE.2004.1317455,4581,Generating tests from counterexamples