Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David Chemouil |
The Design of Spacecraft On-Board Software. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart, Dominique Cansell, Frank Zeyda |
Modelling and Proof Analysis of Interrupt Driven Scheduling. |
B |
2007 |
DBLP DOI BibTeX RDF |
Interrupt Driven Scheduler, Formal Methods, Event Calculus |
1 | 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. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ian Oliver |
Experiences in Using B and UML in Industrial Development. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hallerstede |
Justifications for the Event-B Modelling Notation. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti |
Instantiation of Parameterized Data Structures for Model-Based Testing. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Edward Chan, Ken Robinson, Brett Welch |
Patterns for B: Bridging Formal and Informal Development. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne |
Chorus Angelorum. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Neil Evans, Wilson Ifill |
Hardware Verification and Beyond: Using B at AWE. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wilson Ifill, Steve A. Schneider, Helen Treharne |
Augmenting B with Control Annotations. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Letu Yang, Michael Poppleton |
Automatic Translation from Combined B and CSP Specification to Java Programs. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén |
Formal Transformation of Platform Independent Models into Platform Specific Models. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Jaffuel, Bruno Legeard |
LEIRIOS Test Generator: Automated Test Generation from B Models. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nazim Benaïssa, Dominique Cansell, Dominique Méry |
Integration of Security Policy into System Modeling. |
B |
2007 |
DBLP DOI BibTeX RDF |
integration, refinement, security policy |
1 | Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy |
The B-Method for the Construction of Microkernel-Based Systems. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner |
Symmetry Reduction for B by Permutation Flooding. |
B |
2007 |
DBLP DOI BibTeX RDF |
Symmetry Reduction.1, Model Checking, Tool Support, B-Method |
1 | Dominique Cansell, Dominique Méry, Joris Rehm |
Time Constraint Patterns for Event B Development. |
B |
2007 |
DBLP DOI BibTeX RDF |
distributed systems, refinement, pattern, event B |
1 | Julien Groslambert |
A. |
B |
2007 |
DBLP DOI BibTeX RDF |
Büchi Automaton, Verification, LTL |
1 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert |
JML2B: Checking JML Specifications with B Machines. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joseph M. Morris |
Plug-and-Play Nondeterminacy. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Refinement of eb3 Process Patterns into B Specifications. |
B |
2007 |
DBLP DOI BibTeX RDF |
data integrity constraints, eb3, process expressions, Information systems, refinement |
1 | Eddie Jaffuel |
Using B Machines for Model-Based Testing of Smartcard Software. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Stouls, Marie-Laure Potet |
Security Policy Enforcement Through Refinement Process. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Julien Groslambert |
Verification of LTL on B Event Systems. |
B |
2007 |
DBLP DOI BibTeX RDF |
Büchi Automaton, Verification, Refinement, LTL |
1 | Jens Bendisposto, Michael Leuschel |
BE4: The B Extensible Eclipse Editing Environment. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | J. Paul Gibson |
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Colin F. Snook, Marina Waldén |
Refinement of Statemachines Using Event B Semantics. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Servat |
BRAMA: A New Graphic Animation Tool for B Models. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Amal Haddad |
Meca: A Tool for Access Control Models. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bendisposto, Michael Leuschel |
A Generic Flash-Based Animation Engine for ProB. |
B |
2007 |
DBLP DOI BibTeX RDF |
Animation, Tool Support, B-Method |
1 | Mathieu Clabaut |
A Tool for Firewall Administration. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Didier Essamé, Daniel Dollé |
B in Large-Scale Projects: The Canarsie Line CBTC Experience. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
B |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Chartier |
Formalisation of B in Isabelle/HOL. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët |
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Helen Treharne, J. Draper, Steve A. Schneider |
Test Case Preparation Using a Prototype. |
B |
1998 |
DBLP DOI BibTeX RDF |
Formal Software Lifecycle, Prototype, B-Method |
1 | Brian Matthews, Brian Ritchie, Juan Bicarregui |
Synthesising Structure from Flat Specifications. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert (eds.) |
B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | François Pilarski |
Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Malioukov |
An Object-Based Approach to the B Formal Method. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Laure Potet, Yann Rouzaud |
Composition and Refinement in the B-Method. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley |
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Behm, Lilian Burdy, Jean-Marc Meynadier |
Well Defined B. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore |
Abstract State Machines: Designing Distributed Systems with State Machines and B. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Behm, Pierre Desforges, Jean-Marc Meynadier |
MÉTÉOR : An Industrial Success in Formal Development. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial |
On B. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial, Louis Mussat |
Introducing Dynamic Constraints in B. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marina Waldén |
Layering Distributed Algorithms within the B-Method. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Souâd Taouil-Traverson, Sylvie Vignes |
Designing a B Model for Safety-Critical Software Systems. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Carroll Morgan |
The Generalised Substitution Language Extended to Probabilistic Programs. |
B |
1998 |
DBLP DOI BibTeX RDF |
GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions |
1 | Richard Banach, Michael Poppleton |
Retrenchment: An Engineering Variation on Refinement. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Philipp A. Heuberger |
Two Strategies to Data-Refine an Equivalence to a Forest. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski |
Graphical Design of Reactive Systems. |
B |
1998 |
DBLP DOI BibTeX RDF |
|