Digital twin enhanced quality prediction method of powder compaction process

JOURNAL ARTICLE published October 2024 in Robotics and Computer-Integrated Manufacturing

Authors: Ying Zuo | Hujie You | Xiaofu Zou | Wei Ji | Fei Tao

Seam tracking and gap bridging during robotic laser beam welding via grayscale imaging and wobbling

JOURNAL ARTICLE published October 2024 in Robotics and Computer-Integrated Manufacturing

Authors: Davide Maria Boldrin | Lorenzo Molinari Tosatti | Barbara Previtali | Ali Gökhan Demir

Fusing LSTM neural network and expanded disturbance Kalman filter for estimating external disturbing forces of ball screw drives

JOURNAL ARTICLE published October 2024 in Robotics and Computer-Integrated Manufacturing

Research funded by National Key Research and Development Program of China (2022YFB3402600) | National Natural Science Foundation of China (51925505,U21B2081)

Authors: Yinghao Cheng | Yingguang Li | Ke Li | Xu Liu | Changqing Liu | Xiaozhong Hao

TerGEC: A graph enhanced contrastive approach for program termination analysis

JOURNAL ARTICLE published October 2024 in Science of Computer Programming

Research funded by City University of Hong Kong (7005217,9220097,9220103,9229029,9229098,9678149)

Authors: Shuo Liu | Jacky Wai Keung | Zhen Yang | Yihan Liao | Yishu Li

Refining a design thinking-based requirements elicitation process: Insights from a focus group

JOURNAL ARTICLE published October 2024 in Science of Computer Programming

Authors: Ezequiel Kahan | Marcela Genero | Alejandro Oliveros

Exploring issues of story-based effort estimation in Agile Software Development (ASD)

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Muhammad Iqbal | Muhammad Ijaz | Tehseen Mazhar | Tariq Shahzad | Qamar Abbas | YazeedYasin Ghadi | Wasim Ahmad | Habib Hamam

Out of step: Code clone detection for mobile apps across different language codebases

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Stephannie Jimenez | Gordana Rakić | Silvia Takahashi | Nicolás Cardozo

A pragma based C++ framework for hybrid quantum/classical computation

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Research funded by ANR (ANR-22-PNCQ-0002)

Authors: Arnaud Gazda | Océane Koska

Toward a novel taxonomy to capture code smells caused by refactoring

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Mashail N. Alkhomsan | Mohammad Alshayeb | Malak Baslyman

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Research funded by National Institute of Science and Technology for Software Engineering (CNPq/465614/2014-0,FACEPE/APQ/0388-1.03/14)

Authors: Joabe Jesus | Augusto Sampaio

Stark: A tool for the analysis of CPSs robustness

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Valentina Castiglioni | Michele Loreti | Simone Tini

Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Research funded by Japan Society for the Promotion of Science (JP19K20239,JP20H05706,JP22K21279,JP23K16862)

Authors: Kazumasa Shimari | Takashi Ishio | Tetsuya Kanda | Katsuro Inoue

PX-MBT: A framework for model-based player experience testing

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Saba Gholizadeh Ansari | I.S.W.B. Prasetya | Mehdi Dastani | Gabriele Keller | Davide Prandi | Fitsum Meshesha Kifetew | Frank Dignum

Editorial Board

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Synthesizing LTL contracts from component libraries using rich counterexamples

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Antonio Iannopollo | Inigo Incer | Alberto L. Sangiovanni-Vincentelli

Agile effort estimation in Colombia: An assessment and opportunities for improvement

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Juan Cubillos | Jairo Aponte | Diana Gomez | Edwar Rojas

Actionable code smell identification with fusion learning of metrics and semantics

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Dongjin Yu | Quanxin Yang | Xin Chen | Jie Chen | Sixuan Wang | Yihang Xu

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Research funded by Royal Academy of Engineering (CiET1718/45) | UK Research and Innovation (EP/V026747/1,EP/R025479/1)

Authors: Sinem Getir Yaman | Pedro Ribeiro | Charlie Burholt | Maddie Jones | Ana Cavalcanti | Radu Calinescu

Verifying safety of neural networks from topological perspectives

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Zhen Liang | Dejin Ren | Bai Xue | Ji Wang | Wenjing Yang | Wanwei Liu

S2O: A smart objects orchestrator framework based on the web of things

JOURNAL ARTICLE published September 2024 in Science of Computer Programming

Authors: Imene Mezenner | Samia Bouyakoub | Fayçal M'hamed Bouyakoub