publication venue for
- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. 2014
- A Hybrid Analysis for Security Protocols with State. 2014
- A Probabilistic Framework for Security Scenarios with Dependent Actions. 2014
- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. 2014
- An Interactive Verification Tool Meets an IDE. 2014
- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. 2014
- Automated Theorem Prover Assisted Program Calculations. 2014
- Code Generation for Event-B. 2014
- Formal Refinement in SysML. 2014
- Formal Security Analysis of the MaCAN Protocol. 2014
- How to Break the Bank: Semantics of Capability Policies. 2014
- Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings 2014
- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. 2014
- Integrating Software and Hardware Verification. 2014
- Managing LTL Properties in Event-B Refinement. 2014
- Model-Checking Circus State-Rich Specifications. 2014
- Modeling UML Template Classes with FoCaLiZe. 2014
- Proofs and Refutations in Invariant-Based Programming. 2014
- Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. 2014
- Towards a Formal Semantics-Based Technique for Interprocedural Slicing. 2014
- Verifying Behavioral UML Systems via CEGAR. 2014
- Verifying Linearizability on TSO Architectures. 2014
- Verifying Modal Workflow Specifications Using Constraint Solving. 2014