Henrik Thane

According to our database1, Henrik Thane authored at least 22 papers between 1996 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Towards dynamic safety assurance for Industry 4.0.
J. Syst. Archit., 2021

2018
Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems.
CoRR, 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

2008
Real-time dynamic relinking.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Pinpointing interrupts in embedded real-time systems using context checksums.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Shared Data Analysis for Multi-Tasking Real-Time System Testing.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Dynamic Patching of Embedded Software.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

2005
Regression testing of multi-tasking real-time systems: a problem statement.
SIGBED Rev., 2005

2003
Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems
CoRR, 2003

Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies
CoRR, 2003

Hardware Support for Priority Inheritance.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Testing of Multi-Tasking Real-Time Systems with Critical Sections.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Replay Debugging of Real-Time Systems Using Time Machines.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Starting Conditions for Post-Mortem Debugging Using Deterministic Replay of Real-Time Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2001
Testing distributed real-time systems.
Microprocess. Microsystems, 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

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

1997
Safe and Reliable Computer Control Systems an Overview.
Proceedings of the 16th International Conference on Computer Safety, 1997

1996
A Communication Protocol for Hard and Soft Real-Time Systems.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996


  Loading...