output
20092026
most citedMulti-Agent Distributed Optimization via Inexact Consensus ADMM

464 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

9 papers · 1 filter

cs.SE2026

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis

Jiahong Xiang, Xiaoyang Xu, Xiaopan Chu +2

Autonomous agents for automated program repair represent a promising frontier in software engineering, yet their effectiveness is often hindered by reliance on post-mortem, coarse-…

cs.SE2025

Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects

Rui Lu, Lyuye Zhang, Kaixuan Li +2

Re-using open-source software (OSS) can avoid reinventing the wheel, but failing to keep it up-to-date can lead to missing new features and persistent bugs or vulnerabilities that…

cs.SE2025★ 6 cited

Uncovering Non-native Speakers' Experiences in Global Software Development Teams -- A Bourdieusian Perspective

Yi Wang, Yang Yue, Wei Wang +1

Globally distributed software development has been a mainstream paradigm in developing modern software systems. We have witnessed a fast-growing population of software developers f…

cs.SE2025★ 3 cited

RAHN: A Reputation Based Hourglass Network for Web Service QoS Prediction

Xia Chen, Yugen Du, Guoxing Tang +2

As the homogenization of Web services becomes more and more common, the difficulty of service recommendation is gradually increasing. How to predict Quality of Service (QoS) more e…

cs.SE2024

DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics

Han Liu, Jian Zhang, Cen Zhang +7

Static analysis tools have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Pre…

cs.SE2014★ 8 cited

Formal Semantic Annotations for Models Interoperability in a PLM environment

Y. Liao, M. Lezoche, H. Panetto +2

Nowadays, the need for system interoperability in or across enterprises has become more and more ubiquitous. Lots of research works have been carried out in the information exchang…

cs.SE2013★ 1 cited

Apricot - An Object-Oriented Modeling Language for Hybrid Systems

Huixing Fang, Huibiao Zhu, Jianqi Shi

We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fil…

cs.SE2012★ 3 cited

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation

Zhengfeng Yang, Min Wu, Wang Lin

In this paper, we address the problem of safety verification of nonlinear hybrid systems. A hybrid symbolic-numeric method is presented to compute exact inequality invariants of hy…

cs.SE2011★ 2 cited

Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation

Wang Lin, Min Wu, Zhengfeng Yang +1

In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inducti…