TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 145.

Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Arul, Tolga ; Katzenbeisser, Stefan ; Suri, Neeraj ; Birkholz, Henk ; Fuchs, Andreas ; Krauß, Christoph ; Zhdanova, Maria ; Kuzhiyelil, Don ; Tverdyshev, Sergey ; Schlehuber, Christian (2019):
Security Requirements Engineering in Safety-Critical Railway Signalling Networks.
In: Security and Communication Networks, 2019, Hindawi, DOI: 10.1155/2019/8348925,
[Article]

Birkholz, Henk ; Krauß, Christoph ; Zhdanova, Maria ; Kuzhiyelil, Don ; Arul, Tolga ; Heinrich, Markus ; Katzenbeisser, Stefan ; Suri, Neeraj ; Vateva-Gurova, Tsvetoslava ; Schlehuber, Christian (2018):
A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems.
Zenodo, International Workshop on MILS: Architecture and Assurance for Secure Systems, Luxembourg, 25.06.2018, DOI: 10.5281/zenodo.1314095,
[Conference or Workshop Item]

Schlehuber, Christian ; Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Katzenbeisser, Stefan ; Suri, Neeraj (2017):
Challenges and Approaches in Securing Safety-Relevant Railway Signalling.
pp. 139-145, Security and Privacy Workshops (EuroS&PW), 2017 IEEE European Symposium on, DOI: 10.1109/eurospw.2017.63,
[Conference or Workshop Item]

Schlehuber, Christian ; Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Katzenbeisser, Stefan ; Suri, Neeraj (2017):
A Security Architecture for Railway Signalling.
pp. 320-328, International Conference on Computer Safety, Reliability, and Security, DOI: 10.1007/978-3-319-66266-4_21,
[Conference or Workshop Item]

Taha, Ahmed ; Metzler, Patrick ; Trapero, Ruben ; Luna, Jesus ; Suri, Neeraj (2016):
Identifying and Utilizing Dependencies Across Cloud Security Services.
In: ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, pp. 329-340,
ACM, Xi'an, China, ISBN 978-1-4503-4233-9,
DOI: 10.1145/2897845.2897911,
[Conference or Workshop Item]

Saissi, Habib ; Bokor, Peter ; Suri, Neeraj (2015):
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
In: Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015,
[Conference or Workshop Item]

Piper, Thorsten ; Suri, Neeraj ; Fuhrman, Thomas (2015):
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms.
In: InProceedings of the 11th European Dependable Computing Conference ,07.09.2015-11.09.2015, Paris,
[Conference or Workshop Item]

Germanus, Daniel ; Ismail, Hatem ; Suri, Neeraj (2015):
PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation.
In: InProceedings of the 34th International Symposium on Reliable Distributed Systems, 28.09.2015-01.10.2015, Montreal,
[Conference or Workshop Item]

Pellegrino, Giancarlo ; Balzarotti, Davide ; Winter, Stefan ; Suri, Neeraj (2015):
In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services.
In: Proceedings of USENIX Security Symposium, 12.-14. August 2015, Washington D.C,
[Conference or Workshop Item]

Luna, Jesus ; Suri, Neeraj ; Iorga, Michaela ; Karmel, Anil (2015):
Leveraging the Potential of Cloud Security Service Level Agreements through Standards.
In: Proceedings of IEEE Cloud Computing, 27.06.- 02.07. 2015, New York,
[Conference or Workshop Item]

Winter, Stefan ; Piper, Thorsten ; Schwahn, Oliver ; Natella, Roberto ; Suri, Neeraj ; Cotroneo, Domenico (2015):
GRINDER: On Reusability of Fault Injection Tools.
In: Proceedings of the ICSE/AST, 23.05.-24.05.2015, Florenz,
[Conference or Workshop Item]

Winter, Stefan ; Schwahn, Oliver ; Natella, Roberto ; Suri, Neeraj ; Cotroneo, Domenico (2015):
No PAIN, No Gain? The utility of PArallel fault INjections.
In: International Conference on Software Engineering (ICSE), 2015,
International Conference on Software Engineering, [Conference or Workshop Item]

Piper, Thorsten ; Winter, Stefan ; Schwahn, Oliver ; Bidarahalli, Suman ; Suri, Neeraj (2015):
Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems.
In: ISORC,
[Conference or Workshop Item]

Tan, Feng ; Wang, Yufei ; Wang, Qixin ; Bu, Lei ; Suri, Neeraj (2015):
A Lease based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
In: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, [Article]

Yang, Lei ; Cao, Jiannong ; Han, Di ; Tang, Shaojie ; Suri, Neeraj (2015):
Run Time Application Repartitioning in Dynamic Mobile Cloud Environments.
In: IEEE Transactions on Cloud Computing,2015,
[Conference or Workshop Item]

Huang, Shin-Ying ; Huang, Yennun ; Suri, Neeraj (2014):
Event pattern discovery on IDS traces of Cloud Services.
In: IEEE International Conference on Big Data and Cloud Computing (BDCloud),
[Conference or Workshop Item]

Suri, Neeraj ; Germanus, Daniel ; Roos, Stefanie ; Strufe, Thorsten (2014):
Mitigating Eclipse Attacks in Peer-to-Peer Networks.
In: In Proceedings of IEEE Conference on Communications and Network Security (CNS),
San Francisco, CA, USA, [Conference or Workshop Item]

Suri, Neeraj ; Vateva-Gurova, Tsvetoslava ; Luna, Jesus ; Pellegrino, Giancarlo (2014):
Towards a Framework for Assessing the Feasibility of Side-channel Attacks in Virtualized Environments.
In: Proceedings of the 11th International Conference on Security and Cryptography (SECRYPT),
Vienna, Austria, [Conference or Workshop Item]

Suri, Neeraj ; Lanzaro, Anna ; Natella, Roberto ; Winter, Stefan ; Cotroneo, Domenico (2014):
An Empirical Study of Injected versus Actual Interface Errors.
In: Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA),
San Jose, CA, USA, [Conference or Workshop Item]

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]

Suri, Neeraj ; Taha, Ahmed ; Trapero, Ruben ; Luna, Jesus (2014):
AHP-Based Quantitative Approach for Assessing & Comparing Cloud Security.
In: Proceedings of the 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14),
Beijing, China, [Conference or Workshop Item]

Suri, Neeraj ; Demir, Kubilay ; Germanus, Daniel (2014):
Robust and Real-time Communication on Heterogeneous Networks for Smart Distribution Grid.
In: Proceedings of the IEEE International Conference on Smart Grid Communications (SmartGridComm 2014),
[Conference or Workshop Item]

Dobre, Dan ; Karame, Ghassan O. ; Li, Wenting ; Majuntke, Matthias ; Suri, Neeraj ; Vukolic, Marko (2013):
PoWerStore: Proofs of Writing for Efficient and Robust Storage.
In: CCS '13, In: Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, pp. 285-298,
ACM, Berlin, Germany, ISBN 978-1-4503-2477-9,
DOI: 10.1145/2508859.2516750,
[Conference or Workshop Item]

Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; Suri, Neeraj (2013):
simFI: From Single to Simultaneous Software Fault Injections.
In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1-12,
IEEE Computer Society, Budapest, Hungary, ISBN 978-1-4673-6471-3,
DOI: 10.1109/DSN.2013.6575310,
[Conference or Workshop Item]

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]

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]

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]

Piper, Thorsten ; Winter, Stefan ; Manns, Paul ; Suri, Neeraj (2012):
Instrumenting AUTOSAR for Dependability Assessment: A Guidance Framework.
In: DSN '12, In: Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1-12,
IEEE Computer Society, Boston, MA, USA, ISBN 978-1-4673-1624-8,
DOI: 10.1109/DSN.2012.6263913,
[Conference or Workshop Item]

Kauer, Michaela ; Pfeiffer, Thomas (IAD) ; Volkamer, Melanie ; Theuerling, Heike ; Bruder, Ralph
Suri, Neeraj ; Waudner, Michael (eds.) (2012):
It is not about the design - it is about the content! Making warnings more efficient by communicating risks appropriately.
In: GI-Edition Lecture Notes in Informatics,
Sicherheit 2012. Sicherheit, Schutz und Zuverlässigkeit . Beiträge der 6. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), Darmstadt, 7. - 9. März 2012, [Conference or Workshop Item]

Kauer, Michaela ; Pfeiffer, Thomas ; Volkamer, Melanie ; Theuerling, Heike ; Bruder, Ralph
Suri, Neeraj ; Waidner, Michael (eds.) (2012):
It is not about the design – it is about the content! Making warnings more efficient by communicating risks appropriately.
In: LNI, 195, In: Sicherheit, pp. 187-198,
GI, Darmstadt, Germany, ISBN 978-3-88579-289-5,
[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]

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 ; 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]

Suri, Neeraj ; Waidner, Michael (eds.) (2012):
Sicherheit 2012: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 6. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 7.-9. März 2012 in Darmstadt.
In: LNI, 195, GI, [Conference or Workshop Item]

Khelil, Abdelmajid ; Reinl, Christian ; Shaikh, Faisal Karim ; Ali, Azad ; Suri, Neeraj
Vasilakos, Athanasios ; Zhang, Yan ; Spyropoulos, Thrasyvoulos (eds.) (2011):
Delay-Tolerant Monitoring of Mobility-Assisted Wireless Sensor Networks.
In: Delay Tolerant Networks: Protocols and Applications, CRC Press, Taylor & Francis Group, [Book Section]

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]

Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin A. ; Schürr, Andy ; Suri, Neeraj (2011):
Enhancing FPGA Robustness via Generic Monitoring Cores.
1st International Conference on Pervasive and Embedded Computing and Communication Systems, [Conference or Workshop Item]

Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin ; Schürr, Andy ; Suri, Neeraj (2011):
Enhancing FPGA Robustness via Generic Monitoring IP Cores.
In: In: Proceedings of 1st International Conference on Pervasive and Embedded Computing and Communication Systems,
[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]

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]

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

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

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]

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]

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]

Szczytowski, Piotr ; Khelil, Abdelmajid ; Suri, Neeraj (2010):
ASample: Adaptive Spatial Sampling in Wireless Sensor Networks.
In: The Third IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC),
[Conference or Workshop Item]

Ayari, Brahim ; Khelil, Abdelmajid ; Saffar, Kamel ; Suri, Neeraj (2010):
Data-based Agreement for Inter-Vehicle Coordination.
In: Proc. of the 11th International Conference on Mobile Data Management (MDM),
[Conference or Workshop Item]

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Ayari, Brahim ; Szczytowski, Piotr ; Suri, Neeraj (2010):
Generic Information Transport for Wireless Sensor Networks.
In: The Third IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC),
[Conference or Workshop Item]

Germanus, Daniel ; Khelil, Abdelmajid ; Suri, Neeraj (2010):
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays.
In: Proc. International Symposium on Architecting Critical Systems (ISARCS),
[Conference or Workshop Item]

Szczytowski, Piotr ; Shaikh, Faisal Karim ; Sachidananda, Vinay ; Khelil, Abdelmajid ; Suri, Neeraj (2010):
Mobility Assisted Adaptive Sampling in Wireless Sensor Networks.
In: Proc. International Conference on Networked Sensing Systems (INSS),
[Conference or Workshop Item]

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2010):
ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs.
In: Proceedings of the 11th International Conference on Mobile Data Management (MDM),
[Conference or Workshop Item]

Khelil, Abdelmajid ; Germanus, Daniel ; Suri, Neeraj (2010):
Protection of SCADA Communication Channels.
In: Advances in Critical Infrastructure Protection, Springer, [Book Section]

Mahmudimanesh, Mohammadreza ; Khelil, Abdelmajid ; Suri, Neeraj (2010):
Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks.
In: The Third IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC),
[Conference or Workshop Item]

Khelil, Abdelmajid ; Jeckel, Sebastian ; Germanus, Daniel ; Suri, Neeraj (2010):
Towards Benchmarking of P2P Technologies from a SCADA Systems Protection Perspective.
In: Proc. of The 2nd International Conference on Mobile Lightweight Wireless Systems (MOBILIGHT),
[Conference or Workshop Item]

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]

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]

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 ; 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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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

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]

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

Suri, Neeraj (1995):
A System Level On-Line Testing Approach.
[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]

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]

This list was generated on Sat Jun 19 01:09:49 2021 CEST.