Follow
Kristin Y. Rozier
Kristin Y. Rozier
Verified email at nasa.gov - Homepage
Title
Cited by
Cited by
Year
Linear temporal logic symbolic model checking
KY Rozier
Computer Science Review 5 (2), 163-203, 2011
1932011
LTL satisfiability checking
KY Rozier, MY Vardi
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007
1562007
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.
T Reinbacher, KY Rozier, J Schumann
TACAS, 357-372, 2014
1072014
LTL satisfiability checking
KY Rozier, MY Vardi
International journal on software tools for technology transfer 12 (2), 123-137, 2010
1012010
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
952015
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
852015
Optimized temporal monitors for SystemC
D Tabakov, KY Rozier, MY Vardi
Formal Methods in System Design 41 (3), 236-268, 2012
732012
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
672017
Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems
J Geist, KY Rozier, J Schumann
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
632014
A multi-encoding approach for LTL symbolic satisfiability checking
KY Rozier, MY Vardi
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
592011
Specification: The biggest bottleneck in formal methods and autonomy
KY Rozier
Verified Software. Theories, Tools, and Experiments: 8th International …, 2016
582016
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
572021
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
462014
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
402016
Sat-based explicit ltlf satisfiability checking
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier
Artificial Intelligence 289, 103369, 2020
322020
R2U2: tool overview
KY Rozier, J Schumann
International Workshop on Competitions, Usability, Benchmarks, Evaluation …, 2017
322017
Satisfiability checking for mission-time LTL
J Li, MY Vardi, KY Rozier
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
252019
Runtime analysis with R2U2: a tool exhibition report
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
242016
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
242015
Probabilistic model checking for comparative analysis of automated air traffic control systems
Y Zhao, KY Rozier
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 690-695, 2014
232014
The system can't perform the operation now. Try again later.
Articles 1–20