Concepedia

Johan Lidén Eddeland

JL

Statistics

Publications

3

Citations

47

H-Index

3

Active since

2018

Affiliations

Chalmers University of Technology(Current)

Volvo (Sweden)

Volvo Cars (Sweden)

Johan Lidén Eddeland is an author at Chalmers University of Technology specializing in formal methods, computer engineering, and verification.

ORCID

Top concepts

Publications per year

2018–2020

3

Publications

3

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

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al. · IFAC-PapersOnLine · 2018 · 20 citations · Full text

, , +24

Multiple Objective Functions for Falsification of Cyber-Physical Systems

Zahra Ramezani, Johan Lidén Eddeland, Koen Claessen et al. · IFAC-PapersOnLine · 2020 · 15 citations · Full text

, , +20

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al. · EPiC series in computing · 2020 · 12 citations · Full text

, , +17

1–3 of 3