The proceedings contain 24 papers. The special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. The topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?; convergence Properties of Hierarchical Co-simulation Approaches; co-simulation-Based Pre-training of a Ship Trajectory Predictor; effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation; co-simulation of a Model Predictive Control System for Automotive Applications; Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework; Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins; a Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project; open Source Discovery, Adoption, and Use: An Informal Perspective; regret from Cognition to Code; DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs; formal Methods Communities of Practice: A Survey of Personal Experience; learning from Mistakes in an Open Source Software Course; a Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems; Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology; In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL); fostering Safe Behaviors via Metaphor-Based Nudging Technologies; developing the Semantic Web via the Resolution of Meaning Ambiguities; original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain; grounding Psychological Shape Space in Convolutional Neural Networks; unexpectedness and Bayes’ Rule; can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’.

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane. - (2022), pp. 5-5. - LECTURE NOTES IN COMPUTER SCIENCE. [10.1007/978-3-031-12429-7].

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Marco Temperini;
2022

Abstract

The proceedings contain 24 papers. The special focus in this conference is on CIFMA, CoSim-CPS, OpenCERT, and ASYDE. The topics include: Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?; convergence Properties of Hierarchical Co-simulation Approaches; co-simulation-Based Pre-training of a Ship Trajectory Predictor; effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation; co-simulation of a Model Predictive Control System for Automotive Applications; Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework; Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins; a Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project; open Source Discovery, Adoption, and Use: An Informal Perspective; regret from Cognition to Code; DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs; formal Methods Communities of Practice: A Survey of Personal Experience; learning from Mistakes in an Open Source Software Course; a Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems; Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology; In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL); fostering Safe Behaviors via Metaphor-Based Nudging Technologies; developing the Semantic Web via the Resolution of Meaning Ambiguities; original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain; grounding Psychological Shape Space in Convolutional Neural Networks; unexpectedness and Bayes’ Rule; can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’.
2022
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
02 Pubblicazione su volume::02c Prefazione/Postfazione
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane. - (2022), pp. 5-5. - LECTURE NOTES IN COMPUTER SCIENCE. [10.1007/978-3-031-12429-7].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1663127
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact