Kristin Y. Rozier
Kristin Y. Rozier
Email verificata su nasa.gov - Home page
Titolo
Citata da
Citata da
Anno
Linear temporal logic symbolic model checking
KY Rozier
Computer Science Review 5 (2), 163-203, 2011
1492011
LTL satisfiability checking
KY Rozier, MY Vardi
International SPIN Workshop on Model Checking of Software, 149-167, 2007
1312007
LTL satisfiability checking
KY Rozier, MY Vardi
International journal on software tools for technology transfer 12 (2), 123-137, 2010
872010
Temporal-logic based runtime observer pairs for system health management of real-time systems
T Reinbacher, KY Rozier, J Schumann
International Conference on Tools and Algorithms for the Construction and…, 2014
682014
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
672015
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier
Runtime Verification, 233-249, 2015
582015
A multi-encoding approach for LTL symbolic satisfiability checking
KY Rozier, MY Vardi
International Symposium on Formal Methods, 417-431, 2011
522011
Optimized temporal monitors for SystemC
D Tabakov, KY Rozier, MY Vardi
Formal Methods in System Design 41 (3), 236-268, 2012
422012
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
412014
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, KY Rozier, J Schumann
Formal Methods in System Design 51 (1), 31-61, 2017
402017
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
372014
Specification: The biggest bottleneck in formal methods and autonomy
KY Rozier
Working Conference on Verified Software: Theories, Tools, and Experiments, 8-26, 2016
272016
Model checking at scale: Automated air traffic control design space exploration
M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier
International Conference on Computer Aided Verification, 3-22, 2016
262016
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
162014
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
152015
Runtime analysis with R2U2: A tool exhibition report
J Schumann, P Moosbrugger, KY Rozier
International Conference on Runtime Verification, 504-509, 2016
132016
R2U2: tool overview
KY Rozier, J Schumann
112017
Satisfiability checking for mission-time LTL
J Li, MY Vardi, KY Rozier
International Conference on Computer Aided Verification, 3-22, 2019
102019
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ()
R Dureja, KY Rozier
International Conference on Tools and Algorithms for the Construction and…, 2018
92018
FuseIC3: An algorithm for checking large design spaces
R Dureja, KY Rozier
2017 Formal Methods in Computer Aided Design (FMCAD), 164-171, 2017
82017
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20