default search action

combined dblp search
author search
venue search
publication search

ask others

8th ICFEM 2006: Macao, China

> Home > Conferences and Workshops > ICFEM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2006
Zhiming Liu, Jifeng He:
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

Keynote Talks

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Chaochen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Chaochen06
Zhou Chaochen:
Program Verification Through Computer Algebra. 1
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Leavens06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Leavens06
Gary T. Leavens:
JML's Rich, Inherited Specifications for Behavioral Subtypes. 2-34
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/McDermidG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/McDermidG06
John A. McDermid, Andy Galloway:
Three Perspectives in Formal Engineering. 35-54

Specification and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertB06
Bernhard Beckert, Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. 55-73
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ChenD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ChenD06
Chunqing Chen, Jin Song Dong:
Applying Timed Interval Calculus to Simulink Diagrams. 74-93
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/EmersonTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/EmersonTW06
E. Allen Emerson, Richard J. Trefler, Thomas Wahl:
Reducing Model Checking of the Few to the One. 94-113
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/OgataNKF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/OgataNKF06
Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi:
Induction-Guided Falsification. 114-131
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Trcka06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Trcka06
Nikola Trcka:
Verifying chi Models of Industrial Systems with Spin. 132-148
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YiWY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YiWY06
Xiaodong Yi, Ji Wang, Xuejun Yang:
Stateful Dynamic Partial-Order Reduction. 149-167

Internetware and Web-Based Systems

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DingWH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DingWH06
Xiaoning Ding, Jun Wei, Tao Huang:
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition. 168-184
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WangJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WangJL06
Puwei Wang, Zhi Jin, Lin Liu:
Environment Ontology-Based Capability Specification for Web Service Discovery. 185-205
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhangHYZLZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhangHYZLZ06
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-Based Component Behavior Derivation. 206-225
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DongLSZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DongLSZ06
Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Verification of Computation Orchestration Via Timed Automata. 226-245
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LiHPZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LiHPZ06
Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language. 246-263
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YangZQCP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YangZQCP06
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu:
Type Checking Choreography Description Language. 264-283

Concurrent, Communicating, Timing and Probabilistic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Dongol06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Dongol06
Brijesh Dongol:
Formalising Progress Properties of Non-blocking Programs. 284-303
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CreagerS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CreagerS06
Douglas A. Creager, Andrew C. Simpson:
Towards a Fully Generic Theory of Data. 304-323
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/RoscoeW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/RoscoeW06
A. W. Roscoe, Zhenzhong Wu:
Verifying Statemate Statecharts Using CSP and FDR. 324-341
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DongHSZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DongHSZ06
Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving. 342-359
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SadaniBSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SadaniBSC06
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets. 360-379
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MeinickeH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MeinickeH06
Larissa Meinicke, Ian J. Hayes:
Reasoning Algebraically About Probabilistic Loops. 380-399

Object and Component Orientation

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MartiAY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MartiAY06
Nicolas Marti, Reynald Affeldt, Akinori Yonezawa:
Formal Verification of the Heap Manager of an Operating System Using Separation Logic. 400-419
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/JacobsSPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/JacobsSPS06
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte:
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. 420-439
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhaoLQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhaoLQ06
Xiangpeng Zhao, Quan Long, Zongyan Qiu:
Model Checking Dynamic UML Consistency. 440-459

Testing and Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ChenD06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ChenD06a
Jessica Chen, Lihua Duan:
Conditions for Avoiding Controllability Problems in Distributed Testing. 460-477
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/TasharofiAS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/TasharofiAS06
Samira Tasharofi, Sepand Ansari, Marjan Sirjani:
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. 478-493
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/NunesLVAR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/NunesLVAR06
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
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Wehrheim06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Wehrheim06
Heike Wehrheim:
Incremental Slicing. 514-528
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DimovskiL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DimovskiL06
Aleksandar S. Dimovski, Ranko Lazic:
Assume-Guarantee Software Verification Based on Game Semantics. 529-548
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/dAmorimSM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/dAmorimSM06
Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder. 549-567

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KimC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KimC06
Soon-Kyeong Kim, David A. Carrington:
A Tool for a Formal Pattern Modeling Language. 568-587
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AbrialBHV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AbrialBHV06
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin:
An Open Extensible Tool Environment for Event-B. 588-605
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MeenakshiBR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MeenakshiBR06
B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy:
Tool for Translating Simulink Models into Input Language of a Model Checker. 606-620

Fault-Tolerance and Security

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/McCombW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/McCombW06
Tim McComb, Luke Wildman:
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. 621-638
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PetreSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PetreSW06
Luigia Petre, Kaisa Sere, Marina Waldén:
A Language for Modeling Network Availability. 639-659
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Attiogbe06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Attiogbe06
J. Christian Attiogbé:
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. 660-677

Specification and Refinement

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DerrickNS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DerrickNS06
John Derrick, Siobhán North, Tony Simons:
Issues in Implementing a Model Checker for Z. 678-696
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FreitasCW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FreitasCW06
Leo Freitas, Ana Cavalcanti, Jim Woodcock:
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. 697-716
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/TillmannCS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/TillmannCS06
Nikolai Tillmann, Feng Chen, Wolfram Schulte:
Discovering Likely Method Specifications. 717-736
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WesterlundP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WesterlundP06
Tomi Westerlund, Juha Plosila:
Time Aware Modelling and Analysis of Multiclocked VLSI Systems. 737-756
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/0002LS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/0002LS06
Andreas Bauer, Martin Leucker, Jonathan Streit:
SALT - Structured Assertion Language for Temporal Logic. 757-775

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.