Johan Karlsson

Professor at Chalmers, Computer Science and Engineering (Chalmers)

Link to personal page

Source: chalmers.se

Projects

2015–2018

ACE: Approximate Algorithms and Computing Systems

Per Stenström Computer Engineering (Chalmers)
Johan Karlsson Computer Science and Engineering (Chalmers)
Sally A McKee Computer Engineering (Chalmers)
Ulf Assarsson Computer Engineering (Chalmers)
Ioannis Sourdis Computer Engineering (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Christos Dimitrakakis Computing Science (Chalmers)
Alexandra Angerd Computer Engineering (Chalmers)
Jacob Lidman Computer Engineering (Chalmers)
Behrooz Sangchoolie Computer Engineering (Chalmers)
Fatemeh Ayatolahi Computer Engineering (Chalmers)
Albin Eldstål Damlin Computer Engineering (Chalmers)
Miquel Pericas Computer Engineering (Chalmers)
Erik Sintorn Computer Engineering (Chalmers)
Swedish Research Council (VR)

There might be more projects where Johan Karlsson participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2017

Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools

Behrooz Sangchoolie, Roger Johansson, Johan Karlsson
Journal of Logic and Computation, p. 68-77
Paper in proceedings
2017

A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights

Negin Fathollah Nejad Asl, Raul Barbosa, Johan Karlsson
Journal of Logic and Computation, p. 311-320
Paper in proceedings
2017

One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors

Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, p. 97-108
Paper in proceedings
2015

A Comparison of Inject-on-Read and Inject-on-Write in ISA-Level Fault Injection

Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson et al
11TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE, p. 178-189
Paper in proceedings
2015

Back-to-Back Fault Injection Testing in Model-Based Development

Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie et al
Lecture Notes in Computer Science. Vol. 9337, p. 135-148
Paper in proceedings
2015

On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks

Negin Fathollah Nejad Asl, Risat Pathan, Johan Karlsson
Dependable Computing Conference (EDCC), 2015 Eleventh European, p. 256-267
Paper in proceedings
2014

Binary-level fault injection for autosar systems

Mafijul Islam, Nithilan Meenakshi Karunakaran, J. Haraldsson et al
Proceedings - 2014 10th European Dependable Computing Conference, EDCC 2014, p. 138-141
Paper in proceedings
2014

On probabilistic analysis of disagreement in synchronous consensus protocols

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al
10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014, p. 23-34
Paper in proceedings
2014

A Study of the Impact of Bit-flip Errors on Programs Compiled with Different Optimization Levels

Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson et al
10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014;, p. 146-157
Paper in proceedings
2013

A Study of the Impact of Single Bit-Flip and Double Bit- Flip Errors on Program Execution

Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson et al
Paper in proceedings
2013

Towards Benchmarking of Functional Safety in the Automotive Industry

Mafijul Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi et al
Lecture Notes in Computer Science. Vol. 7869, p. 111 - 125
Paper in proceedings
2013

Probabilistic Analysis of a 1-of-n Selection Algorithm using a Moderately Pessimistic Decision Criterion

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Vancouver, British Columbia, Canada December 2-4, 2013., p. 68-77
Paper in proceedings
2013

Benchmarking the Hardware Error Sensitivity of Machine Instructions

Behrooz Sangchoolie, Fatemeh Ayatolahi, Raul Barbosa et al
Paper in proceedings
2013

On reliability analysis of leader election protocols for virtual traffic lights

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al
Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on
Paper in proceedings
2013

Reliability Analysis of Consensus in Cooperative Transport Systems (invited paper)

Negin Fathollah Nejad Asl, Risat Pathan, Emilia Villani et al
Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Toulouse : France (2013)SAFECOMP), Toulouse : France, 2013, p. .-
Conference contribution
2012

KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

Antonio Casimiro, Jörg Kaiser, Johan Karlsson et al
Lecture Notes in Computer Science. Vol. 7596, p. 232-235
Paper in proceedings
2012

An Investigation of the Fault Sensitivity of Four Benchmark Workloads

Behrooz Sangchoolie, Fatemeh Ayatolahi, Johan Karlsson
Lecture Notes in Informatics. Vol. P-208, p. 468-479
Paper in proceedings
2012

Impact of Soft Errors in a Jet Engine Controller

Olof Hannius, Johan Karlsson
Lecture Notes in Computer Science. Vol. 7612, p. 223-234
Paper in proceedings
2012

On the Impact of Hardware Faults – An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions

Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie et al
Lecture Notes in Computer Science. Vol. 7612, p. 198-209
Paper in proceedings
2011

Toward dependability benchmarking of partitioning operating systems

Johan Karlsson, Johan Karlsson, Qiu Yu et al
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks, DSN 2011; Hong Kong; 27 June 2011 through 30 June 2011, p. 422-429
Paper in proceedings
2011

Introduction to the fifth workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Johan Karlsson et al
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011; Hong Kong; 27 June 2011 through 30 June 2011, p. 39-40
Paper in proceedings
2011

Fault injection-based assessment of aspect-oriented implementation of fault tolerance

Ruben Alexandersson, Johan Karlsson
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, 27-30 June 2011, p. 303-314
Paper in proceedings
2010

Shared data from a study of measurement uncertainty in fault injection

Raul Barbosa, Daniel Skarin, Johan Karlsson
Proceedings - International Conference on Distributed Computing Systems, p. 284-285
Conference contribution
2010

Comparing and validating measurements of dependability attributes

Daniel Skarin, Raul Barbosa, Johan Karlsson
EDCC-8 - Proceedings of the 8th European Dependable Computing Conference, p. 3-12
Conference contribution
2010

Fourth workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Ravishankar Krishnan Iyer et al
Proceedings of the International Conference on Dependable Systems and Networks; 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 619-620
Paper in proceedings
2010

Opportunities from standardization in automotive safety assessment

Raul Barbosa, Johan Karlsson
CARS '10 Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, p. 61-63
Paper in proceedings
2010

GOOFI-2: A tool for experimental dependability assessment

Daniel Skarin, Johan Karlsson, Raul Barbosa
Proceedings of the International Conference on Dependable Systems and Networks; 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 557-562
Paper in proceedings
2010

Fourth workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Ravishankar Krishnan Iyer et al
Proceedings of the International Conference on Dependable Systems and Networks; 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 93-94
Paper in proceedings
2010

Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead

Ruben Alexandersson, Peter Öhman, Johan Karlsson
Lecture Notes in Computer Science. Vol. 6351, p. 466-479
Paper in proceedings
2010

Fault injection‐based assessment of aspect‐oriented fault tolerance

Ruben Alexandersson, Johan Karlsson
Report
2009

Software Mechanisms for Tolerating Soft Errors in an Automotive Brake-Controller

Daniel Skarin, Johan Karlsson
Proceedings Supplemental Volume of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks (DSN 2009), p. D34-D38
Paper in proceedings
2009

Evaluation of Low-Cost Detection and Recovery of Soft Errors in an ABS controller

Daniel Skarin, Johan Karlsson
Paper in proceedings
2008

Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System

Daniel Skarin, Johan Karlsson
Seventh European Dependable Computing Conference, p. 145-154
Paper in proceedings
2008

A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling

Carl Bergenhem, Johan Karlsson
Proc. IEEE 14th Pacific Rim International Symposium on Dependable Computing (PRDC 2008), p. 122-131
Paper in proceedings
2008

Derivation of Diagnostic Requirements for a Distributed UAV Turbofan Engine Control System

Olof Hannius, Dan Ring, Johan Karlsson
Journal of Engineering for Gas Turbines and Power. Vol. 130 (2), p. 021602:1-021602:11
Journal article
2008

An Environment for Testing Safety-Critical Distributed Protocols

Carl Bergenhem, Johan Karlsson
Paper in proceedings
2008

Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems

Raul Barbosa, Johan Karlsson
Proceedings of the 3rd IEEE International Symposium on Industrial Embedded Systems (SIES'2008), p. 216-223
Paper in proceedings
2008

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson
SAE (Society of Automotive Engineers) Transactions. Vol. V116-7, p. 573-578
Journal article
2008

On the Integrity of Lightweight Checkpoints

Raul Barbosa, Johan Karlsson
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), p. 125-134
Paper in proceedings
2007

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson
Paper in proceedings
2007

Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype

