Michael Lybecait
According to our database1,
Michael Lybecait
authored at least 7 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2021
Int. J. Softw. Tools Technol. Transf., 2021
2019
2018
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools.
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016