Formal Aspects of Computing, Volume 22
Volume 22, Number 1, January 2010
- 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
- Daniel Kroening, Georg Weissenbacher: 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, Ana Cavalcanti, Jifeng He, Augusto Sampaio: A process algebraic framework for specification and validation of real-time systems. 153-191
- Jesús Aransay, Clemens Ballarin, Julio Rubio: 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, Sebastián Uchitel: 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
- Juan de Lara, Hans Vangheluwe: Automating the transformation-based analysis of visual languages. 297-326
- Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: 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, Lutz Schröder, Sergey Goncharov: A generic complete dynamic logic for reasoning about purity and effects. 363-384
- Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: Automatic verification of Java programs with dynamic frames. 423-457
- Wil 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. 459-482
Volume 22, Number 5, September 2010
- Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: 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 Saleh, Mourad Debbabi: 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team