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

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

Fathollahnejad Negin, R. Barbosa, Johan Karlsson et al
2017 Ieee 22nd Pacific Rim International Symposium on Dependable Computing, p. 311-320
Conference paper - peer reviewed
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 et al
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks
Conference paper - peer reviewed
2017

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

Behrooz Sangchoolie, Roger Johansson, Johan Karlsson et al
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), p. 68-77
Conference paper - peer reviewed
2015

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

Negin Fathollah Nejad Asl, Risat Mahmud Pathan, Johan Karlsson et al
Dependable Computing Conference (EDCC), 2015 Eleventh European, p. 256-267
Conference paper - peer reviewed
2015

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

Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie et al
Proceedings of the 34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), September 23-25 2015.. Vol. 9337, p. 135-148
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2014

Binary-level fault injection for autosar systems

M.M. Islam, Nithilan Meenakshi Karunakaran, J. Haraldsson et al
Proceedings - 2014 10th European Dependable Computing Conference, EDCC 2014, p. 138-141
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2014

On probabilistic analysis of disagreement in synchronous consensus protocols

Negin Fathollah Nejad Asl, Emilia Villani, Risat Mahmud 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
Conference paper - peer reviewed
2013

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

Negin Fathollah Nejad Asl, Risat Mahmud 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 paper - non peer reviewed
2013

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

Negin Fathollah Nejad Asl, Emilia Villani, Risat Mahmud Pathan et al
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Vancouver, British Columbia, Canada December 2-4, 2013.
Conference paper - peer reviewed
2013

On reliability analysis of leader election protocols for virtual traffic lights

Fathollahnejad Negin, Emilia Villani, Risat Mahmud Pathan et al
Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on
Conference paper - peer reviewed
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
Computer Safety, Reliability, and Security. SAFECOMP, September 24-27.
Conference paper - peer reviewed
2013

Towards Benchmarking of Functional Safety in the Automotive Industry

Mafijul Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi et al
Lecture Notes in Computer Science 2013. Vol. 7869, p. 111 - 125
Conference paper - peer reviewed
2013

Benchmarking the Hardware Error Sensitivity of Machine Instructions

Behrooz Sangchoolie, Fatemeh Ayatolahi, Raul Barbosa et al
Proceedings of the 2013 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 9)
Conference paper - peer reviewed
2012

Impact of Soft Errors in a Jet Engine Controller

Olof Hannius, Johan Karlsson,
Computer Safety, Reliability, and Security. Eds: Frank Ortmeier, Peter Daniel. SAFECOMP, Mageburg, Germany, September 25-28, 2012.. Vol. 7612, p. 223-234
Conference paper - peer reviewed
2012

KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

Antonio Casimiro, Jörg Kaiser, Johan Karlsson et al
Lecture Notes in Computer Science: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Springer, Lecture Notes in Computer Science. Vol. 7596, p. 232-235
Conference paper - peer reviewed
2012

An Investigation of the Fault Sensitivity of Four Benchmark Workloads

Behrooz Sangchoolie, Fatemeh Ayatolahi, Johan Karlsson et al
Lecture Notes in Informatics, Informatik 2012, 16-21 September, Braunschweig, Germany. Vol. P-208, p. 468-479
Conference paper - peer reviewed
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
Computer Safety, Reliability, and Security. Eds: Frank Ortmeier, Peter Daniel. SAFECOMP, Mageburg, Germany, September 25-28, 2012.. Vol. 7612, p. 198-209
Conference paper - peer reviewed
2011

Introduction to the fifth workshop on dependable and secure nanocomputing

J. Arlat, Cristian Emil 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
Conference paper - peer reviewed
2011

Toward dependability benchmarking of partitioning operating systems

Raul Barbosa, 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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2010

Shared data from a study of measurement uncertainty in fault injection

Raul Barbosa, Daniel Skarin, Johan Karlsson et al
Proceedings - International Conference on Distributed Computing Systems , p. 284-285
Conference paper - non peer reviewed
2010

Fault injection‐based assessment of aspect‐oriented fault tolerance

Ruben Alexandersson, Johan Karlsson,
Report
2010

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

Ruben Alexandersson, Peter Öhman, Johan Karlsson et al
Lecture Notes in Computer Science. 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010, Vienna, 14-17 September 2010. Vol. 6351, p. 466-479
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2010

GOOFI-2: A tool for experimental dependability assessment

Daniel Skarin, Johan Karlsson, Raul Barbosa 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. 557-562
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2010

Comparing and validating measurements of dependability attributes

Daniel Skarin, Raul Barbosa, Johan Karlsson et al
EDCC-8 - Proceedings of the 8th European Dependable Computing Conference , p. 3-12
Conference paper - non peer reviewed
2009

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

Daniel Skarin, Johan Karlsson,
Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5)
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2008

An Environment for Testing Safety-Critical Distributed Protocols

Carl Bergenhem, Johan Karlsson,
Proc. 3rd IET International Conference on System Safety
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2008

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson et al
SAE 2007 Transactions Journal of Passenger Cars - Electronic and Electrical Systems. Vol. V116-7, p. 573-578
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2008

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

Olof Hannius, Dan Ring, Johan Karlsson et al
Journal of Engineering for Gas Turbines and Power. Vol. 130 (2), p. 021602:1-021602:11
Scientific journal article - peer reviewed
2007

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

Daniel Skarin, Martin Sanfridson, Johan Karlsson et al
Proceedings of the 2007 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 3)
Conference paper - peer reviewed
2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson,
Report
2007

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson et al
SAE 2007 World Congress & Exhibition, April 16-19, Detroit, Michigan, USA
Conference paper - peer reviewed
2007

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

Raul Barbosa, Antonio Ferreira, Johan Karlsson et al
Procceding of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec. 17-19, 2007, Melbourne, Australia, p. 342-347
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
2005

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

Joakim Aidemark, Peter Folkesson, Johan Karlsson et al
Proceedings International Conference on Dependable Systems and Networks (DSN´05), 2005, Yokohama., p. 656-665
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2004

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

Joakim Aidemark, Peter Folkesson, Johan Karlsson et al
Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications, p. 625-645
Conference paper - peer reviewed
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
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
Conference paper - peer reviewed
2003

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

Joakim Aidemark, Peter Folkesson, Johan Karlsson et al
Proceedings of the 9th IEEE International On-Line Testing Symposium, Kos, 7-9 July 2003, p. 68-74
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
2002

Path-Based Error Coverage Prediction

Joakim Aidemark, Peter Folkesson, Johan Karlsson et al
Journal of electronic testing. Vol. 18 (3), p. 343-349
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed