Author of the publication

Efficient validation of self-adaptive applications by counterexample probability maximization.

, , , , , and . J. Syst. Softw., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ontology-based coupled optimisation design method using state-space analysis for the spindle box system of large ultra-precision optical grinding machine., , , and . Enterprise IS, 11 (7): 1105-1118 (2017)Video fingerprinting for copy identification: from research to industry applications.. Media Forensics and Security, volume 7254 of SPIE Proceedings, page 725402. SPIE, (2009)Towards a programming framework for activity-oriented context-aware applications., , and . Frontiers Comput. Sci., 11 (6): 987-1006 (2017)Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems., , and . IEEE Trans. Computers, 66 (3): 502-514 (2017)A Petri net-based approach for supporting aspect-oriented modeling., , , and . Frontiers Comput. Sci. China, 2 (4): 413-423 (2008)Fabrication and Evaluation of MEMS Piezoelectric Vibration Sensor with Energy Harvesting Function., , , , , , and . NEMS, page 163-166. IEEE, (2019)An OD Flow Clustering Method Based on Vector Constraints: A Case Study for Beijing Taxi Origin-Destination Data., , , , and . ISPRS Int. J. Geo Inf., 9 (2): 128 (2020)Target-Aware, Transmission Power-Adaptive, and Collision-Free Data Dissemination in Wireless Sensor Networks., , , and . IEEE Trans. Wirel. Commun., 14 (12): 6911-6925 (2015)Novel Phase-Shift Method for Fast Power Reversal With Transient Zero Voltage Switching in a Bidirectional Dual Active Bridge DC-DC Converter., , , , and . IEEE Trans. Ind. Electron., 68 (9): 8028-8038 (2021)Mining Emerging Patterns for Activity Recognition., , , , and . Contrast Data Mining, CRC Press, (2013)