 | 2009 |
|---|
| 71 |       | Péter Bokor,
Marco Serafini,
Neeraj Suri,
Helmut Veith:
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
DISC 2009: 289-290 |
| 70 | | Péter Bokor,
Marco Serafini,
Neeraj Suri,
Helmut Veith:
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.
ICFEM 2009: 147-166 |
| 69 |  | Faisal Karim Shaikh,
Abdelmajid Khelil,
Neeraj Suri:
AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks.
ICWN 2009: 75-81 |
| 68 | | Matthias Majuntke,
Dan Dobre,
Marco Serafini,
Neeraj Suri:
Abortable Fork-Linearizable Storage.
OPODIS 2009: 255-269 |
| 67 | | Dan Dobre,
Matthias Majuntke,
Marco Serafini,
Neeraj Suri:
Efficient Robust Storage Using Secret Tokens.
SSS 2009: 269-283 |
| 66 | | Piotr Szczytowski,
Abdelmajid Khelil,
Neeraj Suri:
MAP++: support for map-based WSN modeling and design with OMNeT++.
SimuTools 2009: 77 |
| 2008 |
|---|
| 65 | | Abdelmajid Khelil,
Faisal Karim Shaikh,
Brahim Ayari,
Neeraj Suri:
MWM: a map-based world model for wireless sensor networks.
Autonomics 2008: 5 |
| 64 | | Salvatore D'Antonio,
Luigi Romano,
Abdelmajid Khelil,
Neeraj Suri:
INcreasing Security and Protection through Infrastructure REsilience: The INSPIRE Project.
CRITIS 2008: 109-118 |
| 63 | | Neeraj Suri,
Christof Fetzer,
Jacob Abraham,
Stefan Poledna,
Avi Mendelson,
Subhasish Mitra:
Dependable Embedded Systems Special Day Panel: Issues and Challenges in Dependable Embedded Systems.
DATE 2008: 1394-1395 |
| 62 | | Neeraj Suri:
Message from the DCCS program chair.
DSN 2008 |
| 61 | | Kohei Sakurai,
Péter Bokor,
Neeraj Suri:
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
HASE 2008: 261-270 |
| 60 | | Constantin Sârbu,
Andréas Johansson,
Neeraj Suri:
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
ISAS 2008: 90-109 |
| 59 | | Constantin Sârbu,
Andréas Johansson,
Neeraj Suri,
Nachiappan Nagappan:
Profiling the Operational Behavior of OS Device Drivers.
ISSRE 2008: 127-136 |
| 58 | | Dan Dobre,
Matthias Majuntke,
Neeraj Suri:
On the Time-Complexity of Robust and Amnesic Storage.
OPODIS 2008: 197-216 |
| 57 | | Brahim Ayari,
Abdelmajid Khelil,
Neeraj Suri:
Delay-Aware Mobile Transactions.
SEUS 2008: 280-291 |
| 56 | | Faisal Karim Shaikh,
Abdelmajid Khelil,
Neeraj Suri:
A comparative study of data transport protocols in wireless sensor networks.
WOWMOM 2008: 1-9 |
| 2007 |
|---|
| 55 | | Marco Serafini,
Neeraj Suri,
Jonny Vinter,
Astrit Ademaj,
Wolfgang Brandstatter,
Fulvio Tagliabo,
Jens Koch:
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
DSN 2007: 164-174 |
| 54 | | Andréas Johansson,
Neeraj Suri,
Brendan Murphy:
On the Selection of Error Model(s) for OS Robustness Evaluation.
DSN 2007: 502-511 |
| 53 | | Shariful Islam,
Neeraj Suri:
A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems.
EUC 2007: 517-530 |
| 52 | | Péter Bokor,
Marco Serafini,
Áron Sisak,
András Pataricza,
Neeraj Suri:
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
HASE 2007: 169-178 |
| 51 | | Abdelmajid Khelil,
Neeraj Suri:
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
LADC 2007: 123-141 |
| 50 | | Faisal Karim Shaikh,
Abdelmajid Khelil,
Neeraj Suri:
On Modeling the Reliability of Data Transport in Wireless Sensor Networks.
PDP 2007: 395-402 |
| 49 | | Marco Serafini,
Neeraj Suri:
The Fail-Heterogeneous Architectural Model.
SRDS 2007: 103-113 |
| 48 | | Dan Dobre,
HariGovind V. Ramasamy,
Neeraj Suri:
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
SRDS 2007: 311-322 |
| 47 | | Marco Serafini,
Andrea Bondavalli,
Neeraj Suri:
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
IEEE Trans. Dependable Sec. Comput. 4(4): 295-312 (2007) |
| 2006 |
|---|
| 46 | | Dan Dobre,
Neeraj Suri:
One-step Consensus with Zero-Degradation.
DSN 2006: 137-146 |
| 45 | | Constantin Sârbu,
Andréas Johansson,
Falk Fraikin,
Neeraj Suri:
Improving Robustness Testing of COTS OS Extensions.
ISAS 2006: 120-139 |
| 44 | | Shariful Islam,
Robert Lindstrom,
Neeraj Suri:
Dependability Driven Integration of Mixed Criticality SW Components.
ISORC 2006: 485-495 |
| 43 | | Brahim Ayari,
Abdelmajid Khelil,
Neeraj Suri:
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
SRDS 2006: 96-105 |
| 42 | | Arshad Jhumka,
Felix C. Freiling,
Christof Fetzer,
Neeraj Suri:
An approach to synthesise safe systems.
IJSN 1(1/2): 62-74 (2006) |
| 2005 |
|---|
| 41 | | Miroslaw Malek,
Edgar Nett,
Neeraj Suri:
Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
Springer 2005 |
| 40 | | Andréas Johansson,
Neeraj Suri:
Error Propagation Profiling of Operating Systems.
DSN 2005: 86-95 |
| 39 | | Arshad Jhumka,
Neeraj Suri:
Designing Efficient Fail-Safe Multitolerant Systems.
FORTE 2005: 428-442 |
| 2004 |
|---|
| 38 | | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.
HASE 2004: 69-78 |
| 37 | | Vilgot Claesson,
Neeraj Suri:
TTET: Event-Triggered Channels on a Time-Triggered Base.
ICECCS 2004: 39-46 |
| 36 | | Andréas Johansson,
Adina Sarbu,
Arshad Jhumka,
Neeraj Suri:
On Enhancing the Robustness of Commercial Operating Systems.
ISAS 2004: 148-159 |
| 35 | | Raphael R. Some,
Algirdas Avizienis,
Jiri Gaisler,
Hirokazu Ihara,
Shubu Mukherjee,
Neeraj Suri:
Panel Summary Statements.
PRDC 2004: 335-40 |
| 34 | | K. H. (Kane) Kim,
Paul D. Ezhilchelvan,
Jörg Kaiser,
Louise E. Moser,
Edgar Nett,
Neeraj Suri:
Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?
SRDS 2004: 102 |
| 33 | | Neeraj Suri:
Why Progress in (Composite) Fault Tolerant Real-Time Systems has been Slow (-er than Expected.. & What Can We Do About It?).
SRDS 2004: 112-113 |
| 32 | | Neeraj Suri:
On Dependability Driven Software and Hardware Integration.
WSTFEUS 2004: 45- |
| 31 | | 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) |
| 30 | | Vilgot Claesson,
Henrik Lönn,
Neeraj Suri:
An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems.
IEEE Trans. Parallel Distrib. Syst. 15(8): 725-739 (2004) |
| 2003 |
|---|
| 29 | | Vilgot Claesson,
Cecilia Ekelin,
Neeraj Suri:
The Event-Triggered and Time-Triggered Medium-Access Methods.
ISORC 2003: 131-134 |
| 28 | | Hermann Kopetz,
Neeraj Suri:
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces.
ISORC 2003: 51-60 |
| 27 | | Arshad Jhumka,
Neeraj Suri,
Martin Hiller:
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.
SCOPES 2003: 182-197 |
| 26 | | Christof Fetzer,
Neeraj Suri:
Practical Aspects of IP Take-Over Mechanisms.
WORDS Fall 2003: 250-254 |
| 25 | | Hermann Kopetz,
Neeraj Suri:
On the Limits of the Precise Specification of Component Interfaces.
WORDS Fall 2003: 26-27 |
| 24 | | Chris J. Walter,
Neeraj Suri:
The customizable fault/error model for dependable distributed systems.
Theor. Comput. Sci. 290(2): 1223-1251 (2003) |
| 2002 |
|---|
| 23 | | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
On the Placement of Software Mechanisms for Detection of Data Errors.
DSN 2002: 135-144 |
| 22 | | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
Component-Based Synthesis of Dependable Embedded Software.
FTRTFT 2002: 111-128 |
| 21 | | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
An Approach to Specify and Test Component-Based Dependable Software.
HASE 2002: 211-220 |
| 20 | | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
PROPANE: an environment for examining the propagation of errors in software.
ISSTA 2002: 81-85 |
| 19 | | Arshad Jhumka,
Martin Hiller,
Vilgot Claesson,
Neeraj Suri:
On systematic design of globally consistent executable assertions in embedded software.
LCTES-SCOPES 2002: 75-84 |
| 18 | | Ö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 |
|---|
| 17 | | Martin Hiller,
Arshad Jhumka,
Neeraj Suri:
An Approach for Analysing the Propagation of Data Errors in Software.
DSN 2001: 161-172 |
| 16 | | Purnendu Sinha,
Neeraj Suri:
On Simplifying Modular Specification and Verification of Distributed Protocols.
HASE 2001: 173-181 |
| 15 | | Purnendu Sinha,
Neeraj Suri:
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification.
ICDCS 2001: 255-263 |
| 14 | | Arshad Jhumka,
Martin Hiller,
Neeraj Suri:
Assessing Inter-Modular Error Propagation in Distributed Software.
SRDS 2001: 152-161 |
| 13 | | Vilgot Claesson,
Henrik Lönn,
Neeraj Suri:
Efficient TDMA Synchronization for Distributed Embedded Systems.
SRDS 2001: 198-201 |
| 12 | | Neeraj Suri,
Avi Mendelson:
Design of a parallel interconnect based on communication pattern considerations.
Parallel Algorithms Appl. 16(4): 243-271 (2001) |
| 2000 |
|---|
| 11 | | Avi Mendelson,
Neeraj Suri:
Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach.
DSN 2000: 473-481 |
| 10 | | Chris J. Walter,
Neeraj Suri,
T. Monaghan:
Evaluating COTS Standards for Design of Dependable Systems.
DSN 2000: 87- |
| 1999 |
|---|
| 9 | | Purnendu Sinha,
Neeraj Suri:
Identification of Test Cases Using a Formal Approach.
FTCS 1999: 314-321 |
| 8 | | Purnendu Sinha,
Neeraj Suri:
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
IEEE Real-Time Systems Symposium 1999: 126-135 |
| 7 | | Neeraj Suri,
Krithi Ramamritham:
Editorial: Special Section on Dependable Real-Time Systems.
IEEE Trans. Parallel Distrib. Syst. 10(6): 529-532 (1999) |
| 1998 |
|---|
| 6 | | Neeraj Suri,
Purnendu Sinha:
On the Use of Formal Techniques for Validation.
FTCS 1998: 390-399 |
| 5 | | Neeraj Suri,
S. Ghosh,
Thomas J. Marlowe:
A Framework for Dependability Driven Software Integration.
ICDCS 1998: 406-415 |
| 1997 |
|---|
| 4 | | Avi Mendelson,
Neeraj Suri:
Cache based fault recovery for distributed systems.
ICECCS 1997: 119-129 |
| 3 | | Chris J. Walter,
Patrick Lincoln,
Neeraj Suri:
Formally Verified On-Line Diagnosis.
IEEE Trans. Software Eng. 23(11): 684-721 (1997) |
| 1992 |
|---|
| 2 | | Neeraj Suri,
M. M. Hugue,
Chris J. Walter:
Reliability Modeling of Large Fault-Tolerant Systems.
FTCS 1992: 212-220 |
| 1991 |
|---|
| 1 | | Neeraj Suri,
Avi Mendelson,
Dhiraj K. Pradhan:
BDG-torus union graph-an efficient algorithmically specializedparallel interconnect.
SPDP 1991: 407-414 |
