Items where Author is "Pataricza, A."
Journal Article
Suri, Neeraj and Jhumka, A. and Hiller, M. and Pataricza, A. and Islam, S. and Sârbu, C. (2010) A software integration approach for designing and assessing dependable embedded systems. Journal of Systems and Software, 83 (10). pp. 1780-1800. ISSN 0164-1212
Islam, S. and Suri, Neeraj and Balogh, A. and Csertán, G. and Pataricza, A. (2009) An optimization based design for integrated dependable real-time embedded systems. Design Automation for Embedded Systems, 13 (4). pp. 245-285. ISSN 0929-5585
Contribution in Book/Report/Proceedings
Bokor, P. and Serafini, M. and Sisak, Á. and Pataricza, A. and Suri, Neeraj (2007) Sustaining property verification of synchronous dependable protocols over implementation. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) :. IEEE, pp. 169-178. ISBN 0769530435