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
Number of items at this level: 146.

Article

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

Timor, Avi and Mendelson, Avi and Birk, Yitzhak and Suri, Neeraj (2010):
Using Under-Utilized CPU Resources to Enhance its Reliability.
In: IEEE Transaction on Dependable and Secure Computing, pp. pp. 94-109, vol. 7, (no. 1), [Article]

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

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

Suri, Neeraj and Jhumka, Arshad and Hiller, Martin and Pataricza, András and Islam, Shariful and Sârbu, Constantin (2010):
A Software Integration Approach for Designing and Assessing Dependable Embedded Systems.
In: Journal of Systems and Software, Elsevier, pp. 1780-1800, 83, (10), ISSN 0164-1212,
DOI: 10.1016/j.jss.2010.04.063,
[Article]

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

Shaikh, Faisal Karim and Khelil, Abdelmajid and Ali, Azad and 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]

Sarbu, Constantin and Johansson, Andreas and Suri, Neeraj and Nagappan, Nachiappan (2009):
Profiling the Operational Behavior of OS Device Drivers.
In: Journal of Empirical Software Engineering, Special Issue: Selected p, [Article]

Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions on Dependable and Secure Computing, pp. to appear, to app, (to app), [Article]

Ayari, Brahim and Khelil, Abdelmajid and 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, pp. 634-643, 4, (7), [Article]

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

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

Ayari, Brahim and Khelil, Abdelmajid and 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, Academy Publisher, pp. 634-643, 4, [Article]

D'Antonio, Salvatore and Romano, Luigi and Khelil, Abdelmajid and Suri, Neeraj (2009):
Increasing Security and Protection of SCADA Systems through Infrastructure Resilience.
In: International Journal of System of Systems Engineering (IJSSE), INDERSCIENCE, ISSN 1748-0671,
[Article]

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

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 and Marrón, P. J. and Becker, C. and Rothermel, K. (2007):
Hypergossiping: A Generalized Broadcast Strategy for MANETs.
In: Elsevier Ad Hoc Networks Journal, pp. 531-546, 5, (5), [Article]

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

Buchmann, Alejandro and Mühlhäuser, Max and Suri, Neeraj (2007):
Middleware für Ambient Intelligence.
In: Thema Forschung, pp. 16-20, (1), ISSN 1434-7768,
[Article]

Jhumka, Arshad and Freiling, Felix and Fetzer, Christof and Suri, Neeraj (2006):
An approach to synthesize safe systems.
In: Journal on security and networks, pp. 62-74, Vol. 1, [Article]

Claesson, Vilgot and Lönn, Henrik and Suri, Neeraj (2004):
An efficient TDMA start-up and restart synchronization approach for distributed embedded systems.
In: IEEE transactions on parallel and distributed systems, pp. 725-739, Vol. 1, [Article]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj (2004):
EPIC : profiling the propagation and effect of data errors in software.
In: IEEE transactions on computers, pp. 512-530, Vol. 5, [Article]

Askerdal, Örjan and Gäfvert, Magnus and Hiller, Martin and Suri, Neeraj (2003):
Analyzing the impacts of data errors in safety-critical control systems.
In: IEICE transactions / E, English transactions / D, information & systems, p. 2623, Vol. 8, [Article]

Walter, Chris J. and Suri, Neeraj (2003):
The customizable fault/error model for dependable distributed systems.
In: Theoretical computer science, pp. 1223-1251, Vol. 2, [Article]

Suri, Neeraj and Mendelson, A. (2001):
Design of a parallel interconnect based on communication pattern consideration.
In: Journal of parallel algorithms and architectures, pp. 243-271, Vol. 1, [Article]

Walter, Chris J. and Lincoln, Patrick and Suri, Neeraj (1997):
Formally verified on-line diagnosis.
In: IEEE transactions on software engineering, pp. 684-721, [Article]

Book Section

Germanus, Daniel and Suri, Neeraj and Johansson, Andreas
Raghav Rao, H. and Whinston, Andrew B. (eds.) (2009):
Threat Modeling and Dynamic Profiling of Networked Applications.
In: Information Assurance, Security and Privacy Services, Emerald Group, pp. 585-613, [Book Section]

Germanus, Daniel and Johansson, Andreas and Suri, Neeraj
Raghav Rao, H. and Upadhyaya, Shambhu and Whinston, Andrew (eds.) (2009):
Information Assurance, Security and Privacy Services.
Emerald Group, pp. 585-613, [Book Section]

