B 2007:
Besançon,
France
Jacques Julliand, Olga Kouchnarenko (Eds.):
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings.
Lecture Notes in Computer Science 4355 Springer 2006, ISBN 3-540-68760-2 BibTeX
Invited Talks
Regular Papers
- Sylvain Boulmé, Marie-Laure Potet:
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.
4-18
Electronic Edition (link) BibTeX
- Steve Dunne:
Chorus Angelorum.
19-33
Electronic Edition (link) BibTeX
- Wilson Ifill, Steve A. Schneider, Helen Treharne:
Augmenting B with Control Annotations.
34-48
Electronic Edition (link) BibTeX
- Stefan Hallerstede:
Justifications for the Event-B Modelling Notation.
49-63
Electronic Edition (link) BibTeX
- Letu Yang, Michael Poppleton:
Automatic Translation from Combined B and CSP Specification to Java Programs.
64-78
Electronic Edition (link) BibTeX
- Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner:
Symmetry Reduction for B by Permutation Flooding.
79-93
Electronic Edition (link) BibTeX
- Fabrice Bouquet, Jean-Francois Couchot, Frédéric Dadeau, Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing.
94-108
Electronic Edition (link) BibTeX
- Julien Groslambert:
Verification of LTL on B Event Systems.
109-124
Electronic Edition (link) BibTeX
- Edward Chan, Ken Robinson, Brett Welch:
Patterns for B: Bridging Formal and Informal Development.
125-139
Electronic Edition (link) BibTeX
- Dominique Cansell, Dominique Méry, Joris Rehm:
Time Constraint Patterns for Event B Development.
140-154
Electronic Edition (link) BibTeX
- Bill Stoddart, Dominique Cansell, Frank Zeyda:
Modelling and Proof Analysis of Interrupt Driven Scheduling.
155-170
Electronic Edition (link) BibTeX
- Colin F. Snook, Marina A. Waldén:
Refinement of Statemachines Using Event B Semantics.
171-185
Electronic Edition (link) BibTeX
- Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén:
Formal Transformation of Platform Independent Models into Platform Specific Models.
186-200
Electronic Edition (link) BibTeX
- Frédéric Gervais, Marc Frappier, Régine Laleau:
Refinement of eb3 Process Patterns into B Specifications.
201-215
Electronic Edition (link) BibTeX
- Nicolas Stouls, Marie-Laure Potet:
Security Policy Enforcement Through Refinement Process.
216-231
Electronic Edition (link) BibTeX
- Nazim Benaïssa, Dominique Cansell, Dominique Méry:
Integration of Security Policy into System Modeling.
232-247
Electronic Edition (link) BibTeX
Industrial Papers
Tool Papers
Invited Talk
Copyright © Sat May 16 22:59:18 2009
by Michael Ley (ley@uni-trier.de)
