| Statistical model checking A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu Computing and software science: state of the art and perspectives, 478-504, 2019 | 118 | 2019 |
| A survey on unmanned aerial vehicle collision avoidance systems H Pham, SA Smolka, SD Stoller, D Phan, J Yang arXiv preprint arXiv:1508.07723, 2015 | 95 | 2015 |
| A component-based simplex architecture for high-assurance cyber-physical systems D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller 2017 17th International Conference on Application of Concurrency to System …, 2017 | 43 | 2017 |
| Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles D Phan, J Yang, R Grosu, SA Smolka, SD Stoller Formal Methods in System Design 51, 62-86, 2017 | 29 | 2017 |
| ARES: adaptive receding-horizon synthesis of optimal plans A Lukina, L Esterle, C Hirsch, E Bartocci, J Yang, A Tiwari, SA Smolka, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 24 | 2017 |
| Using statistical model checking for measuring systems R Grosu, D Peled, CR Ramakrishnan, SA Smolka, SD Stoller, J Yang International Symposium On Leveraging Applications of Formal Methods …, 2014 | 24 | 2014 |
| Declarative vs rule-based control for flocking dynamics U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ... Proceedings of the 33rd annual ACM symposium on applied computing, 816-823, 2018 | 22 | 2018 |
| Love thy neighbor: V-formation as a problem of model predictive control J Yang, R Grosu, SA Smolka, A Tiwari 27th international conference on concurrency theory (concur 2016), 2016 | 22 | 2016 |
| Verification of quasi-synchronous systems with Uppaal S Bhattacharyya, S Miller, J Yang, S Smolka, B Meng, C Sticksel, C Tinelli 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A4-1-8A4-12, 2014 | 14 | 2014 |
| A simplex architecture for hybrid systems using barrier certificates J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 13 | 2017 |
| Attacking the V: on the resiliency of adaptive-horizon MPC A Tiwari, SA Smolka, L Esterle, A Lukina, J Yang, R Grosu Automated Technology for Verification and Analysis: 15th International …, 2017 | 12 | 2017 |
| Collision avoidance for mobile robots with limited sensing and limited information about the environment D Phan, J Yang, D Ratasich, R Grosu, SA Smolka, SD Stoller Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 11 | 2015 |
| Formal verification of quasi-synchronous systems SP Miller, S Bhattacharyya, C Tinelli, S Smolka, C Sticksel, B Meng, ... ROCKWELL COLLINS INC CEDAR RAPIDS IA, Tech Report, 2015 | 10 | 2015 |
| A survey on unmanned aerial vehicle collision avoidance systems. arXiv 2015 H Pham, SA Smolka, SD Stoller, D Phan, J Yang arXiv preprint arXiv:1508.07723, 0 | 10 | |
| A survey on unmanned aerial vehicle collision avoidance systems (2015) H Pham, SA Smolka, SD Stoller, D Phan, J Yang arXiv preprint arXiv:1508.07723, 2021 | 6 | 2021 |
| V-Formation as Optimal Control J Yang, R Grosu, SA Smolka, A Tiwari the 4th Workshop on Biological Distributed Algorithms, 2016 | 5 | 2016 |
| Resilient control and safety for cyber-physical systems A Lukina, A Tiwari, SA Smolka, L Esterle, J Yang, R Grosu 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018 | 4 | 2018 |
| Attacking the v: On the resiliency of adaptive-horizon mpc SA Smolka, A Tiwari, L Esterle, A Lukina, J Yang, R Grosu arXiv preprint arXiv:1702.00290, 2017 | 2 | 2017 |
| Compositional branching-time measurements R Grosu, D Peled, CR Ramakrishnan, SA Smolka, SD Stoller, J Yang From Programs to Systems. The Systems perspective in Computing: ETAPS …, 2014 | 2 | 2014 |
| Model Checking Cyber-Physical Systems using Particle Swarm Optimization D Phan, SA Smolka, R Grosu, U Mehmood, SD Stoller, J Yang arXiv preprint arXiv:1703.01257, 2017 | 1 | 2017 |