Germanus, Daniel and Johansson, Andreas and Suri, Neeraj (2009):
Threat Modeling and Dynamic Profiling.
Elsevier, [Book Section]

Kropff, M. and Reinl, Christian and Listmann, Kim D. and Petersen, Karen and Radkhah, K. and Shaikh, F. K. and Herzog, A. and Strobel, A. and Jacobi, D. and Stryk, Oskar von (2008):
MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments.
In: Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2008), Springer, pp. 41-52, [Book Section]

Johansson, Andreas and Suri, Neeraj
Qian, Yi and Joshi, James and Tipper, David and Krishnamurthy, Prashant (eds.) (2007):
Information Assurance: Dependability and Security in Networked Systems.
Morgan Kaufmann/ELSEVIER, [Book Section]

Hiller, Martin and Jhumka, Arshad and 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, Hoboken, NJ [u.a.], Wiley, [Book Section]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj
Zomaya, Albert and Diab, Hassan (eds.) (2005):
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
John Wiley, pp. 407-429, [Book Section]

Suri, Neeraj and Hugue, M. M. and Walter, Chris J. (1995):
Advances in Ultra-Dependable Distributed Systems.
IEEE Computer Society Press, [Book Section]

Book

Winter, Stefan (2015):
On the Utility of Higher Order Fault Models for Fault Injections.
Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4633],
[Book]

Khelil, Abdelmajid and Shaikh, Faisal Karim and Szczytowski, Piotr and Ayari, Brahim and Suri, Neeraj (2009):
Map-based Design for Autonomic Wireless Sensor Networks.
Springer-Verlag, Berlin/Heidelberg/New York, [Book]

Conference or Workshop Item

Suri, Neeraj and Ghani, Hamza and Garcia, Jesus Luna and Petkov, Ivaylo (2014):
User-Centric Security Assessment of Software Configurations: A Case Study.
In: Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS) 2014, Munich, Germany, [Conference or Workshop Item]

Winter, Stefan and Tretter, Michael and Sattler, Benjamin and Suri, Neeraj (2013):
Software Fault Injections: From Single to Simultaneous Faults.
In: The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-DCCS), [Conference or Workshop Item]

Feng, Tan and Wang, Qixin and Bu, Lei and Zheng, Rong and Wang, Yufei and Suri, Neeraj (2013):
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach.
In: The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS), [Conference or Workshop Item]

Luna, Jesus and Vateva-Gurova, Tsvetoslava and Suri, Neeraj and Rak, Massimiliano and Liccardo, Loredana (2013):
Negotiating and Brokering Cloud Resources based on Security Level Agreements.
In: Proc. of the International Conference on Cloud Computing and Services Science (CLOSER), [Conference or Workshop Item]

Luna, Jesus and Langenberg, Robert and Suri, Neeraj (2012):
Benchmarking Cloud Security Level Agreements Using Quantitative Policy Trees.
In: Proc. of the ACM Cloud Computing Security Workshop, [Conference or Workshop Item]

Luna, Jesus and Suri, Neeraj and Krontiris, Ioannis (2012):
Privacy-by-Design Based on Quantitative Threat Modeling.
In: Proc. of 7th Intl Conference on Risks and Security of Internet and Systems (CRISIS), [Conference or Workshop Item]

Luna, Jesus and Ghani, Hamza and Vateva-Gurova, Tsvetoslava and Suri, Neeraj (2012):
Quantitative Assessment of Cloud Security Level Agreements: A Case Study.
In: Proc. of International Conference on Security and Cryptography (SECRYPT), [Conference or Workshop Item]

Winter, Stefan and Sarbu, Constantin and Murphy, Brendan and Suri, Neeraj (2011):
The Impact of Fault Models on Software Robustness Evaluations.
In: Proceedings of the 33rd International Conference on Software Engineering (ICSE), [Conference or Workshop Item]

Winter, Stefan and Sarbu, Constantin and Johansson, Andreas and Suri, Neeraj (2009):
Impact of Error Models on OS Robustness Evaluations.
In: Software Reliability Engineering, 2009. ISSRE 2009. 20th International Symposium on, [Conference or Workshop Item]

