ECBS

Publications

volume 14390, 2024

Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings ECBS 14390 (2024)

2023

Moshe Y. Vardi
How to Be An Ethical Technologist. ECBS (2023)
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
A Federated Learning Algorithms Development Paradigm. ECBS (2023)
Moshe Goldstein, Oren Eliezer
A Software Package (in progress) that Implements the Hammock-EFL Methodology. ECBS (2023)
Florian Sprang, Tiberiu Seceleanu
FPGA-Based Encryption for Peer-to-Peer Industrial Network Links. ECBS (2023)
Sven Erik Jeroschewski, Johannes Kristan, Milena Jäntgen, Max Grzanna
Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell. ECBS (2023)
Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS (2023)
Manal Rahal, Bestoun S. Ahmed, Jorgen Samuelsson
Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework. ECBS (2023)
Manuela-Luminita Bujorianu
Cyber-Physical Ecosystems: Modelling and Verification. ECBS (2023)
Ali Teymur Kahraman, Tomas Fröding, Dimitrios Toumpanakis, Mikael Fridenfalk, Christian Jamtheim Gustafsson, Tobias Sjöblom
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models. ECBS (2023)
Francisco Herrera
Toward Responsible Artificial Intelligence Systems: Safety and Trustworthiness. ECBS (2023)
Bruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels
Continuous Integration of Neural Networks in Autonomous Systems. ECBS (2023)
Maria-Iuliana Dascalu, Andrei-Sergiu Bumbacea, Ioan-Alexandru Bratosin, Iulia-Cristina Stanica, Constanta-Nicoleta Bodea
CareProfSys - Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data. ECBS (2023)
Wei Lin, Sini Chen, Huibiao Zhu
Formalization and Verification of MQTT-SN Communication Using CSP. ECBS (2023)
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example. ECBS (2023)
Selma Rahman, Mattias Olausson, Carlo Vitucci, Ioannis Avgouleas
Ambient Temperature Prediction for Embedded Systems Using Machine Learning. ECBS (2023)
Nikola Stojkov, Filip Tirnanic, Aleksa Lukovic
Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar Systems. ECBS (2023)
Ahmad Rezaei, Johannes Nau, Detlef Streitferdt, Jörg Schambach, Todor Vangelov
ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs. ECBS (2023)
Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS (2023)
Masoumeh Taromirad, Per Runeson
A Literature Survey of Assertions in Software Testing. ECBS (2023)
Murat Isik, Kayode Inadagbo
Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks. ECBS (2023)
Amandeep Singh, Olga Minguett
IDPP: Imbalanced Datasets Pipelines in Pyrus. ECBS (2023)
Tiberiu Seceleanu, Ning Xiong, Eduard Paul Enoiu, Cristina Seceleanu
Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. ECBS (2023)
Rong Gu
Learning in Uppaal for Test Case Generation for Cyber-Physical Systems. ECBS (2023)
Daniel Busch, Alexander Bainczyk, Bernhard Steffen
Towards LLM-Based System Migration in Language-Driven Engineering. ECBS (2023)
Peter Backeman
Synthesizing Understandable Strategies. ECBS (2023)
Lukas Johannes Dust, Saad Mubeen
Dynamic Priority Scheduling for Periodic Systems Using ROS 2. ECBS (2023)

2021