VISPEC: A graphical tool for elicitation of MTL requirements
暂无分享,去创建一个
Georgios E. Fainekos | Nikolaos Mavridis | Bardh Hoxha | N. Mavridis | Georgios Fainekos | Bardh Hoxha
[1] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[2] Víctor A. Braberman,et al. Visual timed event scenarios , 2004, Proceedings. 26th International Conference on Software Engineering.
[3] Georgios Fainekos,et al. Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems , 2014 .
[4] Hadas Kress-Gazit,et al. Provably correct reactive control from natural language , 2015, Auton. Robots.
[5] Yi Deng,et al. STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems , 2013, QEST.
[6] Peter Kazanzides,et al. Certifying the safe design of a virtual fixture control algorithm for a surgical robot , 2013, HSCC '13.
[7] R. Muradore,et al. Robotic Surgery , 2011, IEEE Robotics & Automation Magazine.
[8] Gerard J. Holzmann,et al. The logic of bugs , 2002, SIGSOFT '02/FSE-10.
[9] André Platzer,et al. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) , 2008, IJCAR.
[10] Richard M. Murray,et al. Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle , 2012, TECS.
[11] Sriram Sankaranarayanan,et al. Verification of automotive control applications using S-TaLiRo , 2012, 2012 American Control Conference (ACC).
[12] Kousha Etessami,et al. Events and constraints: a graphical editor for capturing logic requirements of programs , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.
[13] Bixin Li,et al. Timed Property Sequence Chart , 2010, J. Syst. Softw..
[14] Georgios E. Fainekos,et al. A graphical language for LTL motion and mission planning , 2013, 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO).
[15] Xin Chen,et al. Flow*: An Analyzer for Non-linear Hybrid Systems , 2013, CAV.
[16] Bruce H. Krogh,et al. Formal verification of hybrid systems using CheckMate: a case study , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[17] Mahesh Viswanathan,et al. Verification of annotated models from executions , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
[18] Calin Belta,et al. Formal analysis of piecewise affine systems through formula-guided refinement , 2010, 49th IEEE Conference on Decision and Control (CDC).
[19] Sriram Sankaranarayanan,et al. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems , 2011, TACAS.
[20] Martin Loomes,et al. Applying software metrics to formal specifications: a cognitive approach , 1998, Proceedings Fifth International Software Metrics Symposium. Metrics (Cat. No.98TB100262).
[21] Amir Pnueli,et al. Temporal Logic for Scenario-Based Specifications , 2005, TACAS.
[22] Paola Inverardi,et al. Graphical scenarios for specifying temporal properties: an automated approach , 2007, Automated Software Engineering.
[23] Alexandre Donzé,et al. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems , 2010, CAV.
[24] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[25] Stavros Tripakis,et al. Modeling, Verification and Testing using Timed and Hybrid Automata , 2009 .