Shaikh, Faisal Karim and Khelil, Abdelmajid and Suri, Neeraj (2009):
AReIT: Adaptable Reliable Information Transport for Service Availability in Wireless Sensor Networks.
In: International Conference on Wireless Networks (ICWN), [Conference or Workshop Item]

Mahmudimanesh, Mohammadreza and Khelil, Abdelmajid and Yazdani, N. (2009):
Map-based Compressive Sensing Model for Wireless Sensor Network Architecture, A Starting Point.
In: International Workshop on Wireless Sensor Networks Architectures, Simulation and Programming (WASP), [Conference or Workshop Item]

Majuntke, Matthias and Dobre, Dan and Serafini, Marco and Suri, Neeraj (2009):
Abortable Fork-Linearizable Storage.
In: OPODIS, [Conference or Workshop Item]

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut (2009):
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
In: DISC '09: Proceedings of the 2009 23rd Symposium on Distributed Computing, Springer Berlin / Heidelberg, [Conference or Workshop Item]

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

Szczytowski, Piotr and Suri, Neeraj and Khelil, Abdelmajid (2009):
Map-Based Modeling and Design of Wireless SensorNetworks with OMNeT++.
In: International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), [Conference or Workshop Item]

Sârbu, Constantin and Nagappan, Nachiappan and Suri, Neeraj (2009):
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
In: STFSSD '09: Proceedings of the 2009 Software Technologies for Future Dependable Distributed Systems, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Sârbu, Constantin and Winter, Stefan and Nagappan, Nachiappan and Suri, Neeraj (2009):
OS Driver Test Effort Reduction via Operational Profiling ( a fast abstract).
In: International Symposium on Software Reliability Engineering (ISSRE), [Conference or Workshop Item]

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut (2009):
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
In: Proc. of International Conference on Formal Engineering Methods (ICFEM), [Conference or Workshop Item]

Dobre, Dan and Majuntke, Matthias and Serafini, Marco and Suri, Neeraj (2009):
Efficient Robust Storage Using Secret Tokens.
In: 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), [Conference or Workshop Item]

Ayari, Brahim and Khelil, Abdelmajid and Suri, Neeraj (2008):
Delay-Aware Mobile Transactions.
In: SEUS '08: Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems, Berlin, Heidelberg, Springer-Verlag, [Conference or Workshop Item]

Ayari, Brahim and Khelil, Abdelmajid and Suri, Neeraj and Bleim, Eugen (2008):
Implementation and Evaluation of Delay-Aware and Fault-Tolerant Mobile Transactions.
In: Proceedings of the The 2nd International Conference on E-Medical Systems, [Conference or Workshop Item]

Dobre, Dan and Majuntke, Matthias and Suri, Neeraj (2008):
On the Time-Complexity of Robust and Amnesic Storage.
In: OPODIS '08: Proceedings of the 12th International Conference on Principles of Distributed Systems, Berlin, Heidelberg, Springer-Verlag, [Conference or Workshop Item]

Dobre, Dan and Majuntke, Matthias and Suri, Neeraj (2008):
Low-latency access to robust amnesic storage.
In: LADIS '08: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, New York, NY, USA, ACM, [Conference or Workshop Item]

Shaikh, Faisal Karim and Khelil, Abdelmajid and Suri, Neeraj (2008):
A Comparative study of Data Transport Protocols in Wireless Sensor Networks.
In: International Symposium on a World of Wireless, Mobile and Multimedia Networks (WOWMOM), [Conference or Workshop Item]

Khelil, Abdelmajid and Shaikh, Faisal Karim and Ayari, Brahim and Suri, Neeraj (2008):
MWM: A Map-based World Model for Event-driven Wireless Sensor Networks.
In: International Conference on Autonomic Computing and Communication Systems (AUTONOMICS), [Conference or Workshop Item]

D'Antonio, Salvatore and Khelil, Abdelmajid and Romano, Luigi and Suri, Neeraj (2008):
INcreasing Security and Protection through Infrastructure REsilience: the INSPIRE Project.
In: International Workshop on Critical Information Infrastructures Security (CRITIS), [Conference or Workshop Item]

Serafini, Marco and Suri, Neeraj (2008):
Reducing the Costs of Large-Scale BFT Replication.
In: Proc. of Large-Scale Distributed Systems and Middleware (LADIS), [Conference or Workshop Item]

