CASE 2017 – Special Session on Model-Based Testing of Hybrid Systems

At the 13th IEEE Conference on Automation Science and Engineering, August 20-23, 2017, Wyndham Grand Hotel, Xi’an, China, two SyTeC colleagues, Knut Åkesson and Martin Fabian, organized, invited and chaired a special session on Model-Based Testing of Hybrid Systems. The presented papers were (presenters in bold):

  • Simulation of Hybrid Systems from Natural Language Specifications
    Oliveira, Bruno. Univ. Federal De Pernambuco
    Carvalho, Gustavo. Univ. Federal De Pernambuco
    Mousavi, Mohammad Reza. Halmstad Univ
    Sampaio, Augusto. Univ. Federal De Pernambuco
  • Objective Functions for Falsification of Signal Temporal Logic Properties in Cyber-Physical Systems
    Eddeland, Johan. Volvo Car Corp
    Miremadi, Sajed. Volvo Cars Corp
    Fabian, Martin. Chalmers Univ. of Tech
    Åkesson, Knut. Chalmers Univ. of Tech
  • Vacuity Aware Falsification for MTL Request-Response Specifications
    Dokhanchi, Adel. Arizona State Univ
    Yaghoubi, Shakiba. Arizona State Univ
    Hoxha, Bardh Southern. Illinois Univ
    Fainekos, Georgios. Arizona State Univ
  • Temporal Specification Testing of Hybrid Systems
    Dang, Thao. CNRS/VERIMAG
    Dreossi, Tommaso. Univ. of California, Berkeley

Conference website