Formal Methods in System Design
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Mixed Formal Specifications with PVS
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
From a B Specification to UML StateChart Diagrams
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Playing with Abstraction and Refinement for Managing Features Interactions
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automatic Construction of Validated B Components from Structured Developments
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
An Execution Architecture for GSL
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Synchronized Parallel Composition of Event Systems in B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Reformulation: A Way to Combine Dynamic Properties and B Refinement
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Construction of Finite Labelled Transistion Systems from B Abstract Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Modular Verification for a Class of PLTL Properties
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
From Implicit Specifications to Explicit Designs in Reactive System Development
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Mechanically Proved Development Combining B Abstract Systems and Spin
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
Rialto to B: an exercise in formal development of a language for multiple models of computation
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Theoretical Computer Science - Applied semantics
ACM SIGSOFT Software Engineering Notes
Managing Conflicts of Interest in Virtual Organisations
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
On the Purpose of Event-B Proof Obligations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Towards Modelling Obligations in Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Methods, Models and Tools for Fault Tolerance
Model-Based Testing Using Scenarios and Event-B Refinements
Methods, Models and Tools for Fault Tolerance
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
Dynamic graphical UML views from formal B specifications
Information and Software Technology
B#: toward a synthesis between Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Refinement preserves PLTL properties
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving event ordering properties for information systems
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Formal derivation of spanning trees algorithms
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Using B refinement to analyse compensating business processes
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A formal approach for the development of reactive systems
Information and Software Technology
Verification architectures: compositional reasoning for real-time systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Automatic verification of parametric specifications with complex topologies
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A proof-based approach to verifying reachability properties
Proceedings of the 2011 ACM Symposium on Applied Computing
Use case scenarios as verification conditions: event-B/flow approach
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Reasoning about liveness properties in event-B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Proving Reachability in B using Substitution Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Formally specifying t cell cytokine networks with b method
CIS'04 Proceedings of the First international conference on Computational and Information Science
Automatic refinement checking for b
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Introducing dynamic properties with past temporal operators in the b refinement
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Multi-process systems analysis using event b: application to group communication systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Matelas: a predicate calculus common formal definition for social networking
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Combining CSP and b for specification and property verification
FM'05 Proceedings of the 2005 international conference on Formal Methods
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
A formal approach to model multiagent interactions using the b formal method
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A stepwise development of the peterson's mutual exclusion algorithm using b abstract systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Refinement and reachability in event_b
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Component reuse in b using ACL2
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Some guidelines for formal development of web-based applications in b-method
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
Augmenting b with control annotations
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Verification of LTL on b event systems
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Refinement of EB3 process patterns into B specifications
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Synthesizing b specifications from EB3 attribute definitions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Augmenting formal development with use case reasoning
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
| Hi-index | 0.03 |