1. Houssam Abbas & Georgios E. Fainekos (2015): Towards composition of conformant systems. CoRR abs/1511.05273. Available at
  2. Houssam Abbas, Hans Mittelmann & Georgios E. Fainekos (2014): Formal property verification in a conformance testing framework. In: Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on, pp. 155–164, doi:10.1109/MEMCOD.2014.6961854.
  3. Houssam Y. Abbas (2015): Test-Based Falsification and Conformance Testing for Cyber-Physical Systems. Arizona State University. Available at
  4. Arend Aerts, Mohammad Reza Mousavi & Michel A. Reniers (2016): Model-based testing of cyber-physical systems. In: Cyber-Physical Systems: Foundations, Principles and Applications. Elsevier. To appear.
  5. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger & Pei Hsin Ho (1993): Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Robert L. Grossman, Anil Nerode, Anders P. Ravn & Hans Rischel: Hybrid Systems. Springer Berlin Heidelberg, pp. 209–229, doi:10.1007/3-540-57318-6_30.
  6. Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský & Dejan Nickovic (2015): Complete Composition Operators for IOCO-Testing Theory. In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015). ACM, pp. 101–110.
  7. Jyotirmoy V. Deshmukh, Rupak Majumdar & Vinayak S. Prabhu (2015): Quantifying Conformance Using the Skorokhod Metric. In: Daniel Kroening & S. Corina Păsăreanu: Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015), Part II. Springer, pp. 234–250, doi:10.1007/978-3-319-21668-3_14.
  8. 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: Proceedings of the 7th International Symposium of NASA Formal Methods (NFM 2015), Lecture Notes in Computer Science 9058. Springer, pp. 127–142, doi:10.1007/978-3-319-17524-9_10.
  9. Georgios E. Fainekos (2015): Automotive control design bug-finding with the STaLiRo tool. In: Proceedings of the American Control Conference (ACC 2015). IEEE, pp. 4096, doi:10.1109/ACC.2015.7171969.
  10. Antoine Girard & George J. Pappas (2011): Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. European Journal of Control 17(5-6), pp. 568–578, doi:10.3166/ejc.17.568-578.
  11. A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto & George J. Pappas (2009): Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters 58(2), pp. 94–101, doi:10.1016/j.sysconle.2008.09.001.
  12. A. Agung Julius & George J. Pappas (2009): Approximations of Stochastic Hybrid Systems. IEEE Trans. Automat. Contr. 54(6), pp. 1193–1203, doi:10.1109/TAC.2009.2019791.
  13. Narges Khakpour & Mohammad Reza Mousavi (2015): Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). In: Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015), LIPIcs–Leibniz International Proceedings in Informatics.
  14. Nancy Lynch, Roberto Segala & Frits Vaandrager (2003): Hybrid I/O automata. Information and Computation 185(1), pp. 105–157, doi:10.1016/S0890-5401(03)00067-1.
  15. Morteza Mohaqeqi & Mohammad Reza Mousavi (2016): Sound Test-Suites for Cyber-Physical Systems. In: Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). IEEE Computer Society, doi:10.1109/TASE.2016.33.
  16. Morteza Mohaqeqi, Mohammad Reza Mousavi & Walid Taha (2014): Conformance Testing of Cyber-Physical Systems: A Comparative Study. In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVOCS 2014), Electronic Communications of the EASST 70.
  17. Michiel van Osch (2006): Hybrid input-output conformance and test generation. In: FATES/RV. Springer Berlin Heidelberg, pp. 70–84.
  18. Paulo Tabuada (2007): Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. In: Proceedings of the 10th International Workshop on Hybrid Systems: Computation and Control (HSCC 2007), Lecture Notes in Computer Science 4416. Springer, pp. 529–542, doi:10.1007/978-3-540-71493-4_41.
  19. Majid Zamani, Alessandro Abate & Antoine Girard (2015): Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Automatica 55, pp. 183–196, doi:10.1016/j.automatica.2015.03.004.

Comments and questions to:
For website issues: