Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Carla Ferreira

    1. NOVA University Lisbon, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tim A. C. Willemse

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

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

Included in the following conference series:

Conference proceedings info: SEFM 2023.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (20 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Invited Contribution

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Herding CATs

      • Reiner Hähnle, Marco Scaletta, Eduard Kamburjan
      Pages 3-8

  3. Regular Papers

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Refinements for Open Automata

      • Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine
      Pages 11-29

    3. The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker

      • Sylvain Conchon, Alexandrina Korneva
      Pages 30-46

    4. Guiding Symbolic Execution with A-Star

      • Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor
      Pages 47-65

    5. Robustness Testing of Software Verifiers

      • Florian Dyck, Cedric Richter, Heike Wehrheim
      Pages 66-84

    6. Decoupled Fitness Criteria for Reactive Systems

      • Derek Egolf, Stavros Tripakis
      Pages 85-105

    7. Capturing Smart Contract Design with DCR Graphs

      • Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
      Pages 106-125

    8. An Active Learning Approach to Synthesizing Program Contracts

      • Sandip Ghosal, Bengt Jonsson, Philipp Rümmer
      Pages 126-144

    9. Ranged Program Analysis via Instrumentation

      • Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
      Pages 145-164

    10. Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming

      • Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
      Pages 165-183

    11. SSCalc: A Calculus for Solidity Smart Contracts

      • Diego Marmsoler, Billy Thornton
      Pages 184-204

    12. \(\textsf{ATM}\): A Logic for Quantitative Security Properties on Attack Trees

      • Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
      Pages 205-225

    13. Refactoring of Multi-instance BPMN Processes with Time and Resources

      • Quentin Nivon, Gwen Salaün
      Pages 226-245

    14. Verified Scalable Parallel Computing with Why3

      • Olivia Proust, Frédéric Loulergue
      Pages 246-262

    15. Exact and Efficient Bayesian Inference for Privacy Risk Quantification

      • Rasmus C. Rønneberg, Raúl Pardo, Andrzej WÄ…sowski
      Pages 263-281

    16. A Formalization of Heisenbugs and Their Causes

      • Sarah Sallinger, Georg Weissenbacher, Florian Zuleger
      Pages 282-300

    17. Verifying Read-Copy Update Under RC11

      • Mikhail Semenyuk, Mark Batty, Brijesh Dongol
      Pages 301-319
Back to top

Other volumes

  1. Software Engineering and Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.

The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.


Editors and Affiliations

  • NOVA University Lisbon, Caparica, Portugal

    Carla Ferreira

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Tim A. C. Willemse

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation