ICFEM Journal

publication venue for

• A CEGAR Scheme for Information Flow Analysis. 2016
• A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. 2016
• A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. 2016
• A General Lattice Model for Merging Symbolic Execution Branches. 2016
• A System Substitution Mechanism for Hybrid Systems in Event-B. 2016
• An Event-B Development Process for the Distributed BIP Framework. 2016
• An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. 2016
• Automated Requirements Validation for ATP Software via Specification Review and Testing. 2016
• Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. 2016
• CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. 2016
• Checking SysML Models for Co-simulation. 2016
• Concolic Unbounded-Thread Reachability via Loop Summaries. 2016
• Contextual Trace Refinement for Concurrent Objects: Safety and Progress. 2016
• Decision Problems for Parametric Timed Automata. 2016
• Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings 2016
• Formal Verification of the rank Algorithm for Succinct Data Structures. 2016
• Local Livelock Analysis of Component-Based Models. 2016
• Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. 2016
• Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. 2016
• Multi-threaded On-the-Fly Model Generation of Malware with Hash Compaction. 2016
• Partial Order Reduction for State/Event Systems. 2016
• Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). 2016
• Proving Event-B Models with Reusable Generic Lemmas. 2016
• Scaling BDD-based Timed Verification with Simulation Reduction. 2016
• Service Adaptation with Probabilistic Partial Models. 2016
• Session-Based Compositional Analysis for Actor-Based Languages Using Futures. 2016
• Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. 2016
• Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. 2016
• A Formal Descriptive Semantics of UML. 2008
• A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. 2008
• A Practical Approach to Partiality - A Proof Based Approach. 2008
• A Process Semantics for BPMN. 2008
• A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. 2008
• A Unified Model Checking Approach with Projection Temporal Logic. 2008
• An Approach to Testing with Embedded Context Using Model Checker. 2008
• Conformance Testing Based on UML State Machines. 2008
• Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. 2008
• Correct Channel Passing by Construction. 2008
• Decomposition for Compositional Verification. 2008
• Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. 2008
• Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 2008
• How Can We Make Industry Adopt Formal Methods? 2008
• Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. 2008
• Partial Translation Verification for Untrusted Code-Generators. 2008
• Practical Automated Partial Verification of Multi-paradigm Real-Time Models. 2008
• Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. 2008
• Program Models for Compositional Verification. 2008
• Programmers Ain't Mathematicians, and Neither Are Testers. 2008
• Requirements Coverage as an Adequacy Measure for Conformance Testing. 2008
• Specifying and Verifying Event-Based Fairness Enhanced Systems. 2008
• Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. 2008
• Towards Abstraction for DynAlloy Specifications. 2008