Xiaoshan Li

Mingming Chen

PeerJ Comput. Sci., 2024

Dynamic event-triggered dual-channel quantized sliding mode control for uncertain networked control systems under DoS attacks.

[BibT_eX]

[DOI]

J. Frankl. Inst., 2024

VCEMO: Multi-Modal Emotion Recognition for Chinese Voiceprints.

[BibT_eX]

[DOI]

CoRR, 2024

Automatic Segment-Level Assessment of Regional Wall Motion Abnormality From Echocardiography Images.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Biomedical Imaging, 2024

2023

Reducing college students' social perception biases through social network intervention.

[BibT_eX]

[DOI]

Wenjing Wang

Interact. Learn. Environ., December, 2023

Reliability-Aware VNF Provisioning in Homogeneous and Heterogeneous Multi-access Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

2021

Performance, Successes and Limitations of Deep Learning Semantic Segmentation of Multiple Defects in Transmission Electron Micrographs.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Automated Prototype Generation From Formal Requirements Model.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

2019

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer.

[BibT_eX]

[DOI]

IEEE Access, 2019

Integrating UML With Service Refinement for Requirements Modeling and Analysis.

[BibT_eX]

[DOI]

IEEE Access, 2019

RM2PT: Requirements Validation through Automatic Prototyping.

[BibT_eX]

[DOI]

Wei Ke

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

RM2PT: a tool for automated prototype generation from requirements model.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction.

[BibT_eX]

[DOI]

CoRR, 2018

Deep learning for in vitro prediction of pharmaceutical formulations.

[BibT_eX]

[DOI]

CoRR, 2018

Automated Prototype Generation from Formal Requirements Model.

[BibT_eX]

[DOI]

CoRR, 2018

MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture.

[BibT_eX]

[DOI]

CoRR, 2018

Integrating UML with Service Refinement for Requirements Modeling and Analysis.

[BibT_eX]

[DOI]

Jing Yang

CoRR, 2018

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA).

[BibT_eX]

[DOI]

Quan Zu

CoRR, 2018

MedShare: Medical Resource Sharing among Autonomous Healthcare Providers.

[BibT_eX]

[DOI]

CoRR, 2018

Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques.

[BibT_eX]

[DOI]

CoRR, 2018

Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers.

[BibT_eX]

[DOI]

IEEE Access, 2018

Model Checking Bounded Continuous-time Extended Linear Duration Invariants.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2016

Automated Enterprise Applications Generation from Requirement Model.

[BibT_eX]

[DOI]

CoRR, 2016

2015

An Interactive Construction Method of 3D Objects from Chinese Ink Paintings.

[BibT_eX]

[DOI]

Lijie Yang

Tianchen Xu

Trans. Edutainment, 2015

2014

An Integrated Framework for Semantic Service Composition using Answer Set Programming.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2014

Automated transformations from UML behavior models to contracts.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

FIXML to Java, C# and C++ Transformations with QVTR-XSLT.

[BibT_eX]

[DOI]

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Feature-oriented writing process reproduction of Chinese calligraphic artwork.

[BibT_eX]

[DOI]

Proceedings of the SIGGRAPH Asia 2014 Technical Briefs, 2014

2013

Support Formal Component-Based Development with UML Profile.

[BibT_eX]

[DOI]

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Model querying with graphical notation of QVT relations.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2012

rCOS: a formal model-driven engineering method for component-based software.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2012

2011

QVT-based model transformation using XSLT.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Interactive Transformations from Object-Oriented Models to Component-Based Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

AutoPA: Automatic Prototyping from Requirements.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Animating the Brush-writing Process of Chinese Calligraphy Characters.

[BibT_eX]

[DOI]

Lijie Yang

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

Validating Requirements Model of a B2B System.

[BibT_eX]

[DOI]

Ling Yin

Liu Jing

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Validation of requirement models by automatic prototyping.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

2007

Prototyping System Requirements Model.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Harnessing rCOS for Tool Support - The CoCoME Experience.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

rCOS: A refinement calculus of object systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A Characterization of UML Diagrams and their Consistency.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

A Theory of Reactive Components.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Component-Based Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

Consistency Checking of UML Requirements.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Consistent Code Generation from UML Models.

[BibT_eX]

[DOI]

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

Unifying proof methodologies of duration calculus and timed linear temporal logic.

[BibT_eX]

[DOI]

Anders P. Ravn

Formal Aspects Comput., 2004

Towards a Rigorous Approach to UML-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Contract Oriented Development of Component Software.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

A Predicative Semantic Model for Integrating UML Models.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

Generating a Prototype from a UML Model of System Requirements.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2004

rCOS: Refinement of Component and Object Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

Linking UML Models of Design and Requirement.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Formal Semantics of UML Sequence Diagram.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Relational Model for Object-Oriented Designs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Unifying Views of UML.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UML.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Using Transition Systems to Unify UML Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Towards a Refinement Calculus for Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Formal and Use-Case Driven Requirement Analysis in UML.

[BibT_eX]

[DOI]

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Formal Object-Oriented Analysis and Design of an Online Ticketing System.

[BibT_eX]

[DOI]

Zhensheng Guo

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Decidability of mean value calculus.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

Specification and Simulation of a Concurrent Real-Time System.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

Verifying duration properties of timed transition systems.

[BibT_eX]

Anders P. Ravn

Proceedings of the Programming Concepts and Methods, 1998

1997

Proving the correctness of the interlock mechanism in processor design.

[BibT_eX]

Proceedings of the Advances in Hardware Design and Verification, 1997

1995

A Duration Calculus with Infinite Intervals.

[BibT_eX]

[DOI]

Chaochen Zhou

Dang Van Hung

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

Specifying Optimal Design of a Steam-Boiler System.

[BibT_eX]

[DOI]