Bokor, Peter and Shukla, Sandeep and Pataricza, András and Suri, Neeraj (2008):
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
In: AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods, ACM, [Conference or Workshop Item]

Sakurai, Kohei and Bokor, Peter and Suri, Neeraj (2008):
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
In: HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Sârbu, Constantin and Johansson, Andreas and Suri, Neeraj (2008):
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
In: 5rd International Service Availability Symposium (ISAS), Spring, [Conference or Workshop Item]

Sârbu, Constantin and Johansson, Andreas and Suri, Neeraj (2008):
On Identifying Execution Hotspots in Kernel-mode Device Drivers´( a fast abstracts).
In: International Conference on Dependable Systems and Networks (DSN), [Conference or Workshop Item]

Khelil, Abdelmajid and Suri, Neeraj (2007):
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
In: Proc. of the Third Latin-American Symposium on Dependable Computing (LADC), [Conference or Workshop Item]

Dobre, Dan and Ramasamy, Hari Govind and Suri, Neeraj (2007):
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
In: SRDS '07: Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Shaikh, Faisal Karim and Khelil, Abdelmajid and Suri, Neeraj (2007):
On Modeling the Reliability of Data Transport in Wireless Sensor Networks.
In: The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP), [Conference or Workshop Item]

Shaikh, Faisal Karim and Khelil, Abdelmajid and Suri, Neeraj (2007):
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
In: European Conference on Wireless Sensor Networks (EWSN), [Conference or Workshop Item]

Serafini, Marco and Suri, Neeraj and Vinter, Jonny and Ademaj, Astrit and Brandstätter, Wolfgang and Tagliabò, Fulvio and Koch, Jens (2007):
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
In: Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks (DSN-DCCS), [Conference or Workshop Item]

Serafini, Marco and Suri, Neeraj (2007):
The Fail-Heterogeneous Architectural Model.
In: Proc. of the IEEE Int'l Symp. on Reliable Distributed Systems (SRDS), [Conference or Workshop Item]

Freiling, Felix C. and Majuntke, Matthias and Mittal, Neeraj (2007):
On Detecting Termination in the Crash-Recovery Model.
In: Euro-Par, [Conference or Workshop Item]

Bokor, Peter and Serafini, Marco and Sisak, Aron and Pataricza, András and Suri, Neeraj (2007):
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
In: HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Islam, Shariful and Lindström, Robert and Suri, Neeraj (2006):
Dependability Driven Integration of Mixed Criticality SW Components.
In: 9th IEEE International Symposium on Object and Component-oriented Real-time distributed Computing (ISORC) <Korea,2006> ; 485-495, [Conference or Workshop Item]

Islam, Shariful and Csertán, György and Balogh, András and Herzner, Wolfgang and Le Sergent, Thierry and Pataricza, András and Suri, Neeraj (2006):
A SW-HW Integration Process for the Generation of Platform Specific Models.
In: Microelectronics ME <Vienna,2006> ; 194-203, [Conference or Workshop Item]

Herzner, Wolfgang and Schlager, Martin and Le Sergent, Thierry and Huber, Bernhard and Islam, Shariful and Suri, Neeraj and Balogh, András (2006):
From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain.
In: Microelectronics ME <Vienna,2006> ; 204-213, [Conference or Workshop Item]

Ayari, Brahim and Khelil, Abdelmajid and Suri, Neeraj (2006):
FT-PPTC : An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
In: IEEE Symposium on Reliable Distributed Systems <Leeds, UK,2006> ; Proceedings 25th IEEE Symposium on Reliable Distributed Systems ; 96-105 ; ISBN 0-7695-2677-2, [Conference or Workshop Item]

Ayari, Brahim and Khelil, Abdelmajid and Suri, Neeraj (2006):
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
In: 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006, [Conference or Workshop Item]

Dobre, Dan and Suri, Neeraj (2006):
One-step Consensus with Zero-Degradation.
In: DSN '06: Proceedings of the International Conference on Dependable Systems and Networks, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Sârbu, Constantin and Johansson, Andreas and Fraikin, Falk and Suri, Neeraj (2006):
Improving Robustness Testing of COTS OS Extensions.
In: 3rd International Service Availability Symposium (ISAS), Springer Verlag, Spring, [Conference or Workshop Item]

Sârbu, Constantin (2006):
Behavior-Driven Testing of Windows Device Drivers (fast Abstract).
In: International Conference on Dependable Systems and Networks (DSN), [Conference or Workshop Item]

Johansson, Andreas and Suri, Neeraj (2005):
Error propagation profiling of operating systems.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: International Conference on Dependable Systems and Networks <2005, Yokohama>: Proceedings, 28 June - 1 July 2005, Yokohama, Japan / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing; IFIP WG 10.4 on Dependable Computing an, [Conference or Workshop Item]

Jhumka, Arshad and Suri, Neeraj (2005):
Designing efficient fail-safe multi-tolerant systems.
In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 ; proceedings / Farn Wang (ed.)- Berlin [u.a.] : Springer, 2005.- XII, 558 S.- (Lecture notes in computer s, [Conference or Workshop Item]

Kopetz, Hermann and Suri, Neeraj (2004):
On the limits of the precise specification of component interfaces.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems <9, 2003, Anacapri>: Proceedings, Anacapri (Capri Island), Italy, 1 - 3 October 2003 , WORDS 2003 ; [dedicated to the honor of late Prof. Edsger W. Dijkstra] / sponsored by IEEE C, [Conference or Workshop Item]

Fetzer, Christof and Högstedt, Karin and Suri, Neeraj (2004):
Practical aspects of designing an IP take over mechanism.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems <9, 2003, Anacapri>: Proceedings, Anacapri (Capri Island), Italy, 1 - 3 October 2003 , WORDS 2003 ; [dedicated to the honor of late Prof. Edsger W. Dijkstra] / sponsored by IEEE C, [Conference or Workshop Item]

Jhumka, Arshad and Hiller, Martin and Suri, Neeraj (2003):
A framework for the design and validation of efficient fail-safe fault-tolerant programs.
In: Software and compilers for embedded systems : 7th international workshop, Vienna, Austria, September 24 - 26, 2003 ; proceedings / SCOPES 2003. Andreas Krall (ed.)- Berlin [u.a.] : Springer, 2003.- XI, 402 S. : graph. Darst.- (Lecture notes in computer sc, [Conference or Workshop Item]

Suri, Neeraj (2003):
Challenges for dependable embedded systems : developing the information society infrastructure.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: International Symposium on Reliable Distributed Systems <22, 2003, Firenze>: Proceedings, 6 - 8 October 2003, Florence, Italy / SRDS 2003. Sponsored by IEEE Computer Society Technical Committee on Distributed Processing ...- Los Alamitos, Calif. [u.a.] :, [Conference or Workshop Item]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj (2003):
Software profiling for designing dependable systems.
In: International Conference on Space Mission Challenges for Information Technology (SMC-IT) <1, 2003, Pasadena, Calif.>: Proceedings ...July 14-16, 2003, Pasadena.- (JPL Publication ; 03-13A).- S. 59-66, [Conference or Workshop Item]

Kopetz, Hermann and Suri, Neeraj (2003):
Compositional design of real-time systems : a conceptual basis for specification of linking interfaces.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing <6, 2003, Hakodate>: Proceedings, ISORC 2003 : 14 - 16 May 2003, Hakodate, Hokkaido, Japan / sponsored by IEEE Computer Society Technical Committee on Distributed Processing ., [Conference or Workshop Item]

Claesson, Vilgot and Ekeln, C. and Suri, Neeraj (2003):
The event-triggered and time-triggered media access methods.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing <6, 2003, Hakodate>: Proceedings, ISORC 2003 :14 - 16 May 2003, Hakodate, Hokkaido, Japan / sponsored by IEEE Computer Society Technical Committee on Distributed Processing .., [Conference or Workshop Item]

Kanoun, K. and Suri, Neeraj and al, et (2001):
DBench (Dependability Benchmarking).
In: EC DEPPY Workshop, Supplement DSN, [Conference or Workshop Item]

Sinha, Purnendu and Suri, Neeraj (2001):
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
In: International Conference on Distributed Computing Systems (ICDCS), [Conference or Workshop Item]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj (2001):
An Approach for Analysing the Propagation of Data Errors in Software.
In: International Conference on Dependable Systems and Networks (DSN), [Conference or Workshop Item]

Jhumka, A. and Hiller, Martin and Suri, Neeraj (2001):
Assessing Inter-Modular Error Propagation in Distributed Software.
In: nternational Symposium on Reliable and Distributed Systems (SRDS), [Conference or Workshop Item]

Walter, Chris J. and Suri, Neeraj and Monaghan, T. (2000):
Evaluation of COTS Standards for Dependable Systems Design.
In: International Conference on Dependable Systems and Networks (DSN), [Conference or Workshop Item]

Mendelson, Avi and Suri, Neeraj (2000):
Designing High-Performance & Reliable Superscalar Architectures: The Out of Order Reliable Superscalar (O3Rs) Approach.
In: International Conference on Dependable Systems and Networks (DSN), [Conference or Workshop Item]

Hiller, Martin (2000):
Executable Assertions for Detecting Data Errors in Embedded Control Systems.
In: International Conference on Dependable Systems and Networks (DSN), [Conference or Workshop Item]

Sinha, Purnendu and Suri, Neeraj (1999):
Identification of Test Cases Using a Formal FI Approach.
In: 29th International Symposium on Fault-Tolerant Computing (FTCS-29), [Conference or Workshop Item]

Sinha, Purnendu and Suri, Neeraj (1999):
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
In: Real-Time Systems Symposium (RTSS), [Conference or Workshop Item]

Hiller, Martin (1999):
Error Recovery Using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.
In: 25th EUROMICRO Conference, 2, [Conference or Workshop Item]

Suri, Neeraj and Sinha, Purnendu (1998):
On the Use of Formal Techniques for Validation.
In: 28th International Symposium on Fault-Tolerant Computing (FTCS-28), [Conference or Workshop Item]

Claesson, V. and Poledna, S. and Söderberg, J. (1998):
The XBW Model for Dependable Real-Time Systems.
In: International Conference on Parallel and Distributed Systems, [Conference or Workshop Item]

Christmansson, J. and Hiller, Martin and Rimen, M. (1998):
An Experimental Comparison of Fault and Error Injection.
In: 9th International Symposium on Software Reliability Engineering (ISSRE), [Conference or Workshop Item]

Claesson, Vilgot (1997):
Prototype Implementation Using the XBW Software Model.
In: Proceedings of the Swedish National Real-Time Workshop (SNART) '97, [Conference or Workshop Item]

Mendelson, Avi and Suri, Neeraj (1997):
Cache Based Fault Recovery in Distributed Systems.
In: International Conference on Engineering of Complex Computer Systems, [Conference or Workshop Item]

Mendelson, Avi and Suri, Neeraj (1995):
Roll-Forward Recovery: The Bi-Directional Cache Approach.
In: Fault-Tolerant Parallel and Distributed Systems, [Conference or Workshop Item]

Walter, Chris J. and Suri, Neeraj (1995):
Dependability Issues in the Reuse of Standard Components in Open Architectures.
In: 10th Conf. on Computing in Aerospace, [Conference or Workshop Item]

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

Walter, Chris and Hugue, M. and Suri, Neeraj (1994):
Continual On-Line Diagnosis of Hybrid Faults.
In: 4th International Working Conference on Dependable Computing for Critical Applications (DCCA-4), [Conference or Workshop Item]

Walter, Chris and Suri, Neeraj (1993):
Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach.
In: Fault and Error Models of Failures in Computer Systems, [Conference or Workshop Item]

Suri, Neeraj and Mendelson, Avi and Pradhan, D. K. (1991):
BDG-Torus Union Graph: An Algorithmically Specialized Parallel Interconnect.
In: Symposium on Parallel and Distributed Processing (SPDP), [Conference or Workshop Item]

Report

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

Dobre, Dan and Suri, Neeraj (2005):
One-step consensus with zero-degradation.
Darmstadt, TUD, DEEDS, [Report]

Johansson, Andreas and Suri, Neeraj (2005):
Error propagation profiling of operating systems.
Darmstadt, TUD, DEEDS, [Report]

Islam, Shariful and Lindstrom, Robert and Suri, Neeraj (2005):
Dependability driven integration of mixed critically SW components.
Darmstadt, TUD, DEEDS, [Report]

Ph.D. Thesis

Schwahn, Oliver (2019):
On the Efficient Design and Testing of Dependable Systems Software.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8577],
[Ph.D. Thesis]

Saissi, Habib (2019):
On the Application of Formal Techniques for Dependable Concurrent Systems.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8600],
[Ph.D. Thesis]

