Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2015

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Editors:

  1. Michael Butler

    1. Electronics and Computer Science, University of Southampton, Southampton, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sylvain Conchon

    1. Université Paris-Sud, Orsay, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fatiha Zaïdi

    1. Université Paris-Sud, Orsay, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Conference series link(s): ICFEM: International Conference on Formal Engineering Methods

Conference proceedings info: ICFEM 2015.

Sections

Buy it now

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

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

Table of contents (27 papers)

  1. Front Matter

    Pages I-XXV
    PDF

  2. Domain-Specific Languages with Scala

    • Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
    Pages 1-16

  4. Formalization and Verification of Declarative Cloud Orchestration

    • Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 33-49

  5. Consistency Verification of Specification Rules

    • Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
    Pages 50-66

  6. Applying Automata Learning to Embedded Control Software

    • Wouter Smeenk, Joshua Moerman, Frits Vaandrager, David N. Jansen
    Pages 67-83

  9. Dependency Analysis of Functional Specifications with Algebraic Data Structures

    • Oana F. Andreescu, Thomas Jensen, Stéphane Lescuyer
    Pages 116-133

  10. A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing

    • Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
    Pages 134-152

  11. Mastering the Visualization of Larger State Spaces with Projection Diagrams

    • Lukas Ladenberger, Michael Leuschel
    Pages 153-169

  12. Refinement-Based Verification of the FreeRTOS Scheduler in VCC

    • Sumesh Divakaran, Deepak D’Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
    Pages 170-186

  13. Model Checking \(\mu \)C/OS-III Multi-task System with TMSVL

    • Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
    Pages 187-200

  14. A Predictability Algorithm for Distributed Discrete Event Systems

    • Lina Ye, Philippe Dague, Farid Nouioua
    Pages 201-216

  15. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems

    • Crystal Chang Din, S. Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
    Pages 217-233

  16. Regression Verification for Programmable Logic Controller Software

    • Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
    Pages 234-251

  17. A Logical Approach for Behavioural Composition of Scenario-Based Models

    • Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
    Pages 252-269

  18. Formal Analysis of Power Electronic Systems

    • Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
    Pages 270-286

  19. Practical Analysis Framework for Component Systems with Dynamic Reconfigurations

    • Olga Kouchnarenko, Jean-François Weber
    Pages 287-303

  20. DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)

    • Dennis Guck, Jip Spel, Mariëlle Stoelinga
    Pages 304-311
Back to top

Other Volumes

  1. Formal Methods and Software Engineering

Back to top

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Electronics and Computer Science, University of Southampton, Southampton, United Kingdom

    Michael Butler

  • Université Paris-Sud, Orsay, France

    Sylvain Conchon, Fatiha Zaïdi

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation