Skip to main content
Springer Nature Link
Log in

Engineering of Complex Computer Systems

28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Guangdong Bai

    1. School of Electrical Engineering and Computer Science, Faculty of Engineering, Architecture and Information Technology, University of Queensland, Brisbane, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fuyuki Ishikawa

    1. Information Systems Architecture Science Research Division, National Institute of Informatics, Chiyoda-ku, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yamine Ait-Ameur

    1. IRIT, University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. George A. Papadopoulos

    1. Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14784 )

Included in the following conference series:

Conference proceedings info: ICECCS 2024.

  • 4166 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 99.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024.

 

The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis.

Similar content being viewed by others

Keywords

Table of contents (23 papers)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Machine Learning and Complex Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. DashChef: A Metric Recommendation Service for Online Systems Using Graph Learning

      • Zilong He, Tao Huang, Pengfei Chen, Ruipeng Li, Rui Wang, Zibin Zheng
      Pages 3-22

    3. SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection

      • Wuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, Ning Zhang
      Pages 23-42

    4. Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report

      • Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu
      Pages 43-63

  3. Neural Network Verification

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification

      • Xiaoyong Xue, Meng Sun
      Pages 67-87

    3. AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance

      • Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao
      Pages 88-107

  4. A.I. for Software Engineering

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures

      • Shitian Ma, Hui Li, Jiaxin Zhu, Xiaohui He, Shuyang Zhang, Junfeng Zeng
      Pages 111-124

    3. Test Architecture Generation by Leveraging BERT and Control and Data Flows

      • Guangyu Wang, Ji Wu, Haiyan Yang, Qing Sun, Tao Yue
      Pages 125-145

    4. Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction

      • Gichan Lee, Scott Uk-Jin Lee
      Pages 146-156

  5. Smart Contract

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Modeling and Verification of Solidity Smart Contracts with the B Method

      • Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau
      Pages 159-178

    3. Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain

      • Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang
      Pages 179-198

  6. Formal Methods

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models

      • Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang
      Pages 201-222

    3. A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection

      • Jiale Quan, Qin Li
      Pages 223-244

    4. Validation of railML Using ProB

      • Jan Gruteser, Michael Leuschel
      Pages 245-256

    5. Reachability Analysis of Concurrent Self-modifying Code

      • Walid Messahel, Tayssir Touili
      Pages 257-271
Back to top

Other volumes

  1. Engineering of Complex Computer Systems

Editors and Affiliations

  • School of Electrical Engineering and Computer Science, Faculty of Engineering, Architecture and Information Technology, University of Queensland, Brisbane, Australia

    Guangdong Bai

  • Information Systems Architecture Science Research Division, National Institute of Informatics, Chiyoda-ku, Japan

    Fuyuki Ishikawa

  • IRIT, University of Toulouse, Toulouse, France

    Yamine Ait-Ameur

  • Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    George A. Papadopoulos

Bibliographic Information

  • Book Title: Engineering of Complex Computer Systems

  • Book Subtitle: 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings

  • Editors: Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-66456-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2025

  • Softcover ISBN: 978-3-031-66455-7Published: 29 September 2024

  • eBook ISBN: 978-3-031-66456-4Published: 28 September 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIX, 422

  • Number of Illustrations: 27 b/w illustrations, 98 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems, Computer Applications

Publish with us

Policies and ethics

Back to top