Journal: Formal Asp. Comput.

Volume 22, Issue 6

663 -- 665David Harel. Amir Pnueli - A Gentle Giant: Lord of the ::::phi:::: s and the ::::psi:::: s
667 -- 679Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang. Lower bounds on lengths of checking sequences
681 -- 711Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee. Translating FSP into LOTOS and networks of automata
713 -- 733Thomas Wahl, Vijay D Silva. A lazy approach to symmetry reduction
735 -- 772Richard Bornat, Hasan Amjad. Inter-process buffers in separation logic with rely-guarantee

Volume 22, Issue 5

489 -- 535Adolfo Duran, Ana Cavalcanti, Augusto Sampaio. An algebraic approach to the design of compilers for object-oriented languages
537 -- 545Wim H. Hesselink. Solutions of equations in languages
547 -- 583Ivana Filipovic, Peter W. O Hearn, Noah Torp-Smith, Hongseok Yang. Blaming the client: on data refinement in the presence of pointers
585 -- 609Mohamed Saleh, Mourad Debbabi. A game-theoretic framework for specification and verification of cryptographic protocols
611 -- 627Jaime Alejandro Bohórquez. An elementary and unified approach to program correctness
629 -- 661Ralph-Johan Back. Structured derivations: a unified proof style for teaching mathematics

Volume 22, Issue 3-4

215 -- 216José Luiz Fiadeiro. Editorial
217 -- 241Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. Deriving non-Zeno behaviour models from goal models using ILP
243 -- 268Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec. From StPowla processes to SRML models
269 -- 296Artur Boronat, José Meseguer. An algebraic semantics for MOF
297 -- 326Juan de Lara, Hans Vangheluwe. Automating the transformation-based analysis of visual languages
327 -- 344Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange. Consistent integration of models based on views of meta models
345 -- 361Naouel 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
363 -- 384Till Mossakowski, Lutz Schröder, Sergey Goncharov. A generic complete dynamic logic for reasoning about purity and effects
385 -- 422Fernando Orejas, Hartmut Ehrig, Ulrike Prange. Reasoning with graph constraints
423 -- 457Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte. Automatic verification of Java programs with dynamic frames
459 -- 482Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling. Preserving correctness during business process model configuration
483 -- 484Matthew Collinson, David J. Pym. Erratum to: Algebra and logic for access control

Volume 22, Issue 2

83 -- 104Matthew Collinson, David J. Pym. Algebra and logic for access control
105 -- 128Daniel Kroening, Georg Weissenbacher. Verification and falsification of programs with loops using predicate abstraction
129 -- 151Pascal Mathis, Simon E. B. Thierry. A formalization of geometric constraint systems and their decomposition
153 -- 191Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio. A process algebraic framework for specification and validation of real-time systems
193 -- 213Jesús Aransay, Clemens Ballarin, Julio Rubio. Generating certified code from formal proofs: a case study in homological algebra

Volume 22, Issue 1

1 -- 0Eerke Boiten, Michael Butler, John Derrick, Graeme Smith. Editorial
3 -- 31Larissa Meinicke, Kim Solin. Refinement algebra for probabilistic programs
33 -- 61Richard Banach, Gerhard Schellhorn. Atomic actions, and their refinements to isolated protocols
63 -- 81Arjan J. Mooij. Invariant-based reasoning about parameterized security protocols