Skip to main content
SpringerLink
Log in

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Loek Cleophas

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mieke Massink

    1. CNR-ISTI, Pisa, Italy

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SEFM 2020.

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
$34.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 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

About this book

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:

ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.

Due to the Corona pandemic this event was held virtually.


Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. ASYDE 2020

    1. Front Matter

      Pages 1-2
      Download chapter PDF

    2. Model Translation from Papyrus-RT into the nuXmv Model Checker

      • Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias Wagner
      Pages 3-20

    3. Modeling and Verification of Temporal Constraints for Web Service Composition

      • Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaida
      Pages 21-29

    4. Modeling Attack-Defense Trees’ Countermeasures Using Continuous Time Markov Chains

      • Karim Lounis, Samir Ouchani
      Pages 30-42

    5. Automated Validation of State-Based Client-Centric Isolation with TLA\(^+\)

      • Tim Soethout, Tijs van der Storm, Jurgen J. Vinju
      Pages 43-57

    6. Code Coverage Aware Test Generation Using Constraint Solver

      • Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
      Pages 58-66

    7. From Requirements to Verifiable Executable Models Using Rebeca

      • Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
      Pages 67-86

  3. CIFMA 2020

    1. Front Matter

      Pages 87-88
      Download chapter PDF

    2. A Pragmatic Model of Justification for Social Epistemology

      • Raffaela Giovagnoli
      Pages 89-99

    3. Personal Identity and False Memories

      • Danil Razeev
      Pages 100-107

    4. Against the Illusory Will Hypothesis

      • Robert Reimer
      Pages 108-117

    5. Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study

      • Torben Braüner, Aishwarya Ghosh, Sujata Ghosh
      Pages 118-128

    6. Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence

      • Yoshihiro Maruyama
      Pages 129-146

    7. An Interdisciplinary Model for Graphical Representation

      • G. Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse
      Pages 147-158

    8. Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation

      • Antonio Cerone, Diana Murzagaliyeva
      Pages 159-175

    9. A Multi-Agent Depth Bounded Boolean Logic

      • Giorgio Cignarale, Giuseppe Primiero
      Pages 176-191

    10. The Intensional Structure of Epistemic Convictions

      • Reinhard Kahle
      Pages 192-200

    11. Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence

      • Samuel Allen Alexander
      Pages 201-213

    12. Reasoning About Ignorance and Beliefs

      • Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
      Pages 214-230
Back to top

Other volumes

  1. Software Engineering and Formal Methods

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

Editors and Affiliations

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Loek Cleophas

  • CNR-ISTI, Pisa, Italy

    Mieke Massink

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation