Johan Lidén Eddeland

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 7

Top Topics

Specification Language

Mazurkiewicz Traces

Reactive Systems

Top Venues

Publications

Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson
Multi-Requirement Testing Using Focused Falsification. HSCC (2022)
Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. ARCH (2020)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. ARCH (2020)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR (2019)
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
Applying Valued Booleans in Testing of Cyber-Physical Systems. MT@CPSWeek (2018)
Johan Lidén Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson
Objective functions for falsification of signal temporal logic properties in cyber-physical systems. CASE (2017)