Yu Jiang

Orcid: 0000-0003-0955-503X

Affiliations:

Tsinghua University, School of Software, Beijing, China (Associate Professor)
University of Illinois at Urbana-Champaign, Department of Computer Science, IL, USA (Postdoc 2016)
Tsinghua University, School of Software, Beijing, China (PhD 2015)

According to our database¹, Yu Jiang authored at least 173 papers between 2011 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., February, 2024

On the Caching Schemes to Speed Up Program Reduction.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2024

Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2024

2023

Towards Better Semantics Exploration for Browser Fuzzing.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

Building Dynamic System Call Sandbox with Partial Order Analysis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., August, 2023

Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., May, 2023

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., April, 2023

Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2023

Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Limits of I/O Based Ransomware Detection: An Imitation Based Attack.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

PPR: Pairwise Program Reduction.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Finding Causally Different Tests for an Industrial Control System.

[BibT_eX]

[DOI]

Christopher M. Poskitt

Yuqi Chen

Jun Sun

Yu Jiang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Sequence-Oriented DBMS Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

STCG: State-Aware Test Case Generation for Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

The Classification and Detection of Malware Using Soft Relevance Evaluation.

[BibT_eX]

[DOI]

Yongchao Zhang

Zhe Liu

Yu Jiang

IEEE Trans. Reliab., 2022

Vulnerability Detection of ICS Protocols via Cross-State Fuzzing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

MDD: A Unified Model-Driven Design Framework for Embedded Control Software.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Code Synthesis for Dataflow-Based Embedded Software Design.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Tardis: Coverage-Guided Embedded Operating System Fuzzing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

KSG: Augmenting Kernel Fuzzing with System Call Specification Generation.

[BibT_eX]

[DOI]

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

PATA: Fuzzing with Path Aware Taint Analysis.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Minerva: browser API fuzzing with dynamic mod-ref analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Industry practice of configuration auto-tuning for cloud applications and services.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Group-based corpus scheduling for parallel fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Odin: on-demand instrumentation with on-the-fly recompilation.

[BibT_eX]

[DOI]

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Empirical Study of System Resources Abused by IoT Attackers.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Griffin : Grammar-Free DBMS Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Unicorn: detect runtime errors in time-series databases with hybrid input synthesis.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Coverage Guided Differential Adversarial Testing of Deep Learning Systems.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2021

Formal Design of Multi-Function Vehicle Bus Controller.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices.

[BibT_eX]

[DOI]

Kim-Kwang Raymond Choo

Jiaguang Sun

IEEE Trans. Ind. Informatics, 2021

Rtkaller: State-aware Task Generation for RTOS Fuzzing.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

DeepFuzzer: Accelerated Deep Greybox Fuzzing.

[BibT_eX]

[DOI]

Kim-Kwang Raymond Choo

IEEE Trans. Dependable Secur. Comput., 2021

Security reinforcement for Ethereum virtual machine.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2021

Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network.

[BibT_eX]

[DOI]

CoRR, 2021

IntelliGen: Automatic Driver Synthesis for FuzzTesting.

[BibT_eX]

[DOI]

CoRR, 2021

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

HEALER: Relation Learning Guided Kernel Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Making smart contract development more secure and easier.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

AdvDoor: adversarial backdoor attack of deep learning system.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Empirical evaluation of smart contract testing: what is the best choice?

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

SCStudio: a secure and efficient integrated development environment for smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Poster: Fuzz Testing of Quantum Program.

[BibT_eX]

[DOI]

Jiyuan Wang

Fuchen Ma

Yu Jiang

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Industrial Oriented Evaluation of Fuzzing Techniques.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

IntelliGen: Automatic Driver Synthesis for Fuzz Testing.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy, and Makespan.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Escape from escape analysis of Golang.

[BibT_eX]

[DOI]

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

TEVoT: Timing Error Modeling of Functional Units under Dynamic Voltage and Temperature Variations.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2019

Polar: Function Code Aware Fuzz Testing of ICS Protocol.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2019

RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems.

[BibT_eX]

[DOI]

CoRR, 2019

GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability.

[BibT_eX]

[DOI]

CoRR, 2019

EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine.

[BibT_eX]

[DOI]

CoRR, 2019

EVM<sup>*</sup>: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Industry practice of coverage-guided enterprise Linux kernel fuzzing.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

