Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. George Eleftherakis

    1. Internal Faculty, CITY College, Computer Science Department, The University of Sheffield, Thessaloniki, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mike Hinchey

    1. Lero - the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mike Holcombe

    1. Department of Computer Science, Regent Court, 211 Portobello, University of Sheffield, S1 4DP, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast track conference proceedings
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: SEFM 2012.

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 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

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talks

    1. Abstraction as a Unifying Link for Formal Approaches to Concurrency

      • Cliff B. Jones
      Pages 1-15

    2. A Rule-Based and Imperative Language for Biochemical Modeling and Simulation

      • Đurica Nikolić, Corrado Priami, Roberto Zunino
      Pages 16-32

  3. Regular Papers

    1. Sound Control-Flow Graph Extraction for Java Programs with Exceptions

      • Afshin Amighi, Pedro de C. Gomes, Dilian Gurov, Marieke Huisman
      Pages 33-47

    2. Checking Sanity of Software Requirements

      • Jiří Barnat, Petr Bauch, Luboš Brim
      Pages 48-62

    3. TVAL+ : TVLA and Value Analyses Together

      • Pietro Ferrara, Raphael Fuchs, Uri Juhasz
      Pages 63-77

    4. A Systematic Approach to Atomicity Decomposition in Event-B

      • Asieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh
      Pages 78-93

    5. Compositional Reasoning about Shared Futures

      • Crystal Chang Din, Johan Dovland, Olaf Owe
      Pages 94-108

    6. Verification of Aspectual Composition in Feature-Modeling

      • Qinglei Zhang, Ridha Khedri, Jason Jaskolka
      Pages 109-125

    7. A Denotational Model for Instantaneous Signal Calculus

      • Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
      Pages 126-140

    8. A Timed Mobility Semantics Based on Rewriting Strategies

      • Gabriel Ciobanu, Maciej Koutny, Jason Steggles
      Pages 141-155

    9. Towards a Formal Component Model for the Cloud

      • Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
      Pages 156-171

    10. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

      • Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
      Pages 172-187

    11. Completing the Automated Verification of a Small Hypervisor – Assembler Code Verification

      • Wolfgang Paul, Sabine Schmaltz, Andrey Shadrin
      Pages 188-202

    12. A Configuration Approach for IMA Systems

      • Visar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger
      Pages 203-217

    13. polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries

      • Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
      Pages 218-232

    14. Frama-C

      • Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
      Pages 233-247

    15. An Optimization Approach for Effective Formalized fUML Model Checking

      • Islam Abdelhalim, Steve Schneider, Helen Treharne
      Pages 248-262

    16. Efficient Probabilistic Abstraction for SysML Activity Diagrams

      • Samir Ouchani, Otmane Ait Mohamed, Mourad Debbabi
      Pages 263-277

    17. ML Dependency Analysis for Assessors

      • Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux
      Pages 278-292
Back to top

Other volumes

  1. Software Engineering and Formal Methods

  2. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

Editors and Affiliations

  • Internal Faculty, CITY College, Computer Science Department, The University of Sheffield, Thessaloniki, Greece

    George Eleftherakis

  • Lero - the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

    Mike Hinchey

  • Department of Computer Science, Regent Court, 211 Portobello, University of Sheffield, S1 4DP, UK

    Mike Holcombe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation