Travelled to:1 × France
Collaborated with:T.Reinbacher J.Schumann M.Gario A.Cimatti C.Mattarei S.Tonetta J.Li R.Dureja G.Pu M.Y.Vardi
Talks about:system (2) base (2) reachabl (1) approxim (1) traffic (1) control (1) tempor (1) runtim (1) observ (1) health (1)
Person: Kristin Yvonne Rozier
DBLP: Rozier:Kristin_Yvonne
Contributed to:
2014
20162018Wrote 3 papers:
- TACAS-2014-ReinbacherRS #health #realtime #runtime
- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
- CAV-2016-GarioCMTR #automation #design #model checking #scalability
- Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (MG, AC, CM, ST, KYR), pp. 3–22.
- CAV-2018-LiDPRV #approximate #named #performance #reachability
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability (JL, RD, GP, KYR, MYV), pp. 37–44.