Author of the publication

Digital Twins for Manufacturing Using UML and Behavioral Specifications.

, , and . ETFA, page 1035-1038. IEEE, (2020)

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

Concept Drift Analysis by Dynamic Residual Projection for Effectively Detecting Botnet Cyber-Attacks in IoT Scenarios., , and . IEEE Trans. Ind. Informatics, 18 (6): 3692-3701 (2022)Simulation Components in Gazebo., , , and . ICIT, page 1169-1175. IEEE, (2021)Dynamic Adapter Connections for IEC 61499., , , and . ICIT, page 1054-1059. IEEE, (2021)A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application., , and . ISIE, page 1-6. IEEE, (2021)Coinductive Verification of Program Optimizations Using Similarity Relations., , and . COCV@ETAPS, volume 176 of Electronic Notes in Theoretical Computer Science, page 61-77. Elsevier, (2006)Towards Formal Monitoring of Workpieces in Agile Manufacturing., , and . ICIT, page 334-339. IEEE, (2020)Model-Based Engineering and Spatiotemporal Analysis of Transport Systems., , , , and . ENASE (Selected Papers), volume 703 of Communications in Computer and Information Science, page 44-65. Springer, (2016)SMT-Based Deployment Calculation for IEC 61499 Control Applications., , and . ICPS, page 172-178. IEEE, (2021)Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments., , , and . ISIE, page 1-7. IEEE, (2021)Behavioral Types for Space-aware Systems., and . ACES-MB&WUCOR@MoDELS, volume 1508 of CEUR Workshop Proceedings, page 11-18. CEUR-WS.org, (2015)