Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

  • Peter Csaba Ölveczky
  • Gwen Salaün
Conference proceedings SEFM 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11724)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Invited Paper

  3. Cooperative Asynchronous Systems

    1. Front Matter
      Pages 27-27
    2. Mario Bravetti, Gianluigi Zavattaro
      Pages 29-47
    3. Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
      Pages 48-66
  4. Cyber-Physical Systems

    1. Front Matter
      Pages 67-67
    2. Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković
      Pages 69-86
    3. Mario Gleirscher, Simon Foster, Yakoub Nemouchi
      Pages 87-104
    4. Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang et al.
      Pages 105-124
  5. Feature-Oriented and Versioned Systems

    1. Front Matter
      Pages 125-125
    2. Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer
      Pages 127-144
    3. Luís Carvalho, João Costa Seco
      Pages 145-161
    4. Clemens Dubslaff
      Pages 162-180
  6. Model-Based Testing

    1. Front Matter
      Pages 181-181
    2. Hugo Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
      Pages 183-202
    3. Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
      Pages 203-221
    4. I. S. W. B. Prasetya, Rick Klomp
      Pages 222-239
  7. Model Inference

    1. Front Matter
      Pages 241-241
    2. Florent Avellaneda, Alexandre Petrenko
      Pages 243-256
    3. Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
      Pages 257-272
  8. Ontologies and Machine Learning

    1. Front Matter
      Pages 273-273
    2. Achim D. Brucker, Burkhart Wolff
      Pages 275-292
  9. Operating Systems

    1. Front Matter
      Pages 313-313
    2. Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira
      Pages 315-332
    3. Petr Ročkai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiří Barnat
      Pages 333-349
  10. Program Analysis

    1. Front Matter
      Pages 351-351
    2. Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
      Pages 353-372
    3. Vladimír Štill, Jiří Barnat
      Pages 373-390
  11. Relating Models and Implementations

    1. Front Matter
      Pages 391-391
    2. Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
      Pages 393-409
  12. Runtime Verification

    1. Front Matter
      Pages 431-431
    2. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
      Pages 433-453
    3. Martin Ring, Christoph Lüth
      Pages 454-468
  13. Security

    1. Front Matter
      Pages 469-469
    2. Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan et al.
      Pages 471-490
    3. Dorottya Papp, Thorsten Tarrach, Levente Buttyán
      Pages 491-509
  14. Verification

    1. Front Matter
      Pages 511-511
    2. Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
      Pages 513-531
    3. Luka Le Roux, Ciprian Teodorov
      Pages 532-548
  15. Back Matter
    Pages 549-550

About these proceedings


This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.

The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.


artificial intelligence computer operating systems cyber physical systems (cpss) embedded systems formal logic formal methods formal verifications graph theory model checking ontologies problem solving programming languages robotics robots semantics software engineering software evaluation specifications theorem proving verification

Editors and affiliations

  • Peter Csaba Ölveczky
    • 1
  • Gwen Salaün
    • 2
  1. 1.University of OsloOsloNorway
  2. 2.University of Grenoble AlpesMontbonnotFrance

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-30445-4
  • Online ISBN 978-3-030-30446-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site