Han Liu

According to our database1, Han Liu authored at least 30 papers between 2011 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.
ACM Trans. Cyber Phys. Syst., 2019

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications.
CoRR, 2019

Fast Low-rank Metric Learning for Large-scale and High-dimensional Data.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Enabling clone detection for ethereum via smart contract birthmarks.
Proceedings of the 27th International Conference on Program Comprehension, 2019

Towards automated testing of blockchain-based decentralized applications.
Proceedings of the 27th International Conference on Program Comprehension, 2019

EasyFlow: keep ethereum away from overflow.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.
IEEE Trans. Intell. Transp. Syst., 2018

EClone: detect semantic clones in Ethereum via symbolic transaction sketch.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Jbench: a dataset of data races for concurrency testing.
Proceedings of the 15th International Conference on Mining Software Repositories, 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

Managing concurrent testing of data race with ComRaDe.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

ReGuard: finding reentrancy bugs in smart contracts.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry.
IEEE Trans. Ind. Informatics, 2017

A language model for statements of software code.
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

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

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

Towards better program obfuscation: optimization via language models.
Proceedings of the 38th International Conference on Software Engineering, 2016

Use runtime verification to improve the quality of medical care practice.
Proceedings of the 38th International Conference on Software Engineering, 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

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

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
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

2011
The design of indoor emergency management system based on wireless location.
Proceedings of the 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, 2011


  Loading...