On the refinement of liveness properties of distributed systems Paul C. Attie OriginalPaper 04 May 2011 Pages: 1 - 46
Verification of continuous dynamical systems by timed automata Christoffer SlothRafael Wisniewski OriginalPaper 29 April 2011 Pages: 47 - 82
Automatic analysis of DMA races using model checking and k-induction Alastair F. DonaldsonDaniel KroeningPhilipp Rümmer OriginalPaper 28 June 2011 Pages: 83 - 113