Using valued booleans to find simpler counterexamples in random testing of cyber-physical systems K Claessen, N Smallbone, J Eddeland, Z Ramezani, K Åkesson IFAC-PapersOnLine 51 (7), 408-415, 2018 | 19 | 2018 |
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. JL Eddeland, A Donzé, S Miremadi, K Åkesson ARCH, 267-274, 2020 | 12 | 2020 |
Enhancing temporal logic falsification with specification transformation and valued booleans JL Eddeland, K Claessen, N Smallbone, Z Ramezani, S Miremadi, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 12 | 2020 |
Multiple objective functions for falsification of cyber-physical systems Z Ramezani, JL Eddeland, K Claessen, M Fabian, K Åkesson IFAC-PapersOnLine 53 (4), 417-422, 2020 | 12 | 2020 |
Objective functions for falsification of signal temporal logic properties in cyber-physical systems J Eddeland, S Miremadi, M Fabian, K Åkesson 2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1326 …, 2017 | 11 | 2017 |
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. JL Eddeland, S Miremadi, K Åkesson ARCH, 259-266, 2020 | 8 | 2020 |
Automated mode coverage analysis for cyber-physical systems using hybrid automata J Eddeland, JG Cepeda, R Fransen, S Miremadi, M Fabian, K Åkesson IFAC-PapersOnLine 50 (1), 9260-9265, 2017 | 7 | 2017 |
Multi-Requirement Testing Using Focused Falsification. JL Eddeland, A Donzé, K Åkesson HSCC, 4:1-4:11, 2022 | 1 | 2022 |
Falsification of Signal-Based Specifications for Cyber-Physical Systems JL Eddeland PQDT-Global, 2019 | 1 | 2019 |
Applying valued booleans in testing of cyber-physical systems K Claessen, N Smallbone, JL Eddeland, Z Ramezani, K Åkesson, ... 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018 | 1 | 2018 |
Multi-Requirement Testing Using Focused Falsification J Lidén Eddeland, A Donzé, K Åkesson Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | | 2022 |
On Falsification of Large-Scale Cyber-Physical Systems JL Eddeland PQDT-Global, 2022 | | 2022 |
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems K Lindström Claessen, N Smallbone, J Lidén Eddeland | | 2018 |
Recognition of suddenly appearing obstacles using optical flow for autonomous vehicles J EDDELAND | | 2016 |