Johan Lidén Eddeland

Showing 11 publications

2022
Open Access icon

Multi-Requirement Testing Using Focused Falsification

Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson
HSCC 2022 - Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week 2022
Paper in proceeding
Show project
Show project
2020
Open Access icon

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
EPiC Series in Computing. Vol. 74, p. 259-266
Paper in proceeding
Show project
Show project
2020
Open Access icon

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al
EPiC Series in Computing. Vol. 74, p. 267-274
Paper in proceeding
Show project
Show project
2020
Open Access icon

Multiple Objective Functions for Falsification of Cyber-Physical Systems

Zahra Ramezani, Johan Lidén Eddeland, Koen Claessen et al
IFAC-PapersOnLine. Vol. 53 (4), p. 417-422
Paper in proceeding
2020

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. Vol. 39 (12), p. 5247-5260
Journal article
Show project
Show project
2018
Open Access icon

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 proceeding
2018
Open Access icon

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 proceeding
Show project
Show project
2017

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
Paper in proceeding
2017

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

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
IEEE International Conference on Automation Science and Engineering. Vol. 2017-August, p. 1326-1331
Paper in proceeding

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Accessibility

Citation Style Language
citeproc-js (Frank Bennett)

Links

Chalmers Library
Chalmers Research
Chalmers Student Theses

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE