default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICFEM 2008: Kitakyushu-City, Japan
- Shaoying Liu, T. S. E. Maibaum, Keijiro Araki:
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, ISBN 978-3-540-88193-3
Invited Talks
- Takuya Katayama:
How Can We Make Industry Adopt Formal Methods? 1 - Jeff Offutt:
Programmers Ain't Mathematicians, and Neither Are Testers. 2 - John Hatcliff:
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. 3-4
Specification and Verification
- Jun Sun, Yang Liu
, Jin Song Dong, Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems. 5-24 - Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial:
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. 25-44
Testing
- Dirk Seifert:
Conformance Testing Based on UML State Machines. 45-65 - Lihua Duan, Jessica Chen:
An Approach to Testing with Embedded Context Using Model Checker. 66-85 - Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. 86-104
Verification 1
- Björn Metzler, Heike Wehrheim, Daniel Wonisch:
Decomposition for Compositional Verification. 105-125 - Florin Craciun, Shengchao Qin, Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. 126-146 - Marieke Huisman, Irem Aktug, Dilian Gurov:
Program Models for Compositional Verification. 147-166
Model Checking and Analysis
- Zhenhua Duan, Cong Tian:
A Unified Model Checking Approach with Projection Temporal Logic. 167-186 - Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. 187-206 - Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis:
Towards Abstraction for DynAlloy Specifications. 207-225
Verification 2
- Matthew Staats, Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators. 226-237 - Farhad Mehta:
A Practical Approach to Partiality - A Proof Based Approach. 238-257 - Nick Moffat, Michael Goldsmith, Bill Roscoe:
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. 258-277
Tools
- Michael Leuschel, Marc Fontaine:
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. 278-297 - Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. 298-317
Application of Formal Methods
- Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. 318-337 - Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang:
Correct Channel Passing by Construction. 338-354
Semantics
- Peter Y. H. Wong, Jeremy Gibbons:
A Process Semantics for BPMN. 355-374 - Lijun Shan, Hong Zhu:
A Formal Descriptive Semantics of UML. 375-396
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
