A formal approach to adaptive software: continuous assurance of non-functional requirements Antonio FilieriCarlo GhezziGiordano Tamburrelli Original Article 03 November 2011 Pages: 163 - 186
Reo + mCRL2 : A framework for model-checking dataflow in service compositions Natallia KokashChristian KrauseErik de Vink Original Article 14 August 2011 Pages: 187 - 216
Assertion-based slicing and slice graphs José Bernardo BarrosDaniela da CruzJorge Sousa Pinto Original Article 23 September 2011 Pages: 217 - 248
Cut Set Analysis using Behavior Trees and model checking Peter A. LindsayNisansala YatapanageKirsten Winter Original Article 19 June 2011 Pages: 249 - 266
Scalable context-dependent analysis of emergency egress models M. MassinkD. LatellaJ. Hillston Original Article 03 July 2011 Pages: 267 - 302