TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

Suri, Neeraj and Jhumka, Arshad and Hiller, Martin and Pataricza, András and Islam, Shariful and Sârbu, Constantin (2010):
A Software Integration Approach for Designing and Assessing Dependable Embedded Systems.
In: Journal of Systems and Software, Elsevier, pp. 1780-1800, 83, (10), ISSN 0164-1212,
DOI: 10.1016/j.jss.2010.04.063,
[Article]

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

Jhumka, Arshad and Suri, Neeraj (2005):
Designing efficient fail-safe multi-tolerant systems.
In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 ; proceedings / Farn Wang (ed.)- Berlin [u.a.] : Springer, 2005.- XII, 558 S.- (Lecture notes in computer s, [Conference or Workshop Item]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj (2005):
Tracking the propagation of data errors in software.
In: Dependable computing systems : paradigms, performance issues, and applications / ed. by Hassan B. Diab and Albert Y. Zomaya.- Hoboken, NJ [u.a.] : Wiley, 2005.- XXXIX, 638 S.- (Wiley series on parallel and distributed computing).- ISBN: 0-471-67422-2, Hoboken, NJ [u.a.], Wiley, [Book Section]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj
Zomaya, Albert and Diab, Hassan (eds.) (2005):
Dependable Computing Systems: Paradigms, Performance Issues, and Applications.
John Wiley, pp. 407-429, [Book Section]

Jhumka, Arshad (2004):
Automated Design of Efficient Fail-Safe Fault Tolerance.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-4713],
[Ph.D. Thesis]

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

Jhumka, Arshad (2003):
Automated design of efficient fail-safe fault tolerance.
Darmstadt, Techn. Univ., TU Darmstadt, [Ph.D. Thesis]

Hiller, Martin and Jhumka, Arshad and Suri, Neeraj (2003):
Software profiling for designing dependable systems.
In: International Conference on Space Mission Challenges for Information Technology (SMC-IT) <1, 2003, Pasadena, Calif.>: Proceedings ...July 14-16, 2003, Pasadena.- (JPL Publication ; 03-13A).- S. 59-66, [Conference or Workshop Item]

Jhumka, Arshad and Hiller, Martin and Suri, Neeraj (2003):
A framework for the design and validation of efficient fail-safe fault-tolerant programs.
In: Software and compilers for embedded systems : 7th international workshop, Vienna, Austria, September 24 - 26, 2003 ; proceedings / SCOPES 2003. Andreas Krall (ed.)- Berlin [u.a.] : Springer, 2003.- XI, 402 S. : graph. Darst.- (Lecture notes in computer sc, [Conference or Workshop Item]

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

This list was generated on Tue Oct 15 00:11:07 2019 CEST.