Original Article
Online First™Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
Pablo Rabanal, Ismael Rodríguez and Fernando Rubio
Online First™, 19 January 2012
Original Article
Online First™Deriving dense linear algebra libraries
Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí and Tyler Rhodes, et al.
Online First™, 17 January 2012
Original Article
Online First™Simple linear string constraints
Xiang Fu, Michael C. Powell, Michael Bantegui and Chung-Chih Li
Online First™, 17 January 2012
Original Article
Online First™Open AccessStarvation-free mutual exclusion with semaphores
Wim H. Hesselink and Mark IJbema
Online First™, 16 December 2011
Original Article
Online First™Explanation of two non-blocking shared-variable communication algorithms
Richard Bornat and Hasan Amjad
Online First™, 8 December 2011
Original Article
Online First™Model checking RAISE applicative specifications
Juan I. Perna and Chris George
Online First™, 25 November 2011
Original Article
Online First™Atomicity failure and the retrenchment atomicity pattern
Richard Banach, Czesław Jeske, Anthony Hall and Susan Stepney
Online First™, 25 November 2011
Original Article
Online First™A calculus of trustworthy ad hoc networks
Massimo Merro and Eleonora Sibilio
Online First™, 16 November 2011
Original Article
Online First™Reasoning about orchestrations of web services using partial correctness
Alan Stewart, Joaquim Gabarro and Anthony Keenan
Online First™, 15 November 2011
Original Article
Online First™A formal approach to adaptive software: continuous assurance of non-functional requirements
Antonio Filieri, Carlo Ghezzi and Giordano Tamburrelli
Online First™, 2 November 2011