Johan Lidén Eddeland

According to our database, Johan Lidén Eddeland authored at least 6 papers between 2017 and 2022.

Collaborative distances:

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

2022

Multi-Requirement Testing Using Focused Falsification.

Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2020

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2018

Applying Valued Booleans in Testing of Cyber-Physical Systems.

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi

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

2017

Objective functions for falsification of signal temporal logic properties in cyber-physical systems.

Johan Lidén Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017