Formal Aspects of Computing, Volume 19

Volume 19, Number 1, March 2007

• John Cooke:
  Editorial. 1
  
• Jane Hillston, Leïla Kloul:
  Formal techniques for performance analysis: blending SAN and PEPA. 3-33
  
• Nikos Gorogiannis, Mark Ryan:
  Minimal refinements of specifications in model and termporal logics. 35-62
  
• David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff:
  Verifying a signature architecture: a comparative case study. 63-91
  
• Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
  Parametric probabilistic transition systems for system design and analysis. 93-109
  
• Alan Burns, Tse-Min Lin:
  An engineering process for the verification of real-time systems. 111-136
  

Volume 19, Number 2, June 2007

• J. Cooke:
  Editorial (VSTTE Special Issue). 137-138
  
• Patrice Chalin:
  Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? 139-158
  
• Gary T. Leavens, K. Rustan M. Leino, Peter Müller:
  Specification and verification challenges for sequential object-oriented programs. 159-189
  
• Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur:
  Code-carrying theories. 191-203
  
• David A. Naumann:
  On assertion-based encapsulation for object invariants and simulations. 205-224
  
• Egon Börger:
  Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. 225-241
  
• Aysu Betin-Can, Tevfik Bultan:
  Highly dependable concurrent programming using design for verification. 243-268
  
• Rajeev Joshi, Gerard J. Holzmann:
  A mini challenge: build a verifiable filesystem. 269-272
  
• Nikos Gorogiannis, Mark Ryan:
  Minimal refinements of specifications in modal and temporal logics. 273
  

Volume 19, Number 3, August 2007

• Ranko Lazic, Rajagopal Nagarajan:
  Guest Editorial. 275
  
• Neil Evans, Helen Treharne:
  Interactive tool support for CSP || B consistency checking. 277-302
  
• Joy N. Reed, A. W. Roscoe, J. E. Sinclair:
  Responsiveness and stable revivals. 303-319
  
• Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu:
  Verification of clock synchronization algorithms: experiments on a combination of deductive tools. 321-341
  
• Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon:
  Proof producing synthesis of arithmetic and cryptographic hardware. 343-362
  
• Milan Ceska, Pavel Erlebach, Tomás Vojnar:
  Generalised multi-pattern-based verification of programs with linear linked structures. 363-374
  
• Nathaniel Charlton:
  Program verification with interacting analysis plugins. 375-399
  
• Eun-Young Kang, Stephan Merz:
  Predicate diagrams for the verification of real-time systems. 401-413
  

Volume 19, Number 4, November 2007

• Cliff B. Jones, Jim Woodcock:
  Editorial. 415-416
  
• Nikos Gorogiannis, Mark Ryan:
  Minimal refinements of specifications in modal and temporal logics. 417-444
  
• Jan A. Bergstra, C. A. Middelburg:
  Thread algebra for strategic interleaving. 445-474
  
• Thuy Duong Vu:
  Deciding orthogonal bisimulation. 475-485
  
• Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob:
  A CSP model of Eiffel's SCOOP. 487-512
  
• Paul Curzon, Rimvydas Ruksenas, Ann Blandford:
  An approach to formal verification of human-computer interaction. 513-550
  
• Matthew Collinson, David J. Pym, Chris M. N. Tofts:
  Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences. 551-554