Marcel Christian Werner
According to our database1,
Marcel Christian Werner
authored at least 3 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models.
Proceedings of the Forum on Specification & Design Languages, 2023
2022
Proceedings of the Forum on Specification & Design Languages, 2022
2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021