Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Radu Calinescu

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Corina S. Păsăreanu

    1. Carnegie Mellon University, Moffett Field, USA

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

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

Included in the following conference series:

Conference proceedings info: SEFM 2021.

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 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.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-xv
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. RoboWorld: Where Can My Robot Work?

      • Ana Cavalcanti, James Baxter, Gustavo Carvalho
      Pages 3-22

    3. Validating Safety Arguments with Lean

      • Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
      Pages 23-43

  3. Run-time Analysis and Testing

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    2. Runtime Enforcement with Reordering, Healing, and Suppression

      • Yliès Falcone, Gwen Salaün
      Pages 47-65

    3. Monitoring First-Order Interval Logic

      • Klaus Havelund, Moran Omer, Doron Peled
      Pages 66-83

    4. Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines

      • Niklas Krafczyk, Jan Peleska
      Pages 84-102

    5. nfer – A Tool for Event Stream Abstraction

      • Sean Kauffman
      Pages 103-109

    6. Mining Shape Expressions with ShapeIt

      • Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Ničković, Xin Qin
      Pages 110-117

  4. Security and Privacy

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. Refining Privacy-Aware Data Flow Diagrams

      • Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
      Pages 121-140

    3. Hybrid Information Flow Control for Low-Level Code

      • Eduardo Geraldo, José Fragoso Santos, João Costa Seco
      Pages 141-159

    4. Upper Bound Computation of Information Leakages for Unbounded Recursion

      • Johannes Bechberger, Alexander Weigl
      Pages 160-177

    5. On the Security and Safety of AbU Systems

      • Michele Pasqua, Marino Miculan
      Pages 178-198

  5. Parallel Composition/CSP and Probabilistic Reasoning

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Parallelized Sequential Composition and Hardware Weak Memory Models

      • Robert J. Colvin
      Pages 201-221

    3. Checking Opacity and Durable Opacity with FDR

      • Brijesh Dongol, Jay Le-Papin
      Pages 222-242

    4. Translation of CCS into CSP, Correct up to Strong Bisimulation

      • Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield
      Pages 243-261

    5. Probabilistic BDI Agents: Actions, Plans, and Intentions

      • Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
      Pages 262-281
Back to top

Other volumes

  1. Software Engineering and Formal Methods

  2. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.

The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution.


Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • University of York, York, UK

    Radu Calinescu

  • Carnegie Mellon University, Moffett Field, USA

    Corina S. Păsăreanu

Bibliographic Information

  • Book Title: Software Engineering and Formal Methods

  • Book Subtitle: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

  • Editors: Radu Calinescu, Corina S. Păsăreanu

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-92124-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-92123-1Published: 03 December 2021

  • eBook ISBN: 978-3-030-92124-8Published: 02 December 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XV, 522

  • Number of Illustrations: 78 b/w illustrations, 68 illustrations in colour

  • Topics: Software Engineering, Artificial Intelligence, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation