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]

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), pp. 634-643. [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, pp. 634-643. Academy Publisher, [Article]

Ayari, Brahim ; Khelil, Abdelmajid ; 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, pp. 280-291,
Berlin, Heidelberg, Springer-Verlag, [Conference or Workshop Item]

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj ; 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]

Ayari, Brahim ; Khelil, Abdelmajid ; 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, pp. 96-105, [Conference or Workshop Item]

Ayari, Brahim ; Khelil, Abdelmajid ; 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, pp. 96-105,
[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), pp. 2623-2633. IEICE, ISSN 0916-8532,
[Article]

B

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; 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, pp. 289-290,
Springer Berlin / Heidelberg, [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.
In: Proc. of International Conference on Formal Engineering Methods (ICFEM),
[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.
In: AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods, pp. 31-41,
ACM, [Conference or Workshop Item]

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

Bokor, Peter ; Serafini, Marco ; Sisak, Aron ; Pataricza, András ; 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, pp. 169-178,
Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

C

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

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), pp. 725-739. IEEE, ISSN 1045-9219,
DOI: 10.1109/TPDS.2004.29,
[Article]

Claesson, Vilgot ; Ekeln, C. ; Suri, Neeraj (2003):
The event-triggered and time-triggered media access methods.
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 .., Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]

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

Claesson, V. ; Poledna, S. ; Söderberg, J. (1998):
The XBW Model for Dependable Real-Time Systems.
In: International Conference on Parallel and Distributed Systems,
[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]

D

Dobre, Dan (2010):
Time-Efficient Asynchronous Service Replication.
TU Darmstadt,
[Ph.D. Thesis]

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), INDERSCIENCE, ISSN 1748-0671,
[Article]

Dobre, Dan ; Majuntke, Matthias ; Serafini, Marco ; 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]

Dobre, Dan ; Majuntke, Matthias ; 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, pp. 197-216,
Berlin, Heidelberg, Springer-Verlag, [Conference or Workshop Item]

Dobre, Dan ; Majuntke, Matthias ; 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, pp. 1-3,
New York, NY, USA, ACM, [Conference or Workshop Item]

D'Antonio, Salvatore ; Khelil, Abdelmajid ; Romano, Luigi ; 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]

Dobre, Dan ; Ramasamy, Hari Govind ; 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, pp. 311-322,
Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

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

Dobre, Dan ; Suri, Neeraj (2005):
One-step consensus with zero-degradation.
12-2-2, Darmstadt, TUD, DEEDS, [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.
In: The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS),
[Conference or Workshop Item]

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

Fetzer, Christof ; Högstedt, Karin ; Suri, Neeraj (2004):
Practical aspects of designing an IP take over mechanism.
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, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]

G

Germanus, Daniel (2015):
Increasing Structured P2P Protocol Resilience to Localized Attacks.
TU Darmstadt,
[Ph.D. Thesis]

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

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj
Raghav Rao, H. ; Upadhyaya, Shambhu ; Whinston, Andrew (eds.) (2009):
Information Assurance, Security and Privacy Services.
In: Handbooks in Information Systems, 4, pp. 585-613, Emerald Group, ISBN 978-1-84855-194-7,
[Book Section]

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj (2009):
Threat Modeling and Dynamic Profiling.
In: Annals of Emerging Research in Information Assurance, Security and Privacy Services, Elsevier, [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.
In: Microelectronics ME <Vienna,2006> ; 204-213, pp. 204-213, [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, Hoboken, NJ [u.a.], Wiley, [Book Section]

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj
Zomaya, Albert ; Diab, Hassan (eds.) (2005):
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
pp. 407-429, John Wiley, [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), pp. 512-530. IEEE, ISSN 00189340,
DOI: 10.1109/TC.2004.1275294,
[Article]

Hiller, Martin ; Jhumka, Arshad ; 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]

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2001):
An Approach for Analysing the Propagation of Data Errors in Software.
In: International Conference on Dependable Systems and Networks (DSN), pp. 161-172,
[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), pp. 24-33,
[Conference or Workshop Item]

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

I

Ismail, Hatem (2018):
Analyzing and Mitigating Security Threats in P2P Systems.
Darmstadt, Technische Universität,
[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]

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), p. 245. [Article]

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

Islam, Shariful ; Lindström, Robert ; 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, pp. 485-495, [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.
In: Microelectronics ME <Vienna,2006> ; 194-203, pp. 194-203, [Conference or Workshop Item]

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

J

Johansson, Andreas ; Suri, Neeraj
Qian, Yi ; Joshi, James ; Tipper, David ; Krishnamurthy, Prashant (eds.) (2007):
Information Assurance: Dependability and Security in Networked Systems.
Morgan Kaufmann/ELSEVIER, [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), pp. 62-74. Inderscience Publishers, ISSN 1747-8405,
DOI: 10.1504/IJSN.2006.010824,
[Article]

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

Johansson, Andreas ; Suri, Neeraj (2005):
Error propagation profiling of operating systems.
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, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]

Jhumka, Arshad ; 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]

Jhumka, Arshad ; Hiller, Martin ; 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]

Jhumka, A. ; Hiller, Martin ; Suri, Neeraj (2001):
Assessing Inter-Modular Error Propagation in Distributed Software.
In: nternational Symposium on Reliable and Distributed Systems (SRDS), pp. 152-161,
[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, pp. 189-196, Piscataway, NJ, IEEE, ISBN 9781424433742,
[Book Section]

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

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ayari, Brahim ; 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]

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

Khelil, Abdelmajid ; Suri, Neeraj (2007):
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
In: Proc. of the Third Latin-American Symposium on Dependable Computing (LADC), pp. 123-141,
[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), pp. 531-546. [Article]

Kopetz, Hermann ; Suri, Neeraj (2004):
On the limits of the precise specification of component interfaces.
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, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]

Kopetz, Hermann ; Suri, Neeraj (2003):
Compositional design of real-time systems : a conceptual basis for specification of linking interfaces.
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 ., Los Alamitos, Calif. [u.a.], IEEE Computer Society, [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).
In: Supplement of the International Conference on Dependable Systems and Networks (DSN) : EC DEPPY Workshop, pp. 12-15,
Los Alamitos, CA, IEEE Computer Society, 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.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Luna, Jesus ; Vateva-Gurova, Tsvetoslava ; Suri, Neeraj ; Rak, Massimiliano ; 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 ; Ghani, Hamza ; Vateva-Gurova, Tsvetoslava ; 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]

Luna, Jesus ; Suri, Neeraj ; 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 ; Langenberg, Robert ; 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]

M

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

Majuntke, Matthias (2012):
Data Consistency and Coordination for Untrusted Environments.
TU Darmstadt, Fachbereich Informatik,
[Ph.D. Thesis]

Mahmudimanesh, Mohammadreza ; Khelil, Abdelmajid ; 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 ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj (2009):
Abortable Fork-Linearizable Storage.
In: OPODIS, pp. 255-269,
[Conference or Workshop Item]

Mendelson, Avi ; 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), pp. 473-481,
[Conference or Workshop Item]

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

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

P

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

S

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

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

Suri, Neeraj ; Ghani, Hamza ; Garcia, Jesus Luna ; 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]

Szczytowski, Piotr (2013):
Wireless Sensor Networks Maintenance Framework.
TU Darmstadt,
[Ph.D. Thesis]

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

Shaikh, Faisal Karim (2010):
Tunable Reliability of Information Transport in Wireless Sensor Networks.
TU Darmstadt,
[Ph.D. Thesis]

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), pp. 1780-1800. Elsevier, ISSN 0164-1212,
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), pp. 380-422. [Article]

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,
[Ph.D. Thesis]

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

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid (2009):
MAP++: Support for Map-Based WSN Modeling and Designwith OMNeT++.
In: 2nd International Workshop on 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.
In: International Conference on Wireless Networks (ICWN), pp. 75-81,
[Conference or Workshop Item]

Sârbu, Constantin ; Nagappan, Nachiappan ; 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, pp. 17-19,
Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Sarbu, Constantin ; Winter, Stefan ; Nagappan, Nachiappan ; Suri, Neeraj (2009):
OS Driver Test Effort Reduction via Operational Profiling.
In: International Symposium on Software Reliability Engineering (ISSRE) : Abstracts,
Piscataway, NJ, IEEE, International Symposium on Software Reliability Engineering (ISSRE), Bengaluru-Mysuru, India, 16 - 19 November 2009, [Conference or Workshop Item]

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid
Obaidat, Mohammad S. (ed.) (2009):
Map-Based Modeling and Design of Wireless SensorNetworks with OMNeT++.
In: Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), pp. 162-169,
Piscataway, NJ, IEEE, International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2009), Istanbul, Turkey, 13 - 16 July 2009, ISBN 9781424441655,
[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), pp. 127-136, Piscataway, NJ, IEEE, ISBN 9781424436538,
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.
In: International Symposium on a World of Wireless, Mobile and Multimedia Networks (WOWMOM), pp. 1-9,
[Conference or Workshop Item]

Serafini, Marco ; 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]

Sakurai, Kohei ; Bokor, Peter ; 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, pp. 261-270,
Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

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

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008):
On Identifying Execution Hotspots in Kernel-mode Device Drivers.
In: International Conference on Dependable Systems and Networks (DSN) : Abstracts,
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), pp. 295-312. [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), pp. 295-312. [Article]

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; 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), pp. 395-402,
[Conference or Workshop Item]

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; 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 ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; 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), pp. 164-174,
[Conference or Workshop Item]

Serafini, Marco ; Suri, Neeraj (2007):
The Fail-Heterogeneous Architectural Model.
In: Proc. of the IEEE Int'l Symp. on Reliable Distributed Systems (SRDS), pp. 103-113,
[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.
Spring, In: 3rd International Service Availability Symposium (ISAS), pp. 120 - 139,
Springer Verlag, [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]

Sarbu, Constantin (2006):
Behavior-Driven Testing of Windows Device Drivers.
In: International Conference on Dependable Systems and Networks (DSN),
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.
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.] :, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [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), pp. 243-271. Taylor & Francis, ISSN 1063-7192,
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.
In: International Conference on Distributed Computing Systems (ICDCS), pp. 255-263,
[Conference or Workshop Item]

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

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

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

Suri, Neeraj ; Hugue, M. M. ; Walter, Chris J. (1995):
Advances in Ultra-Dependable Distributed Systems.
IEEE Computer Society Press, ISBN 978-0818662874,
[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.
In: Symposium on Parallel and Distributed Processing (SPDP),
[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), pp. pp. 94-109. [Article]

V

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

W

Winter, Stefan (2015):
On the Utility of Higher Order Fault Models for Fault Injections.
Darmstadt, TU Darmstadt,
[Ph.D. Thesis]

Winter, Stefan (2015):
On the Utility of Higher Order Fault Models for Fault Injections.
Darmstadt, [Book]

Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; 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]

Winter, Stefan ; Sarbu, Constantin ; Murphy, Brendan ; 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 ; Sarbu, Constantin ; Johansson, Andreas ; 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]

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]

Walter, Chris J. ; Suri, Neeraj (2003):
The customizable fault/error model for dependable distributed systems.
In: Theoretical Computer Science, 290 (2), pp. 1223-1251. Elsevier, ISSN 0304-3975,
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.
In: International Conference on Dependable Systems and Networks (DSN),
[Conference or Workshop Item]

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

Walter, Chris J. ; 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]

Walter, Chris ; Hugue, M. ; 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 ; 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]

Z

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

This list was generated on Thu Oct 14 01:20:09 2021 CEST.