default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 17
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 A. 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 J. 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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
