Meng Li
Affiliations:- Iowa State University, Ames, IA, USA
According to our database1,
Meng Li
authored at least 7 papers
between 2011 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.
IET Cyper-Phys. Syst.: Theory & Appl., 2017
2016
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.
IET Cyper-Phys. Syst.: Theory & Appl., 2016
2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
IEEE Trans Autom. Sci. Eng., 2014
2013
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
2012
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012
2011
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011