Qin Li
Заглавие
Позовавания
Позовавания
Година
Modeling and verifying the code-level OSEK/VDX operating system with CSP
Y Huang, Y Zhao, L Zhu, Q Li, H Zhu, J Shi
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
442011
Formalizing mapreduce with csp
F Yang, W Su, H Zhu, Q Li
2010 17th IEEE International Conference and Workshops on Engineering of …, 2010
222010
A spatial logic for modeling and verification of collision-free control of vehicles
B Xu, Q Li
2016 21st International Conference on Engineering of Complex Computer …, 2016
122016
Formal modeling and analyzing Kerberos protocol
Q Li, F Yang, H Zhu, L Zhu
2009 WRI World Congress on Computer Science and Information Engineering 7 …, 2009
122009
Analyzing event-based scheduling in concurrent reactive systems
JM Jiang, H Zhu, Q Li, Y Zhao, L Zhao, S Zhang, P Gong, Z Hong
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-27, 2015
112015
A calculus for mobile ad hoc networks from a group probabilistic perspective
S Liu, Y Zhao, H Zhu, Q Li
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
102011
Formal modeling and verifications of deadlock prevention solutions in web service oriented system
J Ding, H Zhu, H Zhu, Q Li
2010 17th IEEE International Conference and Workshops on Engineering of …, 2010
92010
Modeling mapreduce with CSP
W Su, F Yang, H Zhu, Q Li
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
92009
Formal approaches to wireless sensor networks
S Liu, X Wu, Q Li, H Zhu, Q Wang
2011 Fifth International Conference on Secure Software Integration and …, 2011
82011
Event-based mobility modeling and analysis
JM Jiang, H Zhu, Q Li, Y Zhao, L Zhao, S Zhang, P Gong, Z Hong, D Chen
ACM Transactions on Cyber-Physical Systems 1 (2), 1-32, 2017
72017
Configuration of services based on virtualization
J Jiang, H Zhu, Q Li, S Zhang, P Gong, Z Hong
2014 Theoretical Aspects of Software Engineering Conference, 177-184, 2014
72014
A denotational semantical model for Orc language
Q Li, H Zhu, J He
International Colloquium on Theoretical Aspects of Computing, 106-120, 2010
72010
Scalable formalization of publish/subscribe messaging scheme based on message brokers
Q Li, H Zhu, J Li, J He
International Workshop on Web Services and Formal Methods, 61-76, 2007
72007
Maze: An extension of object-z for multi-agent systems
G Smith, Q Li
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
62014
Towards a probabilistic calculus for mobile ad hoc networks
S Liu, Y Zhao, H Zhu, Q Li
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
62011
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation
B Xu, Q Li
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
42017
A macro-level model for investigating the effect of directional bias on network coverage
G Smith, JW Sanders, Q Li
arXiv preprint arXiv:1407.5762, 2014
42014
Using bounded fairness to specify and verify ordered asynchronous multi-agent systems
Q Li, G Smith
2013 18th International Conference on Engineering of Complex Computer …, 2013
42013
Formal development of multi-agent systems using MAZE
Q Li, G Smith
Science of Computer Programming 131, 126-150, 2016
32016
A formal framework for service mashups with dynamic service selection
Q Li, J Shi, H Zhu
Innovations in Systems and Software Engineering 10 (3), 219-234, 2014
32014
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20