Follow
Johan Lidén Eddeland
Johan Lidén Eddeland
Combitech
Verified email at combitech.com
Title
Cited by
Cited by
Year
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
192018
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.
JL Eddeland, A Donzé, S Miremadi, K Åkesson
ARCH, 267-274, 2020
122020
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
122020
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
112020
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
112017
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.
JL Eddeland, S Miremadi, K Åkesson
ARCH, 259-266, 2020
82020
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
72017
Multi-Requirement Testing Using Focused Falsification.
JL Eddeland, A Donzé, K Åkesson
HSCC, 4:1-4:11, 2022
12022
Falsification of Signal-Based Specifications for Cyber-Physical Systems
JL Eddeland
PQDT-Global, 2019
12019
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–14