Software Architecture Matching by Meta-model Extension and Refinement. - Luxi Chen; Linpeng Huang; Chen Li 009; Weichao Luo (APSEC, 2012)

PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems. - Chen Li 009; Linpeng Huang; Luxi Chen; Weichao Luo; Xu Li (APSEC, 2012)

Using Dynamic Probe for Deadlock Detection in Component-Based System. - Chen Li 009; Linpeng Huang; Luxi Chen; Weichao Luo (IMIS, 2012)

Dynamic software architectures: formal specification and verification with CSP. - Chen Li 009; Linpeng Huang; Luxi Chen; Xu Li; Weichao Luo (Internetware, 2012)

Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development. - Luxi Chen; Linpeng Huang; Chen Li 009 (IPDPS Workshops, 2012)

Viabilist and tychastic approaches to guaranteed ALM problem. - Jean-Pierre Aubin; Luxi Chen; Olivier Dordan; Patrick Saint-Pierre (Risk Decis. Anal., 2012)

Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language. - Chen Li 009; Linpeng Huang; Luxi Chen; Chengyuan Yu (COMPSAC, 2013)

BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration. - Chen Li 009; Linpeng Huang; Luxi Chen; Chengyuan Yu (IMIS, 2013)

A Bidirectional Framework for Model Synchronization in Component-Based Software Development. - Luxi Chen; Linpeng Huang; Chen Li 009; Tao Zan (QSIC, 2013)

Dynamic decentralization of harvesting constraints in the management of tychastic evolution of renewable resources. - Jean-Pierre Aubin; Luxi Chen; Marie-Hélène Durand (Comput. Manag. Sci., 2013)

Deadlock detection and recovery for component-based systems. - Chen Li 009; Linpeng Huang; Luxi Chen; Weichao Luo (Math. Comput. Model., 2013)

Innomotion: a web-based rehabilitation system helping patients recover and gain self-awareness of their body away from the clinic. - Luxi Chen; Ni Yan; Miranda Kiang; Anna S. Muth; Kruthi Sabnis Krishna (CHI Extended Abstracts, 2014)

Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach. - Luxi Chen; Linpeng Huang; Chen Li 009; Linzhu Wu; Weichao Luo (COMPSAC, 2014)

Architecture Reconfiguration in Pervasive Environment: An AADL-based Approach. - Luxi Chen; Linpeng Huang; Chen Li 009; Mengyao Ruan (IMIS, 2014)

Using entropy weight-based TOPSIS to implement failure mode and effects analysis. - Xiaoyu Fu; Linpeng Huang; Guannan Su; Luxi Chen; Chen Li 009; Linzhu Wu (Internetware, 2014)

An Approach to Modelling and Evaluating AGG Based Reliable Software Systems. - Chen Li 009; Linpeng Huang; Luxi Chen; Xiwen Wu (TASE, 2014)

Retrospective-Prospective Differential Inclusions and Their Control by the Differential Connection Tensors of Their Evolutions: The Trendometer. - Jean-Pierre Aubin; Luxi Chen; Olivier Dordan (Complex Syst., 2014)

Estimating Software System Reliability: An Architecture-Based Approach. - Xiwen Wu; Linpeng Huang; Chen Li 009; Luxi Chen (IMIS, 2015)

Breeze: A modeling tool for designing, analyzing, and improving software architecture. - Luxi Chen; Linpeng Huang; Hao Zhong 001; Chen Li 009; Xiwen Wu (RE, 2015)

Cournot Maps for Intercepting Evader Evolutions by a Pursuer. - Jean-Pierre Aubin; Luxi Chen; Anya Désilles (Dyn. Games Appl., 2015)

Integrating behavior analysis into architectural modeling. - Luxi Chen; Linpeng Huang; Chen Li 009; Tao Zan (Frontiers Comput. Sci., 2015)

Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-oriented software systems. - Chen Li 009; Linpeng Huang; Luxi Chen (Softw. Pract. Exp., 2015)

Incorporating architectural modelling with state-based reliability evaluation. - Luxi Chen; Linpeng Huang; Chen Li 009; Xiwen Wu (Int. J. Ad Hoc Ubiquitous Comput., 2017)

Self-adaptive architecture evolution with model checking: A software cybernetics approach. - Luxi Chen; Linpeng Huang; Chen Li 009; Xiwen Wu (J. Syst. Softw., 2017)

Lighting Projection Design of Art Stage From Holographic Naked Eye 3D Perspective. - Yanna Huang; Luxi Chen (J. Cases Inf. Technol., 2023)

MicroDreamer: Zero-shot 3D Generation in 20 Seconds by Score-based Iterative Reconstruction. - Luxi Chen; Zhengyi Wang; Chongxuan Li; Tingting Gao; Hang Su 006; Jun Zhu 001 (CoRR, 2024)

Balancing Revenue and Privacy with Signaling Schemes in Online Ad Auctions. - Hongtao Liu; Luxi Chen; Yiming Ding; Changcheng Li; Han Li 005; Peng Jiang 002; Weiran Shen (WSDM, 2025)

Evaluation of Ecological Environment Quality of Tourism Industry in Guangxi Region Based on RS and GIS. - Xiaoyan Lv; Luxi Chen (Int. J. Agric. Environ. Inf. Syst., 2025)

FlexWorld: Progressively Expanding 3D Scenes for Flexiable-View Synthesis. - Luxi Chen; Zihan Zhou; Min Zhao; Yikai Wang; Ge Zhang 009; Wenhao Huang 001; Hao Sun 002; Ji-Rong Wen; Chongxuan Li (CoRR, 2025)