An Algorithmic Toolbox for Network Calculus Anne BouillardÉric Thierry OriginalPaper 16 October 2007 Pages: 3 - 49
Compositionally Progressive Solutions of Synchronous FSM Equations Nina YevtushenkoTiziano VillaAlberto L. Sangiovanni-Vincentelli OriginalPaper 07 November 2007 Pages: 51 - 89
Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness Olivier MarchettiAlix Munier-Kordon OriginalPaper 05 January 2008 Pages: 91 - 109
Analyzing Security Protocols Using Time-Bounded Task-PIOAs Ran CanettiLing CheungRoberto Segala OriginalPaper 05 January 2008 Pages: 111 - 159