Objective functions for falsification of signal temporal logic properties in cyber-physical systems. - Johan Lidén Eddeland; Sajed Miremadi; Martin Fabian; Knut Åkesson (CASE, 2017)

Applying Valued Booleans in Testing of Cyber-Physical Systems. - Koen Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson; Sajed Miremadi (MT@CPSWeek, 2018)

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. - Johan Lidén Eddeland; Alexandre Donzé; Sajed Miremadi; Knut Åkesson (ARCH, 2020)

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. - Johan Lidén Eddeland; Sajed Miremadi; Knut Åkesson (ARCH, 2020)

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. - Johan Lidén Eddeland; Koen Claessen; Nicholas Smallbone; Zahra Ramezani; Sajed Miremadi; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Multi-Requirement Testing Using Focused Falsification. - Johan Lidén Eddeland; Alexandre Donzé; Knut Åkesson (HSCC, 2022)