We stand with Ukraine  

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:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
IET Cyper-Phys. Syst.: Theory & Appl., 2017

2016
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
IET Cyper-Phys. Syst.: Theory & Appl., 2016

2015
Robustness of Simulink/Stateflow Model Against Implementation Imperfections.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Recursive Modeling of Stateflow as Input/Output-Extended Automaton.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
IEEE Trans Autom. Sci. Eng., 2014

2013
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
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.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011
Stateflow to Extended Finite Automata Translation.
[BibTeX]
[DOI]
Meng Li
,
Ratnesh Kumar
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011


  Loading...