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)
Artikel, 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)
Artikel, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Serafini, Marco ; Suri, Neeraj (2009)
Efficient Robust Storage Using Secret Tokens.
Konferenzveröffentlichung, Bibliographie

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Role-Based Symmetry Reduction of Fault-tolerant Distributed Protocols with Language Support.
Konferenzveröffentlichung, Bibliographie

Germanus, Daniel ; Johansson, Andreas ; Suri, Neeraj (2009)
Threat Modeling and Dynamic Profiling.
Buchkapitel, 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)
Artikel, Bibliographie

Buchmann, Alejandro ; Mühlhäuser, Max ; Suri, Neeraj (2007)
Middleware für Ambient Intelligence.
In: Thema Forschung, (1)
Artikel, Bibliographie

Johansson, Andreas ; Suri, Neeraj
Hrsg.: Qian, Yi ; Joshi, James ; Tipper, David ; Krishnamurthy, Prashant (2007)
Information Assurance: Dependability and Security in Networked Systems.
Buchkapitel, Bibliographie

Jhumka, Arshad ; Suri, Neeraj (2005)
Designing efficient fail-safe multi-tolerant systems.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Suri, Neeraj (2005)
One-step consensus with zero-degradation.
Report, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj
Hrsg.: Zomaya, Albert ; Diab, Hassan (2005)
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
Buchkapitel, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2001)
An Approach for Analysing the Propagation of Data Errors in Software.
Konferenzveröffentlichung, Bibliographie

Jhumka, A. ; Hiller, Martin ; Suri, Neeraj (2001)
Assessing Inter-Modular Error Propagation in Distributed Software.
Konferenzveröffentlichung, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (2001)
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
Konferenzveröffentlichung, Bibliographie

Mendelson, Avi ; Suri, Neeraj (2000)
Designing High-Performance & Reliable Superscalar Architectures: The Out of Order Reliable Superscalar (O3Rs) Approach.
Konferenzveröffentlichung, Bibliographie

Walter, Chris J. ; Suri, Neeraj ; Monaghan, T. (2000)
Evaluation of COTS Standards for Dependable Systems Design.
Konferenzveröffentlichung, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj ; Sinha, Purnendu (1998)
On the Use of Formal Techniques for Validation.
Konferenzveröffentlichung, Bibliographie

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

Mendelson, Avi ; Suri, Neeraj (1997)
Cache Based Fault Recovery in Distributed Systems.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj ; Hugue, M. M. ; Walter, Chris J. (1995)
Advances in Ultra-Dependable Distributed Systems.
Buchkapitel, Bibliographie

Walter, Chris J. ; Suri, Neeraj (1995)
Dependability Issues in the Reuse of Standard Components in Open Architectures.
Konferenzveröffentlichung, Bibliographie

Mendelson, Avi ; Suri, Neeraj (1995)
Roll-Forward Recovery: The Bi-Directional Cache Approach.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj (1995)
A System Level On-Line Testing Approach.
Konferenzveröffentlichung, Bibliographie

Walter, Chris ; Hugue, M. ; Suri, Neeraj (1994)
Continual On-Line Diagnosis of Hybrid Faults.
Konferenzveröffentlichung, Bibliographie

Walter, Chris ; Suri, Neeraj (1993)
Evaluating Fault Coverage Using an Integrated Inductive and Deductive Approach.
Konferenzveröffentlichung, Bibliographie

Suri, Neeraj ; Mendelson, Avi ; Pradhan, D. K. (1991)
BDG-Torus Union Graph: An Algorithmically Specialized Parallel Interconnect.
Konferenzveröffentlichung, Bibliographie

Englisch

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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Kauer, Michaela ; Pfeiffer, Thomas ; Volkamer, Melanie ; Theuerling, Heike ; Bruder, Ralph
Hrsg.: 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 (07.03.2012-09.03.2012)
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Bokor, Peter ; Suri, Neeraj ; Vinter, Jonny ; Ademaj, Astrit ; Brandstätter, Wolfgang ; Tagliabò, Fulvio ; Koch, Jens (2011)
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
In: IEEE Transactions on Dependable and Secure Computing, 8 (2)
doi: 10.1109/TDSC.2010.23
Artikel, 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.
Konferenzveröffentlichung, 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
Artikel, 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)
Artikel, Bibliographie

Winter, Stefan ; Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2009)
Impact of Error Models on OS Robustness Evaluations.
Konferenzveröffentlichung, Bibliographie

Germanus, Daniel ; Suri, Neeraj ; Johansson, Andreas
Hrsg.: Raghav Rao, H. ; Whinston, Andrew B. (2009)
Threat Modeling and Dynamic Profiling of Networked Applications.
In: Information Assurance, Security and Privacy Services
Buchkapitel, 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 (06.03.2009-06.03.2009)
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
AReIT: Adaptable Reliable Information Transport for Service Availability in Wireless Sensor Networks.
Konferenzveröffentlichung, Bibliographie

Majuntke, Matthias ; Dobre, Dan ; Serafini, Marco ; Suri, Neeraj (2009)
Abortable Fork-Linearizable Storage.
Konferenzveröffentlichung, Bibliographie

Bokor, Peter ; Serafini, Marco ; Suri, Neeraj ; Veith, Helmut (2009)
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
Konferenzveröffentlichung, 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
Artikel, 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)
Artikel, Bibliographie

Szczytowski, Piotr ; Suri, Neeraj ; Khelil, Abdelmajid
Hrsg.: 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.07.2009-16.07.2009)
Konferenzveröffentlichung, Bibliographie

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Szczytowski, Piotr ; Ayari, Brahim ; Suri, Neeraj (2009)
Map-based Design for Autonomic Wireless Sensor Networks.
Buch, 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.11.2009-19.11.2009)
Konferenzveröffentlichung, Bibliographie

Sârbu, Constantin ; Nagappan, Nachiappan ; Suri, Neeraj (2009)
On Equivalence Partitioning of Code Paths inside OS Kernel Components.
Konferenzveröffentlichung, Bibliographie

Sarbu, Constantin ; Johansson, Andreas ; Suri, Neeraj ; Nagappan, Nachiappan (2008)
Profiling the Operational Behavior of OS Device Drivers.
19th International Symposium on Software Reliability Engineering (ISSRE). Seattle, USA (10.11.2008 - 14.11.2008)
doi: 10.1109/ISSRE.2008.14
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
A Comparative study of Data Transport Protocols in Wireless Sensor Networks.
Konferenzveröffentlichung, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
Delay-Aware Mobile Transactions.
Konferenzveröffentlichung, Bibliographie

Sârbu, Constantin ; Johansson, Andreas ; Suri, Neeraj (2008)
Execution Path Profiling for OS Device Drivers: Viability and Methodology.
Konferenzveröffentlichung, Bibliographie

D'Antonio, Salvatore ; Khelil, Abdelmajid ; Romano, Luigi ; Suri, Neeraj (2008)
INcreasing Security and Protection through Infrastructure REsilience: the INSPIRE Project.
Konferenzveröffentlichung, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj ; Bleim, Eugen (2008)
Implementation and Evaluation of Delay-Aware and Fault-Tolerant Mobile Transactions.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
Low-latency access to robust amnesic storage.
Konferenzveröffentlichung, Bibliographie

Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Ayari, Brahim ; Suri, Neeraj (2008)
MWM: A Map-based World Model for Event-driven Wireless Sensor Networks.
Konferenzveröffentlichung, 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.06.2008-27.06.2008)
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Majuntke, Matthias ; Suri, Neeraj (2008)
On the Time-Complexity of Robust and Amnesic Storage.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj (2008)
Reducing the Costs of Large-Scale BFT Replication.
Konferenzveröffentlichung, Bibliographie

Bokor, Peter ; Shukla, Sandeep ; Pataricza, András ; Suri, Neeraj (2008)
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
Konferenzveröffentlichung, 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)
Artikel, Bibliographie

Khelil, Abdelmajid ; Suri, Neeraj (2007)
Gossiping: Adaptive and Reliable Broadcasting in MANETs.
Konferenzveröffentlichung, Bibliographie

Serafini, Marco ; Suri, Neeraj (2007)
The Fail-Heterogeneous Architectural Model.
Konferenzveröffentlichung, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
On Modeling the Reliability of Data Transport in Wireless Sensor Networks.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Ramasamy, Hari Govind ; Suri, Neeraj (2007)
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
Konferenzveröffentlichung, Bibliographie

Shaikh, Faisal Karim ; Khelil, Abdelmajid ; Suri, Neeraj (2007)
Poster: Meeting the Evolving Reliability Requirements for WSN Applications.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Islam, Shariful ; Lindström, Robert ; Suri, Neeraj (2006)
Dependability Driven Integration of Mixed Criticality SW Components.
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06). Gyeongju, Korea (South) (24.04.2006-26.04.2006)
doi: 10.1109/ISORC.2006.26
Konferenzveröffentlichung, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC : An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Konferenzveröffentlichung, Bibliographie

Sârbu, Constantin ; Johansson, Andreas ; Fraikin, Falk ; Suri, Neeraj (2006)
Improving Robustness Testing of COTS OS Extensions.
Konferenzveröffentlichung, Bibliographie

Dobre, Dan ; Suri, Neeraj (2006)
One-step Consensus with Zero-Degradation.
Konferenzveröffentlichung, Bibliographie

Islam, Shariful ; Lindstrom, Robert ; Suri, Neeraj (2005)
Dependability driven integration of mixed critically SW components.
Report, 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.
Konferenzveröffentlichung, 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
Buchkapitel, 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
Artikel, Bibliographie

Kopetz, Hermann ; Suri, Neeraj (2004)
On the limits of the precise specification of component interfaces.
Konferenzveröffentlichung, Bibliographie

Fetzer, Christof ; Högstedt, Karin ; Suri, Neeraj (2004)
Practical aspects of designing an IP take over mechanism.
Konferenzveröffentlichung, 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
Artikel, 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)
Artikel, 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
Artikel, Bibliographie

Suri, Neeraj (2003)
Challenges for dependable embedded systems : developing the information society infrastructure.
Konferenzveröffentlichung, Bibliographie

Kopetz, Hermann ; Suri, Neeraj (2003)
Compositional design of real-time systems : a conceptual basis for specification of linking interfaces.
Konferenzveröffentlichung, Bibliographie

Hiller, Martin ; Jhumka, Arshad ; Suri, Neeraj (2003)
Software profiling for designing dependable systems.
Konferenzveröffentlichung, Bibliographie

Claesson, Vilgot ; Ekeln, C. ; Suri, Neeraj (2003)
The event-triggered and time-triggered media access methods.
Konferenzveröffentlichung, Bibliographie

Jhumka, Arshad ; Hiller, Martin ; Suri, Neeraj (2003)
A framework for the design and validation of efficient fail-safe fault-tolerant programs.
Konferenzveröffentlichung, 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
Artikel, 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 (01.07.2001-04.07.2001)
Konferenzveröffentlichung, Bibliographie

Sinha, Purnendu ; Suri, Neeraj (1999)
Identification of Test Cases Using a Formal FI Approach.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Dec 17 04:02:46 2024 CET generiert.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Datenschutzerklärung

Exportieren als	Atom RSS 1.0 RSS 2.0