Arend Aerts

According to our database, Arend Aerts authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2015

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.

Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015