TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

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)

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)

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 ; 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)

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)

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

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)

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)

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)

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)

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)

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

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

Diese Liste wurde am Sat Nov 18 07:58:06 2017 CET generiert.