Articles with public access mandates - Lars HamannLearn more
Available somewhere: 4
Formal specification and testing of model transformations
A Vallecillo, M Gogolla, L Burgueno, M Wimmer, L Hamann
International School on Formal Methods for the Design of Computer …, 2012
Mandates: Austrian Science Fund
From application models to filmstrip models: An approach to automatic validation of model dynamics
M Gogolla, L Hamann, F Hilken, M Kuhlmann, R France
Gesellschaft für Informatik eV, 2014
Mandates: German Research Foundation
Transformation of UML and OCL models into filmstrip models
F Hilken, L Hamann, M Gogolla
International Conference on Theory and Practice of Model Transformations …, 2014
Mandates: German Research Foundation
Transformation of tocl temporal properties into ocl
MA Lail, A Rosales, H Cardenas, L Hamann, A Perez
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program