Rickard Svenningsson

Towards fault injection based minimal cut sets generation

Henrik Eriksson, Martin Törngren, Jonny Vinter, 2010 .

Advantages and Challenges of Introducing AUTOSAR for Safety-Related Systems

Håkan Sivencrona, Rickard Svenningsson, Marc Graniou, 2009 .

MODIFI: A MODel-Implemented Fault Injection Tool

Henrik Eriksson, Martin Törngren, Jonny Vinter, 2010, SAFECOMP.

Formal methods based acceptance testing for AUTOSAR exchangeability

Ulf Norell, Rolf Johansson, Thomas Arts, 2012 .

TESTING AUTOSAR BASIC SOFTWARE MODULES WITH QUICKCHECK

Ulf Norell, Rolf Johansson, Thomas Arts, 2012 .

Model-Implemented Fault Injection for Hardware Fault Simulation

Henrik Eriksson, Martin Törngren, Jonny Vinter, 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

Model-Implemented Fault Injection for Robustness Assessment

Rickard Svenningsson, Rickard Svenningsson, 2011 .

Generic Fault Modelling for Fault Injection

Henrik Eriksson, Martin Törngren, Jonny Vinter, 2010, FMCO.

Visualization of Model-Implemented Fault Injection Experiments

Jonny Vinter, Daniel Skarin, Rickard Svenningsson, 2014, SAFECOMP Workshops.