10. ICFEM 2008: Kitakyushu-City, Japan

Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.): 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 BibTeX

Invited Talks

Takuya Katayama:
How Can We Make Industry Adopt Formal Methods? 1
Electronic Edition (link) BibTeX
Jeff Offutt:
Programmers Ain't Mathematicians, and Neither Are Testers. 2
Electronic Edition (link) BibTeX
John Hatcliff:
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. 3-4
Electronic Edition (link) BibTeX

Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems. 5-24
Electronic Edition (link) BibTeX
Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial:
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. 25-44
Electronic Edition (link) BibTeX

Dirk Seifert:
Conformance Testing Based on UML State Machines. 45-65
Electronic Edition (link) BibTeX
Lihua Duan, Jessica Chen:
An Approach to Testing with Embedded Context Using Model Checker. 66-85
Electronic Edition (link) BibTeX
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. 86-104
Electronic Edition (link) BibTeX

Björn Metzler, Heike Wehrheim, Daniel Wonisch:
Decomposition for Compositional Verification. 105-125
Electronic Edition (link) BibTeX
Florin Craciun, Shengchao Qin, Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. 126-146
Electronic Edition (link) BibTeX
Marieke Huisman, Irem Aktug, Dilian Gurov:
Program Models for Compositional Verification. 147-166
Electronic Edition (link) BibTeX

Zhenhua Duan, Cong Tian:
A Unified Model Checking Approach with Projection Temporal Logic. 167-186
Electronic Edition (link) BibTeX
Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. 187-206
Electronic Edition (link) BibTeX
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis:
Towards Abstraction for DynAlloy Specifications. 207-225
Electronic Edition (link) BibTeX

Matthew Staats, Mats Per Erik Heimdahl:
Partial Translation Verification for Untrusted Code-Generators. 226-237
Electronic Edition (link) BibTeX
Farhad Mehta:
A Practical Approach to Partiality - A Proof Based Approach. 238-257
Electronic Edition (link) BibTeX
Nick Moffat, Michael Goldsmith, Bill Roscoe:
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. 258-277
Electronic Edition (link) BibTeX

Michael Leuschel, Marc Fontaine:
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. 278-297
Electronic Edition (link) BibTeX
Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. 298-317
Electronic Edition (link) BibTeX

Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. 318-337
Electronic Edition (link) BibTeX
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang:
Correct Channel Passing by Construction. 338-354
Electronic Edition (link) BibTeX

Peter Y. H. Wong, Jeremy Gibbons:
A Process Semantics for BPMN. 355-374
Electronic Edition (link) BibTeX
Lijun Shan, Hong Zhu:
A Formal Descriptive Semantics of UML. 375-396
Electronic Edition (link) BibTeX