Keynotes
Accepted Papers
Call for Papers
ECBS 2023: 8th International Conference on the Engineering of Computer Based Systems
Mälardalen University, Västerås, Sweden
October 16 – 18, 2023
https://conf.researchr.org/home/ecbs-2023
- Conference abstract and paper submission (extended, firm): August 18, 2023
- ECBS 2023 is in-cooperation with ACM and ACM SIGSOFT.
- Proceedings will be published by Springer, as a Lecture Notes in Computer Science volume.
SCOPE AND THEME
The Engineering of Computer-Based Systems conference provides a forum for researchers and practitioners to present research results, experiences, and challenges in the field of systems and software engineering. Systems and Software Engineering are about applying scientific principles to design, develop, verify, evaluate, and maintain software, while coping with complexity, helping to avoid omissions and invalid assumptions, managing real world changing issues, and producing the most efficient, economic and robust solutions. The principles of such a traditional understanding of the field become challenged when Artificial Intelligence (AI)/Machine Learning (ML) algorithms and components are part of the digital system to be developed. Building, operating, and maintaining AI-based systems are different from developing and maintaining traditional software systems. In AI-based systems, the system behavior is inferred from training data, so developing these systems requires interdisciplinary collaborative teams of data scientists and software engineers. One needs to explore and adapt system software engineering principles to develop and evolve AI-based systems.
The theme of this year’s ECBS conference is “Engineering for Responsible AI”. Responsible AI frameworks aim at mitigating or eliminating the risks and dangers that AI/ML poses. For this, AI models should be transparent, fair, secure, and reliable, to say the least.
We welcome submissions describing novel research results, tools supporting systems and software engineering, both academic and industrial prototypes, as well as results of applied research and experimental development and evaluations in the fields of systems and software engineering.
Topics
ECBS 2023 welcomes submissions addressing any topics that involve digital computing machines, being inclusive of quantitative, qualitative, and mixed-methods research.
Topics of interest include but are not restricted to:
- Autonomous systems and self-adaptation
- Embedded and cyber-physical systems
- Internet of Things
- Digital Manufacturing
- Smart Homes and Cities
- Formal methods
- Machine learning/Artificial Intelligence
- Software Engineering for AI-based systems
- Combined Machine learning and Formal methods for verification
- Parallel and distributed systems
- Performance analysis and testing
- Privacy and security
- Software services and cloud-based systems
- Software testing
- Requirements engineering
- Software Architectures
- Verification and Validation
- Model-based Design and Development
- Industrial applications and experimental evaluation
SUBMISSIONS AND PRESENTATION
ECBS 2023 accepts submissions of four kinds:
Full paper: Finished or consolidated R&D work. These papers are assigned a 16-page limit, excluding references.
Short paper: On-going work, must present factual nontrivial preliminary research results, proofs of concepts, or exploratory studies. Per reviewers’ comments, a “Regular Paper” manuscript may be conditionally accepted as a “Short Paper” should necessary content improvements and length reduction be able to be done in time. These papers are assigned a 10-page limit, including references.
Tool demonstration papers: Submissions describing the design and implementation of a software tool or framework. The tool/framework described in a tool demonstration paper should be available for public use. These papers are assigned a 10-page limit, including references.
Poster paper: Initial work with relevant ideas, open to discussion. These papers are assigned a strict 4-page length, including references. Due to the distinction between short papers that are indexed and posters that are not, the latter have to be exactly 4 pages in length.
All papers will be subjected to a “single-blind review” by at least three members of the Program Committee. A paper can be rejected or accepted by the Conference Chairs based on the reviews and discussion with the PC members. Borderline papers can be accepted as another type of submission.
Supplementary materials such as links to software implementation and datasets used for experiments may be also submitted but the paper should be self-contained.
Accepted submissions will be published in Springer’s LNCS series, as conference post-proceedings. Papers have to adhere to Springer’s LNCS format (LateX or Word templates):
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
All accepted papers must be presented at the conference to appear in the post-proceedings. At least one author of each accepted paper must register for ECBS 2023. Accepted papers will be presented orally or as a poster based on the decision of program chairs. Papers have to be submitted electronically via EasyChair, by the deadline, via the link below:
https://easychair.org/conferences/?conf=ecbs2023
Submitted papers must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for ECBS 2023. In addition, by submitting the paper the authors declare that they agree to Springer’s plagiarism standard and guidelines (https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/publishing-integrity).
Mon 16 OctDisplayed 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
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
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 |