| 2007 |
| 15 | EE | Xi Chen,
Juejing Feng,
Martin Hiller,
Vera Lauer:
Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems.
DSN 2007: 618-624 |
| 2005 |
| 14 | EE | Arshad Jhumka,
Martin Hiller:
Putting Detectors in Their Place.
SEFM 2005: 33-43 |
| 2004 |
| 13 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.
HASE 2004: 69-78 |
| 12 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
EPIC: Profiling the Propagation and Effect of Data Errors in Software.
IEEE Trans. Computers 53(5): 512-530 (2004) |
| 2003 |
| 11 | EE | Arshad Jhumka,
Neeraj Suri,
Martin Hiller:
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.
SCOPES 2003: 182-197 |
| 2002 |
| 10 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
On the Placement of Software Mechanisms for Detection of Data Errors.
DSN 2002: 135-144 |
| 9 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
Component-Based Synthesis of Dependable Embedded Software.
FTRTFT 2002: 111-128 |
| 8 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
An Approach to Specify and Test Component-Based Dependable Software.
HASE 2002: 211-220 |
| 7 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
PROPANE: an environment for examining the propagation of errors in software.
ISSTA 2002: 81-85 |
| 6 | EE | Arshad Jhumka,
Martin Hiller,
Vilgot Claesson,
Neeraj Suri:
On systematic design of globally consistent executable assertions in embedded software.
LCTES-SCOPES 2002: 75-84 |
| 5 | EE | Örjan Askerdal,
Magnus Gäfvert,
Martin Hiller,
Neeraj Suri:
A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems.
PRDC 2002: 105-116 |
| 2001 |
| 4 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
An Approach for Analysing the Propagation of Data Errors in Software.
DSN 2001: 161-172 |
| 3 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
Assessing Inter-Modular Error Propagation in Distributed Software.
SRDS 2001: 152-161 |
| 2000 |
| 2 | EE | Martin Hiller:
Executable Assertions for Detecting Data Errors in Embedded Control Systems.
DSN 2000: 24- |
| 1999 |
| 1 | EE | Martin Hiller:
Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.
EUROMICRO 1999: 2105-2112 |