Volume 20,
Number 1,
January 2008
- Cliff B. Jones, Jim Woodcock:
Editorial.
1-3
Electronic Edition (link) BibTeX
- Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob:
The certification of the Mondex electronic purse to ITSEC Level E6.
5-19
Electronic Edition (link) BibTeX
- Tahina Ramananandro:
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.
21-39
Electronic Edition (link) BibTeX
- Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif:
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
41-59
Electronic Edition (link) BibTeX
- Michael Butler, Divakar Yadav:
An incremental development of the Mondex system in Event-B.
61-77
Electronic Edition (link) BibTeX
- Mirco Kuhlmann, Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE.
79-100
Electronic Edition (link) BibTeX
- Chris George, Anne Elisabeth Haxthausen:
Specification, proof, and model checking of the Mondex electronic purse using RAISE.
101-116
Electronic Edition (link) BibTeX
- Leo Freitas, Jim Woodcock:
Mechanising Mondex with Z/Eves.
117-139
Electronic Edition (link) BibTeX
Volume 20,
Number 2,
March 2008
Volume 20,
Number 3,
May 2008
Volume 20,
Numbers 4-5,
July 2008
- Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone:
Guest Editorial.
349-350
Electronic Edition (link) BibTeX
- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Bisimulations in calculi modelling membranes.
351-377
Electronic Edition (link) BibTeX
- Aaron R. Bradley, Zohar Manna:
Property-directed incremental invariant generation.
379-405
Electronic Edition (link) BibTeX
- Giorgio Delzanno, Roberto Montagna:
Reachability analysis of fragments of mobile ambients in AC term rewriting.
407-428
Electronic Edition (link) BibTeX
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A compositional Petri net translation of general pi -calculus terms.
429-450
Electronic Edition (link) BibTeX
- Murdoch James Gabbay, Aad Mathijssen:
Capture-avoiding substitution as a nominal algebra.
451-479
Electronic Edition (link) BibTeX
- Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko:
Model checking Duration Calculus: a practical approach.
481-505
Electronic Edition (link) BibTeX
- Matteo Slanina, Henny B. Sipma, Zohar Manna:
Deductive verification of alternating systems.
507-560
Electronic Edition (link) BibTeX
Volume 20,
Number 6,
December 2008
- Cliff B. Jones:
Valediction.
561
Electronic Edition (link) BibTeX
- Sébastien Labbé, Jean-Pierre Gallois:
Slicing communicating automata specifications: polynomial algorithms for model reduction.
563-595
Electronic Edition (link) BibTeX
- Robert M. Hierons, Florentin Ipate:
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.
597-617
Electronic Edition (link) BibTeX
- Olga Grinchtein, Martin Leucker:
Network invariants for real-time systems.
619-635
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:02 2009
by Michael Ley (ley@uni-trier.de)
