Issue 1/2016
Special Issue: High Assurance Systems Engineering
Content (9 Articles)
Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments
Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories
Petr Bauch, Vojtěch Havel, Jiří Barnat
Toward high assurance software systems with adaptive fault management
Koichiro Rinsaka, Tadashi Dohi
Experiences with software-based soft-error mitigation using AN codes
Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat
Certifying a java type resolution function using program transformation, annotation, and reflection
Victor Winter, Carl Reinke, Jonathan Guerrero
Normalizing variations in feature vector structure in keystroke dynamics authentication systems
Zahid Syed, Sean Banerjee, Bojan Cukic
Assessing vulnerability exploitability risk using software properties
Awad Younis, Yashwant K. Malaiya, Indrajit Ray