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
Artikel, Bibliographie

Ayari, Brahim (2010)
Perturbation-Resilient Atomic Commit Protocols for Mobile Environments.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)"
Artikel, 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)
Artikel, 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
Artikel, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
Delay-Aware Mobile Transactions.
Konferenzveröffentlichung, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj ; Bleim, Eugen (2008)
Implementation and Evaluation of Delay-Aware and Fault-Tolerant Mobile Transactions.
Konferenzveröffentlichung, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC : An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Konferenzveröffentlichung, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Konferenzveröffentlichung, 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)
Artikel, Bibliographie

B

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

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

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

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

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

C

Coppik, Nicolas (2020)
Efficient Dependability Assessment of Systems Software.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011829
Dissertation, Erstveröffentlichung

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
Artikel, Bibliographie

Claesson, Vilgot ; Ekeln, C. ; Suri, Neeraj (2003)
The event-triggered and time-triggered media access methods.
Konferenzveröffentlichung, Bibliographie

Christmansson, J. ; Hiller, Martin ; Rimen, M. (1998)
An Experimental Comparison of Fault and Error Injection.
Konferenzveröffentlichung, Bibliographie

Claesson, V. ; Poledna, S. ; Söderberg, J. (1998)
The XBW Model for Dependable Real-Time Systems.
Konferenzveröffentlichung, Bibliographie

Claesson, Vilgot (1997)
Prototype Implementation Using the XBW Software Model.
Konferenzveröffentlichung, Bibliographie

D

Dobre, Dan (2010)
Time-Efficient Asynchronous Service Replication.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)
Artikel, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Serafini, Marco ; Suri, Neeraj (2009)
Efficient Robust Storage Using Secret Tokens.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
On the Time-Complexity of Robust and Amnesic Storage.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
Low-latency access to robust amnesic storage.
Konferenzveröffentlichung, Bibliographie

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

Dobre, Dan ; Ramasamy, Hari Govind ; Suri, Neeraj (2007)
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Suri, Neeraj (2006)
One-step Consensus with Zero-Degradation.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Freiling, Felix C. ; Majuntke, Matthias ; Mittal, Neeraj (2007)
On Detecting Termination in the Crash-Recovery Model.
Konferenzveröffentlichung, Bibliographie

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

G

Germanus, Daniel (2015)
Increasing Structured P2P Protocol Resilience to Localized Attacks.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

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

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj (2009)
Threat Modeling and Dynamic Profiling.
Buchkapitel, 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.
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj
Hrsg.: Zomaya, Albert ; Diab, Hassan (2005)
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
Buchkapitel, 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
Artikel, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2003)
Software profiling for designing dependable systems.
Konferenzveröffentlichung, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2001)
An Approach for Analysing the Propagation of Data Errors in Software.
Konferenzveröffentlichung, Bibliographie

Hiller, Martin (2000)
Executable Assertions for Detecting Data Errors in Embedded Control Systems.
Konferenzveröffentlichung, Bibliographie

Hiller, Martin (1999)
Error Recovery Using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.
Konferenzveröffentlichung, Bibliographie

I

Ismail, Hatem (2018)
Analyzing and Mitigating Security Threats in P2P Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Islam, Shariful (2009)
Dependability driven system level co-design and optimization of embedded systems.
Technische Universität Darmstadt
Dissertation, 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)
Artikel, Bibliographie

Islam, Shariful (2008)
Dependability Driven System Level Co-Design and Optimization of Embedded Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

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

J

Johansson, Andreas ; Suri, Neeraj
Hrsg.: Qian, Yi ; Joshi, James ; Tipper, David ; Krishnamurthy, Prashant (2007)
Information Assurance: Dependability and Security in Networked Systems.
Buchkapitel, 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
Artikel, 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.
Konferenzveröffentlichung, Bibliographie

Jhumka, Arshad ; Suri, Neeraj (2005)
Designing efficient fail-safe multi-tolerant systems.
Konferenzveröffentlichung, Bibliographie

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

Jhumka, A. ; Hiller, Martin ; Suri, Neeraj (2001)
Assessing Inter-Modular Error Propagation in Distributed Software.
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

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

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ayari, Brahim ; Suri, Neeraj (2008)
MWM: A Map-based World Model for Event-driven Wireless Sensor Networks.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Khelil, Abdelmajid ; Suri, Neeraj (2007)
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
Konferenzveröffentlichung, 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"
Artikel, 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)
Artikel, Bibliographie

Kopetz, Hermann ; Suri, Neeraj (2004)
On the limits of the precise specification of component interfaces.
Konferenzveröffentlichung, Bibliographie

Kopetz, Hermann ; Suri, Neeraj (2003)
Compositional design of real-time systems : a conceptual basis for specification of linking interfaces.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

L

Lu, Zheng (2018)
Client-server system for web-based visualisation and animation of learning content.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

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

Luna, Jesus ; Suri, Neeraj ; Krontiris, Ioannis (2012)
Privacy-by-Design Based on Quantitative Threat Modeling.
Konferenzveröffentlichung, Bibliographie

Luna, Jesus ; Langenberg, Robert ; Suri, Neeraj (2012)
Benchmarking Cloud Security Level Agreements Using Quantitative Policy Trees.
Konferenzveröffentlichung, Bibliographie

M

Mahmudimanesh, Mohammadreza (2015)
Efficient Saptio-Temporal Sampling in Wireless Sensor Networks Based on Compressive Sampling.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Majuntke, Matthias (2012)
Data Consistency and Coordination for Untrusted Environments.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Mahmudimanesh, Mohammadreza ; Khelil, Abdelmajid ; Yazdani, N. (2009)
Map-based Compressive Sensing Model for Wireless Sensor Network Architecture, A Starting Point.
Konferenzveröffentlichung, Bibliographie

