default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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, Jane 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, Cornelis 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
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 2025-01-09 19:35 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:
