Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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