Publications

2018

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

Koen Claessen, Nicholas Smallbone, Johan Eddeland, Zahra Ramezani, Knut Åkesson
14th IFAC Workshop on Discrete Event Systems (WODES)
Paper in proceedings (SyTec)

Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle

Jonas Krook, Anton Zita, Roozbeh Kianfar, Sahar Mohajerani, Martin Fabian
14th IFAC Workshop on Discrete Event Systems (WODES)
Invited paper in proceedings (WASP)

2017

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen, Sajed Miremadi, Martin Fabian, Knut Åkesson
IFAC-PapersOnLine. Vol. 50 (1), p. 9260-9265

Journal article (TESTRON)


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

Johan Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson
2017 13th IEEE Conference on Automation Science and Engineering (CASE), p. 1326-1331

Paper in proceedings (TESTRON)


Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering

Martin Fabian, Bengt Lennartson, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 692-693
Magazine article