| 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 | 20 | 2018 |
| Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. JL Eddeland, A Donzé, S Miremadi, K Åkesson ARCH, 267-274, 2020 | 14 | 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 | 14 | 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 |
| 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 | 7 | 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 J Lidén Eddeland, A Donzé, K Åkesson Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 6 | 2022 |
| 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 | 2 | 2018 |
| Falsification of Signal-Based Specifications for Cyber-Physical Systems JL Eddeland PQDT-Global, 2019 | 1 | 2019 |
| 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 |
Knut ÅkessonChalmers University of TechnologyDirección de correo verificada de chalmers.se