Registered user since Thu 13 Dec 2018
Name: Minxue Pan
Country: China
Affiliation: Nanjing University
Research interests: Program analysis and verification, Model checking, Mobile application analysis, Software mining.
Contributions
| ICSE 2019 | Author of Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven Systems within the Technical Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile