Login / Signup
Johan Liden Eddeland
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Cyber Physical
Specification Language
Temporal Logic
Bounded Model Checking
</>
Publications
</>
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)