Author of the publication

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

Formal Verification of Protection Functions for Power Distribution Networks., , , , and . IECON, page 3550-3555. IEEE, (2018)Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications., , and . INDIN, page 725-732. IEEE, (2018)Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study., , , , , , , , and . SOHOMA, volume 853 of Studies in Computational Intelligence, page 301-312. Springer, (2019)Towards formal ASM semantics of timed control systems for industrial CPS., , , and . ETFA, page 1682-1685. IEEE, (2019)Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations.. Lulea University of Technology, Sweden, (2021)base-search.net (ftluleatu:oai:DiVA.org:ltu-86536).Towards formal verification for cyber-physically agnostic software: A case study., , , and . IECON, page 5509-5514. IEEE, (2017)Arrowhead Datamanager integration with Eclipse 4DIAC environment., , , , and . ETFA, page 1377-1380. IEEE, (2020)Speculative computation in IEC 61499 function blocks execution - Modeling and simulation., , and . INDIN, page 748-755. IEEE, (2016)Refactoring of IEC 61499 function block application - A case study., , , and . ICPS, page 726-733. IEEE, (2018)Formal Modelling of Distributed Automation CPS with CP-Agnostic Software., , and . SOHOMA, volume 694 of Studies in Computational Intelligence, page 35-46. Springer, (2016)