Conferences in DBLP
B (b) J. Paul Gibson E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Eddie Jaffuel Using B Machines for Model-Based Testing of Smartcard Software. [Citation Graph (0, 0)][DBLP ] Conf ] David Chemouil The Design of Spacecraft On-Board Software. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Dunne Chorus Angelorum. [Citation Graph (0, 0)][DBLP ] Conf ] Wilson Ifill , Steve A. Schneider , Helen Treharne Augmenting B with Control Annotations. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Hallerstede Justifications for the Event-B Modelling Notation. [Citation Graph (0, 0)][DBLP ] Conf ] Letu Yang , Michael Poppleton Automatic Translation from Combined B and CSP Specification to Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Michael Butler , Corinna Spermann , Edd Turner Symmetry Reduction for B by Permutation Flooding. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Jean-Francois Couchot , Frédéric Dadeau , Alain Giorgetti Instantiation of Parameterized Data Structures for Model-Based Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Julien Groslambert Verification of LTL on B Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edward Chan , Ken Robinson , Brett Welch Patterns for B: Bridging Formal and Informal Development. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Cansell , Dominique Méry , Joris Rehm Time Constraint Patterns for Event B Development. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Stoddart , Dominique Cansell , Frank Zeyda Modelling and Proof Analysis of Interrupt Driven Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Snook , Marina A. Waldén Refinement of Statemachines Using Event B Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Pontus Boström , Mats Neovius , Ian Oliver , Marina A. Waldén Formal Transformation of Platform Independent Models into Platform Specific Models. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Gervais , Marc Frappier , Régine Laleau Refinement of eb3 Process Patterns into B Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Stouls , Marie-Laure Potet Security Policy Enforcement Through Refinement Process. [Citation Graph (0, 0)][DBLP ] Conf ] Nazim Benaïssa , Dominique Cansell , Dominique Méry Integration of Security Policy into System Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Oliver Experiences in Using B and UML in Industrial Development. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Essamé , Daniel Dollé B in Large-Scale Projects: The Canarsie Line CBTC Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Mathieu Clabaut A Tool for Firewall Administration. [Citation Graph (0, 0)][DBLP ] Conf ] Sarah Hoffmann , Germain Haugou , Sophie Gabriele , Lilian Burdy The B-Method for the Construction of Microkernel-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Evans , Wilson Ifill Hardware Verification and Beyond: Using B at AWE. [Citation Graph (0, 0)][DBLP ] Conf ] Julien Groslambert A. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Bendisposto , Michael Leuschel A Generic Flash-Based Animation Engine for ProB. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Bendisposto , Michael Leuschel BE4 : The B Extensible Eclipse Editing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Servat BRAMA: A New Graphic Animation Tool for B Models. [Citation Graph (0, 0)][DBLP ] Conf ] Eddie Jaffuel , Bruno Legeard LEIRIOS Test Generator: Automated Test Generation from B Models. [Citation Graph (0, 0)][DBLP ] Conf ] Amal Haddad Meca: A Tool for Access Control Models. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Frédéric Dadeau , Julien Groslambert JML2B: Checking JML Specifications with B Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph M. Morris Plug-and-Play Nondeterminacy. [Citation Graph (0, 0)][DBLP ] Conf ] 