Luxi Chen

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Coronary Heart Disease

Software Architecture

Pursuit Evasion

Iterative Reconstruction

Top Venues

Publications

Luxi Chen, Zhengyi Wang, Chongxuan Li, Tingting Gao, Hang Su, Jun Zhu
MicroDreamer: Zero-shot 3D Generation in ~20 Seconds by Score-based Iterative Reconstruction. CoRR (2024)
Luxi Chen, Linpeng Huang, Chen Li, Xiwen Wu
Incorporating architectural modelling with state-based reliability evaluation. Int. J. Ad Hoc Ubiquitous Comput. 26 (3) (2017)
Luxi Chen, Linpeng Huang, Chen Li, Xiwen Wu
Self-adaptive architecture evolution with model checking: A software cybernetics approach. J. Syst. Softw. 124 (2017)
Chen Li, Linpeng Huang, Luxi Chen
Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-oriented software systems. Softw. Pract. Exp. 45 (8) (2015)
Jean-Pierre Aubin, Luxi Chen, Anya Désilles
Cournot Maps for Intercepting Evader Evolutions by a Pursuer. Dyn. Games Appl. 5 (3) (2015)
Luxi Chen, Linpeng Huang, Chen Li, Tao Zan
Integrating behavior analysis into architectural modeling. Frontiers Comput. Sci. 9 (1) (2015)
Luxi Chen, Linpeng Huang, Hao Zhong, Chen Li, Xiwen Wu
Breeze: A modeling tool for designing, analyzing, and improving software architecture. RE (2015)
Xiwen Wu, Linpeng Huang, Chen Li, Luxi Chen
Estimating Software System Reliability: An Architecture-Based Approach. IMIS (2015)
Jean-Pierre Aubin, Luxi Chen, Olivier Dordan
Retrospective-Prospective Differential Inclusions and Their Control by the Differential Connection Tensors of Their Evolutions: The Trendometer. Complex Syst. 23 (2) (2014)
Luxi Chen, Linpeng Huang, Chen Li, Mengyao Ruan
Architecture Reconfiguration in Pervasive Environment: An AADL-based Approach. IMIS (2014)
Luxi Chen, Linpeng Huang, Chen Li, Linzhu Wu, Weichao Luo
Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach. COMPSAC (2014)
Luxi Chen, Ni Yan, Miranda Kiang, Anna S. Muth, Kruthi Sabnis Krishna
Innomotion: a web-based rehabilitation system helping patients recover and gain self-awareness of their body away from the clinic. CHI Extended Abstracts (2014)
Xiaoyu Fu, Linpeng Huang, Guannan Su, Luxi Chen, Chen Li, Linzhu Wu
Using entropy weight-based TOPSIS to implement failure mode and effects analysis. Internetware (2014)
Chen Li, Linpeng Huang, Luxi Chen, Xiwen Wu
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems. TASE (2014)
Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo
Deadlock detection and recovery for component-based systems. Math. Comput. Model. 58 (5-6) (2013)
Chen Li, Linpeng Huang, Luxi Chen, Chengyuan Yu
Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language. COMPSAC (2013)
Chen Li, Linpeng Huang, Luxi Chen, Chengyuan Yu
BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration. IMIS (2013)
Jean-Pierre Aubin, Luxi Chen, Marie-Hélène Durand
Dynamic decentralization of harvesting constraints in the management of tychastic evolution of renewable resources. Comput. Manag. Sci. 10 (4) (2013)
Luxi Chen, Linpeng Huang, Chen Li, Tao Zan
A Bidirectional Framework for Model Synchronization in Component-Based Software Development. QSIC (2013)
Luxi Chen, Linpeng Huang, Chen Li
Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development. IPDPS Workshops (2012)
Luxi Chen, Linpeng Huang, Chen Li, Weichao Luo
Software Architecture Matching by Meta-model Extension and Refinement. APSEC (2012)
Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo
Using Dynamic Probe for Deadlock Detection in Component-Based System. IMIS (2012)
Chen Li, Linpeng Huang, Luxi Chen, Xu Li, Weichao Luo
Dynamic software architectures: formal specification and verification with CSP. Internetware (2012)
Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo, Xu Li
PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems. APSEC (2012)
Jean-Pierre Aubin, Luxi Chen, Olivier Dordan, Patrick Saint-Pierre
Viabilist and tychastic approaches to guaranteed ALM problem. Risk Decis. Anal. 3 (1-2) (2012)