Johan Lidén Eddeland

Doctoral Student at Systems and control

Johan Eddeland is an industrial PhD student in the Automation group. Together with his supervisor Knut Ã…kesson, he will work on model-based testing of hybrid systems.

Image of Johan Lidén Eddeland

Showing 8 publications


Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al
7th International Workshop on Applied Verification for Continuous and Hybrid Systems
Paper in proceedings

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Journal article

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Paper in proceedings

Applying valued booleans in testing of cyber-physical systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
Paper in proceedings

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper in proceedings

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen et al
IFAC-PapersOnLine. Vol. 50 (1), p. 9260-9265
Journal article

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

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
2017 13th IEEE Conference on Automation Science and Engineering (CASE), p. 1326-1331
Paper in proceedings

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Johan Lidén Eddeland participates, but you have to be logged in as a Chalmers employee to see them.