References

  1. Houssam Abbas, Andrew K. Winn, Georgios E. Fainekos & A. Agung Julius (2014): Functional gradient descent method for Metric Temporal Logic specifications. In: American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014. IEEE, pp. 2312–2317, doi:10.1109/ACC.2014.6859453.
  2. Houssam Y Abbas (2015): Test-based falsification and conformance testing for cyber-physical systems. Arizona State University.
  3. Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski & Xiaoqing Jin (2017): Classification and Coverage-Based Falsification for Embedded Control Systems. In: Rupak Majumdar & Viktor Kuncak: Computer Aided Verification - 29th Int. Conf., CAV 2017, LNCS 10426. Springer, pp. 483–503, doi:10.1007/978-3-319-63387-9_24.
  4. Takumi Akazaki & Ichiro Hasuo (2015): Time Robustness in MTL and Expressivity in Hybrid System Falsification. In: Daniel Kroening & Corina S. Pasareanu: Computer Aided Verification - 27th Int. Conf., CAV 2015, LNCS 9207. Springer, pp. 356–374, doi:10.1007/978-3-319-21668-3_21.
  5. Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos & Sriram Sankaranarayanan (2011): S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In: Parosh Aziz Abdulla & K. Rustan M. Leino: Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, LNCS 6605. Springer, pp. 254–257, doi:10.1007/978-3-642-19835-9_21.
  6. Anne Auger & Nikolaus Hansen (2005): A restart CMA evolution strategy with increasing population size. In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005. IEEE, pp. 1769–1776, doi:10.1109/CEC.2005.1554902.
  7. Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski & Oded Maler (2015): Stochastic Local Search for Falsification of Hybrid Systems. In: Bernd Finkbeiner, Geguang Pu & Lijun Zhang: Automated Technology for Verification and Analysis - 13th Int. Symp., ATVA 2015, LNCS 9364. Springer, pp. 500–517, doi:10.1007/978-3-319-24953-7_35.
  8. Alexandre Donzé (2010): Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In: Tayssir Touili, Byron Cook & Paul B. Jackson: Computer Aided Verification, 22nd Int. Conf., CAV 2010, LNCS 6174. Springer, pp. 167–170, doi:10.1007/978-3-642-14295-6_17.
  9. Alexandre Donzé, Thomas Ferrère & Oded Maler (2013): Efficient Robust Monitoring for STL. In: Natasha Sharygina & Helmut Veith: Computer Aided Verification - 25th Int. Conf., CAV 2013, LNCS 8044. Springer, pp. 264–279, doi:10.1007/978-3-642-39799-8_19.
  10. Alexandre Donzé & Oded Maler (2010): Robust Satisfaction of Temporal Logic over Real-Valued Signals. In: Krishnendu Chatterjee & Thomas A. Henzinger: Formal Modeling and Analysis of Timed Systems - 8th Int. Conf., FORMATS 2010, LNCS 6246. Springer, pp. 92–106, doi:10.1007/978-3-642-15297-9_9.
  11. Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin & Jyotirmoy V. Deshmukh (2015): Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. In: Klaus Havelund, Gerard J. Holzmann & Rajeev Joshi: NASA Formal Methods - 7th Int. Symp., NFM 2015, LNCS 9058. Springer, pp. 127–142, doi:10.1007/978-3-319-17524-9_10.
  12. Tommaso Dreossi, Alexandre Donzé & Sanjit A. Seshia (2017): Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. In: Clark Barrett, Misty Davies & Temesghen Kahsai: NASA Formal Methods - 9th Int. Symp., NFM 2017, LNCS 10227, pp. 357–372, doi:10.1007/978-3-319-57288-8_26.
  13. Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan & Matthew Potok (2015): C2E2: A Verification Tool for Stateflow Models. In: Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems - 21st Int. Conf., TACAS 2015, LNCS 9035. Springer, pp. 68–82, doi:10.1007/978-3-662-46681-0_5.
  14. Georgios E. Fainekos & George J. Pappas (2009): Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), pp. 4262–4291, doi:10.1016/j.tcs.2009.06.021.
  15. Bardh Hoxha, Houssam Abbas & Georgios E. Fainekos (2014): Benchmarks for Temporal Logic Requirements for Automotive Systems. In: Goran Frehse & Matthias Althoff: 1st and 2nd Int. Workshops on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014 and 2105, EPiC Series in Computing 34. EasyChair, pp. 25–30, doi:10.29007/xwrs.
  16. Bardh Hoxha, Adel Dokhanchi & Georgios E. Fainekos (2018): Mining parametric temporal logic properties in model-based design for cyber-physical systems. STTT 20(1), pp. 79–93, doi:10.1007/s10009-017-0447-4.
  17. Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda & Kenneth R. Butts (2014): Powertrain control verification benchmark. In: Martin Fränzle & John Lygeros: 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. ACM, pp. 253–262, doi:10.1145/2562059.2562140.
  18. James Kapinski, Jyotirmoy V Deshmukh, Xiaoqing Jin, Hisahiro Ito & Ken Butts (2016): Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques. IEEE Control Systems 36(6), pp. 45–64, doi:10.1109/MCS.2016.2602089.
  19. Eric S. Kim, Murat Arcak & Sanjit A. Seshia (2016): Directed Specifications and Assumption Mining for Monotone Dynamical Systems. In: Alessandro Abate & Georgios E. Fainekos: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. ACM, pp. 21–30, doi:10.1145/2883817.2883833.
  20. Jan Kurátko & Stefan Ratschan (2014): Combined Global and Local Search for the Falsification of Hybrid Systems. In: Axel Legay & Marius Bozga: Formal Modeling and Analysis of Timed Systems - 12th Int. Conf., FORMATS 2014, LNCS 8711. Springer, pp. 146–160, doi:10.1007/978-3-319-10512-3_11.
  21. Oded Maler & Dejan Nickovic (2004): Monitoring Temporal Properties of Continuous Signals. In: Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint Int. Confs. on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, LNCS 3253. Springer, pp. 152–166, doi:10.1007/978-3-540-30206-3_12.
  22. Dogan Ulus, Thomas Ferrère, Eugene Asarin & Oded Maler (2016): Online Timed Pattern Matching Using Derivatives. In: Marsha Chechik & Jean-François Raskin: Tools and Algorithms for the Construction and Analysis of Systems - 22nd Int. Conf., TACAS 2016, LNCS 9636. Springer, pp. 736–751, doi:10.1007/978-3-662-49674-9_47.
  23. David Wolpert & William G. Macready (1997): No free lunch theorems for optimization. IEEE Trans. Evolutionary Computation 1(1), pp. 67–82, doi:10.1109/4235.585893.
  24. Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan & James Kapinski (2014): Multiple shooting, CEGAR-based falsification for hybrid systems. In: Tulika Mitra & Jan Reineke: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. ACM, pp. 5:1–5:10, doi:10.1145/2656045.2656061.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org