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: 150.

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

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

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

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

Taha, Ahmed and Metzler, Patrick and Trapero, Ruben and Luna, Jesus and 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, ACM, Xi'an, China, ISBN 978-1-4503-4233-9,
DOI: 10.1145/2897845.2897911,
[Conference or Workshop Item]

Saissi, Habib and Bokor, Peter and 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 and Suri, Neeraj and 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 and Ismail, Hatem and 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 and Balzarotti, Davide and Winter, Stefan and 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 and Suri, Neeraj and Iorga, Michaela and 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 and Piper, Thorsten and Schwahn, Oliver and Natella, Roberto and Suri, Neeraj and 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 and Schwahn, Oliver and Natella, Roberto and Suri, Neeraj and 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 and Winter, Stefan and Schwahn, Oliver and Bidarahalli, Suman and Suri, Neeraj (2015):
Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems.
In: ISORC, [Conference or Workshop Item]

Tan, Feng and Wang, Yufei and Wang, Qixin and Bu, Lei and 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 and Cao, Jiannong and Han, Di and Tang, Shaojie and 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 and Huang, Yennun and 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 and Germanus, Daniel and Roos, Stefanie and 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 and Vateva-Gurova, Tsvetoslava and Luna, Jesus and 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 and Lanzaro, Anna and Natella, Roberto and Winter, Stefan and 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 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]

Suri, Neeraj and Taha, Ahmed and Trapero, Ruben and 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 and Demir, Kubilay and 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 and Karame, Ghassan O. and Li, Wenting and Majuntke, Matthias and Suri, Neeraj and Vukolic, Marko (2013):
PoWerStore: Proofs of Writing for Efficient and Robust Storage.
In: Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, ACM, Berlin, Germany, In: CCS '13, ISBN 978-1-4503-2477-9,
DOI: 10.1145/2508859.2516750,
[Conference or Workshop Item]

Winter, Stefan and Tretter, Michael and Sattler, Benjamin and 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), IEEE Computer Society, Budapest, Hungary, ISBN 978-1-4673-6471-3,
DOI: 10.1109/DSN.2013.6575310,
[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]

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]

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

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

Suri, Neeraj and 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.
GI, In: LNI, 195, [Conference or Workshop Item]

Khelil, Abdelmajid and Reinl, Christian and Shaikh, Faisal Karim and Ali, Azad and Suri, Neeraj
Vasilakos, Athanasios and Zhang, Yan and 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 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]

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

Biedermann, Alexander and Piper, Thorsten and Patzina, Lars and Patzina, Sven and Huss, Sorin and Schürr, Andy and 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 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]

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]

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

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

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]

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]

Szczytowski, Piotr and Khelil, Abdelmajid and 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 and Khelil, Abdelmajid and Saffar, Kamel and 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 and Khelil, Abdelmajid and Ayari, Brahim and Szczytowski, Piotr and 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 and Khelil, Abdelmajid and 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 and Shaikh, Faisal Karim and Sachidananda, Vinay and Khelil, Abdelmajid and 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 and Khelil, Abdelmajid and 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 and Germanus, Daniel and Suri, Neeraj (2010):
Protection of SCADA Communication Channels.
Springer, [Book Section]

Mahmudimanesh, Mohammadreza and Khelil, Abdelmajid and 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 and Jeckel, Sebastian and Germanus, Daniel and 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 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]

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]

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

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

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]

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]

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

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??: Support for Map-Based WSN Modeling and Designwith OMNeT??
In: 2nd International Workshop on OMNeT??, [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), [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), [Other]

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]

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]

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]

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]

Sarbu, 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, IEEE Computer Society, pp. 17--19, [Other]

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]

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

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]

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]

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]

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]

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]

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]

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]

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):
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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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):
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
In: European Conference on Wireless Sensor Networks (EWSN), [Conference or Workshop Item]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

This list was generated on Tue Oct 15 01:31:37 2019 CEST.