EVMFuzzer: detect EVM vulnerabilities via fuzz testing.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Enabling clone detection for ethereum via smart contract birthmarks.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Go-clone: graph-embedding based clone detector for Golang.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Engineering a Better Fuzzer with Synergically Integrated Optimizations.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Vetting API usages in C programs with IMChecker.

[BibT_eX]

[DOI]

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

Leopard: identifying vulnerable code for vulnerability assessment through program metrics.

[BibT_eX]

[DOI]

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

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

From Offline Towards Real-Time Verification for Robot Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

CLIM: A Cross-Level Workload-Aware Timing Error Prediction Model for Functional Units.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

Sensor attack detection using history based pairwise inconsistency.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

QuanFuzz: Fuzz Testing of Quantum Program.

[BibT_eX]

[DOI]

CoRR, 2018

EnFuzz: From Ensemble Learning to Ensemble Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.

[BibT_eX]

[DOI]

IEEE Access, 2018

Fuzz testing in practice: Obstacles and solutions.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Analysis, 2018

EClone: detect semantic clones in Ethereum via symbolic transaction sketch.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

PAFL: extend fuzzing optimizations of single mode to industrial parallel mode.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

DLFuzz: differential fuzzing testing of deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Jbench: a dataset of data races for concurrency testing.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

S-gram: towards semantic-aware security auditing for Ethereum smart contracts.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Managing concurrent testing of data race with ComRaDe.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Identifying TraIn: a neglected form of socio-technical incongruence.

[BibT_eX]

[DOI]

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

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.

[BibT_eX]

[DOI]

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

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.

[BibT_eX]

[DOI]

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

Energy-efficient neural networks using approximate computation reuse.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Runtime Verification of Robots Collision Avoidance Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2017

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

Towards coordinated bandwidth adaptations for hundred-scale 3D tele-immersive systems.

[BibT_eX]

[DOI]

Multim. Syst., 2017

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems.

[BibT_eX]

[DOI]

Richard B. Berlin Jr.

J. Medical Syst., 2017

Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances.

[BibT_eX]

[DOI]

CoRR, 2017

Verification of Implementations of Cryptographic Hash Functions.

[BibT_eX]

[DOI]

IEEE Access, 2017

A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM on Multimedia Systems Conference, 2017

A language model for statements of software code.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A static analysis tool with optimizations for reachability determination.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Stochastic optimization of program obfuscation.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Study of Software-Related Causes in the FDA Medical Device Recalls.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Dependable integrated clinical system architecture with runtime verification.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

SLoT: A supervised learning model to predict dynamic timing errors of functional units.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Combining structural and timing errors in overclocked inexact speculative adders.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Modeling and integrating physical environment assumptions in medical cyber-physical system design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Assertion Recommendation for Formal Program Verification.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

2016

Sepsis Patient Detection and Monitor Based on Auto-BN.

[BibT_eX]

[DOI]

Richard B. Berlin Jr.

J. Medical Syst., 2016

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems.

[BibT_eX]

[DOI]

Mohammad Hosseini

Yu Jiang

Po-Liang Wu

Richard B. Berlin Jr.

Shangping Ren

Lui Sha

J. Medical Syst., 2016

Model-Driven Design of Clinical Guidance Systems.

[BibT_eX]

[DOI]

Maryam Rahmaniheris

Yu Jiang

Lui Sha

CoRR, 2016

Invariant Clusters for Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems.

[BibT_eX]

[DOI]

Richard B. Berlin Jr.

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.

[BibT_eX]

[DOI]

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Model driven design of heterogeneous synchronous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Verifying simulink stateflow model: timed automata approach.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Use runtime verification to improve the quality of medical care practice.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.

[BibT_eX]

[DOI]

Richard B. Berlin Jr.

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

WILD: A workload-based learning model to predict dynamic delay of functional units.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Discrete Abstraction of Multiaffine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2015

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces.

[BibT_eX]

[DOI]

Mohammad Hosseini

Yu Jiang

Po-Liang Wu

Richard B. Berlin Jr.

Lui Sha

Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, 2015

Embedded System Design with Reliability-Centric Optimization.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Symbolic Analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Bayesian-Network-Based Reliability Analysis of PLC Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2013

An Effective Heuristic-Based Approach for Partitioning.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

System reliability calculation based on the run-time analysis of ladder program.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Design and optimization of multi-clocked embedded systems using formal technique.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Verification and Implementation of the Protocol Standard in Train Control System.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Sequential dependency and reliability analysis of embedded systems.

[BibT_eX]