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
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
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
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
Experiences from Verifying a Partitioning Kernel Using Fault Injection
Raul Barbosa, Johan Karlsson
Rapport
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
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
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
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
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
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
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
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
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
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
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
1990
Reliability evaluation of a fault-tolerant computer for a multi-phased mission and use of heavy-ion radiation for fault injection experiments
Johan Karlsson
Doktorsavhandling
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.