- On Detecting Termination in the Crash-Recovery Model Felix C. Freiling1
- ParTAC: A Partition-Tolerant Atomic Commit Protocol for Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
- PROPANE: An Environment for Examining the Propagation of Errors in Software
- ACC03-IEEE0331 ON THE EFFECT OF TRANSIENT DATA-ERRORS IN
- A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems Marco Serafini and Neeraj Suri
- Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
- On Modeling the Reliability of Data Transport in Wireless Sensor Networks Faisal Karim Shaikh, Abdelmajid Khelil and Neeraj Suri
- Mobility-Aware Buffering for Delay-Tolerant Ad Hoc Broadcasting Abdelmajid Khelil
- Delay-Aware Mobile Transactions Brahim Ayari, Abdelmajid Khelil and Neeraj Suri
- Profiling the Operational Behavior of OS Device Drivers
- Problem Statement: Energy Holes Energy Profiling & Proactive Reconfiguration: Overview
- On the Design of Perturbation-Resilient Atomic Commit Protocols for Mobile Transactions
- Evaluation of Partition-Aware MANET Protocols and Applications with ns-2 Abdelmajid Khelil, Pedro Jos Marrn, Rdiger Dietrich, Kurt Rothermel
- Tagungsband -1 -ME 2006 Supporting Heterogeneous Applications in the
- On the Use of Formal Techniques for Analyzing Dependable RealTime Protocols \Lambda
- Designing HighPerformance & Reliable Superscalar Architectures The Out of Order Reliable Superscalar (O3RS) Approach 1
- Synchronization Issues in Real-Time Systems Neeraj Suri, Michelle M. Hugue and Chris J. Walter
- EPIC: Profiling the Propagation and Effect of Data Errors in Software
- MAP++: Support for Map-Based WSN Modeling and Design with OMNeT++
- Automating the Addition of Fail-Safe Fault-Tolerance
- Int. J. of Autonomous and Adaptive Communications Systems, Vol. x, No. x, xx 1 Efficient Predictive Monitoring of Wireless
- Designing High-Performance & Reliable Superscalar Architectures The Out of Order Reliable Superscalar (O3RS) Approach1
- Designing Efficient Fail-Safe Multitolerant Arshad Jhumka and Neeraj Suri
- Evaluating COTS Standards for Design of Dependable Systems C.J. Walter N. Suri T. Monaghan
- Execution Path Profiling for OS Device Drivers: Viability and Methodology
- 06/07/2006 Kopetz/Suri ISORC `03 Composability: LIF Compositional Design of RT Systems
- BDG-Torus Union Graph -An E cient Algorithmically Specialized Parallel Interconnect
- A Framework for Dependability Driven Software Integration N. Suri, S. Ghosh
- SW Model HW Model Grouping Jobs
- On Efficient Models for Model Checking Message-Passing Distributed Protocols
- Robustness Evaluation of Operating Systems Vom Fachbereich Informatik der Technischen Universitat Darmstadt
- THESIS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY A Software Profiling Methodology for Design
- Constantin Srbu and Neeraj Suri Department of Computer Science -TU Darmstadt, Germany
- Software Profiling for Designing Dependable Software Martin Hiller
- Neeraj Suri EU-NSF ICT March 2006
- Design of a Parallel Interconnect Based on Communication Pattern Considerations
- Assessing Software Security Using Threat Models Daniel Germanus
- E-MEDISYS 2008 International Conference: E-Medical Systems
- Improving Robustness Testing of COTS OS Extensions
- Tunable Reliability of Information Transport in Wireless Sensor Networks
- : Event-Triggered Channels on a Time-Triggered Base Vilgot Claesson and Neeraj Suri
- Neeraj Suri EU-NSF ICT March 2006
- On Improving Robustness Testing of COTS OS Extensions Constantin Sarbu,Andras Johansson and Adina Sarbu
- BDGTorus Union Graph An Efficient Algorithmically Specialized Parallel Interconnect \Lambda
- Strengthened State Transitions for Invariant Verification in Practical Depth-Induction
- Using Underutilized CPU Resources to Enhance Its Reliability
- The Event-Triggered and Time-Triggered Medium-Access Methods Vilgot Claesson
- Hypergossiping: A Generalized Broadcast Strategy for Mobile Ad Hoc Networks
- DEEDS-Dependable Embedded Systems and Software Group Professor: Neeraj Suri
- System Model Constraints Allocation constraints: dependability and
- Assessing Inter-Modular Error Propagation In Distributed Arshad Jhumka, Martin Hiller and Neeraj Suri
- Error Propagation Profiling of Operating Systems Andreas Johansson and Neeraj Suri
- On the Use of Formal Techniques for Validation \Lambda Neeraj Suri and Purnendu Sinha
- A Line in the Sand: Emerging Embedded System Challenges Neeraj Suri
- Latency-Efficient Atomic Broadcast for WANs Dan Dobre, Matthias Majuntke, Neeraj Suri
- On Simplifying Modular Speci cation and Veri cation of Distributed Protocols Purnendu Sinha Neeraj Suri
- A Framework for Dependability Driven Software Integration N. Suri \Lambda , S. Ghosh y and T. Marlowe
- Dependability Driven System Level Co-Design and Optimization of Embedded Systems
- DECOS: Dependable Embedded Components & Systems Neeraj Suri
- Data-based Agreement for Inter-Vehicle Coordination Brahim Ayari, Abdelmajid Khelil, Kamel Saffar, Neeraj Suri
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Software Profiling for Designing Dependable Software SoftwareSoftware ProfilingProfiling forfor
- Cache Based Fault Recovery for Distributed Systems Avi Mendelson
- Eventually Linearizable Shared Objects Marco Serafini,
- AA SystemSystem Level View on Dependability DrivenLevel View on Dependability Driven SWSW HW CoHW Co--DesignDesign
- Formally Veri ed On-Line Diagnosis Chris J. Walter Patrick Lincoln Neeraj Suri
- Neeraj Suri EU-NSF ICT March 2006
- A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation
- Practical Aspects of IPPractical Aspects of IP--basedbased TakeTake--Over MechanismsOver Mechanisms
- Windows CE .Net Driver xDriver xDriver x
- ASample: Adaptive Spatial Sampling in Wireless Sensor Networks
- Neeraj Suri EU-NSF ICT March 2006
- Neeraj Suri EU-NSF ICT March 2006
- Efficient and Low-Cost Fault Tolerance for Web-Scale Systems
- Reliability Modeling of Large FaultTolerant Systems \Lambda N. Suri y , M.M. Hugue, C.J. Walter
- On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
- An Approach for Analysing the Propagation of Data Errors in Software Martin Hiller, Arshad Jhumka, Neeraj Suri
- Identi cation of Test Cases Using a Formal Approach Purnendu Sinha and Neeraj Suri
- Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal
- Generic Information Transport for Wireless Sensor Networks Faisal Karim Shaikh, Abdelmajid Khelil, Brahim Ayari, Piotr Szczytowski and Neeraj Suri
- On Equivalence Partitioning of Code Paths inside OS Kernel Components Constantin S^arbu
- Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems
- Diploma Thesis Choosing Error Models for OS Robustness
- An Efficient TDMA Synchronization Approach for Distributed Embedded Vilgot Claesson Henrik Lonn Neeraj Suri
- Formally Verified OnLine Diagnosis Chris J. Walter Patrick Lincoln Neeraj Suri
- Contact-Based Mobility Metrics for Delay-Tolerant Ad Hoc Networking Abdelmajid Khelil, Pedro Jose Marron, Kurt Rothermel
- 7/4/2006 Arshad Jhumka, HASE 2004 1 Arshad Jhumka
- Tagungsband -1 -ME 2006 From Model-Based Design to Deployment
- Neeraj Suri EU-NSF ICT March 2006
- Neeraj Suri EU-NSF ICT March 2006
- Brief Announcement: Efficient Model Checking of Fault-tolerant Distributed Protocols Using
- Int. J. Communication Networks and Distributed Systems, Vol. 7, Nos. 1/2, 2011 135 Copyright 2011 Inderscience Enterprises Ltd.
- Map-based Support for Wireless Sensor Network Piotr Szczytowski, Abdelmajid Khelil, Neeraj Suri
- Empir Software Eng (2009) manuscript No. (will be inserted by the editor)
- Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
- Int. J. on Security and Networks, Vol. x, No. x, xxxx 1 An Approach to Synthesize Safe Systems
- An Efficient TDMA Start-Up and Restart Synchronization Approach
- EU FP6 Network of Excellence ReSIST: Resilience for Survivability in IST
- DEWSnet-DependableEmbeddedWirelessSensorNetworks Abdelmajid Khelil, Faisal Karim Shaikh
- Dan Dobre and Neeraj Suri Department of Computer Science -TU Darmstadt, Germany
- On Using Abstractions to Model Check an On-line Diagnostic Protocol *
- An Approach to Specify and Test Component-Based Dependable Arshad Jhumka, Martin Hiller, and Neeraj Suri
- &CHAPTER 15 Tracking the Propagation of Data
- HP: Hybrid Paxos for WANs Technical Report TR-TUD-DEEDS-04-03-2009
- Operational Profiling of OS Drivers Vom Fachbereich Informatik der Technischen Universitat Darmstadt
- THESIS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY On Impact and Tolerance of Data Errors
- Computer Science Department Dependable, Embedded Systems and Software Group
- ENHANCING FPGA ROBUSTNESS VIA GENERIC MONITORING IP CORES
- The Impact of Fault Models on Software Robustness Evaluations
- Monitor Petri Nets for Security Monitoring Lars Patzina
- Quality of Information in Wireless Sensor Networks: A (Completed paper)
- Towards Benchmarking of P2P Technologies from a SCADA Systems Protection Perspective
- Scrooge: Reducing the Costs of Fast Byzantine Replication in Presence of Unresponsive Replicas
- HP: Hybrid Paxos for WANs Dan Dobre, Matthias Majuntke, Marco Serafini and Neeraj Suri
- ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs
- TRCCIT: Tunable Reliability with Congestion Control for Information Transport in Wireless Sensor Networks
- Abortable Fork-Linearizable Storage Matthias Majuntke, Dan Dobre, Marco Serafini, and Neeraj Suri
- Neeraj Suri EU-NSF ICT March 2006
- Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with
- Neeraj Suri EU-NSF ICT March 2006
- MPM: Map based Predictive Monitoring for Wireless Sensor Networks
- AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks
- gMAP: Efficient Construction of Global Maps for Mobility-Assisted Wireless Sensor Networks
- On the Time-Complexity of Robust and Amnesic Storage
- MWM: A Map-based World Model for Wireless Sensor Abdelmajid Khelil, Faisal Karim Shaikh, Brahim Ayari and Neeraj Suri
- Execution Path Profiling for OS Device Drivers: Viability and Methodology
- 978-1-42 44-2100-8/08/$25.00 c 2008 IEEE A Comparative Study of Data Transport Protocols in Wireless Sensor Networks
- Dependable Embedded Systems & SW Group www.deeds.informatik.tu-darmstadt.de
- Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
- Neeraj Suri EU-NSF ICT March 2006
- A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time
- On the Impact of Injection Triggers for OS Robustness Evaluation Andreas Johansson, Neeraj Suri
- The Fail-Heterogeneous Architectural Model Marco Serafini and Neeraj Suri
- On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic HariGovind V. Ramasamy
- Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain
- On Detecting Termination in the Crash-Recovery Model
- On the Selection of Error Model(s) For OS Robustness Evaluation Andreas Johansson, Neeraj Suri
- On the Selection of ErrorOn the Selection of Error Model(sModel(s)) for OS Robustness Evaluationfor OS Robustness Evaluation
- Neeraj Suri EU-NSF ICT March 2006
- Dependable Embedded Systems & SW Group www.deeds.informatik.tu-darmstadt.de
- Tagungsband ME 2006 A SW-HW Integration Process for the Generation of
- FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments
- Termination Detection in an Asynchronous Distributed System with Crash-Recovery
- Closing the Gap in Failure Analysis Brendan Murphy Mario Garzia Neeraj Suri
- Closing the Gap inClosing the Gap in Failure AnalysisFailure Analysis
- Improving Robustness Testing of COTS OS Extensions
- Dependability Driven Integration of Mixed Criticality SW Components Shariful Islam, Robert Lindstrom and Neeraj Suri
- Dependable Embedded Systems & SW Group www.deeds.informatik.tu-darmstadt.de
- Error Propagation Profiling of Operating Systems
- 2006-05-12 Andras Johansson 1 DEEDS TU-Darmstadt
- On Enhancing the Robustness of Commercial Operating Systems
- Dependable Embedded Systems and Services: A Personal Crystalball Outlook Neeraj Suri
- A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs
- Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
- An Epidemic Model for Information Diffusion in MANETs Abdelmajid Khelil, Christian Becker, Jing Tian, Kurt Rothermel
- Component-Based Synthesis of Dependable Embedded Software
- PROPANE: An Environment for Examining the Propagation of Errors in Software
- On the Placement of Software Mechanisms for Detection of Data Errors Martin Hiller, Arshad Jhumka, Neeraj Suri
- SW Function Set #1 SW Function Set #i associations
- Building Blocks Consistency of Specification Across Building Blocks
- Error Recovery Using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation*
- An Experimental Comparison of Fault and Error Injection J. Christmansson
- On the Use of Formal Techniques for Validation Neeraj Suri and Purnendu Sinha
- Reliability Modeling of Large Fault-Tolerant Systems N. Suriy, M.M. Hugue, C.J. Walter
- Continual On-Line Diagnosis of Hybrid C. J. Walter, N. Suri and M. M. Hugue
- A Tool for Examining the Behaviour of Faults and Errors in Software
- MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments
- Efficient Robust Storage using Secret Tokens Technical Report TR-TUD-DEEDS-07-01-2009
- Neeraj Suri EU-NSF ICT March 2006
- Design Automation for Embedded Systems manuscript No. (will be inserted by the editor)
- Gossiping: Adaptive and Reliable Broadcasting in Abdelmajid Khelil and Neeraj Suri
- The Complexity of Robust Atomic Storage TU Darmstadt
- An Efficient TDMA Synchronization Approach for Distributed Embedded Vilgot Claesson
- TOM: Topology Oriented Maintenance in Sparse Wireless Sensor Networks
- DEEDS -DEPENDABLE, EMBEDDED AND DISTRIBUTED SYSTEMS Professor: Neeraj Suri
- Perturbation-Resilient Atomic Commit Protocols for Mobile Environments
- Continual OnLine Diagnosis of Hybrid Faults \Lambda
- Identification of Test Cases Using a Formal Approach \Lambda Purnendu Sinha and Neeraj Suri
- On Systematic Design of Globally Consistent Executable Assertions in Embedded Software
- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays
- Neeraj Suri EU-NSF ICT March 2006
- (Resources provided by other modules)
- Building Driver (StateBuilding Driver (StateSpace) ProfilesSpace) Profiles to Guide Testingto Guide Testing
- Department of Computer Scien TU Darmstadt
- Neeraj Suri EU-NSF ICT March 2006
- Time-Efficient Asynchronous Service Replication Vom Fachbereich Informatik der Technischen Universitat Darmstadt
- Executable Assertions for Detecting Data Errors in Embedded Control Systems* Martin Hiller
- On Building (and Sojourning) the State-space of Windows Device Drivers Constantin S^arbu and Neeraj Suri
- ExploitingSymmetriestoModelCheckFaultTolerantProtocols Diagnosis of a distributed system
- Map-Based Modeling and Design of Wireless Sensor Networks with OMNeT++
- A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems
- Abortable Fork-Linearizable Storage Matthias Majuntke, Dan Dobre, Marco Serafini, and Neeraj Suri
- LEHP: Localized Energy Hole Profiling in Wireless Sensor Networks Piotr Szczytowski, Abdelmajid Khelil, Neeraj Suri
- Efficient Model Checking of Fault-Tolerant Distributed Protocols Peter Bokor, Johannes Kinder, Marco Serafini and Neeraj Suri
- 2004-05-27 Andras Johansson 1 DEEDS TU-Darmstadt
- Synchronization Issues in RealTime Systems Neeraj Suri, Michelle M. Hugue and Chris J. Walter
- Profiling the Operational Behavior of OS Device Drivers Constantin S^arbu
- Exploring Delay-Aware Transactions in Heterogeneous Mobile Environments
- Diploma Thesis Integration of Event and Time-Triggered
- Cache Based Fault Recovery for Distributed Systems Avi Mendelson
- An Adaptive and Composite Spatio-Temporal Data Compression Approach for Wireless Sensor Networks
- Pter Bokor Part I: Quorum
- Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
- Fork-Consistent Constructions From Registers Matthias Majuntke,1
- Supporting Domain-Specific State Space Reductions
- Int. J. Autonomous and Adaptive Communications Systems, Vol. 5, No. 3, 2012 233 Efficient predictive monitoring of wireless sensor
- Efficient Verification of Fault-Tolerant Message-Passing Protocols
