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

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 Jun 18 01:19:50 2019 CEST.