The fail-safe operation of collaborative driving systems SP Lin, NF Maxemchuk Journal of Intelligent Transportation Systems 20 (1), 88-101, 2016 | 25 | 2016 |
An architecture for collaborative driving systems S Lin, NF Maxemchuk 2012 20th IEEE International Conference on Network Protocols (ICNP), 1-2, 2012 | 14 | 2012 |
A fail safe broadcast protocol for collaborative intelligent vehicles Y Gu, S Lin, NF Maxemchuk 2015 IEEE 16th International Symposium on A World of Wireless, Mobile and …, 2015 | 9 | 2015 |
A multiple stack architecture for intelligent vehicles S Lin, Y Gu, NF Maxemchuk 2014 IEEE Intelligent Vehicles Symposium Proceedings, 268-273, 2014 | 8 | 2014 |
Architectures for intelligent vehicles NF Maxemchuk, S Lin, Y Gu Vehicular Communications and Networks, 275-299, 2015 | 3 | 2015 |
A case study on using probabilistic verification to find failures in a cooperative driving application S Lin, NF Maxemchuk 2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall), 1-5, 2015 | 1 | 2015 |
Improved probabilistic verification of systems with a large state space S Lin, NF Maxemchuk submitted to FMCAD, 2015 | 1 | 2015 |
Prediction-based Adaptation (PRADA) Algorithm for Modulation and Coding SP Lin, J Jiang, WT Lin, PC Yeh, HJ Su arXiv preprint arXiv:1011.5987, 2010 | 1 | 2010 |
Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study S Lin Columbia University, 2016 | | 2016 |
A fail safe broadcast protocol for collaborative intelligent vehicles NF Maxemchuk, Y Gu, S Lin The 16th International Symposium on a World of Wireless, Mobile and …, 2015 | | 2015 |
A Multiple Stack Architecture for Intelligent Vehicles NF Maxemchuk, S Lin, Y Gu | | |
Extended Driver-Assisted Merging Protocol B Choi, S Lin, ES Peters | | |