The Humble Humorous Researcher: A Tribute to Michel Sintzoff Axel van Lamsweerde Obituary 25 March 2011 Pages: 239 - 242
Automated verification and refinement for physical-layer protocols Geoffrey M. BrownLee Pike Original Article 10 March 2010 Pages: 243 - 266
Elucidating concurrent algorithms via layers of abstraction and reification Cliff B. JonesKen G. Pierce OriginalPaper 28 April 2010 Pages: 289 - 306
Partial order semantics for use case and task models Daniel SinnigFerhat KhendekPatrice Chalin OriginalPaper 11 June 2010 Pages: 307 - 332
Soundness of workflow nets: classification, decidability, and analysis W. M. P. van der AalstK. M. van HeeM. T. Wynn Original Article Open access 03 August 2010 Pages: 333 - 363
Model checking with bounded context switching Gerard J. HolzmannMihai Florian Original Article 24 July 2010 Pages: 365 - 389