Johan Lidén Eddeland
Orcid: 0000-0002-1253-6705Affiliations:
- Volvo Car Corporation, Gothenburg, Sweden
- Chalmers University of Technology, Gothenburg, Sweden
According to our database1,
Johan Lidén Eddeland authored at least 7 papers
between 2017 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Bridging the Gap: Socio-Technical Perspectives on Software Testing and Automation in Manufacturing.
Proceedings of the 11th International Workshop on Socio-Technical Perspectives in Information Systems (STPIS 2025), 2025
2022
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.
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.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2018
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.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017