


default search action
SEFM Workshops 2021: Virtual Event
- Antonio Cerone
, Marco Autili
, Alessio Bucaioni
, Cláudio Gomes
, Pierluigi Graziani
, Maurizio Palmieri
, Marco Temperini
, Gentiane Venture
:
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13230, Springer 2022, ISBN 978-3-031-12428-0
CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
- Robert Reimer
:
What Does It Mean to Inhibit an Action? - A Critical Discussion of Benjamin Libet's Veto in a Recent Study. 5-14 - Alan J. Dix
, Genovefa Kefalidou
:
Regret from Cognition to Code. 15-36 - Antonio Cerone
, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck
:
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). 37-52 - Francesca Ervas
, Artur Gunia
, Giuseppe Lorini
, Georgi Stojanov
, Bipin Indurkhya
:
Fostering Safe Behaviors via Metaphor-Based Nudging Technologies. 53-63 - Simone Pinna
, Francesca Ervas
, Marco Giunti
:
Developing the Semantic Web via the Resolution of Meaning Ambiguities. 64-75 - Giuseppe Antonio Pierro
, Moaaz Sawaf, Roberto Tonelli
:
Original or Fake? How to Understand the Digital Artworks' Value in the Blockchain. 76-85 - Lucas Bechberger
, Kai-Uwe Kühnberger
:
Grounding Psychological Shape Space in Convolutional Neural Networks. 86-106 - Giovanni Sileno, Jean-Louis Dessalles:
Unexpectedness and Bayes' Rule. 107-116 - Samuel Allen Alexander
:
Can Reinforcement Learning Learn Itself? A Reply to 'Reward is Enough'. 117-133
CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
- Paolo Bellavista
:
Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum. 139-142 - Hao Feng
, Cláudio Gomes
, Michael Sandberg
, Hugo Daniel Macedo
, Peter Gorm Larsen
:
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? 143-155 - Irene Hafner
, Niki Popper
:
Convergence Properties of Hierarchical Co-simulation Approaches. 156-172 - Motoyasu Kanazawa
, Lars Ivar Hatledal
, Guoyuan Li
, Houxiang Zhang
:
Co-simulation-Based Pre-training of a Ship Trajectory Predictor. 173-188 - Tongtong Wang
, Lars Ivar Hatledal
, Motoyasu Kanazawa
, Guoyuan Li
, Houxiang Zhang
:
Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation. 189-203 - Cinzia Bernardeschi
, Pierpaolo Dini
, Andrea Domenici
, Ayoub Mouhagir
, Maurizio Palmieri
, Sergio Saponara
, Tanguy Sassolas
, Lilia Zaourar
:
Co-simulation of a Model Predictive Control System for Automotive Applications. 204-220 - Jean-Baptiste Chaudron
, Aleksandar Joksimovic
, Pierre Siron
, Rob A. Vingerhoeds
, Xavier Carbonneau
:
Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework. 221-237 - Prasad Talasila
, Daniel-Cristian Craciunean
, Bogdan-Constantin Pirvu
, Peter Gorm Larsen
, Constantin B. Zamfirescu
, Alea Scovill
:
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. 238-244
OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology
- Sofia Terzi
, Ioannis Stamelos, Konstantinos Votis, Thrasyvoulos Tsiatsos:
A Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project. 249-263 - Anthony I. Wasserman
:
Open Source Discovery, Adoption, and Use: An Informal Perspective. 264-276 - Tommaso Battistini, Nicolò Isaia, Andrea Sterbini
, Marco Temperini
:
DrPython-WEB: A Tool to Help Teaching Well-Written Python Programs. 277-286 - Jonathan P. Bowen
, Peter T. Breuer
:
Formal Methods Communities of Practice: A Survey of Personal Experience. 287-301 - Olzhas Zhangeldinov
:
Learning from Mistakes in an Open Source Software Course. 302-311
ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment
- Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano:
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. 317-332 - José Carlos Gamazo-Real
, Juan Rafael Zamorano-Flores
, Ángel Sanz-Andrés
:
Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology. 333-347

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.