Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study
暂无分享,去创建一个
Dieter Gollmann | Sibylle Schupp | Xintao Ma | Jonas Rinast | D. Gollmann | S. Schupp | Xintao Ma | Jonas Rinast
[1] Sampath Kannan,et al. Steering of Discrete Event Systems: Control Theory Approach , 2006, Electron. Notes Theor. Comput. Sci..
[2] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[3] Taolue Chen,et al. Quantitative Verification of Implantable Cardiac Pacemakers , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.
[4] Kim G. Larsen,et al. A Tutorial on Uppaal 4 . 0 , 2006 .
[5] Kim G. Larsen,et al. UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata , 2012, QAPL.
[6] Insup Lee,et al. Prototyping closed loop physiologic control with the medical device coordination framework , 2010, SEHC '10.
[7] Yuhong Zhao,et al. Online Model Checking for Dependable Real-Time Systems , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
[8] Insup Lee,et al. Toward patient safety in closed-loop medical device systems , 2010, ICCPS '10.
[9] Kim G. Larsen,et al. Statistical Model Checking for Stochastic Hybrid Systems , 2012, HSB.
[10] Lijun Zhang,et al. Model Repair for Markov Decision Processes , 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
[11] C. R. Ramakrishnan,et al. Model Repair for Probabilistic Systems , 2011, TACAS.
[12] Rajeev Alur,et al. Modeling and Verification of a Dual Chamber Implantable Pacemaker , 2012, TACAS.
[13] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[14] Carlo Ghezzi,et al. Self-adaptive software needs quantitative verification at runtime , 2012, CACM.
[15] Tao Li,et al. From Offline toward Real-Time : A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play ( MDPnP ) , 2012 .
[16] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[17] Xintao Ma. Online Checking of a Hybrid Laser Tracheotomy Model in UPPAAL-SMC , 2013 .
[18] Xin Chen,et al. Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.