TU Darmstadt / ULB / TUbiblio

Items in division

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | B | C | D | F | G | H | I | J | K | L | M | P | S | T | V | W | Z
Number of items at this level (without sub-levels): 143.

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

Ayari, Brahim (2010)
Perturbation-Resilient Atomic Commit Protocols for Mobile Environments.
TU 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

D

Dobre, Dan (2010)
Time-Efficient Asynchronous Service Replication.
TU 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

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

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

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

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

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

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

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

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

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

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

G

Germanus, Daniel (2015)
Increasing Structured P2P Protocol Resilience to Localized Attacks.
TU 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

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

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

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

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2005)
Tracking the propagation of data errors in software.
In: Dependable computing systems : paradigms, performance issues, and applications / ed. by Hassan B. Diab and Albert Y. Zomaya.- Hoboken, NJ [u.a.] : Wiley, 2005.- XXXIX, 638 S.- (Wiley series on parallel and distributed computing).- ISBN: 0-471-67422-2
Book Section

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

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

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

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

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

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

I

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

Islam, Shariful (2009)
Dependability driven system level co-design and optimization of embedded systems.
TU Darmstadt
Ph.D. Thesis

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

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

Islam, Shariful ; Lindström, Robert ; Suri, Neeraj (2006)
Dependability Driven Integration of Mixed Criticality SW Components.
Conference or Workshop Item

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

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

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

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

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

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

Jhumka, Arshad ; Suri, Neeraj (2005)
Designing efficient fail-safe multi-tolerant systems.
Conference or Workshop Item

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

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

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

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

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

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.-06.11.2008)
doi: 10.1007/978-3-540-89076-8_8
Conference or Workshop Item

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

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

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

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

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

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 (1.-4. July 2001)
Conference or Workshop Item

L

Lu, Zheng (2018)
Client-server system for web-based visualisation and animation of learning content.
Technische Universität
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

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

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

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

M

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

Majuntke, Matthias (2012)
Data Consistency and Coordination for Untrusted Environments.
TU Darmstadt, Fachbereich Informatik
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

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

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

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

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

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
Ph.D. Thesis, Primary publication

Saissi, Habib (2019)
On the Application of Formal Techniques for Dependable Concurrent Systems.
Technische Universität
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

Szczytowski, Piotr (2013)
Wireless Sensor Networks Maintenance Framework.
TU Darmstadt
Ph.D. Thesis, Primary publication

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

Shaikh, Faisal Karim (2010)
Tunable Reliability of Information Transport in Wireless Sensor Networks.
TU 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

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

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

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

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

Sarbu, Constantin (2009)
Operational Profiling of OS Drivers.
TU Darmstadt
Ph.D. Thesis

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

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

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

Serafini, Marco ; Bokor, Peter ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2009)
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions On Dependable & Secure Computing
Article

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

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

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 - 19 November 2009)
Conference or Workshop Item

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 - 16 July 2009)
Conference or Workshop Item

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nachiappan (2008)
Profiling the Operational Behavior of OS Device Drivers.
In: 19th International Symposium on Software Reliability Engineering (ISSRE)
doi: 10.1109/ISSRE.2008.14
Book Section

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

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

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

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

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 - 27 June 2008)
Conference or Workshop Item

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

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

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

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

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

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

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

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

Sârbu, Constantin (2006)
Behavior-Driven Testing of Windows Device Drivers (fast Abstract).
Conference or Workshop Item

Sarbu, Constantin (2006)
Behavior-Driven Testing of Windows Device Drivers.
International Conference on Dependable Systems and Networks (DSN). Philadelphia (25-28 June, 2006)
Conference or Workshop Item

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

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

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

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

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

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

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

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

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

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

V

Vateva-Gurova, Tsvetoslava (2020)
Analysis and Detection of Cache-Based Exploits.
Technische Universität
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.
TU 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

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

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

Winter, Stefan (2009)
Choosing Error Models for OS Robustness Evaluations.
Department of Computer Science, TU Darmstadt
Master Thesis

Winter, Stefan (2009)
Choosing Error Models for OS Robustness Evaluations.
Department of Computer Science, TU Darmstadt
Master Thesis

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

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

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

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

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

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

Z

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

This list was generated on Thu Nov 30 00:58:16 2023 CET.