Michal Töpfer
Orcid: 0000-0002-3313-1766
According to our database1,
Michal Töpfer
authored at least 9 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022
2021
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021
2020
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020