TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 148.

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

Schlehuber, Christian ; Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Katzenbeisser, Stefan ; Suri, Neeraj :
Challenges and Approaches in Securing Safety-Relevant Railway Signalling.
In: Security and Privacy Workshops (EuroS&PW), 2017 IEEE European Symposium on.
[Konferenz- oder Workshop-Beitrag] , (2017)

Schlehuber, Christian ; Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Katzenbeisser, Stefan ; Suri, Neeraj :
A Security Architecture for Railway Signalling.
In: International Conference on Computer Safety, Reliability, and Security.
[Konferenz- oder Workshop-Beitrag] , (2017)

Taha, Ahmed ; Metzler, Patrick ; Trapero, Ruben ; Luna, Jesus ; Suri, Neeraj :
Identifying and Utilizing Dependencies Across Cloud Security Services.
ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security ACM
[Konferenz- oder Workshop-Beitrag] , (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

Suri, Neeraj ; Lanzaro, Anna ; Natella, Roberto ; Winter, Stefan ; Cotroneo, Domenico :
An Empirical Study of Injected versus Actual Interface Errors.
Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA)
[Konferenz- oder Workshop-Beitrag] , (2014)

Suri, Neeraj ; Ghani, Hamza ; Garcia, Jesus Luna ; Petkov, Ivaylo :
User-Centric Security Assessment of Software Configurations: A Case Study.
Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS) 2014
[Konferenz- oder Workshop-Beitrag] , (2014)

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

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

Dobre, Dan ; Karame, Ghassan O. ; Li, Wenting ; Majuntke, Matthias ; Suri, Neeraj ; Vukolic, Marko :
PoWerStore: Proofs of Writing for Efficient and Robust Storage.
In: CCS '13 . ACM
[Konferenz- oder Workshop-Beitrag] , (2013)

Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; Suri, Neeraj :
simFI: From Single to Simultaneous Software Fault Injections.
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) IEEE Computer Society
[Konferenz- oder Workshop-Beitrag] , (2013)

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

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

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

Piper, Thorsten ; Winter, Stefan ; Manns, Paul ; Suri, Neeraj :
Instrumenting AUTOSAR for Dependability Assessment: A Guidance Framework.
In: DSN '12 . IEEE Computer Society
[Konferenz- oder Workshop-Beitrag] , (2012)

Kauer, Michaela ; Pfeiffer, Thomas (IAD) ; Volkamer, Melanie ; Theuerling, Heike ; Bruder, Ralph
Suri, Neeraj ; Waudner, Michael (eds.) :

It is not about the design - it is about the content! Making warnings more efficient by communicating risks appropriately.
In: 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, Darmstadt. GI-Edition Lecture Notes in Informatics
[Konferenz- oder Workshop-Beitrag] , (2012)

Kauer, Michaela ; Pfeiffer, Thomas ; Volkamer, Melanie ; Theuerling, Heike ; Bruder, Ralph
Suri, Neeraj ; Waidner, Michael (eds.) :

It is not about the design – it is about the content! Making warnings more efficient by communicating risks appropriately.
In: LNI , 195 . GI
[Konferenz- oder Workshop-Beitrag] , (2012)

Luna, Jesus ; Langenberg, Robert ; Suri, Neeraj :
Benchmarking Cloud Security Level Agreements Using Quantitative Policy Trees.
Proc. of the ACM Cloud Computing Security Workshop
[Konferenz- oder Workshop-Beitrag] , (2012)

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

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

Suri, Neeraj ; Waidner, Michael (eds.) :
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.
Suri, Neeraj ; Waidner, Michael (eds.), In: LNI , 195 . GI
[Konferenz- oder Workshop-Beitrag] , (2012)

Khelil, Abdelmajid ; Reinl, Christian ; Shaikh, Faisal Karim ; Ali, Azad ; Suri, Neeraj
Vasilakos, Athanasios ; Zhang, Yan ; Spyropoulos, Thrasyvoulos (eds.) :

Delay-Tolerant Monitoring of Mobility-Assisted Wireless Sensor Networks.
In: Delay Tolerant Networks: Protocols and Applications. CRC Press, Taylor & Francis Group
[Buchkapitel] , (2011)

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

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

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

Winter, Stefan ; Sarbu, Constantin ; Murphy, Brendan ; Suri, Neeraj :
The Impact of Fault Models on Software Robustness Evaluations.
Proceedings of the 33rd International Conference on Software Engineering (ICSE)
[Konferenz- oder Workshop-Beitrag] , (2011)

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

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

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

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Ali, Azad ; Suri, Neeraj :
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)
[Artikel] , (2010)