Majuntke, Matthias ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj (2009)
Abortable Fork-Linearizable Storage.
Konferenzveröffentlichung, Bibliographie

Mendelson, Avi ; Suri, Neeraj (2000)
Designing High-Performance & Reliable Superscalar Architectures: The Out of Order Reliable Superscalar (O3Rs) Approach.
Konferenzveröffentlichung, Bibliographie

Mendelson, Avi ; Suri, Neeraj (1997)
Cache Based Fault Recovery in Distributed Systems.
Konferenzveröffentlichung, Bibliographie

Mendelson, Avi ; Suri, Neeraj (1995)
Roll-Forward Recovery: The Bi-Directional Cache Approach.
Konferenzveröffentlichung, Bibliographie

P

Piper, Thorsten (2015)
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

S

Schwahn, Oliver (2019)
On the Efficient Design and Testing of Dependable Systems Software.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Saissi, Habib (2019)
On the Application of Formal Techniques for Dependable Concurrent Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

Szczytowski, Piotr (2013)
Wireless Sensor Networks Maintenance Framework.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Artikel, Bibliographie

Serafini, Marco (2010)
Efficient and Low-Cost Fault Tolerance for Web-Scale Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Shaikh, Faisal Karim (2010)
Tunable Reliability of Information Transport in Wireless Sensor Networks.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)
Artikel, Bibliographie

Szczytowski, Piotr ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
Map-based Support for Wireless Sensor Network Simulation.
In: Journal of Networks
Artikel, 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
Artikel, Bibliographie

Suri, Neeraj ; Sinha, Purnendu (2010)
Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.
In: Journal of Software
Artikel, 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)
Artikel, Bibliographie

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

Sârbu, Constantin (2009)
Operational Profiling of OS Drivers.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Sârbu, Constantin (2009)
Operational Profiling of OS Drivers.
Technische Universität Darmstadt
Dissertation, 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)
Konferenzveröffentlichung, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
AReIT: Adaptable Reliable Information Transport for Service Availability in Wireless Sensor Networks.
Konferenzveröffentlichung, Bibliographie

Sârbu, Constantin ; Nagappan, Nachiappan ; Suri, Neeraj (2009)
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid
Hrsg.: 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
A Comparative study of Data Transport Protocols in Wireless Sensor Networks.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj (2008)
Reducing the Costs of Large-Scale BFT Replication.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Sârbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008)
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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)
Artikel, 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)
Artikel, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
On Modeling the Reliability of Data Transport in Wireless Sensor Networks.
Konferenzveröffentlichung, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj (2007)
The Fail-Heterogeneous Architectural Model.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Sârbu, Constantin ; Johansson, Andreas ; Fraikin, Falk ; Suri, Neeraj (2006)
Improving Robustness Testing of COTS OS Extensions.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj (2003)
Challenges for dependable embedded systems : developing the information society infrastructure.
Konferenzveröffentlichung, 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
Artikel, Bibliographie

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

Sinha, Purnendu ; Suri, Neeraj (1999)
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
Konferenzveröffentlichung, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
Identification of Test Cases Using a Formal FI Approach.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj ; Sinha, Purnendu (1998)
On the Use of Formal Techniques for Validation.
Konferenzveröffentlichung, Bibliographie

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

Suri, Neeraj (1995)
A System Level On-Line Testing Approach.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj ; Mendelson, Avi ; Pradhan, D. K. (1991)
BDG-Torus Union Graph: An Algorithmically Specialized Parallel Interconnect.
Konferenzveröffentlichung, 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)
Artikel, Bibliographie

V

Vateva-Gurova, Tsvetoslava (2020)
Analysis and Detection of Cache-Based Exploits.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00009770
Dissertation, Erstveröffentlichung

W

Winter, Stefan (2015)
On the Utility of Higher Order Fault Models for Fault Injections.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Winter, Stefan (2015)
On the Utility of Higher Order Fault Models for Fault Injections.
Buch, Erstveröffentlichung

Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; Suri, Neeraj (2013)
Software Fault Injections: From Single to Simultaneous Faults.
Konferenzveröffentlichung, Bibliographie

Winter, Stefan ; Sarbu, Constantin ; Murphy, Brendan ; Suri, Neeraj (2011)
The Impact of Fault Models on Software Robustness Evaluations.
Konferenzveröffentlichung, Bibliographie

Winter, Stefan ; Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2009)
Impact of Error Models on OS Robustness Evaluations.
Konferenzveröffentlichung, Bibliographie

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

Winter, Stefan (2009)
Choosing Error Models for OS Robustness Evaluations.
Technische Universität Darmstadt
Masterarbeit, 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
Artikel, Bibliographie

Walter, Chris J. ; Suri, Neeraj ; Monaghan, T. (2000)
Evaluation of COTS Standards for Dependable Systems Design.
Konferenzveröffentlichung, Bibliographie

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

Walter, Chris J. ; Suri, Neeraj (1995)
Dependability Issues in the Reuse of Standard Components in Open Architectures.
Konferenzveröffentlichung, Bibliographie

Walter, Chris ; Hugue, M. ; Suri, Neeraj (1994)
Continual On-Line Diagnosis of Hybrid Faults.
Konferenzveröffentlichung, Bibliographie

Walter, Chris ; Suri, Neeraj (1993)
Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach.
Konferenzveröffentlichung, Bibliographie

Z

Zhang, Heng (2019)
On the Effective Use of Data Dependency for Reliable Cloud Service Monitoring.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung