8. ICFEM 2006:
Macao,
China
Zhiming Liu, Jifeng He (Eds.):
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings.
Lecture Notes in Computer Science 4260 Springer 2006, ISBN 3-540-47460-9 BibTeX
Keynote Talks
Specification and Verification
- Bernhard Beckert, Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
55-73
Electronic Edition (link) BibTeX
- Chunqing Chen, Jin Song Dong:
Applying Timed Interval Calculus to Simulink Diagrams.
74-93
Electronic Edition (link) BibTeX
- E. Allen Emerson, Richard J. Trefler, Thomas Wahl:
Reducing Model Checking of the Few to the One.
94-113
Electronic Edition (link) BibTeX
- Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi:
Induction-Guided Falsification.
114-131
Electronic Edition (link) BibTeX
- Nikola Trcka:
Verifying chi Models of Industrial Systems with Spin.
132-148
Electronic Edition (link) BibTeX
- Xiaodong Yi, Ji Wang, Xuejun Yang:
Stateful Dynamic Partial-Order Reduction.
149-167
Electronic Edition (link) BibTeX
Internetware and Web-Based Systems
- Xiaoning Ding, Jun Wei, Tao Huang:
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.
168-184
Electronic Edition (link) BibTeX
- Puwei Wang, Zhi Jin, Lin Liu:
Environment Ontology-Based Capability Specification for Web Service Discovery.
185-205
Electronic Edition (link) BibTeX
- Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-Based Component Behavior Derivation.
206-225
Electronic Edition (link) BibTeX
- Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Verification of Computation Orchestration Via Timed Automata.
226-245
Electronic Edition (link) BibTeX
- Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language.
246-263
Electronic Edition (link) BibTeX
- Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu:
Type Checking Choreography Description Language.
264-283
Electronic Edition (link) BibTeX
Concurrent,
Communicating,
Timing and Probabilistic Systems
Object and Component Orientation
Testing and Model Checking
- Jessica Chen, Lihua Duan:
Conditions for Avoiding Controllability Problems in Distributed Testing.
460-477
Electronic Edition (link) BibTeX
- Samira Tasharofi, Sepand Ansari, Marjan Sirjani:
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.
478-493
Electronic Edition (link) BibTeX
- Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis:
Checking the Conformance of Java Classes Against Algebraic Specifications.
494-513
Electronic Edition (link) BibTeX
- Heike Wehrheim:
Incremental Slicing.
514-528
Electronic Edition (link) BibTeX
- Aleksandar Dimovski, Ranko Lazic:
Assume-Guarantee Software Verification Based on Game Semantics.
529-548
Electronic Edition (link) BibTeX
- Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder.
549-567
Electronic Edition (link) BibTeX
Tools
Fault-Tolerance and Security
Specification and Refinement
Copyright © Sat May 16 23:19:37 2009
by Michael Ley (ley@uni-trier.de)
