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

Islam, Shariful and Suri, Neeraj and Balogh, Andras and Csertan, György and Pataricza, András (2009):
An Optimization Based Design for Integrated Dependable Real-Time Embedded Systems.
In: Journal of Design Automation for Embedded Systems, p. 245, 4, (13), [Article]

Bokor, Peter and Shukla, Sandeep and Pataricza, András and 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, ACM, [Conference or Workshop Item]

Bokor, Peter and Serafini, Marco and Sisak, Aron and Pataricza, András and 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, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Islam, Shariful and Csertán, György and Balogh, András and Herzner, Wolfgang and Le Sergent, Thierry and Pataricza, András and Suri, Neeraj (2006):
A SW-HW Integration Process for the Generation of Platform Specific Models.
In: Microelectronics ME <Vienna,2006> ; 194-203, [Conference or Workshop Item]

This list was generated on Tue Oct 15 00:39:06 2019 CEST.