default search action
Formal Aspects of Computing, Volume 22
Volume 22, Number 1, January 2010
- Eerke A. Boiten
, Michael J. Butler
Editorial. 1 - Larissa Meinicke
Refinement algebra for probabilistic programs. 3-31 - Richard Banach, Gerhard Schellhorn:
Atomic actions, and their refinements to isolated protocols. 33-61 - Arjan J. Mooij:
Invariant-based reasoning about parameterized security protocols. 63-81
Volume 22, Number 2, March 2010
- Matthew Collinson, David J. Pym:
Algebra and logic for access control. 83-104 - Daniel Kroening
Verification and falsification of programs with loops using predicate abstraction. 105-128 - Pascal Mathis, Simon E. B. Thierry
A formalization of geometric constraint systems and their decomposition. 129-151 - Adnan Sherif
A process algebraic framework for specification and validation of real-time systems. 153-191 - Jesús Aransay
Generating certified code from formal proofs: a case study in homological algebra. 193-213
Volume 22, Numbers 3-4, May 2010
- José Luiz Fiadeiro:
Editorial. 215-216 - Dalal Alrajeh, Jeff Kramer, Alessandra Russo
Deriving non-Zeno behaviour models from goal models using ILP. 217-241 - Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
From StPowla processes to SRML models. 243-268 - Artur Boronat
An algebraic semantics for MOF. 269-296 - Juan de Lara
Automating the transformation-based analysis of visual languages. 297-326 - Hartmut Ehrig, Karsten Ehrig, Claudia Ermel
Consistent integration of models based on views of meta models. 327-344 - Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien, Alban Tiberghien:
From a domain analysis to the specification and detection of code and design smells. 345-361 - Till Mossakowski
A generic complete dynamic logic for reasoning about purity and effects. 363-384 - Fernando Orejas
Reasoning with graph constraints. 385-422 - Jan Smans, Bart Jacobs
Automatic verification of Java programs with dynamic frames. 423-457 - Wil M. P. van der Aalst
Preserving correctness during business process model configuration. 459-482 - Matthew Collinson, David J. Pym:
Erratum to: Algebra and logic for access control. 483-484
Volume 22, Number 5, September 2010
- Adolfo Duran, Ana Cavalcanti
An algebraic approach to the design of compilers for object-oriented languages. 489-535 - Wim H. Hesselink
Solutions of equations in languages. 537-545 - Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang:
Blaming the client: on data refinement in the presence of pointers. 547-583 - Mohamed Mostafa Saleh
A game-theoretic framework for specification and verification of cryptographic protocols. 585-609 - Jaime Alejandro Bohórquez:
An elementary and unified approach to program correctness. 611-627 - Ralph-Johan Back:
Structured derivations: a unified proof style for teaching mathematics. 629-661
Volume 22, Number 6, November 2010
- David Harel:
Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. 663-665 - Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang:
Lower bounds on lengths of checking sequences. 667-679 - Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee:
Translating FSP into LOTOS and networks of automata. 681-711 - Thomas Wahl, Vijay Victor D'Silva:
A lazy approach to symmetry reduction. 713-733 - Richard Bornat, Hasan Amjad:
Inter-process buffers in separation logic with rely-guarantee. 735-772
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-12-22 18:50 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: