A

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2011)
On the Design of Perturbation-Resilient Atomic Commit Protocols for Mobile Transactions.
In: ACM Transactions on Computer Systems
Article, Bibliographie

Ayari, Brahim (2010)
Perturbation-Resilient Atomic Commit Protocols for Mobile Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ali, Azad ; Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Suri, Neeraj (2010)
Effcient Predictive Monitoring of Wireless Sensor Networks.
In: Special Edition of "International Journal of Autonomous and Adaptive Communications Systems (IJAACS)"
Article, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Exploring Delay-Aware Transactions in Heterogenous Mobile Environments.
In: Journal of Software, Special Issue: Selected Papers of The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 4 (7)
Article, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Exploring Delay-Aware Transactions in Heterogeneous Mobile Environments.
In: Journal Of Software Special Issue: Selected Papers of The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 4
Article, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
Delay-Aware Mobile Transactions.
Conference or Workshop Item, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj ; Bleim, Eugen (2008)
Implementation and Evaluation of Delay-Aware and Fault-Tolerant Mobile Transactions.
Conference or Workshop Item, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC : An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Conference or Workshop Item, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Conference or Workshop Item, Bibliographie

Askerdal, Örjan ; Gäfvert, Magnus ; Hiller, Martin ; Suri, Neeraj (2003)
Analyzing the impacts of data errors in safety-critical control systems.
In: IEICE Transactions : Information and Systems : D, E86-D (12)
Article, Bibliographie

B

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
Conference or Workshop Item, Bibliographie

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Conference or Workshop Item, Bibliographie

Bokor, Peter ; Shukla, Sandeep ; Pataricza, András ; Suri, Neeraj (2008)
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
Conference or Workshop Item, Bibliographie

Buchmann, Alejandro ; Mühlhäuser, Max ; Suri, Neeraj (2007)
Middleware für Ambient Intelligence.
In: Thema Forschung, (1)
Article, Bibliographie

Bokor, Peter ; Serafini, Marco ; Sisak, Aron ; Pataricza, András ; Suri, Neeraj (2007)
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Conference or Workshop Item, Bibliographie

C

Coppik, Nicolas (2020)
Efficient Dependability Assessment of Systems Software.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011829
Ph.D. Thesis, Primary publication

Claesson, Vilgot ; Lönn, Henrik ; Suri, Neeraj (2004)
An efficient TDMA start-up and restart synchronization approach for distributed embedded systems.
In: IEEE Transactions on Parallel and Distributed Systems (TPDS), 15 (8)
doi: 10.1109/TPDS.2004.29
Article, Bibliographie

Claesson, Vilgot ; Ekeln, C. ; Suri, Neeraj (2003)
The event-triggered and time-triggered media access methods.
Conference or Workshop Item, Bibliographie

Christmansson, J. ; Hiller, Martin ; Rimen, M. (1998)
An Experimental Comparison of Fault and Error Injection.
Conference or Workshop Item, Bibliographie

Claesson, V. ; Poledna, S. ; Söderberg, J. (1998)
The XBW Model for Dependable Real-Time Systems.
Conference or Workshop Item, Bibliographie

Claesson, Vilgot (1997)
Prototype Implementation Using the XBW Software Model.
Conference or Workshop Item, Bibliographie

D

Dobre, Dan (2010)
Time-Efficient Asynchronous Service Replication.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

D'Antonio, Salvatore ; Romano, Luigi ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Increasing Security and Protection of SCADA Systems through Infrastructure Resilience.
In: International Journal of System of Systems Engineering (IJSSE)
Article, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Serafini, Marco ; Suri, Neeraj (2009)
Efficient Robust Storage Using Secret Tokens.
Conference or Workshop Item, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
On the Time-Complexity of Robust and Amnesic Storage.
Conference or Workshop Item, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
Low-latency access to robust amnesic storage.
Conference or Workshop Item, Bibliographie

D'Antonio, Salvatore ; Khelil, Abdelmajid ; Romano, Luigi ; Suri, Neeraj (2008)
INcreasing Security and Protection through Infrastructure REsilience: the INSPIRE Project.
Conference or Workshop Item, Bibliographie