Raul Barbosa, Antonio Ferreira, Johan Karlsson
Procceding of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec. 17-19, 2007, Melbourne, Australia, p. 342-347
Paper in proceedings
2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson
Report
2007

A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling

Carl Bergenhem, Johan Karlsson
Proceedings of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec 17-19, 2007, Melbourne, Australia, p. 282-289
Paper in proceedings
2007

Impact of Soft Errors in a Brake-by-Wire System

Daniel Skarin, Martin Sanfridson, Johan Karlsson
Paper in proceedings
2006

Flexible, Cost-Effective Membership Agreement in Synchronous Systems

Raul Barbosa, Johan Karlsson
12th Pacific Rim International Symposium on Dependable Computing, 18-20 December 2006, Riverside, California, USA, p. 105-112
Paper in proceedings
2006

Implementation Results of a Configurable Membership Protocol for Active Safety Systems

Carl Bergenhem, Johan Karlsson, Christian Archer et al
Proceedings of PRDC 2006 IEEE 12th Pacfic Rim International Symposium on Dependable Computing, Dec 18-20, Riverside, California, USA, p. 387-388
Paper in proceedings
2005

Experimental Dependability Evaluation of a Fail-Bounded Jet Engine

Jonny Vinter, Olof Hannius, Torbjörn Norlander et al
Proceedings of the International Conference on Dependable Systems and Networks (DSN´05), 2005, Yokohama., p. 666-671
Paper in proceedings
2005

Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency

Raul Barbosa, Jonny Vinter, Peter Folkesson et al
Proceedings 5th European Dependable Computing Conference (EDCC-5), 2005, Budapest., p. 246-262
Journal article
2005

A Framework for Node-level Fault-Tolerance in Distributed Systems

Joakim Aidemark, Peter Folkesson, Johan Karlsson
Proceedings International Conference on Dependable Systems and Networks (DSN´05), 2005, Yokohama., p. 656-665
Paper in proceedings
2004

Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel

Joakim Aidemark, Peter Folkesson, Johan Karlsson
Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications, p. 625-645
Paper in proceedings
2003

On the probability of detecting data errors generated by permanent faults using time redundancy

Joakim Aidemark, Peter Folkesson, Johan Karlsson
Proceedings of the 9th IEEE International On-Line Testing Symposium, Kos, 7-9 July 2003, p. 68-74
Paper in proceedings
2003

MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models

Jean Arlat, Jerome Boué, Yves Crouzet et al
Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation, Kluwer Academic Publishing, p. 177-193
Chapter in monograph, book - peer reviewed
2003

On the Design of Robust Integrators for Fail-Bounded Control System

Jonny Vinter, A. Johansson, Peter Folkesson et al
Proceedings of the International Conference on Dependable Systems and Networks, San Francisco, CA; United States; 22 June 2003 through 25 June 2003; Code 62415, p. 415-424
Paper in proceedings
2003

Comparison of Physical and Software-Implemented Fault Injection Techniques

Jean Arlat, Yves Crouzet, Johan Karlsson et al
IEEE Transactions on Computers. Vol. 52 (9), p. 1115-1133
Journal article
2003

On the Design of Robust Integrators for Fail-Bounded Control Systems

Jonny Vinter, Andreas Johansson, Peter Folkesson et al
Proceedings International Conference on Dependable Systems and Networks (DSN´03), 2003, San Francisco, CA, USA, p. 415-424
Paper in proceedings
2002

Experimental evaluation of time-redundant execution for a brake-by-wire application

Joakim Aidemark, Jonny Vinter, Peter Folkesson et al
International Conference on Dependable Systems and Networks, 2002. DSN 2002. Proceedings, p. 210-215
Paper in proceedings
2002

Path-Based Error Coverage Prediction

Joakim Aidemark, Peter Folkesson, Johan Karlsson
Journal of Electronic Testing: Theory and Applications (JETTA). Vol. 18 (3), p. 343-349
Journal article