Del 13230 i serien Lecture Notes in Computer Science

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Häftad, Engelska, 2022

AvAntonio Cerone,Marco Autili,Alessio Bucaioni,Cláudio Gomes,Pierluigi Graziani,Maurizio Palmieri,Marco Temperini,Gentiane Venture

729 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.

Produktinformation

Utgivningsdatum2022-09-25
Mått155 x 235 x 20 mm
Vikt552 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor350
FörlagSpringer International Publishing AG
ISBN9783031124280

Tillhör följande kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik
Programvaruutveckling inom Data och IT
Tillämpad datateknik inom Data och IT
Artificiell intelligens inom Data och IT

CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.- What Does It Mean to Inhibit an Action? A Critical Discussion of Benjamin Libet's Veto in a Recent Study.- Regret from cognition to code.- 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’.- CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems.- Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum.- 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 Twin.- OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology.- 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.- 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.- ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment.- 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.

Mer från samma författare

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Inbunden, 2022

719 kr

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Häftad, 2023

549 kr

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad

Del 12232

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

Häftad, 2020

749 kr

Del 12233

Formal Methods. FM 2019 International Workshops

Häftad, 2020

749 kr

Del 12310

Software Engineering and Formal Methods

Frank de Boer, Antonio Cerone

Häftad, 2020

819 kr

Del 1301

Formal Methods – Fun for Everybody

Antonio Cerone, Markus Roggenbach

Häftad, 2021

709 kr

Del 12819

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone, Peter Csaba Ölveczky

Häftad, 2021

1 119 kr

Del 13490

Formal Methods for an Informal World

Antonio Cerone

Häftad, 2023

749 kr

Del 14618

From Data to Models and Back

Giovanna Broccia, Antonio Cerone

Häftad, 2025

1 779 kr

Del 10729

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

Häftad, 2018

1 099 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri - Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, Häftad

Del 13765

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri

Häftad, 2023

1 639 kr

Engineering of Digital Twins

John Fitzgerald, Cláudio Gomes, Peter Gorm Larsen

Inbunden, 2024

2 879 kr

Del 15584

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu

Häftad, 2025

749 kr

Mereology and the Sciences

Claudio Calosi, Pierluigi Graziani

Inbunden, 2014

2 449 kr

Mereology and the Sciences

Claudio Calosi, Pierluigi Graziani

Häftad, 2016

2 449 kr

Del 601

ROMANSY 23 - Robot Design, Dynamics and Control

Gentiane Venture, Jorge Solis, Yukio Takeda, Atsushi Konno

Inbunden, 2020

3 589 kr

Soigner les addictions par les TCC

Pierluigi Graziani, Lucia Romo

Häftad, 2023

509 kr

Current topics in Logic and the Philosophy of Science. Papers from SILFS 2022 postgraduate conference

Francesco Bianchini, Vincenzo Fano, Pierluigi Graziani

Häftad, 2024

329 kr

2016 International Symposium on Experimental Robotics

Dana Kulić, Yoshihiko Nakamura, Oussama Khatib, Gentiane Venture

Inbunden, 2017

4 309 kr

Open Problems in Philosophy of Sciences

Pierluigi Graziani, Luca Guzzardi, Massimo Sangoi

Häftad, 2013

269 kr

Del 13230 i serien Lecture Notes in Computer Science

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Häftad, Engelska, 2022

AvAntonio Cerone,Marco Autili,Alessio Bucaioni,Cláudio Gomes,Pierluigi Graziani,Maurizio Palmieri,Marco Temperini,Gentiane Venture

729 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2022-09-25
Mått155 x 235 x 20 mm
Vikt552 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor350
FörlagSpringer International Publishing AG
ISBN9783031124280

Tillhör följande kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik
Programvaruutveckling inom Data och IT
Tillämpad datateknik inom Data och IT
Artificiell intelligens inom Data och IT

CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.- What Does It Mean to Inhibit an Action? A Critical Discussion of Benjamin Libet's Veto in a Recent Study.- Regret from cognition to code.- 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’.- CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems.- Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum.- 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 Twin.- OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology.- 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.- 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.- ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment.- 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.