Dobre, Dan ; Ramasamy, Hari Govind ; Suri, Neeraj (2007)
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
Conference or Workshop Item, Bibliographie

Dobre, Dan ; Suri, Neeraj (2006)
One-step Consensus with Zero-Degradation.
Conference or Workshop Item, Bibliographie

Dobre, Dan ; Suri, Neeraj (2005)
One-step consensus with zero-degradation.
Report, Bibliographie

F

Feng, Tan ; Wang, Qixin ; Bu, Lei ; Zheng, Rong ; Wang, Yufei ; Suri, Neeraj (2013)
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach.
Conference or Workshop Item, Bibliographie

Freiling, Felix C. ; Majuntke, Matthias ; Mittal, Neeraj (2007)
On Detecting Termination in the Crash-Recovery Model.
Conference or Workshop Item, Bibliographie

Fetzer, Christof ; Högstedt, Karin ; Suri, Neeraj (2004)
Practical aspects of designing an IP take over mechanism.
Conference or Workshop Item, Bibliographie

G

Germanus, Daniel (2015)
Increasing Structured P2P Protocol Resilience to Localized Attacks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Germanus, Daniel ; Suri, Neeraj ; Johansson, Andreas
eds.: Raghav Rao, H. ; Whinston, Andrew B. (2009)
Threat Modeling and Dynamic Profiling of Networked Applications.
In: Information Assurance, Security and Privacy Services
Book Section, Bibliographie

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj
eds.: Raghav Rao, H. ; Upadhyaya, Shambhu ; Whinston, Andrew (2009)
Information Assurance, Security and Privacy Services.
Book Section, Bibliographie

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj (2009)
Threat Modeling and Dynamic Profiling.
Book Section, Bibliographie

H

Herzner, Wolfgang ; Schlager, Martin ; Le Sergent, Thierry ; Huber, Bernhard ; Islam, Shariful ; Suri, Neeraj ; Balogh, András (2006)
From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain.
Conference or Workshop Item, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2005)
Tracking the propagation of data errors in software.
In: Dependable computing systems : paradigms, performance issues, and applications
Book Section, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj
eds.: Zomaya, Albert ; Diab, Hassan (2005)
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
Book Section, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2004)
EPIC : profiling the propagation and effect of data errors in software.
In: IEEE Transactions on computers, 53 (5)
doi: 10.1109/TC.2004.1275294
Article, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2003)
Software profiling for designing dependable systems.
Conference or Workshop Item, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2001)
An Approach for Analysing the Propagation of Data Errors in Software.
Conference or Workshop Item, Bibliographie

Hiller, Martin (2000)
Executable Assertions for Detecting Data Errors in Embedded Control Systems.
Conference or Workshop Item, Bibliographie

Hiller, Martin (1999)
Error Recovery Using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.
Conference or Workshop Item, Bibliographie

I

Ismail, Hatem (2018)
Analyzing and Mitigating Security Threats in P2P Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Islam, Shariful (2009)
Dependability driven system level co-design and optimization of embedded systems.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Islam, Shariful ; Suri, Neeraj ; Balogh, Andras ; Csertan, György ; Pataricza, András (2009)
An Optimization Based Design for Integrated Dependable Real-Time Embedded Systems.
In: Journal of Design Automation for Embedded Systems, 4 (13)
Article, Bibliographie

Islam, Shariful (2008)
Dependability Driven System Level Co-Design and Optimization of Embedded Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Islam, Shariful ; Lindström, Robert ; Suri, Neeraj (2006)
Dependability Driven Integration of Mixed Criticality SW Components.
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06). Gyeongju, Korea (South) (24.04.2006-26.04.2006)
doi: 10.1109/ISORC.2006.26
Conference or Workshop Item, Bibliographie

Islam, Shariful ; Csertán, György ; Balogh, András ; Herzner, Wolfgang ; Le Sergent, Thierry ; Pataricza, András ; Suri, Neeraj (2006)
A SW-HW Integration Process for the Generation of Platform Specific Models.
Conference or Workshop Item, Bibliographie

