Johan Karlsson
Link to personal page
Visar 65 publikationer
An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs
Sources of Variation in Error Sensitivity Measurements, Significant or Not?
A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights
One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors
A Comparison of Inject-on-Read and Inject-on-Write in ISA-Level Fault Injection
Message from General Chair - EDCC 2016
Back-to-Back Fault Injection Testing in Model-Based Development
Binary-level fault injection for autosar systems
A Study of the Impact of Bit-flip Errors on Programs Compiled with Different Optimization Levels
On probabilistic analysis of disagreement in synchronous consensus protocols
A Study of the Impact of Single Bit-Flip and Double Bit- Flip Errors on Program Execution
Towards Benchmarking of Functional Safety in the Automotive Industry
On reliability analysis of leader election protocols for virtual traffic lights
Benchmarking the Hardware Error Sensitivity of Machine Instructions
Reliability Analysis of Consensus in Cooperative Transport Systems (invited paper)
KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
An Investigation of the Fault Sensitivity of Four Benchmark Workloads
Impact of Soft Errors in a Jet Engine Controller
Toward dependability benchmarking of partitioning operating systems
Introduction to the fifth workshop on dependable and secure nanocomputing
Fault injection-based assessment of aspect-oriented implementation of fault tolerance
Shared data from a study of measurement uncertainty in fault injection
Comparing and validating measurements of dependability attributes
Fourth workshop on dependable and secure nanocomputing
Opportunities from standardization in automotive safety assessment
GOOFI-2: A tool for experimental dependability assessment
Fourth workshop on dependable and secure nanocomputing
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead
Fault injection‐based assessment of aspect‐oriented fault tolerance
Software Mechanisms for Tolerating Soft Errors in an Automotive Brake-Controller
Experiences from Verifying a Partitioning Kernel Using Fault Injection
Evaluation of Low-Cost Detection and Recovery of Soft Errors in an ABS controller
Third workshop on dependable and secure nanocomputing
Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System
A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling
An Environment for Testing Safety-Critical Distributed Protocols
Derivation of Diagnostic Requirements for a Distributed UAV Turbofan Engine Control System
On the Integrity of Lightweight Checkpoints
A Process Membership Service for Active Safety Systems
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling
Impact of Soft Errors in a Brake-by-Wire System
A Process Membership Service for Active Safety Systems
Flexible, Cost-Effective Membership Agreement in Synchronous Systems
Implementation Results of a Configurable Membership Protocol for Active Safety Systems
Experimental Dependability Evaluation of a Fail-Bounded Jet Engine
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency
A Framework for Node-level Fault-Tolerance in Distributed Systems
Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel
On the probability of detecting data errors generated by permanent faults using time redundancy
MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models
On the Design of Robust Integrators for Fail-Bounded Control System
Comparison of Physical and Software-Implemented Fault Injection Techniques
On the Design of Robust Integrators for Fail-Bounded Control Systems
Experimental evaluation of time-redundant execution for a brake-by-wire application
Path-Based Error Coverage Prediction
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 2 forskningsprojekt
ACE: Approximativa algoritmer och datorsystem
Dependable Flexible Electric Architecture 2020 (DFEA2020)