default search action

combined dblp search
author search
venue search
publication search

ask others

15th ICFEM 2013: Queenstown, New Zealand

> 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/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2013
Lindsay Groves, Jing Sun:
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Lecture Notes in Computer Science 8144, Springer 2013, ISBN 978-3-642-41201-1

Keynote

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Morgan13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Morgan13
Carroll C. Morgan:
Lattices of Information for Security: Deterministic, Demonic, Probabilistic. 1-3

Specification

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DihegoAS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DihegoAS13
José Dihego, Pedro R. G. Antonino, Augusto Sampaio:
Algebraic Laws for Process Subtyping. 4-19
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MalletM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MalletM13
Frédéric Mallet, Jean-Vivien Millo:
Boundness Issues in CCSL Specifications. 20-35
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZuoK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZuoK13
Zhiqiang Zuo, Siau-Cheng Khoo:
Mining Dataflow Sensitive Specifications. 36-52

Proof

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LeGVC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LeGVC13
Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin:
A Proof Slicing Framework for Program Verification. 53-69
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BoytonABFGGKLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BoytonABFGGKLS13
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell:
Formally Verified System Initialisation. 70-85
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LiuFZG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LiuFZG13
Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot:
Verifying an Aircraft Proximity Characterization Method in Coq. 86-101

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Li13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Li13
Mengjun Li:
Assisting Specification Refinement by Random Testing. 102-114
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PortoES13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PortoES13
Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão:
Generation of Checking Sequences Using Identification Sets. 115-130
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FeliachiGWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FeliachiGWW13
Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff:
The Circus Testing Theory Revisited in Isabelle/HOL. 131-147

Timed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CarvalhoSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CarvalhoSM13
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. 148-164
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HuangFHQH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HuangFHQH13
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He:
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. 165-181
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Si0LW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Si0LW13
Yuanjie Si, Jun Sun, Yang Liu, Ting Wang:
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. 182-198

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AndreBDHHKLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AndreBDHHKLP13
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci:
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. 199-214
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ShiZL0DQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ShiZL0DQ13
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP Semantics for Communicating Processes with Shared Variables. 215-230
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LeCT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LeCT13
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo:
Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. 231-248

SysML/MDD

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MiyazawaLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MiyazawaLC13
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti:
Formal Models of SysML Blocks. 249-264
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/JacobsS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/JacobsS13
Jaco Jacobs, Andrew Simpson:
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML. 265-280
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ShiDT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ShiDT13
Ya Shi, Zhenhua Duan, Cong Tian:
Translation from Workflow Nets to MSVL. 281-296

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SuR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SuR13
Guoxin Su, David S. Rosenblum:
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. 297-312
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ChenT0LPL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ChenT0LPL13
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li:
Verification of Functional and Non-functional Requirements of Web Service Composition. 313-328
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HaoLCB013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HaoLCB013
Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun:
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. 329-346

Application

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FarooqHI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FarooqHI13
Binyameen Farooq, Osman Hasan, Sohail Iqbal:
Formal Kinematic Analysis of the Two-Link Planar Manipulator. 347-362
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PereverzevaLTHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PereverzevaLTHP13
Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri:
Formal Modelling of Resilient Data Storage in Cloud. 363-379
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WuZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WuZ13
Xiaofeng Wu, Huibiao Zhu:
Linking Operational Semantics and Algebraic Semantics for Wireless Networks. 380-396

Static Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HeQCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HeQCC13
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
Automated Specification Discovery via User-Defined Predicates. 397-414
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WinterZHKCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WinterZHKCL13
Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li:
Path-Sensitive Data Flow Analysis Simplified. 415-430
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ArltLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ArltLS13
Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. 431-446
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CostantiniFMC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CostantiniFMC13
Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi:
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. 447-463

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.