Model-based testing of cyber-physical systems A Aerts, M Reniers, MR Mousavi Cyber-Physical Systems, 287-304, 2017 | 30 | 2017 |
Temporal logic falsification of cyber-physical systems: An input-signal-space optimization approach A Aerts, BT Minh, MR Mousavi, MA Reniers 2018 IEEE International Conference on Software Testing, Verification and …, 2018 | 26 | 2018 |
A tool prototype for model-based testing of cyber-physical systems A Aerts, MR Mousavi, M Reniers International Colloquium on Theoretical Aspects of Computing, 563-572, 2015 | 24 | 2015 |
Supervisory control of a miniature pipeless plant A Aerts Pre-master thesis,(SE 420724) 45, 2013 | 1 | 2013 |
Dynamic control points and independent time domains for temporal logic falsification A Aerts, BT Minh, MR Mousavi, MA Reniers 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018 | | 2018 |
MT-CPS 2018 R Mangharam, A Rodionova, Z Zhang, G Ernst, A Aerts, BT Minh, ... | | |