Skip to main content
SpringerLink
Log in
Book cover

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Alessandro Cimatti

    1. University of Trento, Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marjan Sirjani

    1. Mälardalen University, Västerås, Sweden

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SEFM 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

Table of contents (28 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

    • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong
    Pages 1-16

  3. Focused Certification of an Industrial Compilation and Static Verification Toolchain

    • Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu
    Pages 17-34

  4. A Complete Generative Label Model for Lattice-Based Access Control Models

    • N. V. Narendra Kumar, R. K. Shyamasundar
    Pages 35-53

  5. From Model Checking to a Temporal Proof for Partial Models

    • Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
    Pages 54-69

  6. Modeling and Reasoning on Requirements Evolution with Constrained Goal Models

    • Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
    Pages 70-86

  7. Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL

    • Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
    Pages 87-103

  8. An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

    • Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
    Pages 104-119

  9. PART\(_\mathrm {PW}\): From Partial Analysis Results to a Proof Witness

    • Marie-Christine Jakobs
    Pages 120-135

  10. Specification and Automated Verification of Dynamic Dataflow Networks

    • Jonatan Wiik, Pontus Boström
    Pages 136-151

  11. Specification Clones: An Empirical Study of the Structure of Event-B Specifications

    • Marie Farrell, Rosemary Monahan, James F. Power
    Pages 152-167

  12. User Studies of Principled Model Finder Output

    • Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
    Pages 168-184

  13. Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models

    • Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
    Pages 185-202

  14. On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows

    • Daniel Ricardo dos Santos, Silvio Ranise
    Pages 203-218

  15. Trace Partitioning and Local Monitoring for Asynchronous Components

    • Duncan Paul Attard, Adrian Francalanza
    Pages 219-235

  16. Compositional Verification of Interlocking Systems for Large Stations

    • Alessandro Fantechi, Anne E. Haxthausen, Hugo D. Macedo
    Pages 236-252

  17. Formalizing Timing Diagram Requirements in Discrete Duration Calculus

    • Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
    Pages 253-268

  18. On Approximate Diagnosability of Metric Systems

    • Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
    Pages 269-283

  19. A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices

    • Paolo Masci, Yi Zhang, Paul Jones, José C. Campos
    Pages 284-299

  20. Modular Verification of Information Flow Security in Component-Based Systems

    • Simon Greiner, Martin Mohr, Bernhard Beckert
    Pages 300-315
Back to top

Other volumes

  1. Software Engineering and Formal Methods

  2. Software Engineering and Formal Methods

Keywords

About this book

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.

The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an
d design principles. 

Editors and Affiliations

  • University of Trento, Trento, Italy

    Alessandro Cimatti

  • Mälardalen University, Västerås, Sweden

    Marjan Sirjani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation