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 |