Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations
IEEE Transactions on Software Engineering
Tool support for formal methods
ICSE '91 Proceedings of the 13th international conference on Software engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving the Correctness of the Standardized Algorithm for ABR Conformance
Formal Methods in System Design
Formal Methods in System Design
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
B: towards zero defect software
High integrity software
The use of B to specify, design and verify hardware
High integrity software
Formal methods for distributed processing
State-based approaches: from Z to object-Z
Formal methods for distributed processing
An Experiment in Program Composition and Proof
Formal Methods in System Design
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Automated Software Engineering
The complexity of formal specifications - assessments by α - metric
ACM SIGPLAN Notices
Exploring the Software Development Trilogy
IEEE Software
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
JBTools: an experimental platform for the formal B method
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
A B model for ensuring soundness of a large subset of the java card virtual machine
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Interactive System Safety and Usability Enforced with the Development Process
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Structuring and Design of Reactive Systems Using RSDS and B
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
Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Refinement Based Validation of an Algorithm for Detecting Distributed Termination
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
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
An Exercise in Conditional Refinement
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Achievements and Prospects of Program Synthesis
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
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
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Consistent Integration of Formal Methods
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Representing WP Semantics in Isabelle/ZF
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A Structural Embedding of Ocsid in PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Proof of Imperative Programs in Type Theory
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
System on Chip Specification and Design Languages Standardization
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
The Formalization and Simulation of a Network Management Model
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Design for Reuse via Structuring Techniques for ASMs
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
X Meets Z: Verifying Correctness in the Presence of POSIX Threads
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Abstract Animator for Temporal Specifications: Application to TLA
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Bi-directional Automata to Extract Complex Phrases from Texts
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
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
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reconciling Axiomatic and Model-Based Specifications Using the B Method
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Performing Algorithmic Refinement before Data Refinement in B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Type Synthesis in B and the Translation of B to PVS
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Generalised Substitution Language and Differentials
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
"Higher-Order" Mathematics in B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
An Approach to Combining B and Alloy
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Checking Z Data Refinements Using an Animation Tool
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Loose Specification and Refinement in Z
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
On Using Conditional Definitions in Formal Theories
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Theory of Generalised Substitutions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Extraction of Abstraction Invariants for Data Refinement
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Theories, Implementations, and Transformations
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Linking Hazard Analysis to Formal Specification and Design in B
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Lightweight Approach to Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Test Criteria Definition for B Models
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
Structural Embeddings: Mechanization with Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Development of Databases in ASSO and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Correctness Proof of the Standardized Algorithm for ABR Conformance
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Compositional Symmetric Sharing in B
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
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Safe Machine: A New Specification Construct for B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Integrating Formal Description Techniques
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Improving Driver Robustness: An Evaluation of the Devil Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Construction of Finite Labelled Transistion Systems from B Abstract Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Predicate Diagrams for the Verification of Reactive 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
A Process Compensation Language
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Contributions for Modelling UML State-Charts in B
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
Minimally and Maximally Abstract Retrenchments
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Formal Methods in Context: Security and Java Card
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Supplementing a UML Development Process with B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Formal methods in practice: the missing links. a perspective from the security area
Modeling and verification of parallel processes
A predicative semantics for real-time refinement
Programming methodology
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Security Function Interactions
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Requirements reformulation using formal specification: a case study
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal specification of dynamic constraints with the B method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
A Mechanized Proof Environment for the Convenient Computations Proof Method
Formal Methods in System Design
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
Runtime verification of .NET contracts
Journal of Systems and Software - Special issue on: Component-based software engineering
Proceedings of the 16th IEEE international conference on Automated software engineering
Automatic Translation from UML Specifications to B
Proceedings of the 16th IEEE international conference on Automated software engineering
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
SUIDT: safe user interface design tool
Proceedings of the 9th international conference on Intelligent user interfaces
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
ACM SIGSOFT Software Engineering Notes
iRho: an imperative rewriting calculus
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
A flexible environment to evaluate state-based test techniques
ACM SIGSOFT Software Engineering Notes
Combining the Box Structure Development Method and CSP
Proceedings of the 19th IEEE international conference on Automated software engineering
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
The atomic manifesto: a story in four quarks
ACM SIGOPS Operating Systems Review
The atomic manifesto: a story in four quarks
ACM SIGMOD Record
First steps in the retro-engineering of a GUI toolkit in the B language
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
SUIDT: a user interface builder for secure user interfaces
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Cost-based analysis of probabilistic programs mechanised in HOL
Nordic Journal of Computing
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
Verification of behavioural elements of UML models using B
Proceedings of the 2005 ACM symposium on Applied computing
Encyclopedia of Computer Science
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A framework for analyzing exception flow in software architectures
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
ASQue: an agent communication language for ad-hoc wireless sensor networks
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Customised Induction Rules for Proving Correctness of Imperative Programs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Automatic Maintenance of Association Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Software Refinement with Perfect Developer
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
ACM SIGSOFT Software Engineering Notes
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Heterogeneous system level co-simulation for the design of telecommunication systems
Journal of Systems Architecture: the EUROMICRO Journal
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve
IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
Increasing smart card dependability
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Symbolic model checking of declarative relational models
Proceedings of the 28th international conference on Software engineering
Formal methods in industry: achievements, problems, future
Proceedings of the 28th international conference on Software engineering
The echo approach to formal verification
Proceedings of the 28th international conference on Software engineering
An extension of COCOMO II for the B-Method
Proceedings of the 2006 international workshop on Economics driven software engineering research
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science - Algebraic methodology and software technology
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
A constraint solver for sequences and its applications
Proceedings of the 2006 ACM symposium on Applied computing
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
Verification of a scheduler in B through a timed automata specification
Proceedings of the 2006 ACM symposium on Applied computing
Transformation of B specifications into UML class diagrams and state machines
Proceedings of the 2006 ACM symposium on Applied computing
Formalising the L4 microkernel API
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
High assurance system software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Modular invariants for layered object structures
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Theoretical Computer Science - Applied semantics
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
ACM SIGSOFT Software Engineering Notes
Theoretical Computer Science
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
From Predicates to Programs: The Semantics of a Method Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Developing Java Card Applications with B
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Verification of Bossa Scheduler Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental Parametric Development of Greedy Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
A mapping from AADL to Java-RTSJ
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
EURASIP Journal on Applied Signal Processing
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
Refinement patterns for rapid development of dependable systems
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Rigorous engineering of product-line requirements: A case study in failure management
Information and Software Technology
A language-driven approach for the design of interactive applications
Interacting with Computers
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
Using Model Checking to Automatically Find Retrieve Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Formal Verification of a Java Processor in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Preservation of probabilistic information flow under refinement
Information and Computation
AspectT: aspect-oriented test case instantiation
Proceedings of the 7th international conference on Aspect-oriented software development
Comprehensibility of UML-based formal model: a series of controlled experiments
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Generic Tools via General Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal architectural model for exception handling coordination
Proceedings of the 2008 ACM symposium on Applied computing
Journal of Systems Architecture: the EUROMICRO Journal
Information and Software Technology
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
The connection between two ways of reasoning about partial functions
Information Processing Letters
Applying formal methods for the design of wireless telecommunication systems
Proceedings of the 3rd international conference on Mobile multimedia communications
Refinement-Based Verification of Interactive Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement for Pipelining in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Experimenting Formal Proofs of Petri Nets Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Irho: An imperative rewriting calculus
Mathematical Structures in Computer Science
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
On Developing Open Mobile Fault Tolerant Agent Systems
Software Engineering for Multi-Agent Systems V
Getting Formal Verification into Design Flow
FM '08 Proceedings of the 15th international symposium on Formal Methods
Checking Well-Formedness of Pure-Method Specifications
FM '08 Proceedings of the 15th international symposium on Formal Methods
Interactive Systems. Design, Specification, and Verification
Automatic Generation of CSP || B Skeletons from xUML Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Efficient Well-Definedness Checking
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Formal Verification by Reverse Synthesis
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Model Based Refinement and the Tools of Tomorrow
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
On the Purpose of Event-B Proof Obligations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Generating Tests from B Specifications and Test Purposes
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
UseCase-Wise Development: Retrenchment for Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Practical Single Refinement Method for B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
The Composition of Event-B Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Reconciling Axiomatic and Model-Based Specifications Reprised
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
BSmart: A Tool for the Development of Java Card Applications with the B Method
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
From Model Driven Engineering to Verification Driven Engineering
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Planning as model checking: the performance of ProB vs NuSMV
Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Programming language elements for correctness proofs
Acta Cybernetica
Formal development of cooperative exception handling for mobile agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A Practical Approach to Partiality --- A Proof Based Approach
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Unifying Sets and Programs via Dependent Types
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Methods, Models and Tools for Fault Tolerance
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Documenting the Progress of the System Development
Methods, Models and Tools for Fault Tolerance
Step-Wise Development of Resilient Ambient Campus Scenarios
Methods, Models and Tools for Fault Tolerance
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
Investigating a new formal model for a library system using B method
ACM SIGSOFT Software Engineering Notes
Efficient symbolic computation of process expressions
Science of Computer Programming
A Case Study in JML-Assisted Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and Runtime Verification of Java Card Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Verified Compilation and the B Method: A Proposal and a First Appraisal
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Decision Procedures by (Model-)Equality Propagation
Electronic Notes in Theoretical Computer Science (ENTCS)
Invariant-driven specifications in Maude
Science of Computer Programming
A Model Driven Approach to the Analysis of Timeliness Properties
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Development of a Generic Voter under FoCal
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Automated deduction for verification
ACM Computing Surveys (CSUR)
A simple refinement-based method for constructing algorithms
ACM SIGCSE Bulletin
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
The Secret Art of Computer Programming
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Development Life-cycle of Critical Software Under FoCaL
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring Multi-Paradigm Modeling Techniques
Simulation
Developing topology discovery in Event-B
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML to Alloy and back again
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
A Usability Profile for Graphical Formal Modelling Methods
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Proving Quicksort Correct in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
How to Brew-up a Refinement Ordering
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Formal Methods for the Unconquered Territory
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Applying a Formal Method in Industry: A 15-Year Trajectory
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Towards an Operational Semantics for Alloy
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Language and Tool Support for Class and State Machine Refinement in UML-B
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Supporting Reuse of Event-B Developments through Generic Instantiation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Lazy Unbounded Model Checker for Event-B
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modal Systems: Specification, Refinement and Realisation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Tank Monitoring: A pAMN Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Memoryless Strategies for Stochastic Games via Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards formalising AADL in Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with angelic nondeterminism
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Linking Semantic Models to Support CSP () B Consistency Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Lessons learned from rigorous system software development
Information and Software Technology
Dynamic graphical UML views from formal B specifications
Information and Software Technology
A method and tool for design of multi-agent systems
SE '08 Proceedings of the IASTED International Conference on Software Engineering
UML-B and Event-B: an integration of languages and tools
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Automatic analysis of requirements consistency with the B method
ACM SIGSOFT Software Engineering Notes
Testing functional requirements using B model specifications
ACM SIGSOFT Software Engineering Notes
Rigorous analysis of byzantine causal order using Event-B
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Science of Computer Programming
M2D2: a formal data model for IDS alert correlation
RAID'02 Proceedings of the 5th international conference on Recent advances in intrusion detection
An operational approach to program extraction in the calculus of constructions
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Refinements in typed abstract state machines
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Composing specifications using communication
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
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
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Probabilistic termination in B
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
Extending B with control flow breaks
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards dynamic population management of abstract machines in the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Towards feature-oriented specification and development with event-B
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Guiding the correction of parameterized specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Lifting general correctness into partial correctness is ok
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Qualitative probabilistic modelling in event-B
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Formal validation of Java/Swing user interfaces with the event B method
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Symbolic execution techniques for refinement testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
A framework for Incorporating trust into formal systems development
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
JACK: a tool for validation of security and behaviour of Java applications
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Implementing a data distribution variant with a metamodel, some models and a transformation
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Formalising generalised substitutions
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Finding counter examples in induction proofs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
A Framework for Testing Semantic Web Services Using Model Checking
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Analyzing architectural styles
Journal of Systems and Software
Combinations of theories for decidable fragments of first-order logic
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
Cybernetics and Systems Analysis
A formal approach for the development of reactive systems
Information and Software Technology
Invariants and well-foundedness in program algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Reasoning about loops in total and general correctness
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Syntactic abstraction of B models to generate tests
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Toward reliable and efficient message passing software through formal analysis
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Testing techniques in software engineering
Testing techniques in software engineering
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
YAGA: automated analysis of quantitative safety specifications in probabilistic B
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Rewriting, inference, and proof
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Alternating simulation and IOCO
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Systematic translation rules from ASTD to event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Towards probabilistic modelling in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Expression and enforcement of confidentiality policy in active databases
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Patterns for refinement automation
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Applying Event-B atomicity decomposition to a multi media protocol
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Embedding a proof system in haskell
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Comparison of model checking tools for information systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A refinement methodology for object-oriented programs
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
The CoreASM modeling framework
Software—Practice & Experience
MIRAGE: a management tool for the analysis and deployment of network security policies
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
Semi-automatic synthesis of security policies by invariant-guided abduction
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
An overview of a proof-based approach to detecting C vulnerabilities
Proceedings of the 2011 ACM Symposium on Applied Computing
A proof-based approach to verifying reachability properties
Proceedings of the 2011 ACM Symposium on Applied Computing
Systems engineering principles for the design of biomedical signal processing systems
Computer Methods and Programs in Biomedicine
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
The architecture description language model
Graph transformations and model-driven engineering
Applying atomicity and model decomposition to a space craft system in event-B
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Specification of a localization component driven by a goal-based approach: some lessons we learned
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
Formal analysis of an electronic voting system: An experience report
Journal of Systems and Software
Refinement-based verification of local synchronization algorithms
FM'11 Proceedings of the 17th international conference on Formal methods
CSP as a coordination language
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Composing Event-B specifications: case-study experience
SC'11 Proceedings of the 10th international conference on Software composition
Using simulation and 3D graphics software to visualize formally developed control systems
Proceedings of the 15th WSEAS international conference on Computers
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
Quantitative verification of system safety in event-B
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Specification and verification of model-driven data migration
MEDI'11 Proceedings of the First international conference on Model and data engineering
Automatic code generation from event-B models
Proceedings of the Second Symposium on Information and Communication Technology
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
A proposal for extending UML-B to support a conceptual model
Innovations in Systems and Software Engineering
Combining UML, ASTD and B for the formal specification of an access control filter
Innovations in Systems and Software Engineering
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
Refining nodes and edges of state machines
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Verifying B proof rules using deep embedding and automated theorem proving
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
On Using B in the Design of Secure Micro-controllers: An Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Proof and Model-checking to Validate Reconfigurable Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Boogie: a modular reusable verifier for object-oriented programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Stepwise development of secure systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Sequential, parallel, and quantified updates of first-order structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
MDE approach for the generation and verification of SCA model
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Automatic test generation on a (U)SIM smart card
CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Derivation of UML class diagrams as static views of formal b developments
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
How symbolic animation can help designing an efficient formal model
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Towards dynamically communicating abstract machines in the b method
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formalisation and verification of the globalplatform card specification using the b method
CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Duration calculus: a real-time semantic for B
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Object-Oriented specification composition and refinement via category theoretic computations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
An imperative extension to alloy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Applying the b method for the rigorous development of smart card applications
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
A refinement-based correctness proof of symmetry reduced model checking
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Development of a synchronous subset of AADL
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
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
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Improving traceability between KAOS requirements models and b specifications
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Code synthesis for timed automata: a comparison using case study
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Starting b specifications from use cases
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Verification of a signature architecture with HOL-Z
FM'05 Proceedings of the 2005 international conference on Formal Methods
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Embedded Systems Design
JML-Testing-Tools: a symbolic animator for JML specifications using CLP
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
Combining decision procedures by (model-)equality propagation
Science of Computer Programming
JCML: A specification language for the runtime verification of Java Card programs
Science of Computer Programming
Reasoning about java programs with aliasing and frame conditions
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
A formal approach to model multiagent interactions using the b formal method
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
OCL and graph-transformations: a symbiotic alliance to alleviate the frame problem
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Abstract interpretation-based verification of non-functional requirements
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Specification before satisfaction: the case for research into obtaining the right specification
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
An extension of event b for developing grid systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
The challenge of probabilistic event B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A prospective-value semantics for the GSL
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
Using b as a high level programming language in an industrial project: roissy VAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Checking JML specifications with b machines
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
A formal framework for confidentiality-preserving refinement
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Certifying airport security regulations using the Focal environment
FM'06 Proceedings of the 14th international conference on Formal Methods
FM'06 Proceedings of the 14th international conference on Formal Methods
A proposal for records in event-b
FM'06 Proceedings of the 14th international conference on Formal Methods
Definition and correct refinement of operation specifications
Dependable Systems
Advanced Lectures on Software Engineering
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
Formal development of mechanisms for tolerating transient faults
Rigorous Development of Complex Fault-Tolerant Systems
Towards a method for rigorous development of generic requirements patterns
Rigorous Development of Complex Fault-Tolerant Systems
Rigorous design of fault-tolerant transactions for replicated database systems using event b
Rigorous Development of Complex Fault-Tolerant Systems
Designing old and new distributed algorithms by replaying an incremental proof-based development
Rigorous Methods for Software Construction and Analysis
A step towards merging xUML and CSP || B
Rigorous Methods for Software Construction and Analysis
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Augmenting b with control annotations
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Justifications for the event-b modelling notation
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Automatic translation from combined B and CSP specification to java programs
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Refinement of statemachines using event b semantics
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Formal transformation of platform independent models into platform specific models
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
Integration of security policy into system modeling
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Experiences in using b and UML in industrial development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Constraint solving for sequences in software validation and verification
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Cryptographic protocols analysis in event b
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Model-Driven security policy deployment: property oriented approach
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
From UML to alloy and back again
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Experiences in model driven verification of behavior with UML
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Formal methods meet domain specific languages
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
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
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Compatible component upgrades through smart component swapping
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
SVERTS: specification and validation of real-time and embedded systems
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Dependable and Historic Computing
A declarative approach for software modeling
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Component service promotion: contracts, mechanisms and safety
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Modeling asynchronous message passing for c programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
A certified multi-prover verification condition generator
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
Using model checking to analyze static properties of declarative models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A metamodel of the b modeling of access-control policies: work in progress
FPS'11 Proceedings of the 4th Canada-France MITACS conference on Foundations and Practice of Security
SVERTS: specification and validation of real-time and embedded systems
UML Modeling Languages and Applications
EASE'07 Proceedings of the 11th international conference on Evaluation and Assessment in Software Engineering
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Recasting hoare and he's unifying theory of programs in the context of general correctness
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Translating structured database schemas into abstract machines
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
A Use Case Interpretation of B AMN
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
The refinement of embedded software with the B-method
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Coupling schemas: data refinement and view (point) composition
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
On partial-function application in Z
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Specification and refinement in general correctness
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
The Rodin formal modelling tool
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Experiences of formal methods in 'conventional' software and systems design
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Redevelopment of an industrial case study using event-B and Rodin
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
An overview of the SystemB collaborative project
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
"La main à la pâte", an abacus to teach formal specifications
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Logic, damned logic, and statistics
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Translating B machines to JML specifications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
ACM SIGSOFT Software Engineering Notes
Analyzing data flow in trustworthy electronic payment systems using event-b
ICDEM'10 Proceedings of the Second international conference on Data Engineering and Management
Refinement-Based modeling of 3d nocs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Model-Based filtering of combinatorial test suites
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Generating verifiable java code from verified PVS specifications
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Challenges of a Validation Process Based on Models: An Industrial Case Study
Bell Labs Technical Journal
Automating the reconfiguration for self-adaptable software
Proceedings of the 17th international doctoral symposium on Components and Architecture
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
Continuous ASM, and a pacemaker sensing fragment
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Temporal logic model checking in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Discharging proof obligations from atelier b using multiple automated provers
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A system for compositional verification of asynchronous objects
Science of Computer Programming
Encapsulating deontic and branching time specifications
Theoretical Computer Science
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
An event-b approach to timing issues applied to the generic insulin infusion pump
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Node coordination in peer-to-peer networks
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Relaxing b sharing restrictions within CSP||B
SC'12 Proceedings of the 11th international conference on Software Composition
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Formal goal-oriented development of resilient MAS in event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Behaviour-Based cheat detection in multiplayer games with event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Formal modelling and verification of service-oriented systems in probabilistic event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Early fault detection in industry using models at various abstraction levels
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model based testing of an embedded session and transport protocol
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Proved-patterns-based development for structured programs
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
A relational model of object collaborations and its use in reasoning about relationships
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Architecture-centric fault tolerance with exception handling
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Software—Practice & Experience
On fault tolerance reuse during refinement
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Augmenting formal development of control systems with quantitative reliability assessment
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Hi-Lite: the convergence of compiler technology and program verification
Proceedings of the 2012 ACM conference on High integrity language technology
An approach using the b method to formal verification of PLC programs in an industrial setting
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Abstraction as a unifying link for formal approaches to concurrency
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A systematic approach to atomicity decomposition in event-b
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A declarative approach for software compositional reconfiguration
Proceedings of the 11th International Workshop on Adaptive and Reflective Middleware
Linking modelling in event-b with safety cases
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Integration of SMT-solvers in B and Event-B development environments
Science of Computer Programming
Improving software engineering education by modeling real-world implementations
Proceedings of the 8th edition of the Educators' Symposium
Aligning SysML with the B method to provide V&V for systems engineering
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
An analytical and experimental comparison of CSP extensions and tools
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
B model slicing and predicate abstraction to generate tests
Software Quality Control
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Correctness of intrusive data structures using mixins
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
RESource: a framework for online matching of assembly with open source code
FPS'12 Proceedings of the 5th international conference on Foundations and Practice of Security
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Bounded satisfiability checking of metric temporal logic specifications
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Formalising the L4 microkernel API
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
CADE'13 Proceedings of the 24th international conference on Automated Deduction
A fully verified executable LTL model checker
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Linking Unifying Theories of Program refinement
Science of Computer Programming
Defining and model checking abstractions of complex railway models using CSP||B
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
Set-theoretic models of computations
Theories of Programming and Formal Methods
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
Formal development of wireless sensor-actor networks
Science of Computer Programming
Reasoning about almost-certain convergence properties using Event-B
Science of Computer Programming
A method and tool for tracing requirements into specifications
Science of Computer Programming
Hi-index | 0.00 |