Suri, Neeraj ; al, et :
A Software Integration Approach for Designing and Assessing Dependable Embedded Systems.
In: Journal of Systems and Software
[Artikel] , (2010)

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

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

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

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

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

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

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

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

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

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

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

Winter, Stefan ; Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj :
Impact of Error Models on OS Robustness Evaluations.
Software Reliability Engineering, 2009. ISSRE 2009. 20th International Symposium on
[Konferenz- oder Workshop-Beitrag] , (2009)

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj
Raghav Rao, H. ; Upadhyaya, Shambhu ; Whinston, Andrew (eds.) :

Information Assurance, Security and Privacy Services.
In: Keine Angabe Handbooks in Information Systems, 4. Emerald Group , pp. 585-613. ISBN 978-1-84855-194-7
[Buchkapitel] , (2009)

Germanus, Daniel ; Suri, Neeraj ; Johansson, Andreas
Raghav Rao, H. ; Whinston, Andrew B. (eds.) :

Threat Modeling and Dynamic Profiling of Networked Applications.
In: Information Assurance, Security and Privacy Services. Handbooks in Information Systems, 4. Emerald Group , pp. 585-613.
[Buchkapitel] , (2009)

Serafini, Marco ; Bokor, Peter ; Suri, Neeraj ; al, et :
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions On Dependable & Secure Computing
[Artikel] , (2009)

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj :
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.
[Artikel] , (2009)

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

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj :
AReIT: Adaptable Reliable Information Transport for Service Availability in Wireless Sensor Networks.
International Conference on Wireless Networks (ICWN)
[Konferenz- oder Workshop-Beitrag] , (2009)

Majuntke, Matthias ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj :
Abortable Fork-Linearizable Storage.
OPODIS
[Konferenz- oder Workshop-Beitrag] , (2009)

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

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

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj :
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.
[Artikel] , (2009)

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

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid :
MAP++: Support for Map-Based WSN Modeling and Designwith OMNeT++.
2nd International Workshop on OMNeT++
[Konferenz- oder Workshop-Beitrag] , (2009)

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

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

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

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

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

Sârbu, Constantin ; Winter, Stefan ; Nagappan, Nachiappan ; Suri, Neeraj :
OS Driver Test Effort Reduction via Operational Profiling ( a fast abstract).
International Symposium on Software Reliability Engineering (ISSRE)
[Konferenz- oder Workshop-Beitrag] , (2009)

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

Sarbu, Constantin ; Nagappan, Nachiappan ; Suri, Neeraj :
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
STFSSD '09: Proceedings of the 2009 Software Technologies for Future Dependable Distributed Systems IEEE Computer Society
[Anderes] , (2009)

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

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj :
Threat Modeling and Dynamic Profiling.
In: Keine Angabe Annals of Emerging Research in Information Assurance, Security and Privacy Services. Elsevier
[Buchkapitel] , (2009)

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

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nacchiappan :
Profiling the Operational Behavior of OS Device Drivers.
In: International Symposium on Software Reliability Engineering (ISSRE)
[Anderes] , (2008)

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

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

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

Sârbu, Constantin ; Johansson, Andreas ; Suri, Neeraj :
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
5rd International Service Availability Symposium (ISAS)
[Konferenz- oder Workshop-Beitrag] , (2008)

D'Antonio, Salvatore ; Khelil, Abdelmajid ; Romano, Luigi ; Suri, Neeraj :
INcreasing Security and Protection through Infrastructure REsilience: the INSPIRE Project.
International Workshop on Critical Information Infrastructures Security (CRITIS)
[Konferenz- oder Workshop-Beitrag] , (2008)

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

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

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

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

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

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

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

Serafini, Marco ; Suri, Neeraj ; Bondavalli, Andrea :
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.
[Artikel] , (2007)

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

Serafini, Marco ; Bondavalli, Andrea ; Suri, Neeraj :
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.
[Artikel] , (2007)

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

Serafini, Marco ; Suri, Neeraj :
The Fail-Heterogeneous Architectural Model.
Proc. of the IEEE Int'l Symp. on Reliable Distributed Systems (SRDS)
[Konferenz- oder Workshop-Beitrag] , (2007)

Johansson, Andreas ; Suri, Neeraj
Qian, Yi ; Joshi, James ; Tipper, David ; Krishnamurthy, Prashant (eds.) :

Information Assurance: Dependability and Security in Networked Systems.
In: Keine Angabe Morgan Kaufmann/ELSEVIER
[Buchkapitel] , (2007)

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

Dobre, Dan ; Ramasamy, HariGovind V. ; Suri, Neeraj :
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
SRDS '07: Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems IEEE Computer Society , Washington, DC, USA
[Konferenz- oder Workshop-Beitrag] , (2007)

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj :
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
European Conference on Wireless Sensor Networks (EWSN)
[Konferenz- oder Workshop-Beitrag] , (2007)

Sârbu, Constantin ; Suri, Neeraj :
Runtime Behavior-based Profiling of OS Drivers.

[Report] , (2007)

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

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

Islam, Shariful ; Lindström, Robert ; Suri, Neeraj :
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 .
[Konferenz- oder Workshop-Beitrag] , (2006)

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj :
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 .
[Konferenz- oder Workshop-Beitrag] , (2006)

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

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

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

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

Sârbu, Constantin ; Johansson, Andreas ; Fraikin, Falk ; Suri, Neeraj :
Improving Robustness Testing of COTS OS Extensions.
3rd International Service Availability Symposium (ISAS) Springer Verlag
[Konferenz- oder Workshop-Beitrag] , (2006)

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

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

Jhumka, Arshad ; Suri, Neeraj :
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 .
[Konferenz- oder Workshop-Beitrag] , (2005)

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

Johansson, Andreas ; Suri, Neeraj :
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 . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag] , (2005)

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

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj :
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. Wiley, Hoboken, NJ [u.a.]
[Buchkapitel] , (2005)

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj
Zomaya, Albert ; Diab, Hassan (eds.) :

Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
In: Keine Angabe John Wiley , pp. 407-429.
[Buchkapitel] , (2005)

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

Kopetz, Hermann ; Suri, Neeraj :
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 . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag] , (2004)

Fetzer, Christof ; Högstedt, Karin ; Suri, Neeraj :
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 . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag] , (2004)

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

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

Suri, Neeraj :
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.] : . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag] , (2003)

Kopetz, Hermann ; Suri, Neeraj :
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 . . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag] , (2003)

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj :
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 .
[Konferenz- oder Workshop-Beitrag] , (2003)

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

Claesson, Vilgot ; Ekeln, C. ; Suri, Neeraj :
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 .. . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag] , (2003)

Jhumka, Arshad ; Hiller, Martin ; Suri, Neeraj :
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 .
[Konferenz- oder Workshop-Beitrag] , (2003)

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

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

Jhumka, A. ; Hiller, Martin ; Suri, Neeraj :
Assessing Inter-Modular Error Propagation in Distributed Software.
nternational Symposium on Reliable and Distributed Systems (SRDS)
[Konferenz- oder Workshop-Beitrag] , (2001)

Kanoun, K. ; Suri, Neeraj ; al, et :
DBench (Dependability Benchmarking).
EC DEPPY Workshop, Supplement DSN
[Konferenz- oder Workshop-Beitrag] , (2001)

Sinha, Purnendu ; Suri, Neeraj :
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
International Conference on Distributed Computing Systems (ICDCS)
[Konferenz- oder Workshop-Beitrag] , (2001)

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

Walter, Chris J. ; Suri, Neeraj ; Monaghan, T. :
Evaluation of COTS Standards for Dependable Systems Design.
International Conference on Dependable Systems and Networks (DSN)
[Konferenz- oder Workshop-Beitrag] , (2000)

Sinha, Purnendo ; Suri, Neeraj :
Identification of Test Cases Using a Formal FI Approach.
29th International Symposium on Fault-Tolerant Computing (FTCS-29)
[Konferenz- oder Workshop-Beitrag] , (1999)

Sinha, Purnendu ; Suri, Neeraj :
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
Real-Time Systems Symposium (RTSS)
[Konferenz- oder Workshop-Beitrag] , (1999)

Suri, Neeraj ; Sinha, Purnendu :
On the Use of Formal Techniques for Validation.
28th International Symposium on Fault-Tolerant Computing (FTCS-28)
[Konferenz- oder Workshop-Beitrag] , (1998)

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

Mendelson, Avi ; Suri, Neeraj :
Cache Based Fault Recovery in Distributed Systems.
International Conference on Engineering of Complex Computer Systems
[Konferenz- oder Workshop-Beitrag] , (1997)

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

Walter, Chris J. ; Suri, Neeraj :
Dependability Issues in the Reuse of Standard Components in Open Architectures.
10th Conf. on Computing in Aerospace
[Konferenz- oder Workshop-Beitrag] , (1995)

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

Suri, Neeraj :
A System Level On-Line Testing Approach.
In: On-Line Testing
[Konferenz- oder Workshop-Beitrag] , (1995)

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

Walter, Chris ; Suri, Neeraj :
Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach.
Fault and Error Models of Failures in Computer Systems
[Konferenz- oder Workshop-Beitrag] , (1993)

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

Diese Liste wurde am Sat Dec 15 03:26:42 2018 CET generiert.