Qiaoqiao Chen
According to our database1,
Qiaoqiao Chen
authored at least 8 papers
between 2008 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Vis. Comput., 2022
2019
Proceedings of the Parallel Architectures, Algorithms and Programming, 2019
Proceedings of the Parallel Architectures, Algorithms and Programming, 2019
2012
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
2008
A new ranging application of UWB modulated by orthogonal waves in wireless sensor network.
Proceedings of the Third International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2008), 2008