Mingsong Lv
Mingsong Lv
Verified email at cse.neu.edu.cn
Title
Cited by
Cited by
Year
Combining abstract interpretation with model checking for timing analysis of multicore software
M Lv, W Yi, N Guan, G Yu
2010 31st IEEE Real-Time Systems Symposium, 339-349, 2010
1332010
AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life
Y Bi, M Lv, C Song, W Xu, N Guan, W Yi
IEEE Sensors Journal 16 (3), 806-816, 2015
912015
A survey of WCET analysis of real-time operating systems
M Lv, N Guan, Y Zhang, Q Deng, G Yu, J Zhang
2009 International Conference on Embedded Software and Systems, 65-72, 2009
532009
A survey on static cache analysis for real-time systems
M Lv, N Guan, J Reineke, R Wilhelm, W Yi
Leibniz Transactions on Embedded Systems 3 (1), 05-1-05: 48, 2016
482016
WCET analysis with MRU cache: challenging LRU for predictability
N Guan, M Lv, W Yi, G Yu
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-26, 2014
442014
Schedulability analysis of global fixed-priority or edf multiprocessor scheduling with symbolic model-checking
N Guan, Z Gu, M Lv, Q Deng, G Yu
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
352008
Multi-feature fusion for thermal face recognition
Y Bi, M Lv, Y Wei, N Guan, W Yi
Infrared Physics & Technology 77, 366-374, 2016
342016
Fifo cache analysis for wcet estimation: A quantitative approach
N Guan, X Yang, M Lv, W Yi
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 296-301, 2013
312013
Performance comparison of techniques on static path analysis of wcet
M Lv, Z Gu, N Guan, Q Deng, G Yu
2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing …, 2008
222008
On the consensus mechanisms of blockchain/dlt for internet of things
Q He, N Guan, M Lv, W Yi
2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES …, 2018
212018
Photovoltaic array fault detection by automatic reconfiguration
D Ji, C Zhang, M Lv, Y Ma, N Guan
Energies 10 (5), 699, 2017
212017
Armiss: An instruction set simulator for the arm architecture
M Lv, Q Deng, N Guan, Y Xie, G Yu
2008 International Conference on Embedded Software and Systems, 548-555, 2008
192008
Static scheduling and software synthesis for dataflow graphs with symbolic model-checking
Z Gu, M Yuan, N Guan, M Lv, X He, Q Deng, G Yu
28th IEEE International Real-Time Systems Symposium (RTSS 2007), 353-364, 2007
172007
Efficient drone hijacking detection using onboard motion sensors
Z Feng, N Guan, M Lv, W Liu, Q Deng, X Liu, W Yi
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
162017
Wcet analysis of the mc/os-ii real-time kernel
M Lv, N Guan, Y Zhang, R Chen, Q Deng, G Yu, W Yi
2009 International Conference on Computational Science and Engineering 2 …, 2009
152009
RTNoc: a simulation tool for real-Time communication scheduling on networks-on-Chips
M Lv, Y Guo, N Guan, Q Deng
2008 International Conference on Computer Science and Software Engineering 4 …, 2008
142008
Benchmarking OpenMP programs for real-time scheduling
Y Wang, N Guan, J Sun, M Lv, Q He, T He, W Yi
2017 IEEE 23rd International Conference on Embedded and Real-Time Computing …, 2017
122017
Speed planning for solar-powered electric vehicles
M Lv, N Guan, Y Ma, D Ji, E Knippel, X Liu, W Yi
Proceedings of the Seventh International Conference on Future Energy Systems …, 2016
122016
Efficient instruction cache analysis with model checking
M Lv, N Guan, W Yi, Q Deng, G Yu
RTAS, work-in-progress session, 2010
122010
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit
Z Feng, N Guan, M Lv, W Liu, Q Deng, X Liu, W Yi
ACM Transactions on Embedded Computing Systems (TECS) 17 (6), 1-19, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20