Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s David Harel Obituary 26 October 2010 Pages: 663 - 665
Lower bounds on lengths of checking sequences Guy-Vincent JourdanHasan UralJi Chao Zhang Original Article 19 November 2009 Pages: 667 - 679
Translating FSP into LOTOS and networks of automata Frédéric LangGwen SalaünJeff Magee Original Article 18 November 2009 Pages: 681 - 711
A lazy approach to symmetry reduction Thomas WahlVijay D’Silva Original Article 17 November 2009 Pages: 713 - 733
Inter-process buffers in separation logic with rely-guarantee Richard BornatHasan Amjad Original Article 16 January 2010 Pages: 735 - 772