| Linear temporal logic symbolic model checking KY Rozier Computer Science Review 5 (2), 163-203, 2011 | 241 | 2011 |
| LTL satisfiability checking KY Rozier, MY Vardi International SPIN Workshop on Model Checking of Software, 149-167, 2007 | 174 | 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 | 136 | 2014 |
| LTL satisfiability checking KY Rozier, MY Vardi International journal on software tools for technology transfer 12 (2), 123-137, 2010 | 118 | 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 | 111 | 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 | 101 | 2015 |
| 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 | 95 | 2021 |
| 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 | 93 | 2017 |
| Specification: The biggest bottleneck in formal methods and autonomy KY Rozier Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 83 | 2016 |
| Optimized temporal monitors for SystemC D Tabakov, KY Rozier, MY Vardi Formal Methods in System Design 41 (3), 236-268, 2012 | 80 | 2012 |
| 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 | 72 | 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 | 68 | 2011 |
| SAT-based explicit LTLf satisfiability checking J Li, G Pu, Y Zhang, MY Vardi, KY Rozier Artificial Intelligence 289, 103369, 2020 | 66 | 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 | 56 | 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 | 51 | 2016 |
| R2U2: tool overview KY Rozier, J Schumann International Workshop on Competitions, Usability, Benchmarks, Evaluation …, 2017 | 50 | 2017 |
| Satisfiability checking for mission-time LTL J Li, MY Vardi, KY Rozier Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 44 | 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 | 38 | 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 | 33 | 2016 |
| Comparing different functional allocations in automated air traffic control design C Mattarei, A Cimatti, M Gario, S Tonetta, KY Rozier 2015 Formal Methods in Computer-Aided Design (FMCAD), 112-119, 2015 | 28 | 2015 |
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Rohit DurejaAdvanced Micro Devices, Inc.Verified email at amd.com
Phillip H. JonesIowa state UniversityVerified email at iastate.edu
Jianwen LiEast China Normal UniversityVerified email at sei.ecnu.edu.cn
Brian KempaNASA Ames Research CenterVerified email at nasa.gov
Christopher JohannsenPh.D. Student, Iowa State UniversityVerified email at iastate.edu
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Pei Zhang (张沛)Institute of High Energy PhysicsVerified email at ihep.ac.cn
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Michael WinikoffProfessor, Victoria University of Wellington, New ZealandVerified email at vuw.ac.nz
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Yang ZhaoPh.D on Computer ScienceVerified email at cs.ucr.edu
Cristian MattareiApple Inc.Verified email at cs.stanford.edu
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
Zachary LuppenEEE Components Engineer, SpaceXVerified email at spacex.com
Alexis AurandtGraduate Student, Iowa State UniversityVerified email at iastate.edu