Search results for "B Method"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Liu Jiufu	Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	flight control software, statechart, B method, virtual prototype, integrated methods
3	Ken Robinson	Reconciling Axiomatic and Model-Based Specifications Using the B Method.	ZB	2000	DBLP DOI BibTeX RDF	formal specification, refinement, B Method, axiomatic, model-based
3	Marie-Laure Potet, Yann Rouzaud	Composition and Refinement in the B-Method.	B	1998	DBLP DOI BibTeX RDF
3	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
3	Marina A. Waldén	Layering Distributed Algorithms within the B-Method.	B	1998	DBLP DOI BibTeX RDF
3	Helen Treharne, J. Draper, Steve Schneider	Test Case Preparation Using a Prototype.	B	1998	DBLP DOI BibTeX RDF	Formal Software Lifecycle, Prototype, B-Method
3	Souâd Taouil-Traverson, Sylvie Vignes	Preliminary Analysis Cycle for B-Method Software Development.	EUROMICRO	1996	DBLP DOI BibTeX RDF	preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
2	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
2	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
2	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
2	Michael Leuschel, Michael J. Butler	ProB: an automated analysis toolset for the B method.	STTT	2008	DBLP DOI BibTeX RDF
2	Jiufu Liu, Zhong Yang	UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle.	CSSE	2008	DBLP DOI BibTeX RDF
2	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	BSmart: A Tool for the Development of Java Card Applications with the B Method.	ABZ	2008	DBLP DOI BibTeX RDF
2	Corinna Spermann, Michael Leuschel	ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.	TASE	2008	DBLP DOI BibTeX RDF	Model Checking, Model Checking, Tool Support, Tool Support, B-Method, B-Method, Symmetry Reduction
2	Michael Leuschel	The High Road to Formal Validation: .	ABZ	2008	DBLP DOI BibTeX RDF	Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction
2	Frédéric Dadeau, Marie-Laure Potet, Régis Tissot	A B Formal Framework for Security Developments in the Domain of Smart Card Applications.	SEC	2008	DBLP DOI BibTeX RDF	Conformance Relation, Access Control, Traceability, Security Model, B Method, Common Criteria
2	Abdul Babar, Vladimir Tosic, John Potter	Aligning the Map Requirements Modelling with the B-method for Formal Software Development.	APSEC	2007	DBLP DOI BibTeX RDF
2	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
2	Shuaiqiang Wang, Ying Li, Guodong Huang	PostB: The Post-condition Extension onto the B-Method.	SERA	2007	DBLP DOI BibTeX RDF
2	Jens Bendisposto, Michael Leuschel	A Generic Flash-Based Animation Engine for ProB.	B	2007	DBLP DOI BibTeX RDF	Animation, Tool Support, B-Method
2	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
2	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	Automation of Java Card component development using the B method.	ICECCS	2006	DBLP DOI BibTeX RDF
2	Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit	Verification of a scheduler in B through a timed automata specification.	SAC	2006	DBLP DOI BibTeX RDF	verification, specification, timed automata, B method
2	Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius	Synthesis of Scenario Based Test Cases from B Models.	FATES/RV	2006	DBLP DOI BibTeX RDF	Scenarios, Model Based Testing, B-Method
2	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook	Formal Development of Mechanisms for Tolerating Transient Faults.	RODIN Book	2006	DBLP DOI BibTeX RDF	Transientfaults, refinement, control systems, B Method, FMS
2	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Service-Oriented Development of Fault Tolerant Communicating Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, service-oriented development
2	Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum	Towards Dynamically Communicating Abstract Machines in the B Method.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Abdolbaghi Rezazadeh, Michael J. Butler	Some Guidelines for Formal Development of Web-Based Applications in B-Method.	ZB	2005	DBLP DOI BibTeX RDF
2	Santiago Zanella Béguelin	Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.	CASSIS	2005	DBLP DOI BibTeX RDF
2	Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano	BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.	SEFM	2005	DBLP DOI BibTeX RDF	proof tools, XML, code generation, tool support, B method, UML modelling
2	Michael J. Butler, Michael Leuschel	Combining CSP and B for Specification and Property Verification.	FM	2005	DBLP DOI BibTeX RDF	Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method
2	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
2	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
2	Hind Fadil, Jean-Luc Koning	A Formal Approach to Model Multiagent Interactions Using the B Formal Method.	ISSADS	2005	DBLP DOI BibTeX RDF	formal specification, multiagent system, B method, interaction protocols
2	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Refinement and Reachability in EventB.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Reachability, B Method, Stuttering
2	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	Checking JML Specifications with B Machines.	ZB	2005	DBLP DOI BibTeX RDF	object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language
2	Michael Leuschel, Edd Turner	Visualising Larger State Spaces in Pro B.	ZB	2005	DBLP DOI BibTeX RDF	Model Checking, Formal Methods, Animation, Logic Programming, Visualisation, Tool Support, B-Method
2	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
2	Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum	Implementing Dynamic Aggregations of Abstract Machines in the B Method.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Shengrong Zou	Formally Specifying T Cell Cytokine Networks with B Method.	CIS	2004	DBLP DOI BibTeX RDF
2	Shengrong Zou	Case Study of Modeling Immune System with B Method.	CIT	2004	DBLP DOI BibTeX RDF
2	Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum	Towards Dynamic Population Management of Abstract Machines in the B Method.	ZB	2003	DBLP DOI BibTeX RDF	modularisation, object orientation, dynamic reconfiguration, Structuring mechanisms
2	Michael Leuschel, Michael J. Butler	ProB: A Model Checker for B.	FME	2003	DBLP DOI BibTeX RDF	Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method
2	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
2	Helen Treharne, Steve Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
2	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Proof-based development, Proof engine, Refinement, B method, Abstract model, Event-driven approach
2	Jean-Christophe Voisinet	JBTools: an experimental platform for the formal B method.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	XML
2	Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein	Refinement and Verification Applied to an In-Flight Data Acquisition Unit.	CONCUR	2002	DBLP DOI BibTeX RDF	&#55CRL, model checking, verification, refinement, B-method
2	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
2	Bruno Legeard, Fabien Peureux, Mark Utting	Automated Boundary Testing from Z and B.	FME	2002	DBLP DOI BibTeX RDF	boundary values, set constraint solving, specification-based testing, B method, Z notation
2	Helen Treharne	Supplementing a UML Development Process with B.	FME	2002	DBLP DOI BibTeX RDF	B-Method, Stereotyping, UML Class Diagrams
2	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
2	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
2	Leonid Mikhailov, Michael J. Butler	An Approach to Combining B and Alloy.	ZB	2002	DBLP DOI BibTeX RDF	B-method, Alloy
2	Steve Schneider, Helen Treharne	Communicating B Machines.	ZB	2002	DBLP DOI BibTeX RDF	Concurrency, CSP, B-Method, Combining Formalisms
2	Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum	Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.	ZB	2000	DBLP DOI BibTeX RDF
2	Richard Banach, Michael Poppleton	Retrenchment, Refinement, and Simulation.	ZB	2000	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
2	Régine Laleau, Amel Mammar	A Generic Process to Refine a B Specification into a Relational Database Implementation.	ZB	2000	DBLP DOI BibTeX RDF	Refinement Process, Relational Database Implementation, B method
2	Helen Treharne, Steve Schneider	How to Drive a B Machine.	ZB	2000	DBLP DOI BibTeX RDF	Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms
2	Yann Rouzaud	Interpreting the B-Method in the Refinement Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Richard Banach, Michael Poppleton	Sharp Retrenchment, Modulated Refinement and Simulation.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
2	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
2	Patrick Behm, Pierre Desforges, Jean-Marc Meynadier	MÉTÉOR : An Industrial Success in Formal Development.	B	1998	DBLP DOI BibTeX RDF
2	Richard Banach, Michael Poppleton	Retrenchment: An Engineering Variation on Refinement.	B	1998	DBLP DOI BibTeX RDF
2	Souâd Taouil-Traverson, Sylvie Vignes	Designing a B Model for Safety-Critical Software Systems.	B	1998	DBLP DOI BibTeX RDF
2	Brian Matthews, Brian Ritchie, Juan Bicarregui	Synthesising Structure from Flat Specifications.	B	1998	DBLP DOI BibTeX RDF
2	Emil Sekerinski	Graphical Design of Reactive Systems.	B	1998	DBLP DOI BibTeX RDF
2	Andrew Storey, Howard P. Haughton	A Strategy for the Production of Verifiable Code Using the B Method.	FME	1994	DBLP DOI BibTeX RDF
2	Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen	The B-Method.	VDM Europe	1991	DBLP DOI BibTeX RDF
1	Thiago C. de Sousa, Jorge R. Almeida Jr., Sidney Viana, Judith Pavón	Automatic analysis of requirements consistency with the B method.	ACM SIGSOFT Software Engineering Notes	2010	DBLP DOI BibTeX RDF
1	Joris Rehm	Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.	STTT	2010	DBLP DOI BibTeX RDF
1	Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes	Applying the B Method for the Rigorous Development of Smart Card Applications.	ASM	2010	DBLP DOI BibTeX RDF
1	Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior	Verified Compilation and the B Method: A Proposal and a First Appraisal.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	Refining interfaces: the case of the B method	CoRR	2009	DBLP BibTeX RDF
1	Mohammad Reza Nami, Hamid Razavi, Milad Saeedi, Navid Shahidi	Investigating a new formal model for a library system using B method.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF
1	Sylvain Boulmé, Marie-Laure Potet	Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#.	Rigorous Methods for Software Construction and Analysis	2009	DBLP DOI BibTeX RDF
1	Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge	Automated Property Verification for Large Scale B Models.	FM	2009	DBLP DOI BibTeX RDF	Model Checking, Tools, Constraint-Solving, Industrial Applications, B-Method
1	Jens Bendisposto, Michael Leuschel	Proof Assisted Model Checking for B.	ICFEM	2009	DBLP DOI BibTeX RDF	Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration
1	Patrick H. S. Brito, Cecília M. F. Rubira, Rogério de Lemos	Verifying architectural variabilities in software fault tolerance techniques.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
1	David Déharbe, Stephenson Galvão, Anamaria Martins Moreira	Formalizing FreeRTOS: First Steps.	SBMF	2009	DBLP DOI BibTeX RDF
1	Valério Medeiros Júnior, David Déharbe	Formal Modelling of a Microcontroller Instruction Set in B.	SBMF	2009	DBLP DOI BibTeX RDF
1	Néstor Cataño, Camilo Rueda	Teaching Formal Methods for the Unconquered Territory.	TFM	2009	DBLP DOI BibTeX RDF
1	Konstantinos Antonis, Nikos S. Voros	System level design of telecom systems using formal model refinement: Applying the B method/language in practice.	Journal of Systems Architecture - Embedded Systems Design	2008	DBLP DOI BibTeX RDF
1	Idir Aït-Sadoune, Yamine Aït Ameur	Verification and Validation of Web Service Composition Using Event B Method.	ABZ	2008	DBLP DOI BibTeX RDF
1	Michael Leuschel, Marc Fontaine	Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.	ICFEM	2008	DBLP DOI BibTeX RDF	Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method
1	Ahlem Ben Younes, Leila Jemni Ben Ayed	From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	UML AD, workflow applications, Formal verification, Specification, Event B
1	Munina Yusufu, Gulina Yusufu	Comparison of Software Specification Methods Using a Case Study.	CSSE	2008	DBLP DOI BibTeX RDF
1	Inès Mouakher, Jeanine Souquières, Francis Alexandre	Protocol Verification in a Software Component-Based Approach.	ECBS	2008	DBLP DOI BibTeX RDF	verification, protocol, specification, Component-based approach
1	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
1	Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira	Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.	HASE	2008	DBLP DOI BibTeX RDF
1	Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Mohamed Eltoweissy	Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.	ARES	2008	DBLP DOI BibTeX RDF	Goal-oriented security requirements engineering, attack analysis, formal methods, threat models, design specifications
1	Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed	Event-B based invariant checking of secrecy in group key protocols.	LCN	2008	DBLP DOI BibTeX RDF
1	Jean-Charles Chaudemar, Charles Castel, Christel Seguin	FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
1	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.	ABZ	2008	DBLP DOI BibTeX RDF
1	Paulo J. Matos, João Marques-Silva	Model Checking Event-B by Encoding into Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
1	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
1	Michael Leuschel	Towards Demonstrably Correct Compilation of Java Byte Code.	FMCO	2008	DBLP DOI BibTeX RDF
1	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Yi-Shuai Niu, Pham Dinh Tao	A DC Programming Approach for Mixed-Integer Linear Programs.	MCO	2008	DBLP DOI BibTeX RDF	GOA-DCA, Branch-and-Bound, ILP, MILP, DCA, MIP, DC Programming
1	Pavel Gladyshev, Andreas Enbacka	Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method.	IJDE	2007	DBLP BibTeX RDF