Islam, Shariful ; Lindstrom, Robert ; Suri, Neeraj (2005)
Dependability driven integration of mixed critically SW components.
Report, Bibliographie

J

Johansson, Andreas ; Suri, Neeraj
eds.: Qian, Yi ; Joshi, James ; Tipper, David ; Krishnamurthy, Prashant (2007)
Information Assurance: Dependability and Security in Networked Systems.
Book Section, Bibliographie

Jhumka, Arshad ; Freiling, Felix ; Fetzer, Christof ; Suri, Neeraj (2006)
An approach to synthesize safe systems.
In: International Journal of Security and Networks, 1 (1/2)
doi: 10.1504/IJSN.2006.010824
Article, Bibliographie

Johansson, Andreas ; Suri, Neeraj (2005)
Error propagation profiling of operating systems.
Report, Bibliographie

Johansson, Andreas ; Suri, Neeraj (2005)
Error propagation profiling of operating systems.
Conference or Workshop Item, Bibliographie

Jhumka, Arshad ; Suri, Neeraj (2005)
Designing efficient fail-safe multi-tolerant systems.
25th IFIP WG 6.1 International Conference. Taipei, Taiwan (02.10.2005-05.10.2005)
doi: 10.1007/11562436_31
Conference or Workshop Item, Bibliographie

Jhumka, Arshad ; Hiller, Martin ; Suri, Neeraj (2003)
A framework for the design and validation of efficient fail-safe fault-tolerant programs.
Conference or Workshop Item, Bibliographie

Jhumka, A. ; Hiller, Martin ; Suri, Neeraj (2001)
Assessing Inter-Modular Error Propagation in Distributed Software.
Conference or Workshop Item, Bibliographie

K

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ali, Azad ; Suri, Neeraj (2009)
gMAP: An Efficient Construction of Global Maps for Mobility- Assisted Wireless Sensor Networks.
In: Sixth International Conference on Wireless On Demand Network Systems and Services (WONS 2009) : 2 - 4 Feb. 2009, Snowbird, Utah
Book Section, Bibliographie

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Szczytowski, Piotr ; Ayari, Brahim ; Suri, Neeraj (2009)
Map-based Design for Autonomic Wireless Sensor Networks.
Book, Bibliographie

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ayari, Brahim ; Suri, Neeraj (2008)
MWM: A Map-based World Model for Event-driven Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie

Kropff, M. ; Reinl, Christian ; Listmann, Kim D. ; Petersen, Karen ; Radkhah, K. ; Shaikh, F. K. ; Herzog, Arthur ; Strobel, A. ; Jacobi, D. ; Stryk, Oskar von (2008)
MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments.
1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots. Venice, Italy (03.11.2008-06.11.2008)
doi: 10.1007/978-3-540-89076-8_8
Conference or Workshop Item, Bibliographie

Khelil, Abdelmajid ; Suri, Neeraj (2007)
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
Conference or Workshop Item, Bibliographie

Khelil, Abdelmajid (2007)
Contact-Based Buffering for Delay-Tolerant Ad Hoc Broadcasting.
In: Special issue of the Computer Communications Journal on "Advances in Communication Networking"
Article, Bibliographie

Khelil, Abdelmajid ; Marrón, P. J. ; Becker, C. ; Rothermel, K. (2007)
Hypergossiping: A Generalized Broadcast Strategy for MANETs.
In: Elsevier Ad Hoc Networks Journal, 5 (5)
Article, Bibliographie

Kopetz, Hermann ; Suri, Neeraj (2004)
On the limits of the precise specification of component interfaces.
Conference or Workshop Item, Bibliographie

Kopetz, Hermann ; Suri, Neeraj (2003)
Compositional design of real-time systems : a conceptual basis for specification of linking interfaces.
Conference or Workshop Item, Bibliographie

Kanoun, K. ; Arlat, J. ; Costa, D. J. G. ; DalCin, M. ; Gil, P. ; Laprie, J.-C. ; Madeira, H. ; Suri, Neeraj (2001)
DBench (Dependability Benchmarking).
International Conference on Dependable Systems and Networks (DSN). Göteborg (01.07.2001-04.07.2001)
Conference or Workshop Item, Bibliographie

L

Lu, Zheng (2018)
Client-server system for web-based visualisation and animation of learning content.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Luna, Jesus ; Vateva-Gurova, Tsvetoslava ; Suri, Neeraj ; Rak, Massimiliano ; Liccardo, Loredana (2013)
Negotiating and Brokering Cloud Resources based on Security Level Agreements.
Conference or Workshop Item, Bibliographie

Luna, Jesus ; Ghani, Hamza ; Vateva-Gurova, Tsvetoslava ; Suri, Neeraj (2012)
Quantitative Assessment of Cloud Security Level Agreements: A Case Study.
Conference or Workshop Item, Bibliographie

Luna, Jesus ; Suri, Neeraj ; Krontiris, Ioannis (2012)
Privacy-by-Design Based on Quantitative Threat Modeling.
Conference or Workshop Item, Bibliographie

Luna, Jesus ; Langenberg, Robert ; Suri, Neeraj (2012)
Benchmarking Cloud Security Level Agreements Using Quantitative Policy Trees.
Conference or Workshop Item, Bibliographie

M

Mahmudimanesh, Mohammadreza (2015)
Efficient Saptio-Temporal Sampling in Wireless Sensor Networks Based on Compressive Sampling.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Majuntke, Matthias (2012)
Data Consistency and Coordination for Untrusted Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mahmudimanesh, Mohammadreza ; Khelil, Abdelmajid ; Yazdani, N. (2009)
Map-based Compressive Sensing Model for Wireless Sensor Network Architecture, A Starting Point.
Conference or Workshop Item, Bibliographie

Majuntke, Matthias ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj (2009)
Abortable Fork-Linearizable Storage.
Conference or Workshop Item, Bibliographie

Mendelson, Avi ; Suri, Neeraj (2000)
Designing High-Performance & Reliable Superscalar Architectures: The Out of Order Reliable Superscalar (O3Rs) Approach.
Conference or Workshop Item, Bibliographie

Mendelson, Avi ; Suri, Neeraj (1997)
Cache Based Fault Recovery in Distributed Systems.
Conference or Workshop Item, Bibliographie

Mendelson, Avi ; Suri, Neeraj (1995)
Roll-Forward Recovery: The Bi-Directional Cache Approach.
Conference or Workshop Item, Bibliographie

P

Piper, Thorsten (2015)
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

S

Schwahn, Oliver (2019)
On the Efficient Design and Testing of Dependable Systems Software.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Saissi, Habib (2019)
On the Application of Formal Techniques for Dependable Concurrent Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Suri, Neeraj ; Ghani, Hamza ; Garcia, Jesus Luna ; Petkov, Ivaylo (2014)
User-Centric Security Assessment of Software Configurations: A Case Study.
Munich, Germany
Conference or Workshop Item, Bibliographie

Szczytowski, Piotr (2013)
Wireless Sensor Networks Maintenance Framework.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Serafini, Marco ; Bokor, Peter ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2011)
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions on Dependable and Secure Computing, 8 (2)
doi: 10.1109/TDSC.2010.23
Article, Bibliographie

Serafini, Marco (2010)
Efficient and Low-Cost Fault Tolerance for Web-Scale Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Shaikh, Faisal Karim (2010)
Tunable Reliability of Information Transport in Wireless Sensor Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Ali, Azad ; Suri, Neeraj (2010)
ReCait: Reliable COngestion Aware Information Transport in Wireless Sensor Networks.
In: SI"Scalable Wireless Networks" of the International Journal of Communication Networks and Distributed Systems (IJCNDS)
Article, Bibliographie

Szczytowski, Piotr ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
Map-based Support for Wireless Sensor Network Simulation.
In: Journal of Networks
Article, Bibliographie

