Johan Karlsson

Prefekt vid Chalmers, Data- och informationsteknik

Link to personal page

Källa: chalmers.se

Visar 60 publikationer

2017

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

Behrooz Sangchoolie, Roger Johansson, Johan Karlsson
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 68-77
Paper i proceeding
2017

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

Negin Fathollah Nejad Asl, Raul Barbosa, Johan Karlsson
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 311-320
Paper i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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.
Paper i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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)
Paper i proceeding
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. .-
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
2010

Fault injection‐based assessment of aspect‐oriented fault tolerance

Ruben Alexandersson, Johan Karlsson
Rapport
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 i proceeding
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)
Paper i proceeding
2009

Third workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Ravishankar Krishnan Iyer et al
2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009; Lisbon; Portugal; 29 June 2009 through 2 July 2009, p. 596-597
Paper i proceeding
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift
2008

An Environment for Testing Safety-Critical Distributed Protocols

Carl Bergenhem, Johan Karlsson
3rd IET International Conference on System Safety 2008; Birmingham; United Kingdom; 20 October 2008 through 22 October 2008 (542 CP)
Paper i proceeding
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift
2007

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson
SAE 2007 World Congress & Exhibition, April 16-19, Detroit, Michigan, USA
Paper i proceeding
2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson
Rapport
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 i proceeding
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 i proceeding
2007

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

Daniel Skarin, Martin Sanfridson, Johan Karlsson
Proceedings of the 2007 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 3)
Paper i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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
Kapitel i bok
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2015–2018

ACE: Approximativa algoritmer och datorsystem

Per Stenström Datorteknik
Johan Karlsson Data- och informationsteknik
Sally A McKee Datorteknik
Ulf Assarsson Datorteknik
Ioannis Sourdis Datorteknik
Devdatt Dubhashi Datavetenskap
Christos Dimitrakakis Datavetenskap
Alexandra Angerd Datorteknik
Jacob Lidman Datorteknik
Behrooz Sangchoolie Datorteknik
Fatemeh Ayatolahi Datorteknik
Albin Eldstål Damlin Datorteknik
Miquel Pericas Datorteknik
Erik Sintorn Datorteknik
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Johan Karlsson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.