Daniel Busch
Orcid: 0009-0000-1832-9857
According to our database1,
Daniel Busch
authored at least 10 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023
2022
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021