Browse by Person
Up a level |
Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Arul, Tolga ; Katzenbeisser, Stefan ; Suri, Neeraj ; Birkholz, Henk ; Fuchs, Andreas ; Krauß, Christoph ; Zhdanova, Maria ; Kuzhiyelil, Don ; Tverdyshev, Sergey ; Schlehuber, Christian (2019)
Security Requirements Engineering in Safety-Critical Railway Signalling Networks.
In: Security and Communication Networks, 2019
doi: 10.1155/2019/8348925
Article, Bibliographie
Birkholz, Henk ; Krauß, Christoph ; Zhdanova, Maria ; Kuzhiyelil, Don ; Arul, Tolga ; Heinrich, Markus ; Katzenbeisser, Stefan ; Suri, Neeraj ; Vateva-Gurova, Tsvetoslava ; Schlehuber, Christian (2018)
A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems.
International Workshop on MILS: Architecture and Assurance for Secure Systems, Luxembourg, 25.06.2018.
doi: 10.5281/zenodo.1314095
Conference or Workshop Item, Bibliographie
Schlehuber, Christian ; Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Katzenbeisser, Stefan ; Suri, Neeraj (2017)
Challenges and Approaches in Securing Safety-Relevant Railway Signalling.
Security and Privacy Workshops (EuroS&PW), 2017 IEEE European Symposium on.
doi: 10.1109/eurospw.2017.63
Conference or Workshop Item, Bibliographie
Schlehuber, Christian ; Heinrich, Markus ; Vateva-Gurova, Tsvetoslava ; Katzenbeisser, Stefan ; Suri, Neeraj (2017)
A Security Architecture for Railway Signalling.
International Conference on Computer Safety, Reliability, and Security.
doi: 10.1007/978-3-319-66266-4_21
Conference or Workshop Item, Bibliographie
Taha, Ahmed ; Metzler, Patrick ; Trapero, Ruben ; Luna, Jesus ; Suri, Neeraj (2016)
Identifying and Utilizing Dependencies Across Cloud Security Services.
Xi'an, China
doi: 10.1145/2897845.2897911
Conference or Workshop Item, Bibliographie
Saissi, Habib ; Bokor, Peter ; Suri, Neeraj (2015)
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
Conference or Workshop Item, Bibliographie
Piper, Thorsten ; Suri, Neeraj ; Fuhrman, Thomas (2015)
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms.
Conference or Workshop Item, Bibliographie
Germanus, Daniel ; Ismail, Hatem ; Suri, Neeraj (2015)
PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation.
Conference or Workshop Item, Bibliographie
Pellegrino, Giancarlo ; Balzarotti, Davide ; Winter, Stefan ; Suri, Neeraj (2015)
In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services.
Conference or Workshop Item, Bibliographie
Luna, Jesus ; Suri, Neeraj ; Iorga, Michaela ; Karmel, Anil (2015)
Leveraging the Potential of Cloud Security Service Level Agreements through Standards.
Conference or Workshop Item, Bibliographie
Winter, Stefan ; Piper, Thorsten ; Schwahn, Oliver ; Natella, Roberto ; Suri, Neeraj ; Cotroneo, Domenico (2015)
GRINDER: On Reusability of Fault Injection Tools.
Conference or Workshop Item, Bibliographie
Winter, Stefan ; Schwahn, Oliver ; Natella, Roberto ; Suri, Neeraj ; Cotroneo, Domenico (2015)
No PAIN, No Gain? The utility of PArallel fault INjections.
International Conference on Software Engineering
Conference or Workshop Item, Bibliographie
Piper, Thorsten ; Winter, Stefan ; Schwahn, Oliver ; Bidarahalli, Suman ; Suri, Neeraj (2015)
Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems.
Conference or Workshop Item, Bibliographie
Tan, Feng ; Wang, Yufei ; Wang, Qixin ; Bu, Lei ; Suri, Neeraj (2015)
A Lease based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
In: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
Article, Bibliographie
Yang, Lei ; Cao, Jiannong ; Han, Di ; Tang, Shaojie ; Suri, Neeraj (2015)
Run Time Application Repartitioning in Dynamic Mobile Cloud Environments.
Conference or Workshop Item, Bibliographie
Huang, Shin-Ying ; Huang, Yennun ; Suri, Neeraj (2014)
Event pattern discovery on IDS traces of Cloud Services.
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Germanus, Daniel ; Roos, Stefanie ; Strufe, Thorsten (2014)
Mitigating Eclipse Attacks in Peer-to-Peer Networks.
San Francisco, CA, USA
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Vateva-Gurova, Tsvetoslava ; Luna, Jesus ; Pellegrino, Giancarlo (2014)
Towards a Framework for Assessing the Feasibility of Side-channel Attacks in Virtualized Environments.
Vienna, Austria
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Lanzaro, Anna ; Natella, Roberto ; Winter, Stefan ; Cotroneo, Domenico (2014)
An Empirical Study of Injected versus Actual Interface Errors.
San Jose, CA, USA
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Ghani, Hamza ; Garcia, Jesus Luna ; Petkov, Ivaylo (2014)
User-Centric Security Assessment of Software Configurations: A Case Study.
Munich, Germany
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Taha, Ahmed ; Trapero, Ruben ; Luna, Jesus (2014)
AHP-Based Quantitative Approach for Assessing & Comparing Cloud Security.
Beijing, China
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Demir, Kubilay ; Germanus, Daniel (2014)
Robust and Real-time Communication on Heterogeneous Networks for Smart Distribution Grid.
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Karame, Ghassan O. ; Li, Wenting ; Majuntke, Matthias ; Suri, Neeraj ; Vukolic, Marko (2013)
PoWerStore: Proofs of Writing for Efficient and Robust Storage.
Berlin, Germany
doi: 10.1145/2508859.2516750
Conference or Workshop Item, Bibliographie
Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; Suri, Neeraj (2013)
simFI: From Single to Simultaneous Software Fault Injections.
Budapest, Hungary
doi: 10.1109/DSN.2013.6575310
Conference or Workshop Item, Bibliographie
Feng, Tan ; Wang, Qixin ; Bu, Lei ; Zheng, Rong ; Wang, Yufei ; Suri, Neeraj (2013)
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach.
Conference or Workshop Item, Bibliographie
Luna, Jesus ; Vateva-Gurova, Tsvetoslava ; Suri, Neeraj ; Rak, Massimiliano ; Liccardo, Loredana (2013)
Negotiating and Brokering Cloud Resources based on Security Level Agreements.
Conference or Workshop Item, Bibliographie
Winter, Stefan ; Tretter, Michael ; Sattler, Benjamin ; Suri, Neeraj (2013)
Software Fault Injections: From Single to Simultaneous Faults.
Conference or Workshop Item, Bibliographie
Piper, Thorsten ; Winter, Stefan ; Manns, Paul ; Suri, Neeraj (2012)
Instrumenting AUTOSAR for Dependability Assessment: A Guidance Framework.
Boston, MA, USA
doi: 10.1109/DSN.2012.6263913
Conference or Workshop Item, Bibliographie
Kauer, Michaela ; Pfeiffer, Thomas ; Volkamer, Melanie ; Theuerling, Heike ; Bruder, Ralph
eds.: Suri, Neeraj ; Waidner, Michael (2012)
It is not about the design – it is about the content! Making warnings more efficient by communicating risks appropriately.
Sicherheit 2012. Sicherheit, Schutz und Zuverlässigkeit . Beiträge der 6. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI). Darmstadt, Germany (7. - 9. März 2012)
Conference or Workshop Item, Bibliographie
Luna, Jesus ; Langenberg, Robert ; Suri, Neeraj (2012)
Benchmarking Cloud Security Level Agreements Using Quantitative Policy Trees.
Conference or Workshop Item, Bibliographie
Luna, Jesus ; Suri, Neeraj ; Krontiris, Ioannis (2012)
Privacy-by-Design Based on Quantitative Threat Modeling.
Conference or Workshop Item, Bibliographie
Luna, Jesus ; Ghani, Hamza ; Vateva-Gurova, Tsvetoslava ; Suri, Neeraj (2012)
Quantitative Assessment of Cloud Security Level Agreements: A Case Study.
Conference or Workshop Item, Bibliographie
eds.: Suri, Neeraj ; Waidner, Michael (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.
Conference or Workshop Item, Bibliographie
Khelil, Abdelmajid ; Reinl, Christian ; Shaikh, Faisal Karim ; Ali, Azad ; Suri, Neeraj
eds.: Vasilakos, Athanasios ; Zhang, Yan ; Spyropoulos, Thrasyvoulos (2011)
Delay-Tolerant Monitoring of Mobility-Assisted Wireless Sensor Networks.
In: Delay Tolerant Networks: Protocols and Applications
Book Section, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2011)
On the Design of Perturbation-Resilient Atomic Commit Protocols for Mobile Transactions.
In: ACM Transactions on Computer Systems
Article, Bibliographie
Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin A. ; Schürr, Andy ; Suri, Neeraj (2011)
Enhancing FPGA Robustness via Generic Monitoring Cores.
1st International Conference on Pervasive and Embedded Computing and Communication Systems.
Conference or Workshop Item, Bibliographie
Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin ; Schürr, Andy ; Suri, Neeraj (2011)
Enhancing FPGA Robustness via Generic Monitoring IP Cores.
Conference or Workshop Item, Bibliographie
Winter, Stefan ; Sarbu, Constantin ; Murphy, Brendan ; Suri, Neeraj (2011)
The Impact of Fault Models on Software Robustness Evaluations.
Conference or Workshop Item, Bibliographie
Ali, Azad ; Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Suri, Neeraj (2010)
Effcient Predictive Monitoring of Wireless Sensor Networks.
In: Special Edition of "International Journal of Autonomous and Adaptive Communications Systems (IJAACS)"
Article, Bibliographie
Szczytowski, Piotr ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
Map-based Support for Wireless Sensor Network Simulation.
In: Journal of Networks
Article, Bibliographie
Suri, Neeraj ; Sinha, Purnendu (2010)
Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.
In: Journal of Software
Article, Bibliographie
Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Ali, Azad ; Suri, Neeraj (2010)
ReCait: Reliable COngestion Aware Information Transport in Wireless Sensor Networks.
In: SI"Scalable Wireless Networks" of the International Journal of Communication Networks and Distributed Systems (IJCNDS)
Article, Bibliographie
Suri, Neeraj ; Jhumka, Arshad ; Hiller, Martin ; Pataricza, András ; Islam, Shariful ; Sârbu, Constantin (2010)
A Software Integration Approach for Designing and Assessing Dependable Embedded Systems.
In: Journal of Systems and Software, 83 (10)
doi: 10.1016/j.jss.2010.04.063
Article, Bibliographie
Timor, Avi ; Mendelson, Avi ; Birk, Yitzhak ; Suri, Neeraj (2010)
Using Under-Utilized CPU Resources to Enhance its Reliability.
In: IEEE Transaction on Dependable and Secure Computing, 7 (1)
Article, Bibliographie
Szczytowski, Piotr ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
ASample: Adaptive Spatial Sampling in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Saffar, Kamel ; Suri, Neeraj (2010)
Data-based Agreement for Inter-Vehicle Coordination.
Conference or Workshop Item, Bibliographie
Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Ayari, Brahim ; Szczytowski, Piotr ; Suri, Neeraj (2010)
Generic Information Transport for Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Germanus, Daniel ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays.
Conference or Workshop Item, Bibliographie
Szczytowski, Piotr ; Shaikh, Faisal Karim ; Sachidananda, Vinay ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
Mobility Assisted Adaptive Sampling in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs.
Conference or Workshop Item, Bibliographie
Khelil, Abdelmajid ; Germanus, Daniel ; Suri, Neeraj (2010)
Protection of SCADA Communication Channels.
Book Section, Bibliographie
Mahmudimanesh, Mohammadreza ; Khelil, Abdelmajid ; Suri, Neeraj (2010)
Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Khelil, Abdelmajid ; Jeckel, Sebastian ; Germanus, Daniel ; Suri, Neeraj (2010)
Towards Benchmarking of P2P Technologies from a SCADA Systems Protection Perspective.
Conference or Workshop Item, Bibliographie
Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nachiappan (2009)
Profiling the Operational Behavior of OS Device Drivers.
In: Journal of Empirical Software Engineering, 15 (4)
Article, Bibliographie
Winter, Stefan ; Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2009)
Impact of Error Models on OS Robustness Evaluations.
Conference or Workshop Item, Bibliographie
Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj
eds.: Raghav Rao, H. ; Upadhyaya, Shambhu ; Whinston, Andrew (2009)
Information Assurance, Security and Privacy Services.
Book Section, Bibliographie
Germanus, Daniel ; Suri, Neeraj ; Johansson, Andreas
eds.: Raghav Rao, H. ; Whinston, Andrew B. (2009)
Threat Modeling and Dynamic Profiling of Networked Applications.
In: Information Assurance, Security and Privacy Services
Book Section, Bibliographie
Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid (2009)
MAP++: Support for Map-Based WSN Modeling and Designwith OMNeT++.
2nd International Workshop on OMNeT++. Rome, Italy (6th of March, 2009)
Conference or Workshop Item, Bibliographie
Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ali, Azad ; Suri, Neeraj (2009)
gMAP: An Efficient Construction of Global Maps for Mobility- Assisted Wireless Sensor Networks.
In: Sixth International Conference on Wireless On Demand Network Systems and Services (WONS 2009) : 2 - 4 Feb. 2009, Snowbird, Utah
Book Section, Bibliographie
Serafini, Marco ; Bokor, Peter ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2009)
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions On Dependable & Secure Computing
Article, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Exploring Delay-Aware Transactions in Heterogenous Mobile Environments.
In: Journal of Software, Special Issue: Selected Papers of The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 4 (7)
Article, Bibliographie
Islam, Shariful ; Suri, Neeraj ; Balogh, Andras ; Csertan, György ; Pataricza, András (2009)
An Optimization Based Design for Integrated Dependable Real-Time Embedded Systems.
In: Journal of Design Automation for Embedded Systems, 4 (13)
Article, Bibliographie
Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
AReIT: Adaptable Reliable Information Transport for Service Availability in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Majuntke, Matthias ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj (2009)
Abortable Fork-Linearizable Storage.
Conference or Workshop Item, Bibliographie
Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Majuntke, Matthias ; Serafini, Marco ; Suri, Neeraj (2009)
Efficient Robust Storage Using Secret Tokens.
Conference or Workshop Item, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Exploring Delay-Aware Transactions in Heterogeneous Mobile Environments.
In: Journal Of Software Special Issue: Selected Papers of The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 4
Article, Bibliographie
D'Antonio, Salvatore ; Romano, Luigi ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Increasing Security and Protection of SCADA Systems through Infrastructure Resilience.
In: International Journal of System of Systems Engineering (IJSSE)
Article, Bibliographie
Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid
ed.: Obaidat, Mohammad S. (2009)
Map-Based Modeling and Design of Wireless SensorNetworks with OMNeT++.
International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2009). Istanbul, Turkey (13 - 16 July 2009)
Conference or Workshop Item, Bibliographie
Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Szczytowski, Piotr ; Ayari, Brahim ; Suri, Neeraj (2009)
Map-based Design for Autonomic Wireless Sensor Networks.
Book, Bibliographie
Sarbu, Constantin ; Winter, Stefan ; Nagappan, Nachiappan ; Suri, Neeraj (2009)
OS Driver Test Effort Reduction via Operational Profiling.
International Symposium on Software Reliability Engineering (ISSRE). Bengaluru-Mysuru, India (16 - 19 November 2009)
Conference or Workshop Item, Bibliographie
Sârbu, Constantin ; Nagappan, Nachiappan ; Suri, Neeraj (2009)
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
Conference or Workshop Item, Bibliographie
Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Conference or Workshop Item, Bibliographie
Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj (2009)
Threat Modeling and Dynamic Profiling.
Book Section, Bibliographie
Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nachiappan (2008)
Profiling the Operational Behavior of OS Device Drivers.
In: 19th International Symposium on Software Reliability Engineering (ISSRE)
doi: 10.1109/ISSRE.2008.14
Book Section, Bibliographie
Sakurai, Kohei ; Bokor, Peter ; Suri, Neeraj (2008)
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
Conference or Workshop Item, Bibliographie
Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
A Comparative study of Data Transport Protocols in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
Delay-Aware Mobile Transactions.
Conference or Workshop Item, Bibliographie
Sârbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008)
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
Conference or Workshop Item, Bibliographie
D'Antonio, Salvatore ; Khelil, Abdelmajid ; Romano, Luigi ; Suri, Neeraj (2008)
INcreasing Security and Protection through Infrastructure REsilience: the INSPIRE Project.
Conference or Workshop Item, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj ; Bleim, Eugen (2008)
Implementation and Evaluation of Delay-Aware and Fault-Tolerant Mobile Transactions.
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
Low-latency access to robust amnesic storage.
Conference or Workshop Item, Bibliographie
Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ayari, Brahim ; Suri, Neeraj (2008)
MWM: A Map-based World Model for Event-driven Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008)
On Identifying Execution Hotspots in Kernel-mode Device Drivers.
International Conference on Dependable Systems and Networks (DSN). Anchorage, AK (24 - 27 June 2008)
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
On the Time-Complexity of Robust and Amnesic Storage.
Conference or Workshop Item, Bibliographie
Serafini, Marco ; Suri, Neeraj (2008)
Reducing the Costs of Large-Scale BFT Replication.
Conference or Workshop Item, Bibliographie
Bokor, Peter ; Shukla, Sandeep ; Pataricza, András ; Suri, Neeraj (2008)
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
Conference or Workshop Item, Bibliographie
Serafini, Marco ; Suri, Neeraj ; Bondavalli, Andrea (2007)
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4)
Article, Bibliographie
Khelil, Abdelmajid ; Suri, Neeraj (2007)
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
Conference or Workshop Item, Bibliographie
Serafini, Marco ; Bondavalli, Andrea ; Suri, Neeraj (2007)
On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
In: IEEE Transactions on Dependable and Secure Computing, 4 (4)
Article, Bibliographie
Buchmann, Alejandro ; Mühlhäuser, Max ; Suri, Neeraj (2007)
Middleware für Ambient Intelligence.
In: Thema Forschung, (1)
Article, Bibliographie
Serafini, Marco ; Suri, Neeraj (2007)
The Fail-Heterogeneous Architectural Model.
Conference or Workshop Item, Bibliographie
Johansson, Andreas ; Suri, Neeraj
eds.: Qian, Yi ; Joshi, James ; Tipper, David ; Krishnamurthy, Prashant (2007)
Information Assurance: Dependability and Security in Networked Systems.
Book Section, Bibliographie
Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
On Modeling the Reliability of Data Transport in Wireless Sensor Networks.
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Ramasamy, Hari Govind ; Suri, Neeraj (2007)
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
Conference or Workshop Item, Bibliographie
Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
Conference or Workshop Item, Bibliographie
Sârbu, Constantin ; Suri, Neeraj (2007)
Runtime Behavior-based Profiling of OS Drivers.
Report, Bibliographie
Bokor, Peter ; Serafini, Marco ; Sisak, Aron ; Pataricza, András ; Suri, Neeraj (2007)
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Conference or Workshop Item, Bibliographie
Serafini, Marco ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2007)
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
Conference or Workshop Item, Bibliographie
Islam, Shariful ; Lindström, Robert ; Suri, Neeraj (2006)
Dependability Driven Integration of Mixed Criticality SW Components.
Conference or Workshop Item, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC : An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Conference or Workshop Item, Bibliographie
Herzner, Wolfgang ; Schlager, Martin ; Le Sergent, Thierry ; Huber, Bernhard ; Islam, Shariful ; Suri, Neeraj ; Balogh, András (2006)
From Model-Based Design to Deployment of Integrated, Embedded, Real-Time Systems: The DECOS Tool-Chain.
Conference or Workshop Item, Bibliographie
Islam, Shariful ; Csertán, György ; Balogh, András ; Herzner, Wolfgang ; Le Sergent, Thierry ; Pataricza, András ; Suri, Neeraj (2006)
A SW-HW Integration Process for the Generation of Platform Specific Models.
Conference or Workshop Item, Bibliographie
Jhumka, Arshad ; Freiling, Felix ; Fetzer, Christof ; Suri, Neeraj (2006)
An approach to synthesize safe systems.
In: International Journal of Security and Networks, 1 (1/2)
doi: 10.1504/IJSN.2006.010824
Article, Bibliographie
Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Conference or Workshop Item, Bibliographie
Sârbu, Constantin ; Johansson, Andreas ; Fraikin, Falk ; Suri, Neeraj (2006)
Improving Robustness Testing of COTS OS Extensions.
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Suri, Neeraj (2006)
One-step Consensus with Zero-Degradation.
Conference or Workshop Item, Bibliographie
Islam, Shariful ; Lindstrom, Robert ; Suri, Neeraj (2005)
Dependability driven integration of mixed critically SW components.
Report, Bibliographie
Jhumka, Arshad ; Suri, Neeraj (2005)
Designing efficient fail-safe multi-tolerant systems.
Conference or Workshop Item, Bibliographie
Johansson, Andreas ; Suri, Neeraj (2005)
Error propagation profiling of operating systems.
Report, Bibliographie
Johansson, Andreas ; Suri, Neeraj (2005)
Error propagation profiling of operating systems.
Conference or Workshop Item, Bibliographie
Dobre, Dan ; Suri, Neeraj (2005)
One-step consensus with zero-degradation.
Report, Bibliographie
Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj
eds.: Zomaya, Albert ; Diab, Hassan (2005)
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
Book Section, Bibliographie
Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2005)
Tracking the propagation of data errors in software.
In: Dependable computing systems : paradigms, performance issues, and applications
Book Section, Bibliographie
Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2004)
EPIC : profiling the propagation and effect of data errors in software.
In: IEEE Transactions on computers, 53 (5)
doi: 10.1109/TC.2004.1275294
Article, Bibliographie
Kopetz, Hermann ; Suri, Neeraj (2004)
On the limits of the precise specification of component interfaces.
Conference or Workshop Item, Bibliographie
Fetzer, Christof ; Högstedt, Karin ; Suri, Neeraj (2004)
Practical aspects of designing an IP take over mechanism.
Conference or Workshop Item, Bibliographie
Claesson, Vilgot ; Lönn, Henrik ; Suri, Neeraj (2004)
An efficient TDMA start-up and restart synchronization approach for distributed embedded systems.
In: IEEE Transactions on Parallel and Distributed Systems (TPDS), 15 (8)
doi: 10.1109/TPDS.2004.29
Article, Bibliographie
Askerdal, Örjan ; Gäfvert, Magnus ; Hiller, Martin ; Suri, Neeraj (2003)
Analyzing the impacts of data errors in safety-critical control systems.
In: IEICE Transactions : Information and Systems : D, E86-D (12)
Article, Bibliographie
Walter, Chris J. ; Suri, Neeraj (2003)
The customizable fault/error model for dependable distributed systems.
In: Theoretical Computer Science, 290 (2)
doi: 10.1016/S0304-3975(01)00203-1
Article, Bibliographie
Suri, Neeraj (2003)
Challenges for dependable embedded systems : developing the information society infrastructure.
Conference or Workshop Item, Bibliographie
Kopetz, Hermann ; Suri, Neeraj (2003)
Compositional design of real-time systems : a conceptual basis for specification of linking interfaces.
Conference or Workshop Item, Bibliographie
Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2003)
Software profiling for designing dependable systems.
Conference or Workshop Item, Bibliographie
Claesson, Vilgot ; Ekeln, C. ; Suri, Neeraj (2003)
The event-triggered and time-triggered media access methods.
Conference or Workshop Item, Bibliographie
Jhumka, Arshad ; Hiller, Martin ; Suri, Neeraj (2003)
A framework for the design and validation of efficient fail-safe fault-tolerant programs.
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Mendelson, A. (2001)
Design of a parallel interconnect based on communication pattern consideration.
In: Parallel Algorithms and Applications, 16 (4)
doi: 10.1080/01495730108935273
Article, Bibliographie
Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2001)
An Approach for Analysing the Propagation of Data Errors in Software.
Conference or Workshop Item, Bibliographie
Jhumka, A. ; Hiller, Martin ; Suri, Neeraj (2001)
Assessing Inter-Modular Error Propagation in Distributed Software.
Conference or Workshop Item, Bibliographie
Kanoun, K. ; Arlat, J. ; Costa, D. J. G. ; DalCin, M. ; Gil, P. ; Laprie, J.-C. ; Madeira, H. ; Suri, Neeraj (2001)
DBench (Dependability Benchmarking).
International Conference on Dependable Systems and Networks (DSN). Göteborg (1.-4. July 2001)
Conference or Workshop Item, Bibliographie
Sinha, Purnendu ; Suri, Neeraj (2001)
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
Conference or Workshop Item, Bibliographie
Mendelson, Avi ; Suri, Neeraj (2000)
Designing High-Performance & Reliable Superscalar Architectures: The Out of Order Reliable Superscalar (O3Rs) Approach.
Conference or Workshop Item, Bibliographie
Walter, Chris J. ; Suri, Neeraj ; Monaghan, T. (2000)
Evaluation of COTS Standards for Dependable Systems Design.
Conference or Workshop Item, Bibliographie
Sinha, Purnendu ; Suri, Neeraj (1999)
Identification of Test Cases Using a Formal FI Approach.
Conference or Workshop Item, Bibliographie
Sinha, Purnendu ; Suri, Neeraj (1999)
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Sinha, Purnendu (1998)
On the Use of Formal Techniques for Validation.
Conference or Workshop Item, Bibliographie
Walter, Chris J. ; Lincoln, Patrick ; Suri, Neeraj (1997)
Formally verified on-line diagnosis.
In: IEEE transactions on software engineering
Article, Bibliographie
Mendelson, Avi ; Suri, Neeraj (1997)
Cache Based Fault Recovery in Distributed Systems.
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Hugue, M. M. ; Walter, Chris J. (1995)
Advances in Ultra-Dependable Distributed Systems.
Book Section, Bibliographie
Walter, Chris J. ; Suri, Neeraj (1995)
Dependability Issues in the Reuse of Standard Components in Open Architectures.
Conference or Workshop Item, Bibliographie
Mendelson, Avi ; Suri, Neeraj (1995)
Roll-Forward Recovery: The Bi-Directional Cache Approach.
Conference or Workshop Item, Bibliographie
Suri, Neeraj (1995)
A System Level On-Line Testing Approach.
Conference or Workshop Item, Bibliographie
Walter, Chris ; Hugue, M. ; Suri, Neeraj (1994)
Continual On-Line Diagnosis of Hybrid Faults.
Conference or Workshop Item, Bibliographie
Walter, Chris ; Suri, Neeraj (1993)
Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach.
Conference or Workshop Item, Bibliographie
Suri, Neeraj ; Mendelson, Avi ; Pradhan, D. K. (1991)
BDG-Torus Union Graph: An Algorithmically Specialized Parallel Interconnect.
Conference or Workshop Item, Bibliographie