Author of the publication

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.

, , , and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 76-91. Springer, (2014)

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

Software Composition and Distributed Operation Scheduling in Modular Automated Machines., , , and . IEEE Trans. Ind. Informatics, 11 (4): 865-878 (2015)Plant model generation from event log using ProM for formal verification of CPS., , , and . CoRR, (2022)Towards automatic state machine reconstruction from legacy PLC using data collection., , , and . INDIN, page 147-151. IEEE, (2019)An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard., , , and . ETFA, page 1-7. IEEE, (2022)DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS., , , and . INDIN, page 1-6. IEEE, (2023)Cyber-physical automation systems modelling with IEC 61499 for their formal verification., , and . INDIN, page 1-6. IEEE, (2021)Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics., , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 300-315. Springer, (2015)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)A Self-Biased Charge-Transfer Sense Amplifier., , and . ISCAS, page 3030-3033. IEEE, (2007)