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
1262010
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
802015
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
482009
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
432016
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
432014
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
332008
Multi-feature fusion for thermal face recognition
Y Bi, M Lv, Y Wei, N Guan, W Yi
Infrared Physics & Technology 77, 366-374, 2016
312016
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
302013
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
212008
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
Photovoltaic array fault detection by automatic reconfiguration
D Ji, C Zhang, M Lv, Y Ma, N Guan
Energies 10 (5), 699, 2017
152017
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
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
152007
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
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
132018
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
132017
Efficient instruction cache analysis with model checking
M Lv, N Guan, W Yi, Q Deng, G Yu
RTAS, work-in-progress session, 2010
122010
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
102016
McAiT–A Timing Analyzer for Multicore Real-Time Software
M Lv, N Guan, Q Deng, G Yu, W Yi
International Symposium on Automated Technology for Verification and …, 2011
102011
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
82018
The system can't perform the operation now. Try again later.
Articles 1–20