[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Alexandre Madeira

    1. Campus Gualtar, University of Aveiro, Aveiro, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Knapp

    1. University of Augsburg, Augsburg, Germany

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

Included in the following conference series:

Conference proceedings info: SEFM 2024.

  • 4545 Accesses

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 49.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 59.99
Price includes VAT (United Kingdom)
  • 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

About this book

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.

The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.

Similar content being viewed by others

Keywords

Table of contents (25 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions

      • Paula Herber, Julius Adelt, Philip Tasche
      Pages 3-21

    3. Paraconsistency for the Working Software Engineer (Extended Abstract)

      • Luís Soares Barbosa
      Pages 22-30

  3. Contributed Papers

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. User-Guided Verification of Security Protocols via Sound Animation

      • Kangfeng Ye, Roberto Metere, Poonam Yadav
      Pages 33-51

    3. A Policy Framework for Regulating External Calls in Smart Contracts

      • Margherita Renieri, Letterio Galletta
      Pages 52-69

    4. Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability

      • Alessandro Cimatti, Thomas M. Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann
      Pages 70-88

    5. A Formal Modeling Language for Smart Contracts

      • Adele Veschetti, Richard Bubel, Reiner Hähnle
      Pages 89-106

    6. Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems

      • Jonas Becker-Kupczok, Paula Herber
      Pages 107-125

    7. Validating Traces of Distributed Programs Against TLA+ Specifications

      • Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
      Pages 126-143

    8. Partially-Observable Security Games for Attack-Defence Analysis in Software Systems

      • Narges Khakpour, David Parker
      Pages 144-161

    9. Secure Smart Contracts with Isabelle/Solidity

      • Diego Marmsoler, Asad Ahmed, Achim D. Brucker
      Pages 162-181

    10. Deductive Verification of SYCL in VerCors

      • Ellen Wittingen, Marieke Huisman, Ömer Şakar
      Pages 182-199

    11. Minuska: Towards a Formally Verified Programming Language Framework

      • Jan Tušil, Jan Obdržálek
      Pages 200-214

    12. Hierarchical Learning of Generative Automaton Models from Sequential Data

      • Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Štern, Martin Tappler
      Pages 215-233

    13. Composing Run-Time Variability Models

      • Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
      Pages 234-252

    14. Model-Checking the Implementation of Consent

      • Raúl Pardo, Daniel Le Métayer
      Pages 253-271

    15. GrammarForge: Learning Program Input Grammars for Fuzz Testing

      • Hannes Sochor, Flavio Ferrarotti, Robert Wille
      Pages 272-289

    16. Verified Configuration and Deployment of Layered Attestation Managers

      • Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander
      Pages 290-308
Back to top

Other volumes

  1. Software Engineering and Formal Methods

Editors and Affiliations

  • Campus Gualtar, University of Aveiro, Aveiro, Portugal

    Alexandre Madeira

  • University of Augsburg, Augsburg, Germany

    Alexander Knapp

Bibliographic Information

Publish with us

Policies and ethics

Back to top