default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 18
Volume 18, Number 1, March 2006
- John Derrick
, Mark Harman, Robert M. Hierons:
Guest Editorial. 1-2 - Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak:
Testing methods for X-machines: a review. 3-30 - Mike Stannett:
Simulation testing of automata. 31-41 - Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. 42-62 - Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces. 63-83 - Hasan Ural, Craig Williams:
Constructing checking sequences for distributed testing. 84-101
Volume 18, Number 2, June 2006
- David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya:
A formal relationship between program slicing and partial evaluation. 103-119 - Steve McKeever, Wayne Luk:
Provably-correct hardware compilation tools based on pass separation techniques. 120-142 - Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock:
The verified software repository: a step towards the verifying compiler. 143-151 - Karl Lermer, Colin J. Fidge:
Procedure compilation in the refinement calculus. 152-180 - Christie Bolton, Jim Davies:
A singleton failures semantics for Communicating Sequential Processes. 181-210 - Harald Fecher, Mila E. Majster-Cederbaum:
Action Refinement Applied to Late Decisions. 211-230 - Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly:
Formal Aspects of Correctness and Optimality of Interval Computations. 231-243 - Sabine Glesner:
Finite Integer Computations: An Algebraic Foundation for Their Correctness. 244-262
Volume 18, Number 3, September 2006
- Eerke A. Boiten, Michael J. Butler:
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". 263 - Graeme Smith, John Derrick:
Verifying data refinements using a model checker. 264-287 - Ana Cavalcanti, Jim Woodcock, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming. 288-307 - Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank monitoring: a pAMN case study. 308-328 - Moshe Deutsch, Martin C. Henson:
An analysis of refinement in an abortive paradigm. 329-363 - Martin C. Henson, Moshe Deutsch, Besnik Kajtazi:
The specification logic nuZ. 364-395
Volume 18, Number 4, December 2006
- Jennifer Tenzer, Perdita Stevens:
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. 397-420 - K. Subramani, C. Tauras:
An approximation algorithm for state minimization in 2-MDFAs. 421-431 - Frits W. Vaandrager, Adriaan de Groot:
Analysis of a biphase mark protocol with Uppaaland PVS. 433-458 - Howard Bowman, Rodolfo Gómez:
How to stop time stopping. 459-493 - David J. Pym, Chris M. N. Tofts:
A Calculus and logic of resources and processes. 495-517
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-11-20 22:22 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:
