Neeraj Suri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

67EEPé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
66EEPiotr Szczytowski, Abdelmajid Khelil, Neeraj Suri: MAP++: support for map-based WSN modeling and design with OMNeT++. SimuTools 2009: 77
65EEAbdelmajid Khelil, Faisal Karim Shaikh, Brahim Ayari, Neeraj Suri: MWM: a map-based world model for wireless sensor networks. Autonomics 2008: 5
64EESalvatore D'Antonio, Luigi Romano, Abdelmajid Khelil, Neeraj Suri: INcreasing Security and Protection through Infrastructure REsilience: The INSPIRE Project. CRITIS 2008: 109-118
63EENeeraj 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
62EENeeraj Suri: Message from the DCCS program chair. DSN 2008
61EEKohei 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
60EEConstantin Sârbu, Andréas Johansson, Neeraj Suri: Execution Path Profiling for OS Device Drivers: Viability and Methodology. ISAS 2008: 90-109
59EEConstantin Sârbu, Andréas Johansson, Neeraj Suri, Nachiappan Nagappan: Profiling the Operational Behavior of OS Device Drivers. ISSRE 2008: 127-136
58EEDan Dobre, Matthias Majuntke, Neeraj Suri: On the Time-Complexity of Robust and Amnesic Storage. OPODIS 2008: 197-216
57EEBrahim Ayari, Abdelmajid Khelil, Neeraj Suri: Delay-Aware Mobile Transactions. SEUS 2008: 280-291
56EEFaisal Karim Shaikh, Abdelmajid Khelil, Neeraj Suri: A comparative study of data transport protocols in wireless sensor networks. WOWMOM 2008: 1-9
55EEMarco 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
54EEAndréas Johansson, Neeraj Suri, Brendan Murphy: On the Selection of Error Model(s) for OS Robustness Evaluation. DSN 2007: 502-511
53EEShariful Islam, Neeraj Suri: A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems. EUC 2007: 517-530
52EEPéter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri: Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. HASE 2007: 169-178
51EEAbdelmajid Khelil, Neeraj Suri: Gossiping: Adaptive and Reliable Broadcasting in MANETs. LADC 2007: 123-141
50EEFaisal Karim Shaikh, Abdelmajid Khelil, Neeraj Suri: On Modeling the Reliability of Data Transport in Wireless Sensor Networks. PDP 2007: 395-402
49EEMarco Serafini, Neeraj Suri: The Fail-Heterogeneous Architectural Model. SRDS 2007: 103-113
48EEDan Dobre, HariGovind V. Ramasamy, Neeraj Suri: On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast. SRDS 2007: 311-322
47EEMarco 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)
46EEDan Dobre, Neeraj Suri: One-step Consensus with Zero-Degradation. DSN 2006: 137-146
45EEConstantin Sârbu, Andréas Johansson, Falk Fraikin, Neeraj Suri: Improving Robustness Testing of COTS OS Extensions. ISAS 2006: 120-139
44EEShariful Islam, Robert Lindstrom, Neeraj Suri: Dependability Driven Integration of Mixed Criticality SW Components. ISORC 2006: 485-495
43EEBrahim Ayari, Abdelmajid Khelil, Neeraj Suri: FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments. SRDS 2006: 96-105
42EEArshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri: An approach to synthesise safe systems. IJSN 1(1/2): 62-74 (2006)
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
40EEAndréas Johansson, Neeraj Suri: Error Propagation Profiling of Operating Systems. DSN 2005: 86-95
39EEArshad Jhumka, Neeraj Suri: Designing Efficient Fail-Safe Multitolerant Systems. FORTE 2005: 428-442
38EEArshad Jhumka, Martin Hiller, Neeraj Suri: An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. HASE 2004: 69-78
37EEVilgot Claesson, Neeraj Suri: TTET: Event-Triggered Channels on a Time-Triggered Base. ICECCS 2004: 39-46
36EEAndréas Johansson, Adina Sarbu, Arshad Jhumka, Neeraj Suri: On Enhancing the Robustness of Commercial Operating Systems. ISAS 2004: 148-159
35EERaphael 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
33EENeeraj 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
32EENeeraj Suri: On Dependability Driven Software and Hardware Integration. WSTFEUS 2004: 45-
31EEMartin Hiller, Arshad Jhumka, Neeraj Suri: EPIC: Profiling the Propagation and Effect of Data Errors in Software. IEEE Trans. Computers 53(5): 512-530 (2004)
30EEVilgot 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)
29EEVilgot Claesson, Cecilia Ekelin, Neeraj Suri: The Event-Triggered and Time-Triggered Medium-Access Methods. ISORC 2003: 131-134
28EEHermann Kopetz, Neeraj Suri: Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces. ISORC 2003: 51-60
27EEArshad Jhumka, Neeraj Suri, Martin Hiller: A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. SCOPES 2003: 182-197
26EEChristof Fetzer, Neeraj Suri: Practical Aspects of IP Take-Over Mechanisms. WORDS Fall 2003: 250-254
25EEHermann 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)
23EEMartin Hiller, Arshad Jhumka, Neeraj Suri: On the Placement of Software Mechanisms for Detection of Data Errors. DSN 2002: 135-144
22EEArshad Jhumka, Martin Hiller, Neeraj Suri: Component-Based Synthesis of Dependable Embedded Software. FTRTFT 2002: 111-128
21EEArshad Jhumka, Martin Hiller, Neeraj Suri: An Approach to Specify and Test Component-Based Dependable Software. HASE 2002: 211-220
20EEMartin Hiller, Arshad Jhumka, Neeraj Suri: PROPANE: an environment for examining the propagation of errors in software. ISSTA 2002: 81-85
19EEArshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri: On systematic design of globally consistent executable assertions in embedded software. LCTES-SCOPES 2002: 75-84
18EEÖ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
17EEMartin 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
15EEPurnendu 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
14EEArshad Jhumka, Martin Hiller, Neeraj Suri: Assessing Inter-Modular Error Propagation in Distributed Software. SRDS 2001: 152-161
13EEVilgot 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)
11EEAvi Mendelson, Neeraj Suri: Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. DSN 2000: 473-481
10EEChris J. Walter, Neeraj Suri, T. Monaghan: Evaluating COTS Standards for Design of Dependable Systems. DSN 2000: 87-
9EEPurnendu Sinha, Neeraj Suri: Identification of Test Cases Using a Formal Approach. FTCS 1999: 314-321
8EEPurnendu Sinha, Neeraj Suri: On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. IEEE Real-Time Systems Symposium 1999: 126-135
7EENeeraj Suri, Krithi Ramamritham: Editorial: Special Section on Dependable Real-Time Systems. IEEE Trans. Parallel Distrib. Syst. 10(6): 529-532 (1999)
6 Neeraj Suri, Purnendu Sinha: On the Use of Formal Techniques for Validation. FTCS 1998: 390-399
5EENeeraj Suri, S. Ghosh, Thomas J. Marlowe: A Framework for Dependability Driven Software Integration. ICDCS 1998: 406-415
4EEAvi Mendelson, Neeraj Suri: Cache based fault recovery for distributed systems. ICECCS 1997: 119-129
3EEChris J. Walter, Patrick Lincoln, Neeraj Suri: Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. 23(11): 684-721 (1997)
2 Neeraj Suri, M. M. Hugue, Chris J. Walter: Reliability Modeling of Large Fault-Tolerant Systems. FTCS 1992: 212-220
1EENeeraj Suri, Avi Mendelson, Dhiraj K. Pradhan: BDG-torus union graph-an efficient algorithmically specializedparallel interconnect. SPDP 1991: 407-414

Coauthor Index

1Jacob Abraham [63]
2Astrit Ademaj [55]
3Örjan Askerdal [18]
4Algirdas Avizienis [35]
5Brahim Ayari [43] [57] [65]
6Péter Bokor [52] [61] [67]
7Andrea Bondavalli [47]
8Wolfgang Brandstatter [55]
9Vilgot Claesson [13] [19] [29] [30] [37]
10Salvatore D'Antonio [64]
11Dan Dobre [46] [48] [58]
12Cecilia Ekelin [29]
13Paul D. Ezhilchelvan (Paul Devadoss Ezhilchelvan) [34]
14Christof Fetzer [26] [42] [63]
15Falk Fraikin [45]
16Felix C. Freiling (Felix C. Gärtner) [42]
17Magnus Gäfvert [18]
18Jiri Gaisler [35]
19S. Ghosh [5]
20Martin Hiller [14] [17] [18] [19] [20] [21] [22] [23] [27] [31] [38]
21M. M. Hugue [2]
22Hirokazu Ihara [35]
23Shariful Islam [44] [53]
24Arshad Jhumka [14] [17] [19] [20] [21] [22] [23] [27] [31] [36] [38] [39] [42]
25Andréas Johansson [36] [40] [45] [54] [59] [60]
26Jörg Kaiser [34]
27Abdelmajid Khelil [43] [50] [51] [56] [57] [64] [65] [66]
28K. H. (Kane) Kim (K. H. Kim, Kane Kim) [34]
29Jens Koch [55]
30Hermann Kopetz [25] [28]
31Patrick Lincoln [3]
32Robert Lindstrom [44]
33Henrik Lönn [13] [30]
34Matthias Majuntke [58]
35Miroslaw Malek [41]
36Thomas J. Marlowe [5]
37Avi Mendelson [1] [4] [11] [12] [63]
38Subhasish Mitra [63]
39T. Monaghan [10]
40Louise E. Moser [34]
41Shubu Mukherjee [35]
42Brendan Murphy [54]
43Nachiappan Nagappan [59]
44Edgar Nett [34] [41]
45András Pataricza [52]
46Stefan Poledna [63]
47Dhiraj K. Pradhan [1]
48Krithi Ramamritham [7]
49HariGovind V. Ramasamy [48]
50Luigi Romano [64]
51Kohei Sakurai [61]
52Adina Sarbu [36]
53Constantin Sârbu [45] [59] [60]
54Marco Serafini [47] [49] [52] [55] [67]
55Faisal Karim Shaikh [50] [56] [65]
56Purnendu Sinha [6] [8] [9] [15] [16]
57Áron Sisak [52]
58Raphael R. Some [35]
59Piotr Szczytowski [66]
60Fulvio Tagliabo [55]
61Helmut Veith [67]
62Jonny Vinter [55]
63Chris J. Walter [2] [3] [10] [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)