Lu, Zheng (2018):
Client-server system for web-based visualisation and animation of learning content.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7572],
[Ph.D. Thesis]

Ismail, Hatem (2018):
Analyzing and Mitigating Security Threats in P2P Systems.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/7812],
[Ph.D. Thesis]

Piper, Thorsten (2015):
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems.
Darmstadt, Technische Universität Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4591],
[Ph.D. Thesis]

Winter, Stefan (2015):
On the Utility of Higher Order Fault Models for Fault Injections.
Darmstadt, TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4559],
[Ph.D. Thesis]

Germanus, Daniel (2015):
Increasing Structured P2P Protocol Resilience to Localized Attacks.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4582],
[Ph.D. Thesis]

Mahmudimanesh, Mohammadreza (2015):
Efficient Saptio-Temporal Sampling in Wireless Sensor Networks Based on Compressive Sampling.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4944],
[Ph.D. Thesis]

Szczytowski, Piotr (2013):
Wireless Sensor Networks Maintenance Framework.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3423],
[Ph.D. Thesis]

Majuntke, Matthias (2012):
Data Consistency and Coordination for Untrusted Environments.
TU Darmstadt, Fachbereich Informatik, [Online-Edition: urn:nbn:de:tuda-tuprints-31091],
[Ph.D. Thesis]

