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

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver., , , , and . IEEE Trans. Ind. Informatics, 16 (12): 7821-7831 (2020)SNTAM: secure neuro-fuzzy-based trusted neighbour selection and attackers detection in multipath ad-hoc network., , and . Int. J. Internet Protoc. Technol., 16 (2): 119-130 (2023)A Self-Biased Charge-Transfer Sense Amplifier., , and . ISCAS, page 3030-3033. IEEE, (2007)Reconstruction of Function Block Logic Using Metaheuristic Algorithm., , , and . IEEE Trans. Ind. Informatics, 13 (4): 1763-1771 (2017)A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems., , , and . CoRR, (2021)Smart Adapter System Architecture for Seamless and Scalable Integration of Industry and Smart Home IoT., , , , and . IECON, page 1-6. IEEE, (2022)Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications., , , , and . ETFA, page 1-4. IEEE, (2023)Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications., , , and . DoCEIS, volume 450 of IFIP Advances in Information and Communication Technology, page 73-81. Springer, (2015)Mechatronic Swarm and its Virtual Commissioning., , , , and . ICM, page 1-6. IEEE, (2023)Towards a formal model of protection functions for power distribution networks., , , and . IECON, page 5302-5309. IEEE, (2016)