dblp.uni-trier.dewww.uni-trier.de

Martin Hiller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
15EEXi 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
14EEArshad Jhumka, Martin Hiller: Putting Detectors in Their Place. SEFM 2005: 33-43
2004
13EEArshad Jhumka, Martin Hiller, Neeraj Suri: An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. HASE 2004: 69-78
12EEMartin 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
11EEArshad Jhumka, Neeraj Suri, Martin Hiller: A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. SCOPES 2003: 182-197
2002
10EEMartin Hiller, Arshad Jhumka, Neeraj Suri: On the Placement of Software Mechanisms for Detection of Data Errors. DSN 2002: 135-144
9EEArshad Jhumka, Martin Hiller, Neeraj Suri: Component-Based Synthesis of Dependable Embedded Software. FTRTFT 2002: 111-128
8EEArshad Jhumka, Martin Hiller, Neeraj Suri: An Approach to Specify and Test Component-Based Dependable Software. HASE 2002: 211-220
7EEMartin Hiller, Arshad Jhumka, Neeraj Suri: PROPANE: an environment for examining the propagation of errors in software. ISSTA 2002: 81-85
6EEArshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri: On systematic design of globally consistent executable assertions in embedded software. LCTES-SCOPES 2002: 75-84
5EEÖ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
4EEMartin Hiller, Arshad Jhumka, Neeraj Suri: An Approach for Analysing the Propagation of Data Errors in Software. DSN 2001: 161-172
3EEArshad Jhumka, Martin Hiller, Neeraj Suri: Assessing Inter-Modular Error Propagation in Distributed Software. SRDS 2001: 152-161
2000
2EEMartin Hiller: Executable Assertions for Detecting Data Errors in Embedded Control Systems. DSN 2000: 24-
1999
1EEMartin Hiller: Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation. EUROMICRO 1999: 2105-2112

Coauthor Index

1Örjan Askerdal [5]
2Xi Chen [15]
3Vilgot Claesson [6]
4Juejing Feng [15]
5Magnus Gäfvert [5]
6Arshad Jhumka [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14]
7Vera Lauer [15]
8Neeraj Suri [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)