Arend Aerts

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Automata Theoretic

Verification Method

Top Venues

Publications

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. ICST Workshops (2018)
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. MT@CPSWeek (2018)
Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. ICTAC (2015)