Suri, Neeraj ; Jhumka, Arshad ; Hiller, Martin ; Pataricza, András ; Islam, Shariful ; Sârbu, Constantin (2010)
A Software Integration Approach for Designing and Assessing Dependable Embedded Systems.
In: Journal of Systems and Software, 83 (10)
doi: 10.1016/j.jss.2010.04.063
Article, Bibliographie

Suri, Neeraj ; Sinha, Purnendu (2010)
Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.
In: Journal of Software
Article, Bibliographie

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nachiappan (2009)
Profiling the Operational Behavior of OS Device Drivers.
In: Journal of Empirical Software Engineering, 15 (4)
Article, Bibliographie

Sarbu, Constantin (2009)
Operational Profiling of OS Drivers.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Sârbu, Constantin (2009)
Operational Profiling of OS Drivers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Sârbu, Constantin (2009)
Operational Profiling of OS Drivers.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid (2009)
MAP++: Support for Map-Based WSN Modeling and Designwith OMNeT++.
2nd International Workshop on OMNeT++. Rome, Italy (06.03.2009-06.03.2009)
Conference or Workshop Item, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
AReIT: Adaptable Reliable Information Transport for Service Availability in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie

Sârbu, Constantin ; Nagappan, Nachiappan ; Suri, Neeraj (2009)
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
Conference or Workshop Item, Bibliographie

Sarbu, Constantin ; Winter, Stefan ; Nagappan, Nachiappan ; Suri, Neeraj (2009)
OS Driver Test Effort Reduction via Operational Profiling.
International Symposium on Software Reliability Engineering (ISSRE). Bengaluru-Mysuru, India (16.11.2009-19.11.2009)
Conference or Workshop Item, Bibliographie

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid
ed.: Obaidat, Mohammad S. (2009)
Map-Based Modeling and Design of Wireless SensorNetworks with OMNeT++.
International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2009). Istanbul, Turkey (13.07.2009-16.07.2009)
Conference or Workshop Item, Bibliographie

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nachiappan (2008)
Profiling the Operational Behavior of OS Device Drivers.
19th International Symposium on Software Reliability Engineering (ISSRE). Seattle, USA (10.11.2008 - 14.11.2008)
doi: 10.1109/ISSRE.2008.14
Conference or Workshop Item, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
A Comparative study of Data Transport Protocols in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie

Serafini, Marco ; Suri, Neeraj (2008)
Reducing the Costs of Large-Scale BFT Replication.
Conference or Workshop Item, Bibliographie

Sakurai, Kohei ; Bokor, Peter ; Suri, Neeraj (2008)
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
Conference or Workshop Item, Bibliographie

Sârbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008)
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
Conference or Workshop Item, Bibliographie

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008)
On Identifying Execution Hotspots in Kernel-mode Device Drivers.
International Conference on Dependable Systems and Networks (DSN). Anchorage, AK (24.06.2008-27.06.2008)
Conference or Workshop Item, Bibliographie

Serafini, Marco ; Suri, Neeraj ; Bondavalli, Andrea (2007)
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4)
Article, Bibliographie

Serafini, Marco ; Bondavalli, Andrea ; Suri, Neeraj (2007)
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4)
Article, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
On Modeling the Reliability of Data Transport in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
Conference or Workshop Item, Bibliographie

Serafini, Marco ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2007)
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
Conference or Workshop Item, Bibliographie

Serafini, Marco ; Suri, Neeraj (2007)
The Fail-Heterogeneous Architectural Model.
Conference or Workshop Item, Bibliographie

Sârbu, Constantin ; Suri, Neeraj (2007)
Runtime Behavior-based Profiling of OS Drivers.
Report, Bibliographie

Sarbu, Constantin (2006)
Behavior-Driven Testing of Windows Device Drivers.
36th International Conference on Dependable Systems and Networks (DSN-2006). Philadelphia, USA (25.06.2006 - 28.06.2006)
Conference or Workshop Item, Bibliographie

