Meng Li

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Design Automation

Finite Automaton

Top Venues

IET Cyper-Phys. Syst.: Theory & Appl.

IEEE Trans Autom. Sci. Eng.

Publications

Meng Li, Ratnesh Kumar
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. IET Cyper-Phys. Syst.: Theory & Appl. 2 (1) (2017)
Meng Li, Ratnesh Kumar
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. IET Cyper-Phys. Syst.: Theory & Appl. 1 (1) (2016)
Meng Li, Ratnesh Kumar
Robustness of Simulink/Stateflow Model Against Implementation Imperfections. ADHS (2015)
Meng Li, Ratnesh Kumar
Recursive Modeling of Stateflow as Input/Output-Extended Automaton. IEEE Trans Autom. Sci. Eng. 11 (4) (2014)
Meng Li, Ratnesh Kumar
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. CASE (2013)
Meng Li, Ratnesh Kumar
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. CASE (2012)
Meng Li, Ratnesh Kumar
Stateflow to Extended Finite Automata Translation. COMPSAC Workshops (2011)