| Linear temporal logic symbolic model checking KY Rozier Computer Science Review 5 (2), 163-203, 2011 | 224 | 2011 |
| LTL satisfiability checking KY Rozier, MY Vardi International SPIN Workshop on Model Checking of Software, 149-167, 2007 | 168 | 2007 |
| Temporal-logic based runtime observer pairs for system health management of real-time systems T Reinbacher, KY Rozier, J Schumann Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 127 | 2014 |
| LTL satisfiability checking KY Rozier, MY Vardi International journal on software tools for technology transfer 12 (2), 123-137, 2010 | 111 | 2010 |
| Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems J Schumann, KY Rozier, T Reinbacher, OJ Mengshoel, T Mbaya, ... International Journal of Prognostics and Health Management 6 (021), 1--27, 2015 | 103 | 2015 |
| R2U2: monitoring and diagnosis of security threats for unmanned aerial systems J Schumann, P Moosbrugger, KY Rozier Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 97 | 2015 |
| R2U2: monitoring and diagnosis of security threats for unmanned aerial systems P Moosbrugger, KY Rozier, J Schumann Formal Methods in System Design 51, 31-61, 2017 | 85 | 2017 |
| Optimized temporal monitors for SystemC D Tabakov, KY Rozier, MY Vardi Formal Methods in System Design 41 (3), 236-268, 2012 | 80 | 2012 |
| Towards a framework for certification of reliable autonomous systems M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ... Autonomous Agents and Multi-Agent Systems 35, 1-65, 2021 | 77 | 2021 |
| Specification: The biggest bottleneck in formal methods and autonomy KY Rozier Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 71 | 2016 |
| Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems J Geist, KY Rozier, J Schumann International Conference on Runtime Verification, 215-230, 2014 | 69 | 2014 |
| A multi-encoding approach for LTL symbolic satisfiability checking KY Rozier, MY Vardi FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 65 | 2011 |
| SAT-based explicit LTLf satisfiability checking J Li, G Pu, Y Zhang, MY Vardi, KY Rozier Artificial Intelligence 289, 103369, 2020 | 53 | 2020 |
| Formal specification and verification of a coordination protocol for an automated air traffic control system Y Zhao, KY Rozier Science of Computer Programming 96, 337-353, 2014 | 53 | 2014 |
| Model checking at scale: Automated air traffic control design space exploration M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 46 | 2016 |
| R2U2: tool overview KY Rozier, J Schumann International Workshop on Competitions, Usability, Benchmarks, Evaluation …, 2017 | 44 | 2017 |
| Satisfiability checking for mission-time LTL J Li, MY Vardi, KY Rozier Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 36 | 2019 |
| Embedding online runtime verification for fault disambiguation on Robonaut2 B Kempa, P Zhang, PH Jones, J Zambreno, KY Rozier International Conference on Formal Modeling and Analysis of Timed Systems …, 2020 | 31 | 2020 |
| Runtime analysis with R2U2: a tool exhibition report J Schumann, P Moosbrugger, KY Rozier Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 31 | 2016 |
| Rotor wake vortex definition-evaluation of 3-C PIV results of the HART-II study CL Burley, TF Brooks, KY Rozier, B Wall, H Richard, M Raffel, P Beaumier, ... International Journal of Aeroacoustics 5 (1), 1-38, 2006 | 28 | 2006 |
Moshe Y. VardiRice University在 cs.rice.edu 的电子邮件经过验证
