Formal Aspects of Computing, Volume 20
Volume 20, Number 1, January 2008
- Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. 5-19
- Tahina Ramananandro: Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method. 21-39
- Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif: Verification of Mondex electronic purses with KIV: from transactions to a security protocol. 41-59
- Mirco Kuhlmann, Martin Gogolla: Modeling and validating Mondex scenarios described in UML and OCL with USE. 79-100
- Chris George, Anne Elisabeth Haxthausen: Specification, proof, and model checking of the Mondex electronic purse using RAISE. 101-116
Volume 20, Number 2, March 2008
- Brijesh Dongol, Arjan J. Mooij: Streamlining progress-based derivations of concurrent programs. 141-160
- Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Integrating a formal method into a software engineering process with UML and Java. 161-204
- Hanifa Boucheneb: Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. 225-238
Volume 20, Number 3, May 2008
- Dines Bjørner: John Warner Backus: 3 Dec 1924-17 March 2007. 239-240
- Florian Kammüller: Formalizing non-interference for a simple bytecode language in Coq. 259-275
- Gavin Lowe: Specification of communicating processes: temporal logic versus refusals-based refinement. 277-294
- Steve Reeves, David Streader: Data refinement and singleton failures refinement are not equivalent. 295-301
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Efficient representation of the attacker's knowledge in cryptographic protocols analysis. 303-348
Volume 20, Numbers 4-5, July 2008
- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Bisimulations in calculi modelling membranes. 351-377
- Giorgio Delzanno, Roberto Montagna: Reachability analysis of fragments of mobile ambients in AC term rewriting. 407-428
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A compositional Petri net translation of general pi -calculus terms. 429-450
- Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. 481-505
Volume 20, Number 6, December 2008
- Cliff B. Jones: Valediction. 561
- Sébastien Labbé, Jean-Pierre Gallois: Slicing communicating automata specifications: polynomial algorithms for model reduction. 563-595
- Robert M. Hierons, Florentin Ipate: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. 597-617
- Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. 637-662
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team