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: 5.

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), pp. 1780-1800. Elsevier, ISSN 0164-1212,
DOI: 10.1016/j.jss.2010.04.063,

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), p. 245. [Article]

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

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

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.
In: Microelectronics ME <Vienna,2006> ; 194-203, pp. 194-203, [Conference or Workshop Item]

This list was generated on Tue Aug 9 02:10:05 2022 CEST.