Formal Aspects of Computing, Volume 17

Volume 17, Number 1, May 2005

• Dominikus Herzberg, Manfred Broy:
  Modeling layered distributed communication systems. 1-18
  Electronic Edition (link) BibTeX
• Jan Friso Groote, François Monin, Jan Springintveld:
  A computer checked algebraic verification of a distributed summation algorithm. 19-37
  Electronic Edition (link) BibTeX
• Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife:
  Discovering applications of higher order functions through proof planning. 38-57
  Electronic Edition (link) BibTeX
• Sidi O. Ehmety, Lawrence C. Paulson:
  Mechanizing compositional reasoning for concurrent systems: some lessons. 58-68
  Electronic Edition (link) BibTeX
• Ralph-Johan Back, Viorel Preoteasa:
  An algebraic treatment of procedure refinement to support mechanical verification. 69-90
  Electronic Edition (link) BibTeX

Volume 17, Number 2, August 2005

• Michael Leuschel:
  Guest Editorial. 91-92
  Electronic Edition (link) BibTeX
• A. W. Roscoe:
  On the expressive power of CSP refinement. 93-112
  Electronic Edition (link) BibTeX
• Michael Huth:
  Refinement is complete for implementations. 113-137
  Electronic Edition (link) BibTeX
• Stefano Cattani, Marta Z. Kwiatkowska:
  A refinement-based process algebra for timed automata. 138-159
  Electronic Edition (link) BibTeX
• Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta:
  Using probabilistic model checking for dynamic power management. 160-176
  Electronic Edition (link) BibTeX
• Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter:
  The formal design of distributed controllers with _dSL and Spin. 177-200
  Electronic Edition (link) BibTeX
• Elsa L. Gunter, Doron Peled:
  Model checking, testing and verification working together. 201-221
  Electronic Edition (link) BibTeX
• Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
  Not necessarily closed convex polyhedra and the double description method. 222-257
  Electronic Edition (link) BibTeX

Volume 17, Number 3, October 2005

• John Cooke:
  Editorial. 259-259
  Electronic Edition (link) BibTeX
• Sigrid Gürgens, Carsten Rudolph:
  Security analysis of efficient (Un-)fair non-repudiation protocols. 260-276
  Electronic Edition (link) BibTeX
• Andrew D. Gordon, Riccardo Pucella:
  Validating a web service security abstraction by typing. 277-318
  Electronic Edition (link) BibTeX
• Martin De Wulf, Laurent Doyen, Jean-François Raskin:
  Almost ASAP semantics: from timed models to timed implementations. 319-341
  Electronic Edition (link) BibTeX
• Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol:
  Verification of a sliding window protocol in µCRL and PVS. 342-388
  Electronic Edition (link) BibTeX

Volume 17, Number 4, December 2005

• Eerke A. Boiten, John Derrick, Graeme Smith:
  Guest Editorial Integrated Formal Methods. 389-389
  Electronic Edition (link) BibTeX
• Steve Schneider, Helen Treharne:
  CSP theorems for communicating B machines. 390-422
  Electronic Edition (link) BibTeX
• Bernhard Beckert, Steffen Schlager:
  Refinement and retrenchment for programming language data types. 423-442
  Electronic Edition (link) BibTeX
• Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi:
  Exploring optimal solution to hardware/software partitioning for synchronous model. 443-460
  Electronic Edition (link) BibTeX
• Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha:
  Concurrent software verification with states, events, and deadlocks. 461-483
  Electronic Edition (link) BibTeX