Yu Jiang

According to our database1, Yu Jiang authored at least 70 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.
IEEE Trans. Intelligent Transportation Systems, 2018

From Offline Towards Real-Time Verification for Robot Systems.
IEEE Trans. Industrial Informatics, 2018

CLIM: A Cross-Level Workload-Aware Timing Error Prediction Model for Functional Units.
IEEE Trans. Computers, 2018

Sensor attack detection using history based pairwise inconsistency.
Future Generation Comp. Syst., 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.
IEEE Access, 2018

Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

S-gram: towards semantic-aware security auditing for Ethereum smart contracts.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Identifying TraIn: a neglected form of socio-technical incongruence.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances.
IEEE Trans. Multimedia, 2017

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.
IEEE Trans. Industrial Informatics, 2017

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems.
J. Medical Systems, 2017

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

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

Verification of Implementations of Cryptographic Hash Functions.
IEEE Access, 2017

A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport.
Proceedings of the 8th ACM on Multimedia Systems Conference, 2017

A language model for statements of software code.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A static analysis tool with optimizations for reachability determination.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Stochastic optimization of program obfuscation.
Proceedings of the 39th International Conference on Software Engineering, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Study of Software-Related Causes in the FDA Medical Device Recalls.
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.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Dependable integrated clinical system architecture with runtime verification.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.
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.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Combining structural and timing errors in overclocked inexact speculative adders.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Modeling and integrating physical environment assumptions in medical cyber-physical system design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Assertion Recommendation for Formal Program Verification.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport.
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.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

2016
Sepsis Patient Detection and Monitor Based on Auto-BN.
J. Medical Systems, 2016

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

Model-Driven Design of Clinical Guidance Systems.
CoRR, 2016

Invariant Clusters for Hybrid Systems.
CoRR, 2016

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

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems.
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.
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.
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.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Verifying simulink stateflow model: timed automata approach.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Use runtime verification to improve the quality of medical care practice.
Proceedings of the 38th International Conference on Software Engineering, 2016

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.
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.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Discrete Abstraction of Multiaffine Systems.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.
Proceedings of the FM 2016: Formal Methods, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
Proceedings of the FM 2016: Formal Methods, 2016

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient.
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
IEEE Trans. Parallel Distrib. Syst., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.
IEEE Trans. Industrial Electronics, 2015

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces.
CoRR, 2015

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces.
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, 2015

Embedded System Design with Reliability-Centric Optimization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Symbolic Analysis of Programmable Logic Controllers.
IEEE Trans. Computers, 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
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.
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.
IEEE Trans. Industrial Electronics, 2013

An Effective Heuristic-Based Approach for Partitioning.
J. Applied Mathematics, 2013

System reliability calculation based on the run-time analysis of ladder program.
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.
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.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Sequential dependency and reliability analysis of embedded systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
New strategies for reliability analysis of Programmable Logic Controllers.
Mathematical and Computer Modelling, 2012

Reliability Analysis of PLC Systems by Bayesian Network.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

2011
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.
Proceedings of the Formal Methods and Software Engineering, 2011


  Loading...