ICFEM 2006
Eighth International Conference on Formal Engineering Methods
1 November - 3 November 2006
You should prepare your slides in pdf or ppt file before the presentations.
Tuesday 31 October, 1930: Receiption and Registration at UNU-IIST
List of Accepted Papers
Paper ID:
12
Paper title:
Formalising progress properties of non-blocking programs
Paper authors:
Brijesh Dongol
Paper ID:
16
Paper title:
Incremental Slicing
Paper authors:
Heike Wehrheim
Paper ID:
17
Paper title:
Formal Verification of the Heap Manager of an Operating System using Separation Logic
Paper authors:
Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
Paper ID:
18
Paper title:
Checking the Conformance of Java Classes Against Algebraic Specifications
Paper authors:
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luis S. Reis
Paper ID:
28
Paper title:
SALT---Structured Assertion Language for Temporal Logic
Paper authors:
Andreas Bauer, Martin Leucker, Jonathan Streit
Paper ID:
31
Paper title:
Verifying Chi Models of Industrial Systems with SPIN
Paper authors:
Nikola Trcka
Paper ID:
32
Paper title:
A Reasoning Method for Time CSP based on Constraint Solving
Paper authors:
Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
Paper ID:
34
Paper title:
Issues in implementing a model checker for Z
Paper authors:
John Derrick, Siobhan North, Tony Simons
Paper ID:
37
Paper title:
Mapping RT-LOTOS specifications into Time Petri Nets
Paper authors:
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Paper ID:
38
Paper title:
Taking our own medicine: applying the refinement calculus to state-rich refinement model checking
Paper authors:
Leo Freitas, Ana Cavalcanti, Jim Woodcock
Paper ID:
42
Paper title:
Reasoning Algebraically about Probabilistic Loops
Paper authors:
Larissa Meinicke, Ian J. Hayes
Paper ID:
46
Paper title:
Conditions for Avoiding Controllability Problems in Distributed Testing
Paper authors:
Jessica Chen, Lihua Duan
Paper ID:
47
Paper title:
Verifying Statemate Statechartss Using CSP and FDR
Paper authors:
Bill Roscoe, Zhenzhong Wu
Paper ID:
48
Paper title:
Verification of Computation Orchestration via Timed Automata
Paper authors:
Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Paper ID:
49
Paper title:
Towards a fully generic theory of data
Paper authors:
Douglas A. Creager, Andrew C. Simpson
Paper ID:
50
Paper title:
Discovering Likely Method Specifications
Paper authors:
Nikolai Tillmann, Feng Chen, Wolfram Schulte
Paper ID:
53
Paper title:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces
Paper authors:
Bernhard Beckert, Gerd Beuster
Paper ID:
55
Paper title:
Context Ontology-based Capability Specification for Web Service Discovery
Paper authors:
Puwei Wang, Zhi Jin, Lin Liu
Paper ID:
59
Paper title:
Induction-Guided Falsification
Paper authors:
Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
Paper ID:
60
Paper title:
Time Aware Modelling and Analysis of Multiclocked VLSI Systems
Paper authors:
Tomi Westerlund, Juha Plosila
Paper ID:
61
Paper title:
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices
Paper authors:
Tim McComb, Luke Wildman
Paper ID:
62
Paper title:
A Tool for a Formal Pattern Modeling Language
Paper authors:
Soon-Kyeong Kim , David Carrington
Paper ID:
63
Paper title:
A Language for Modeling Network Availability
Paper authors:
Luigia Petre, Kaisa Sere, Marina Walden
Paper ID:
65
Paper title:
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm
Paper authors:
Samira Tasharofi, Sepand Ansari, Marjan Sirjani
Paper ID:
68
Paper title:
Model Checking Dynamic UML Consistency
Paper authors:
Xiangpeng Zhao, Quan Long, Zongyan Qiu
Paper ID:
70
Paper title:
Towards the Semantics for Web Service Choreography Description Language
Paper authors:
Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
Paper ID:
74
Paper title:
Applying Timed Interval Calculus to Simulink Diagrams
Paper authors:
Chunqing Chen, Jin Song Dong
Paper ID:
83
Paper title:
Stateful Dynamic Partial-Order Reduction
Paper authors:
Xiaodong Yi, Ji Wang, Xuejun Yang
Paper ID:
90
Paper title:
Assume-Guarantee Software Verification Based on Game Semantics
Paper authors:
Aleksandar Dimovski, Ranko Lazic
Paper ID:
91
Paper title:
Multi-Process Systems Analysis using Event B: Application to Group Communication Systems
Paper authors:
Christian Attiogbé
Paper ID:
92
Paper title:
Reducing Model Checking of the Few to the One
Paper authors:
E. Allen Emerson, Richard J. Trefler, Thomas Wahl
Paper ID:
95
Paper title:
An open extensible tool environment for Event-B
Paper authors:
Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede
Paper ID:
96
Paper title:
Optimized Execution of Deterministic Blocks in Java PathFinder
Paper authors:
Marcelo d`Amorim, Ahmed Sobeih, Darko Marinov
Paper ID:
98
Paper title:
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
Paper authors:
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
Paper ID:
103
Paper title:
Tool for translating Simulink models into input language of a
Paper authors:
Meenakshi Balasubramanian, Abhishek Bhatnagar, Sudeepa Roy
Paper ID:
107
Paper title:
Type Checking Choreography Description Language
Paper authors:
Hongli Yang , Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
Paper ID:
111
Paper title:
User-defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition
Paper authors:
Xiaoning Ding, Jun Wei, Tao Huang
Paper ID:
113
Paper title:
Scenario-based Component Behavior Derivation
Paper authors:
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng