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

Oeritte: User-Friendly Counterexample Explanation for Model Checking., , , and . IEEE Access, (2021)poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language., , , , and . IEEE Access, (2022)Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems., , , , and . CoRR, (2021)Imbalanced multiclass classification with active learning in strip rolling process., , , , and . Knowl. Based Syst., (2022)Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency., , , , and . IEEE Access, (2020)Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers., , and . ACM Trans. Embed. Comput. Syst., 12 (1): 17:1-17:17 (2013)Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices., , , , , , and . IEEE Access, (2019)Using Visual Specifications in Verification of Industrial Automation Controllers., and . EURASIP J. Embed. Syst., (2008)Embedded Systems Design in Intelligent Industrial Automation., , , , and . EURASIP J. Embed. Syst., (2008)Software Engineering in Industrial Automation: State-of-the-Art Review.. IEEE Trans. Ind. Informatics, 9 (3): 1234-1249 (2013)