Dobre, Dan (2010):
Time-Efficient Asynchronous Service Replication.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-23007],
[Ph.D. Thesis]

Serafini, Marco (2010):
Efficient and Low-Cost Fault Tolerance for Web-Scale Systems.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-22870],
[Ph.D. Thesis]

Ayari, Brahim (2010):
Perturbation-Resilient Atomic Commit Protocols for Mobile Environments.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-22740],
[Ph.D. Thesis]

Shaikh, Faisal Karim (2010):
Tunable Reliability of Information Transport in Wireless Sensor Networks.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-21840],
[Ph.D. Thesis]

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

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

Sârbu, Constantin (2009):
Operational Profiling of OS Drivers.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-13940],
[Ph.D. Thesis]

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

Islam, Shariful (2008):
Dependability Driven System Level Co-Design and Optimization of Embedded Systems.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-12247],
[Ph.D. Thesis]

Master Thesis

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

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

Other

Sarbu, Constantin and Winter, Stefan and Nagappan, Nachiappan and Suri, Neeraj (2009):
OS Driver Test Effort Reduction via Operational Profiling.
In: a fast abstract in the International Symposium on Software Reliability Engineering (ISSRE), [Other]

Sarbu, Constantin and Nagappan, Nachiappan and Suri, Neeraj (2009):
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
In: STFSSD &#039;09: Proceedings of the 2009 Software Technologies for Future Dependable Distributed Systems, IEEE Computer Society, pp. 17--19, [Other]

Khelil, Abdelmajid and Shaikh, Faisal Karim and Ali, Azad and Suri, Neeraj (2009):
gMAP: An Efficient Construction of Global Maps for Mobility- Assisted Wireless Sensor Networks.
In: Conference on Wireless On demand Network Systems and Services (WONS), pp. 189--196, [Other]

Szczytowski, Piotr and Suri, Neeraj and Khelil, Abdelmajid (2009):
Map-Based Modeling and Design of Wireless SensorNetworks with OMNeT??
In: International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), [Other]

Szczytowski, Piotr and Suri, Neeraj and Khelil, Abdelmajid (2009):
MAP??: Support for Map-Based WSN Modeling and Designwith OMNeT??
In: 2nd International Workshop on OMNeT??, [Other]

Sarbu, Constantin and Johansson, Andreas and Suri, Neeraj and Nagappan, Nachiappan (2008):
Profiling the Operational Behavior of OS Device Drivers.
In: International Symposium on Software Reliability Engineering (ISSRE), In: International Symposium on Software Reliability Engineering (ISSRE), IEEE, pp. 127 -- 136, DOI: 10.1109/ISSRE.2008.14,
[Other]

Sarbu, Constantin and Johansson, Andreas and Suri, Neeraj (2008):
On Identifying Execution Hotspots in Kernel-mode Device Drivers.
In: a fast abstract in the International Conference on Dependable Systems and Networks (DSN), [Other]

Sarbu, Constantin (2006):
Behavior-Driven Testing of Windows Device Drivers.
In: a fast abstract in International Conference on Dependable Systems and Networks (DSN), [Other]

This list was generated on Sun Jun 23 01:44:52 2019 CEST.