Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

Hierarchical saliency mapping for weakly supervised object localization based on class activation mapping.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2020

The Panacea Threat Intelligence and Active Defense Platform.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting Asks in SE attacks: Impact of Linguistic and Structural Knowledge.

[BibT_eX]

[DOI]

CoRR, 2020

Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Active Defense Against Social Engineering: The Case for Human Language Technology.

[BibT_eX]

[DOI]

Proceedings of the Proceedings for the First International Workshop on Social Threats in Online Conversations: Understanding and Management, 2020

Learning to Plan and Realize Separately for Open-Ended Dialogue Systems.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

Detecting Asks in Social Engineering Attacks: Impact of Linguistic and Structural Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Deep CSI Learning for Gait Biometric Sensing and Recognition.

[BibT_eX]

[DOI]

CoRR, 2019

Formal Development and Verification of Reusable Component in PAR Platform.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

An Active-Passive Measurement Study of TCP Performance over LTE on High-speed Rails.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Mining User-Generated Content to Identify Social Support in Chinese Online Smoking Cessation Community.

[BibT_eX]

[DOI]

Proceedings of the third International Conference on Medical and Health Informatics 2019, 2019

2018

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2018

Sensitivity Enhancement in Surface Plasmon Resonance Biochemical Sensor Based on Transition Metal Dichalcogenides/Graphene Heterostructure.

[BibT_eX]

[DOI]

Sensors, 2018

autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Evaluation of redundancy-based system: a model checking approach.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Formal Specification and Verification for Real-Time Scheduling Based on PAR.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

An efficient approach for verifying automobile distributed application systems on timing property.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

PAR: A Practicable Formal Method and Its Supporting Platform.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Security Vulnerabilities and Countermeasures in the RPL-Based Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

A New Clustering Protocol for Vehicular Networks in ITS.

[BibT_eX]

[DOI]

Proceedings of the Communications and Networking, 2018

2017

SMT-Based Scheduling for Overloaded Real-Time Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

YOLSE: Egocentric Fingertip Detection from Single RGB Images.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Computer Vision Workshops, 2017

2016

Design and evaluation of hybrid temperature control for cyber-physical home systems.

[BibT_eX]

[DOI]

Zhuo Cheng

Yasuo Tan

Yuto Lim

Int. J. Model. Identif. Control., 2016

SOFL-based dependency graph generation for scheduling.

[BibT_eX]

[DOI]

Proceedings of the 11th System of Systems Engineering Conference, 2016

Scheduling overload for real-time systems using SMT solver.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

SMT-based scheduling for multiprocessor real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015

A Case Study: SOFL + Model Checking for OSEK/VDX Application.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Greedy scheduling with feedback control for overloaded real-time systems.

[BibT_eX]

[DOI]

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

2014

DPSC: A Novel Scheduling Strategy for Overloaded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2013

Energy efficient thermal comfort control for cyber-physical home system.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Study of temperature control using cyber-physical system approach in home environment.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2006

Creation of a Java-based Interactive Modeling Environment with Tape Library Model Example.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Networking, 2006

Zhuo Cheng

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...