Luxi Chen

According to our database1, Luxi Chen authored at least 25 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
MicroDreamer: Zero-shot 3D Generation in ~20 Seconds by Score-based Iterative Reconstruction.
CoRR, 2024

2017
Self-adaptive architecture evolution with model checking: A software cybernetics approach.
J. Syst. Softw., 2017

Incorporating architectural modelling with state-based reliability evaluation.
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.
Softw. Pract. Exp., 2015

Integrating behavior analysis into architectural modeling.
Frontiers Comput. Sci., 2015

Cournot Maps for Intercepting Evader Evolutions by a Pursuer.
Dyn. Games Appl., 2015

Breeze: A modeling tool for designing, analyzing, and improving software architecture.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Estimating Software System Reliability: An Architecture-Based Approach.
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.
Complex Syst., 2014

An Approach to Modelling and Evaluating AGG Based Reliable Software Systems.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Using entropy weight-based TOPSIS to implement failure mode and effects analysis.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Architecture Reconfiguration in Pervasive Environment: An AADL-based Approach.
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.
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.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

2013
Deadlock detection and recovery for component-based systems.
Math. Comput. Model., 2013

Dynamic decentralization of harvesting constraints in the management of tychastic evolution of renewable resources.
Comput. Manag. Sci., 2013

A Bidirectional Framework for Model Synchronization in Component-Based Software Development.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration.
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.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
Viabilist and tychastic approaches to guaranteed ALM problem.
Risk Decis. Anal., 2012

Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Dynamic software architectures: formal specification and verification with CSP.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Using Dynamic Probe for Deadlock Detection in Component-Based System.
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.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Software Architecture Matching by Meta-model Extension and Refinement.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012


  Loading...