Author of the publication

A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling.

, , , , and . CoRR, (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

Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions., , , and . ICSA, page 171-180. IEEE, (2019)Enabling Industry 4.0 Service-Oriented Architecture Through Digital Twins., , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 490-503. Springer, (2020)Industrie 4.0 Virtual Automation Bus Architecture., , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 477-489. Springer, (2020)Continuous Systems and Software Engineering for Industry 4.0: A disruptive view., , , , and . Inf. Softw. Technol., (2021)Towards live decision-making for service-based production: Integrated process planning and scheduling with Digital Twins and Deep-Q-Learning., , and . Comput. Ind., (August 2023)Towards a Virtual Continuous Integration Platform for Advanced Driving Assistance Systems., , , , and . ICSA Companion, page 61-64. IEEE, (2019)Architecture Blueprint Enabling Distributed Digital Twins., , , and . ECBS, page 13:1-13:10. ACM, (2021)From Safety Requirements to Just-Enough Safety-Centered Architectural Solutions in Agile Contexts., , and . SBES, page 766-771. ACM, (2020)Enabling Industry 4.0 Communication Protocol Interoperability: An OPC UA Case Study., , and . ECBS, page 14:1-14:9. ACM, (2021)Detection of conflicts and inconsistencies between architecture solutions., , , , and . ECSA (Companion), page 183-189. ACM, (2019)