publication venue for
- A Model Checking Language for Concurrent Value-Passing Systems. 2008
- A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. 2008
- A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. 2008
- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. 2008
- Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone. 2008
- Aspects and Formal Methods. 2008
- Assume-Guarantee Verification for Interface Automata. 2008
- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. 2008
- Checking Well-Formedness of Pure-Method Specifications. 2008
- CoVaC: Compiler Validation by Program Analysis of the Cross-Product. 2008
- Constraint Prioritization for Efficient Analysis of Declarative Models. 2008
- Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. 2008
- Getting Formal Verification into Design Flow. 2008
- Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. 2008
- Industrial Use of Formal Methods for a High-Level Security Evaluation. 2008
- Introducing Objects through Refinement. 2008
- JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. 2008
- Lazy Behavioral Subtyping. 2008
- Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. 2008
- Precise Interval Analysis vs. Parity Games. 2008
- Provably Correct Runtime Monitoring. 2008
- Safe and Reliable Metro Platform Screen Doors Control/Command Systems. 2008
- Secret Ninja Formal Methods. 2008
- Simulation, Orchestration and Logical Clocks. 2008
- Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. 2008
- Specification and Checking of Software Contracts for Conditional Information Flow. 2008
- Towards Consistent Specifications of Product Families. 2008
- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. 2008
- Verifying Dynamic Pointer-Manipulating Threads. 2008
- A Formal Template Language Enabling Metaproof. 2006
- A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. 2006
- A Memory Model Sensitive Checker for C#. 2006
- A Proposal for Records in Event-B. 2006
- A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. 2006
- Automated Boundary Test Generation from JML Specifications. 2006
- Automatic Translation from Circus to Java. 2006
- Certifying Airport Security Regulations Using the Focal Environment. 2006
- Changing Programs Correctly: Refactoring with Specifications. 2006
- Compositional Binding in Network Domains. 2006
- Compositional Class Refinement in Object-Z. 2006
- Connector-Based Software Development: Deriving Secure Protocols. 2006
- Cost Effective Software Engineering for Security. 2006
- Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. 2006
- Enforcer - Efficient Failure Injection. 2006
- Exact and Approximate Strategies for Symmetry Reduction in Model Checking. 2006
- FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings 2006
- Feature Specification and Static Analysis for Interaction Resolution. 2006
- Formal Methods and Cryptography. 2006
- Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. 2006
- Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. 2006
- Formal Modeling of Communication Protocols by Graph Transformation. 2006
- Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. 2006
- Formal Verification of a C Compiler Front-End. 2006
- Interactive Verification of Medical Guidelines. 2006
- Interface Input/Output Automata. 2006
- Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. 2006
- Model-Based Security Engineering for Real. 2006
- Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. 2006
- Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. 2006
- Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. 2006
- PSL Model Checking and Run-Time Verification Via Testers. 2006
- Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. 2006
- Pointfree Factorization of Operation Refinement. 2006
- Properties of Behavioural Model Merging. 2006
- Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. 2006
- Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems. 2006
- The Embedded Systems Design Challenge. 2006
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. 2006
- Towards Automatic Exception Safety Verification. 2006
- Towards Modularized Verification of Distributed Time-Triggered Systems. 2006
- Type-Safe Two-Level Data Transformation. 2006
- Using Domain-Independent Problems for Introducing Formal Methods. 2006
- Validating the Microsoft Hypervisor. 2006
- Verified Software Grand Challenge. 2006