Issue 1/2015
Content (8 Articles)
Original Article
Synthesizing bounded-time 2-phase fault recovery
Borzoo Bonakdarpour, Sandeep S. Kulkarni
Original Article
Modeling and enhancement of the IEEE 802.11 RTS/CTS scheme in an error-prone channel
Mohand Yazid, Djamil Aïssani, Louiza Bouallouche-Medjkoune, Nassim Amrouche, Kamel Bakli
Original Article
Integrating stochastic reasoning into Event-B development
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Original Article
Formal probabilistic analysis of detection properties in wireless sensor networks
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Original Article
Verification of distributed systems with the axiomatic system of MSVL
Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang
Original Article
Denotational semantics and its algebraic derivation for an event-driven system-level language
H. Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
Original Article
Using formal reasoning on a model of tasks for FreeRTOS
Shu Cheng, Jim Woodcock, Deepak D’Souza
Original Article
A framework for model transformation verification
Kevin Lano, T. Clark, S. Kolahdouz-Rahimi