Author of the publication

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.

, , , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 206-220. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Change impact analysis in Simulink designs of embedded systems., , , , , , , , and . ESEC/SIGSOFT FSE, page 1274-1284. ACM, (2020)Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity., , , , , , and . CoRR, (2023)Use of Tabular Expressions for Refinement Automation., , , and . MEDI, volume 10563 of Lecture Notes in Computer Science, page 167-182. Springer, (2017)Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS., , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 125-141. Springer, (2013)Applying Modular Decomposition in Simulink., , , , and . ISSRE Workshops, page 31-36. IEEE, (2020)An Automotive Architecture Product Line for E/E Powertrain Architectures., , , , , , and . MoDELS (Companion), page 715-719. IEEE, (2023)Repository Mining for Changes in Simulink Models., , , , and . MoDELS, page 46-57. IEEE, (2021)Guest Editors' Introduction: Inspection's Role in Software Quality Assurance., and . IEEE Softw., 20 (4): 16-20 (2003)Assurance Cases for Timing Properties of Automotive TSN Networks., , , , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 26-31. Springer, (2023)Hierarchical interface-based supervisory Control-part I: serial case., , , and . IEEE Trans. Automat. Contr., 50 (9): 1322-1335 (2005)