Luxi Chen

According to our database, Luxi Chen authored at least 24 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Self-adaptive architecture evolution with model checking: A software cybernetics approach.

Luxi Chen, Linpeng Huang, Chen Li, Xiwen Wu

J. Syst. Softw., 2017

Incorporating architectural modelling with state-based reliability evaluation.

Luxi Chen, Linpeng Huang, Chen Li, Xiwen Wu

Int. J. Ad Hoc Ubiquitous Comput., 2017

2015

Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-oriented software systems.

Chen Li, Linpeng Huang, Luxi Chen

Softw. Pract. Exp., 2015

Integrating behavior analysis into architectural modeling.

Luxi Chen, Linpeng Huang, Chen Li, Tao Zan

Frontiers Comput. Sci., 2015

Cournot Maps for Intercepting Evader Evolutions by a Pursuer.

Jean-Pierre Aubin, Luxi Chen, Anya Désilles

Dyn. Games Appl., 2015

Breeze: A modeling tool for designing, analyzing, and improving software architecture.

Luxi Chen, Linpeng Huang, Hao Zhong, Chen Li, Xiwen Wu

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Estimating Software System Reliability: An Architecture-Based Approach.

Xiwen Wu, Linpeng Huang, Chen Li, Luxi Chen

Proceedings of the 9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2015

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

An Approach to Modelling and Evaluating AGG Based Reliable Software Systems.

Chen Li, Linpeng Huang, Luxi Chen, Xiwen Wu

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Using entropy weight-based TOPSIS to implement failure mode and effects analysis.

Xiaoyu Fu, Linpeng Huang, Guannan Su, Luxi Chen, Chen Li, Linzhu Wu

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Architecture Reconfiguration in Pervasive Environment: An AADL-based Approach.

Luxi Chen, Linpeng Huang, Chen Li, Mengyao Ruan

Proceedings of the Eighth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2014

Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach.

Luxi Chen, Linpeng Huang, Chen Li, Linzhu Wu, Weichao Luo

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

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

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013

Deadlock detection and recovery for component-based systems.

Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo

Math. Comput. Model., 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

A Bidirectional Framework for Model Synchronization in Component-Based Software Development.

Luxi Chen, Linpeng Huang, Chen Li, Tao Zan

Proceedings of the 2013 13th International Conference on Quality Software, 2013

BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration.

Chen Li, Linpeng Huang, Luxi Chen, Chengyuan Yu

Proceedings of the Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2013

Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language.

Chen Li, Linpeng Huang, Luxi Chen, Chengyuan Yu

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Viabilist and tychastic approaches to guaranteed ALM problem.

Jean-Pierre Aubin, Luxi Chen, Olivier Dordan, Patrick Saint-Pierre

Risk Decis. Anal., 2012

Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development.

Luxi Chen, Linpeng Huang, Chen Li

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Dynamic software architectures: formal specification and verification with CSP.

Chen Li, Linpeng Huang, Luxi Chen, Xu Li, Weichao Luo

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Using Dynamic Probe for Deadlock Detection in Component-Based System.

Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo

Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012

PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems.

Chen Li, Linpeng Huang, Luxi Chen, Weichao Luo, Xu Li

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Software Architecture Matching by Meta-model Extension and Refinement.

Luxi Chen, Linpeng Huang, Chen Li, Weichao Luo

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012