Hans A. Hansson

According to our database1, Hans A. Hansson authored at least 95 papers between 1984 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
PROMPT - Master Courses for Professional SoftwareDevelopers.
ACM SIGSOFT Software Engineering Notes, 2019

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT.
Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2018
Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems.
CoRR, 2018

Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.
Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

A Systematic Way to Incorporate Security in Safety Analysis.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
10 Years of research on debugging concurrent and multicore software: a systematic mapping study.
Software Quality Journal, 2017

Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach.
Microprocessors and Microsystems - Embedded Hardware Design, 2017

A method to generate reusable safety case argument-fragments from compositional safety analysis.
Journal of Systems and Software, 2017

Concurrency bugs in open source software: a case study.
J. Internet Services and Applications, 2017

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Configuration-Aware Contracts.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

A Study of Concurrency Bugs in an Open Source Software.
Proceedings of the Open Source Systems: Integrating Communities, 2016

A model for systematic monitoring and debugging of starvation bugs in multicore software.
Proceedings of the 1st International Workshop on Specification, 2016

The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems Using Wireless Communication.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015
SMT-based synthesis of TTEthernet schedules: A performance study.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A Survey on Testing for Cyber Physical System.
Proceedings of the Testing Software and Systems, 2015

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

Towards Classification of Concurrency Bugs Based on Observable Properties.
Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

A decomposition approach for SMT-based schedule synthesis for time-triggered networks.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
Generation of Safety Case Argument-Fragments from Safety Contracts.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Handling Emergency Mode Switch for Component-Based Systems.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Mode switch timing analysis for component-based multi-mode systems.
Journal of Systems Architecture - Embedded Systems Design, 2013

Strong and weak contract formalism for third-party component reuse.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Mode switch handling for the ProCom component model.
Proceedings of the CBSE'13, 2013

Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Better, faster, cheaper, and safer too - Is this really possible?
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Timing Analysis for Mode Switch in Component-Based Multi-mode Systems.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Towards mode switch handling in component-based multi-mode systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011
Timing analysis for a composable mode switch.
SIGBED Review, 2011

Analysis of Mistakes as a Method to Improve Test Case Design.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010
Towards Fully Automated Test Management for Large Complex Systems.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Managing redundancy in CAN-based networks supporting N-Version Programming.
Computer Standards & Interfaces, 2009

Real-Time in Networked Embedded Systems.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
Scheduling Timed Modules for Correct Resource Sharing.
Proceedings of the First International Conference on Software Testing, 2008

CORCS 2008 Workshop Organization.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the CORCS 2008 Workshop Organizers.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
The SAVE approach to component-based development of vehicular systems.
Journal of Systems and Software, 2007

Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.
Proceedings of the Testing of Software and Communicating Systems, 2007

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.
Proceedings of the Formal Methods and Software Engineering, 2007

Evaluating the Quality of Models Extracted from Embedded Real-Time Software.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006
A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques.
Proceedings of the Testing: Academia and Industry Conference, 2006

Automatic Generation and Validation of Models of Legacy Software.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Integration of networked subsystems in a resource constrained environment.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
Real-Time in Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Real-time server-based communication with CAN.
IEEE Trans. Industrial Informatics, 2005

Towards a Dependable Component Technology for Embedded System Applications.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Towards analyzing the fault-tolerant operation of server-CAN.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Automotive communications-past, current and future.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Real-Time Systems.
Proceedings of the Industrial Information Technology Handbook, 2005

A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications.
Proceedings of the Industrial Information Technology Handbook, 2005

2004
SaveCCM - A Component Model for Safety-Critical Real-Time Systems.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003
Worst-case execution-time analysis for embedded real-time systems.
STTT, 2003

Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Server-based scheduling of the CAN bus.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002
Integrating reliability and timing analysis of CAN-based systems.
IEEE Trans. Industrial Electronics, 2002

Minimizing CAN Response-Time Jitter by Message Manipulation.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

2001
Testing distributed real-time systems.
Microprocessors and Microsystems - Embedded Hardware Design, 2001

A simulation based approach for estimating the reliability of distributed real-time systems.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000
Using measurements to derive the worst-case execution time.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Deriving reliability estimates of distributed real-time systems by simulation.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Response Time Analysis under Errors for CAN.
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

2 + 10 > 1 + 50!
Proceedings of the Parallel and Distributed Processing, 2000

Reliability Modelling of Time-Critical Distributed Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Using deterministic replay for debugging of distributed real-time systems.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
Towards Systematic Testing of Distributed Real-Time Systems.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Handling Interrupts in Testing of Distributed Real-Time Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Analyzing Multimedia Traffic in Real-Time ATM Networks.
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

1998
The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks.
Real-Time Systems, 1998

Improved Response-Time Analysis Calculations.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

1997
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems.
IEEE Trans. Computers, 1997

Response-time guarantees in ATM networks.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Guaranteeing Real-Time Traffic Through an ATM Network.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications.
Real-Time Systems, 1996

Guaranteeing Real-Time Traffic Through an ATM Network.
Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

1995
BASEMENT: a distributed real-time architecture for vehicle applications.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

1994
A Logic for Reasoning about Time and Reliability.
Formal Asp. Comput., 1994

1992
A Process Calculus with Incomparable Priorities.
Proceedings of the NAPAW 92, 1992

Time and probabilities in specification and verification of real-time systems.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991
Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.
Proceedings of the Formal Description Techniques, 1991

Time and probability in formal design of distributed systems.
PhD thesis, 1991

1990
A Calculus for Communicating Systems with Time and Probabitilies.
Proceedings of the Real-Time Systems Symposium, 1990

1989
A Framework for Reasoning about Time and Reliability.
Proceedings of the Real-Time Systems Symposium, 1989

Specification for Verification.
Proceedings of the Formal Description Techniques, 1989

1985
Automatic implementation of formal descriptions of communication protocols.
Proceedings of the Protocol Specification, 1985

An approach for evaluating formal description techniques.
Proceedings of the Protocol Specification, 1985

1984
An ASYL/EFSM Description of the ISO Transport Protocol.
Proceedings of the Protocol Specification, 1984


  Loading...