Scholarlink

<p>This special issue contains nine extended and rigorously peer-reviewed papers selected from those originally presented at ECBS 2023, the 8th International Conference on Engineering of Computer-Based Systems, held at Mälardalen University, Sweden, October 16-18, 2023, under the theme “Engineering for Responsible AI”. The included papers represent innovative contributions addressing critical aspects of responsible artificial intelligence and integrated engineering practices. These contributions span from formal verification and security analyses of IoT protocols and federated learning frameworks to machine learning-based simulations and predictions in hardware and software systems. The selection also includes work on automata learning techniques for protocol compliance, continuous integration approaches for neural network-based autonomous systems, assertion usage in software testing, language-driven engineering for code generation, and the integration of IoT backends in digital twin infrastructures. Together, these papers showcase recent advances, offering valuable insights into the rigorous integration of modern technologies within complex, computer-based systems.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Preface to the special issue on engineering of computer-based systems

  • 期刊论文

  • 发表日期：

    2025年2月1日

查看全文
  • Jan Kofroň,
  • Tiziana Margaria,
  • Cristina Seceleanu

摘要

This special issue contains nine extended and rigorously peer-reviewed papers selected from those originally presented at ECBS 2023, the 8th International Conference on Engineering of Computer-Based Systems, held at Mälardalen University, Sweden, October 16-18, 2023, under the theme “Engineering for Responsible AI”. The included papers represent innovative contributions addressing critical aspects of responsible artificial intelligence and integrated engineering practices. These contributions span from formal verification and security analyses of IoT protocols and federated learning frameworks to machine learning-based simulations and predictions in hardware and software systems. The selection also includes work on automata learning techniques for protocol compliance, continuous integration approaches for neural network-based autonomous systems, assertion usage in software testing, language-driven engineering for code generation, and the integration of IoT backends in digital twin infrastructures. Together, these papers showcase recent advances, offering valuable insights into the rigorous integration of modern technologies within complex, computer-based systems.