Sârbu, Constantin ; Johansson, Andreas ; Fraikin, Falk ; Suri, Neeraj (2006)
Improving Robustness Testing of COTS OS Extensions.
Conference or Workshop Item, Bibliographie

Suri, Neeraj (2003)
Challenges for dependable embedded systems : developing the information society infrastructure.
Conference or Workshop Item, Bibliographie

Suri, Neeraj ; Mendelson, A. (2001)
Design of a parallel interconnect based on communication pattern consideration.
In: Parallel Algorithms and Applications, 16 (4)
doi: 10.1080/01495730108935273
Article, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (2001)
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
Conference or Workshop Item, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
Conference or Workshop Item, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
Identification of Test Cases Using a Formal FI Approach.
Conference or Workshop Item, Bibliographie

Suri, Neeraj ; Sinha, Purnendu (1998)
On the Use of Formal Techniques for Validation.
Conference or Workshop Item, Bibliographie

Suri, Neeraj ; Hugue, M. M. ; Walter, Chris J. (1995)
Advances in Ultra-Dependable Distributed Systems.
Book Section, Bibliographie

Suri, Neeraj (1995)
A System Level On-Line Testing Approach.
Conference or Workshop Item, Bibliographie

Suri, Neeraj ; Mendelson, Avi ; Pradhan, D. K. (1991)
BDG-Torus Union Graph: An Algorithmically Specialized Parallel Interconnect.
Conference or Workshop Item, Bibliographie

T

Timor, Avi ; Mendelson, Avi ; Birk, Yitzhak ; Suri, Neeraj (2010)
Using Under-Utilized CPU Resources to Enhance its Reliability.
In: IEEE Transaction on Dependable and Secure Computing, 7 (1)
Article, Bibliographie

V

Vateva-Gurova, Tsvetoslava (2020)
Analysis and Detection of Cache-Based Exploits.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00009770
Ph.D. Thesis, Primary publication

W

Winter, Stefan (2015)
On the Utility of Higher Order Fault Models for Fault Injections.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Winter, Stefan (2015)
On the Utility of Higher Order Fault Models for Fault Injections.
Book, Primary publication

Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; Suri, Neeraj (2013)
Software Fault Injections: From Single to Simultaneous Faults.
Conference or Workshop Item, Bibliographie

Winter, Stefan ; Sarbu, Constantin ; Murphy, Brendan ; Suri, Neeraj (2011)
The Impact of Fault Models on Software Robustness Evaluations.
Conference or Workshop Item, Bibliographie

Winter, Stefan ; Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2009)
Impact of Error Models on OS Robustness Evaluations.
Conference or Workshop Item, Bibliographie

Winter, Stefan (2009)
Choosing Error Models for OS Robustness Evaluations.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Winter, Stefan (2009)
Choosing Error Models for OS Robustness Evaluations.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Walter, Chris J. ; Suri, Neeraj (2003)
The customizable fault/error model for dependable distributed systems.
In: Theoretical Computer Science, 290 (2)
doi: 10.1016/S0304-3975(01)00203-1
Article, Bibliographie

Walter, Chris J. ; Suri, Neeraj ; Monaghan, T. (2000)
Evaluation of COTS Standards for Dependable Systems Design.
Conference or Workshop Item, Bibliographie

Walter, Chris J. ; Lincoln, Patrick ; Suri, Neeraj (1997)
Formally verified on-line diagnosis.
In: IEEE transactions on software engineering
Article, Bibliographie

Walter, Chris J. ; Suri, Neeraj (1995)
Dependability Issues in the Reuse of Standard Components in Open Architectures.
Conference or Workshop Item, Bibliographie

Walter, Chris ; Hugue, M. ; Suri, Neeraj (1994)
Continual On-Line Diagnosis of Hybrid Faults.
Conference or Workshop Item, Bibliographie

Walter, Chris ; Suri, Neeraj (1993)
Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach.
Conference or Workshop Item, Bibliographie

Z

Zhang, Heng (2019)
On the Effective Use of Data Dependency for Reliable Cloud Service Monitoring.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication