Skip to main content
Springer Nature Link
Account

Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Zhenhua Duan

    1. Xidian University, Xi’an, China

  2. Luke Ong

    1. University of Oxford, Oxford, United Kingdom

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10610)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICFEM 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (29 papers)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  3. Contributed Papers

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Modularization of Refinement Steps for Agile Formal Methods

      • Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
      Pages 19-35

    3. Model Checking Pushdown Epistemic Game Structures

      • Taolue Chen, Fu Song, Zhilin Wu
      Pages 36-53

    4. Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems

      • Xiaohong Chen, Ling Yin, Yijun Yu, Zhi Jin
      Pages 54-70

    5. A Framework for Multi-view Reconciliation and for Medical Devices Personalization

      • Yihai Chen, Bofang Zhang, Ridha Khedri, Huaikou Miao
      Pages 71-87

    6. Compiling Parameterized X86-TSO Concurrent Programs to Cubicle-\(\mathcal {W}\)

      • Sylvain Conchon, David Declerck, Fatiha Zaïdi
      Pages 88-104

    7. Improving the Scalability of Automatic Linearizability Checking in SPIN

      • Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan
      Pages 105-121

    8. Verifying Temporal Properties of C Programs via Lazy Abstraction

      • Zhao Duan, Cong Tian, Zhenhua Duan
      Pages 122-139

    9. Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability

      • Marie Farrell, Rosemary Monahan, James F. Power
      Pages 140-156

    10. Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems

      • Thomas Göthel, Nils Jähnig, Simon Seif
      Pages 157-173

    11. Assertion Generation Through Active Learning

      • Long H. Pham, Ly Ly Tran Thi, Jun Sun
      Pages 174-191

    12. Detecting Energy Bugs in Android Apps Using Static Analysis

      • Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
      Pages 192-208

    13. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

      • Juliana K. F. Bowles, Marco B. Caminati
      Pages 209-225

    14. A Certified Decision Procedure for Tree Shares

      • Xuan-Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
      Pages 226-242

    15. Classification-Based Parameter Synthesis for Parametric Timed Automata

      • Jiaying Li, Jun Sun, Bo Gao, Étienne André
      Pages 243-261

    16. A Verification Framework for Stateful Security Protocols

      • Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu et al.
      Pages 262-280

    17. A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis

      • Xin Li, Mizuhito Ogawa
      Pages 281-297
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Editors and Affiliations

  • Xidian University, Xi’an, China

    Zhenhua Duan

  • University of Oxford, Oxford, United Kingdom

    Luke Ong

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top