2008 |
19 | EE | Nathan Griffiths,
Arshad Jhumka,
Anthony Dawson,
Richard Myers:
A Simple Trust model for On-Demand Routing in Mobile Ad-Hoc Networks.
IDC 2008: 105-114 |
2007 |
18 | EE | Arshad Jhumka,
Sandeep S. Kulkarni:
On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks.
ICDCIT 2007: 42-53 |
17 | EE | Felix C. Freiling,
Arshad Jhumka:
Global Predicate Detection in Distributed Systems with Small Faults.
SSS 2007: 296-310 |
2006 |
16 | EE | Arshad Jhumka,
Felix C. Freiling,
Christof Fetzer,
Neeraj Suri:
An approach to synthesise safe systems.
IJSN 1(1/2): 62-74 (2006) |
2005 |
15 | EE | Arshad Jhumka,
Stephan Klaus,
Sorin A. Huss:
A Dependability-Driven System-Level Design Approach for Embedded Systems.
DATE 2005: 372-377 |
14 | EE | Arshad Jhumka,
Neeraj Suri:
Designing Efficient Fail-Safe Multitolerant Systems.
FORTE 2005: 428-442 |
13 | EE | Arshad Jhumka,
Martin Hiller:
Putting Detectors in Their Place.
SEFM 2005: 33-43 |
2004 |
12 | EE | Felix C. Gärtner,
Arshad Jhumka:
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.
FORMATS/FTRTFT 2004: 183-198 |
11 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.
HASE 2004: 69-78 |
10 | EE | Andréas Johansson,
Adina Sarbu,
Arshad Jhumka,
Neeraj Suri:
On Enhancing the Robustness of Commercial Operating Systems.
ISAS 2004: 148-159 |
9 | 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 |
8 | 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 |
7 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
On the Placement of Software Mechanisms for Detection of Data Errors.
DSN 2002: 135-144 |
6 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
Component-Based Synthesis of Dependable Embedded Software.
FTRTFT 2002: 111-128 |
5 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
An Approach to Specify and Test Component-Based Dependable Software.
HASE 2002: 211-220 |
4 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
PROPANE: an environment for examining the propagation of errors in software.
ISSTA 2002: 81-85 |
3 | 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 |
2001 |
2 | EE | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
An Approach for Analysing the Propagation of Data Errors in Software.
DSN 2001: 161-172 |
1 | EE | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
Assessing Inter-Modular Error Propagation in Distributed Software.
SRDS 2001: 152-161 |