Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:15 | Welcome and Opening SessionECBS 2023 at Pi Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre , Cristina Seceleanu Mälardalen University | ||
09:15 - 10:15 | |||
09:15 30mResearch paper | Ambient Temperature Prediction for Embedded Systems using Machine Learning ECBS 2023 Pre-print | ||
09:45 30mResearch paper | A Federated Learning Algorithms Development Paradigm ECBS 2023 Miroslav Popovic University of Novi Sad, Marko Popovic Institute RT-RK, Ivan Kaštelan University of Novi Sad, Miodrag Djukic , Ilija Basicevic Pre-print | ||
10:30 - 12:10 | |||
10:30 30mResearch paper | Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework ECBS 2023 Pre-print | ||
11:00 20mResearch paper | IDPP: Imbalanced Datasets Pipelines in Pyrus ECBS 2023 Pre-print | ||
11:20 20mResearch paper | Learning in UPPAAL for Test Case Generation for Cyber-Physical Systems ECBS 2023 Rong Gu Mälardalen University Pre-print | ||
11:40 30mResearch paper | A Literature Survey of Assertions in Software Testing ECBS 2023 Pre-print | ||
12:10 - 13:30 | |||
12:10 80mLunch | Lunch Catering | ||
13:30 - 15:00 | System Development and VerificationECBS 2023 at Pi Chair(s): Miroslav Popovic University of Novi Sad | ||
13:30 30mResearch paper | FPGA-based encryption for peer-to-peer industrial network links ECBS 2023 Pre-print | ||
14:00 30mResearch paper | Formalization and Verification of MQTT-SN Communication Using CSP ECBS 2023 Pre-print | ||
14:30 30mResearch paper | Detecting Road Tunnel-Like Environments using Acoustic Classification for Sensor Fusion with Radar systems ECBS 2023 Pre-print | ||
15:30 - 16:30 | Keynote Talk 1ECBS 2023 at Pi Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre | ||
15:30 60mKeynote | How to be an ethical technologist - Oct 16th ECBS 2023 Moshe Vardi Rice University Pre-print | ||
Tue 17 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mKeynote | Dynamic Logics for Computer-based Systems - Oct 17 ECBS 2023 Wolfgang Ahrendt Chalmers University of Technology | ||
10:30 - 12:10 | |||
10:30 30mResearch paper | Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink ECBS 2023 Muhammad Naeem Aalborg University, Michele Albano , Kim Larsen Aalborg University, Brian Nielsen Aalborg University, Denmark Pre-print | ||
11:00 30mResearch paper | Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example ECBS 2023 Stefan Marksteiner AVL List GmbH / Mälardalen University, Marjan Sirjani Malardalen University, Mikael Sjödin Malardalen University Pre-print | ||
11:30 20mResearch paper | Towards LLM-based System Migration in Language-Driven Engineering ECBS 2023 Pre-print | ||
11:50 20mResearch paper | Synthesizing Understandable Strategies ECBS 2023 Peter Backeman Mälardalen University Pre-print | ||
12:10 - 13:30 | |||
12:10 80mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 20mResearch paper | ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs ECBS 2023 Ahmad Rezaei Technische Universität Ilmenau, Johannes Nau , Detlef Streitferdt , Jörg Schambach , Todor Vangelov Pre-print | ||
13:50 30mResearch paper | Cyber-Physical Ecosystems: Modelling and Verification ECBS 2023 Pre-print | ||
14:20 20mResearch paper | Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell ECBS 2023 Pre-print | ||
14:40 20mResearch paper | A Software Package that implements the Hammock-EFL Methodology ECBS 2023 Pre-print | ||
15:30 - 16:30 | |||
15:30 20mResearch paper | Dynamic Priority Scheduling for periodic systems using ROS 2 ECBS 2023 Pre-print | ||
15:50 20mResearch paper | Continuous Integration of Neural Networks in Autonomous Systems ECBS 2023 Pre-print | ||
16:10 20mResearch paper | Building a Digital Twin Framework for Dynamic and Robust Distributed Systems ECBS 2023 Tiberiu Seceleanu Mälardalen University, Eduard Paul Enoiu Mälardalen University, Xiong Ning Mälardalen University, Cristina Seceleanu Mälardalen University Pre-print | ||
Wed 18 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Keynote Talk 3ECBS 2023 at Pi Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre | ||
09:00 60mKeynote | Toward Responsible Artificial Intelligent Systems: Safety and Trustworthiness - Oct 18th ECBS 2023 Francisco Herrera Dept. Computer Sciences and Artificial Intelligence, Andalusian Research Institute on Data Science and Computational Intelligence Pre-print | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||