Volume 17, Number 1, May 2005

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

Volume 17, Number 2, August 2005

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

Volume 17, Number 3, October 2005

• 
  John Cooke: Editorial. 259-259
• 
  Sigrid Gürgens, Carsten Rudolph: Security analysis of efficient (Un-)fair non-repudiation protocols. 260-276
• 
  Andrew D. Gordon, Riccardo Pucella: Validating a web service security abstraction by typing. 277-318
• 
  Martin De Wulf, Laurent Doyen, Jean-François Raskin: Almost ASAP semantics: from timed models to timed implementations. 319-341
• 
  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

Volume 17, Number 4, December 2005

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

last updated on Sat May 18 06:08:01 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page