Synthesizing bounded-time 2-phase fault recovery Borzoo BonakdarpourSandeep S. Kulkarni Original Article 25 November 2014 Pages: 1 - 31
Modeling and enhancement of the IEEE 802.11 RTS/CTS scheme in an error-prone channel Mohand YazidDjamil AïssaniKamel Bakli Original Article 27 May 2014 Pages: 33 - 52
Integrating stochastic reasoning into Event-B development Anton TarasyukElena TroubitsynaLinas Laibinis Original Article 11 July 2014 Pages: 53 - 77
Formal probabilistic analysis of detection properties in wireless sensor networks Maissa ElleuchOsman HasanMohamed Abid Original Article 12 July 2014 Pages: 79 - 102
Verification of distributed systems with the axiomatic system of MSVL Qian MaZhenhua DuanXiaobing Wang Original Article 29 July 2014 Pages: 103 - 131
Denotational semantics and its algebraic derivation for an event-driven system-level language H. ZhuJifeng HePhillip J. Brooke Original Article 13 August 2014 Pages: 133 - 166
Using formal reasoning on a model of tasks for FreeRTOS Shu ChengJim WoodcockDeepak D’Souza Original Article 20 August 2014 Pages: 167 - 192
A framework for model transformation verification Kevin LanoT. ClarkS. Kolahdouz-Rahimi Original Article 20 August 2014 Pages: 193 - 235