ECBS 2023
Mon 16 - Wed 18 October 2023 Västerås, Sweden

Keynotes

Title
Dynamic Logics for Computer-based Systems - Oct 17
ECBS 2023
How to be an ethical technologist - Oct 16th
ECBS 2023
Pre-print
Toward Responsible Artificial Intelligent Systems: Safety and Trustworthiness - Oct 18th
ECBS 2023
Pre-print

Accepted Papers

Title
A Federated Learning Algorithms Development Paradigm
ECBS 2023
Pre-print
A Literature Survey of Assertions in Software Testing
ECBS 2023
Pre-print
Ambient Temperature Prediction for Embedded Systems using Machine Learning
ECBS 2023
Pre-print
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
ECBS 2023
Pre-print
A Software Package that implements the Hammock-EFL Methodology
ECBS 2023
Pre-print
Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks
ECBS 2023
Pre-print
Building a Digital Twin Framework for Dynamic and Robust Distributed Systems
ECBS 2023
Pre-print
Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data
ECBS 2023
Pre-print
Comparative Analysis of UPPAAL SMC, ns-3 and MATLAB/Simulink
ECBS 2023
Pre-print
Continuous Integration of Neural Networks in Autonomous Systems
ECBS 2023
Pre-print
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
ECBS 2023
Pre-print
Cyber-Physical Ecosystems: Modelling and Verification
ECBS 2023
Pre-print
Detecting Road Tunnel-Like Environments using Acoustic Classification for Sensor Fusion with Radar systems
ECBS 2023
Pre-print
Dynamic Priority Scheduling for periodic systems using ROS 2
ECBS 2023
Pre-print
Formalization and Verification of MQTT-SN Communication Using CSP
ECBS 2023
Pre-print
FPGA-based encryption for peer-to-peer industrial network links
ECBS 2023
Pre-print
IDPP: Imbalanced Datasets Pipelines in Pyrus
ECBS 2023
Pre-print
Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell
ECBS 2023
Pre-print
Learning in UPPAAL for Test Case Generation for Cyber-Physical Systems
ECBS 2023
Pre-print
Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework
ECBS 2023
Pre-print
ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs
ECBS 2023
Pre-print
Synthesizing Understandable Strategies
ECBS 2023
Pre-print
Towards LLM-based System Migration in Language-Driven Engineering
ECBS 2023
Pre-print
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example
ECBS 2023
Pre-print

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).

ACM In-Cooperation Logo

SIGSOFT Logo

LNCS Logo

SIGSOFT Logo

Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

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
10:15 - 10:30
BreakCatering at Pi
10:15
15m
Coffee break
Break
Catering

12:10 - 13:30
12:10
80m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Pi
15:00
30m
Coffee break
Break
Catering

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
60m
Keynote
How to be an ethical technologist - Oct 16th
ECBS 2023
Moshe Vardi Rice University
Pre-print

Tue 17 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Keynote Talk 2ECBS 2023 at Delta
Chair(s): Cristina Seceleanu Mälardalen University
09:00
60m
Keynote
Dynamic Logics for Computer-based Systems - Oct 17
ECBS 2023
Wolfgang Ahrendt Chalmers University of Technology
10:00 - 10:30
BreakCatering at Delta
10:00
30m
Coffee break
Break
Catering

10:30 - 12:10
Formal MethodsECBS 2023 at Delta
Chair(s): Rong Gu Mälardalen University
10:30
30m
Research 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
30m
Research 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
20m
Research paper
Towards LLM-based System Migration in Language-Driven Engineering
ECBS 2023
Pre-print
11:50
20m
Research paper
Synthesizing Understandable Strategies
ECBS 2023
Peter Backeman Mälardalen University
Pre-print
12:10 - 13:30
12:10
80m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Delta
15:00
30m
Coffee break
Break
Catering

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
60m
Keynote
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
10:00 - 10:30
BreakCatering at Pi
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering