2010

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

2009

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

2008

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

2007

Bokor, Peter ; Serafini, Marco ; Sisak, Aron ; Pataricza, András ; Suri, Neeraj (2007)
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Konferenzveröffentlichung, Bibliographie

2006

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