Publications | 江智浩

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems

Wed, 11 Mar 2026 00:00:00 +0000

Ethics by Design in Autonomous Driving: Developing a Model-based Liability Determination Framework

Fri, 09 May 2025 00:00:00 +0000

A cognitive digital twin approach to improving driver compliance and accident prevention

Tue, 07 Jan 2025 00:00:00 +0000

Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems

Fri, 02 Feb 2024 00:00:00 +0000

Decision support for personalized therapy in implantable medical devices: A digital twin approach

Sat, 09 Dec 2023 00:00:00 +0000

Cognitive-Digital-Twin-Based Driving Assistance

Sun, 23 Jul 2023 00:00:00 +0000

Your browser does not support the video tag.

Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation

Tue, 09 May 2023 00:00:00 +0000

Your browser does not support the video tag.

Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators

Mon, 11 Jul 2022 00:00:00 +0000

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles

Wed, 08 Jun 2022 00:00:00 +0000

Predicting Synthetic Lethality in Human Cancers Via Multi-Graph Ensemble Neural Network

Mon, 01 Nov 2021 00:00:00 +0000

Environment Modeling During Model Checking of Cyber-Physical Systems

Sun, 19 Sep 2021 00:00:00 +0000

US Patent: Digital behavioral twin system for intersection management in connected environments

Tue, 22 Jun 2021 00:00:00 +0000

Model-based Clinical Assist System for Cardiac Ablation

Wed, 19 May 2021 00:00:00 +0000

US Patent: Context system for improved understanding of vehicle-to-everything (V2X) communications by V2X receivers

Tue, 06 Apr 2021 00:00:00 +0000

US Patent: Vehicle data reservation service

Tue, 02 Feb 2021 00:00:00 +0000

Driver's Perception Model in Driving Assist

Sat, 19 Dec 2020 00:00:00 +0000

US Patent: Collision avoidance for a connected vehicle based on a digital behavioral twin

Tue, 24 Nov 2020 00:00:00 +0000

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices

Tue, 16 Apr 2019 00:00:00 +0000

Digital Behavioral Twins for Safe Connected Cars

Sun, 14 Oct 2018 00:00:00 +0000

Property-Driven Runtime Resolution of Feature Interactions

Wed, 19 Sep 2018 00:00:00 +0000

Computer Aided Clinical Trials for Implantable Cardiac Devices

Thu, 19 Jul 2018 00:00:00 +0000

High-level modeling for computer-aided clinical trials of medical devices

Fri, 07 Oct 2016 00:00:00 +0000

In silico pre clinical trials for implantable cardioverter defibrillators

Tue, 16 Aug 2016 00:00:00 +0000

Towards Model Checking of Implantable Cardioverter Defibrillators

Mon, 11 Apr 2016 00:00:00 +0000

The Challenges of High-Confidence Medical Device Software

Thu, 14 Jan 2016 00:00:00 +0000

High-Confidence Medical Device Software Development

Thu, 10 Dec 2015 00:00:00 +0000

Safety-critical medical device development using the UPP2SF model translation tool

Tue, 01 Apr 2014 00:00:00 +0000

Closed-loop verification of medical devices with model abstraction and refinement

Tue, 24 Sep 2013 00:00:00 +0000

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study

Mon, 16 Apr 2012 00:00:00 +0000

Modeling and Verification of a Dual Chamber Implantable Pacemaker

Mon, 16 Apr 2012 00:00:00 +0000

Modeling cardiac pacemaker malfunctions with the Virtual Heart Model

Tue, 30 Aug 2011 00:00:00 +0000

Cyber Physical Modeling of Implantable Cardiac Medical Devices

Tue, 16 Aug 2011 00:00:00 +0000

Model Based Closed-Loop Testing of Implantable Pacemakers

Tue, 12 Apr 2011 00:00:00 +0000

Using the Virtual Heart Model to validate the mode switch pacemaker operation

Tue, 31 Aug 2010 00:00:00 +0000

Real Time Heart Model for Implantable Cardiac Device Validation and Verification

Tue, 06 Jul 2010 00:00:00 +0000