DOI,IST REx ID,Title of publication
10.1007/978-3-540-89439-1_24,4452,Valigator: A verification tool with bound and invariant generation
10.1098/rsta.2008.0141,4509,Two challenges in embedded systems design: Predictability and robustness
10.1145/1328438.1328459,4521,Proving non-termination
null,4524,A hierarchical coordination language for reliable real-time tasks
10.1007/978-3-540-68413-8_2,4527,Bounded asynchrony: Concurrency for modeling cell-cell interactions
10.1142/S0129054108005814 ,4532,Equivalence of labeled Markov chains
10.1145/1450058.1450070,4533,Interface theories with component reuse
10.1016/j.ipl.2007.08.035,4534,Reduction of stochastic parity to stochastic mean-payoff games
10.1145/1403375.1403595,4546,Logical reliability of interacting real-time tasks
10.1007/s00182-007-0110-5,4548,Stochastic limit-average games are in EXPTIME
10.1109/ASE.2008.13,4568,Program analysis with dynamic change of precision
10.1017/S0016672308009683,517,Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin