Volume 24, Issue 1

March 2016

Special Issue: High Assurance Systems Engineering

Issue Editors:

9 articles in this issue

In this issue
Rachel Harrison
EditorialNotes 16 January 2016 Pages: 1 - 1
Special issue on High Assurance Systems Engineering
Peter J. Clarke
Mohammad Zulkernine
EditorialNotes 22 January 2016 Pages: 3 - 5
Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments
Erik van der Kouwe
Cristiano Giuffrida
Andrew S. Tanenbaum
OriginalPaper 18 November 2014 Pages: 7 - 36
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories
Petr Bauch
Vojtěch Havel
Jiří Barnat
OriginalPaper 20 November 2014 Pages: 37 - 63
Toward high assurance software systems with adaptive fault management
Koichiro Rinsaka
Tadashi Dohi
OriginalPaper 12 December 2014 Pages: 65 - 85
Experiences with software-based soft-error mitigation using AN codes
Martin Hoffmann
Peter Ulbrich
Wolfgang Schröder-Preikschat
OriginalPaper 22 November 2014 Pages: 87 - 113
Certifying a java type resolution function using program transformation, annotation, and reflection
Victor Winter
Carl Reinke
Jonathan Guerrero
OriginalPaper 26 November 2014 Pages: 115 - 135
Normalizing variations in feature vector structure in keystroke dynamics authentication systems
Zahid Syed
Sean Banerjee
Bojan Cukic
OriginalPaper 22 November 2014 Pages: 137 - 157
Assessing vulnerability exploitability risk using software properties
Awad Younis
Yashwant K. Malaiya
Indrajit Ray
OriginalPaper 27 March 2015 Pages: 159 - 202

Search