Follow
Lars Hamann
Title
Cited by
Cited by
Year
Extensive validation of OCL models by integrating SAT solving into USE
M Kuhlmann, L Hamann, M Gogolla
International Conference on Modelling Techniques and Tools for Computer …, 2011
1242011
Consistency, independence and consequences in UML and OCL models
M Gogolla, M Kuhlmann, L Hamann
Tests and Proofs: Third International Conference, TAP 2009, Zurich …, 2009
932009
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
792012
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
572014
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
302014
OCL tools report based on the ide4OCL feature model
J Chimiak-Opoka, B Demuth, A Awenius, D Chiorean, S Gabel, L Hamann, ...
Electronic Communications of the EASST 44, 2011
292011
Model-driven standardization of public authority data interchange
F Büttner, U Bartels, L Hamann, O Hofrichter, M Kuhlmann, M Gogolla, ...
Science of Computer Programming 89, 162-175, 2014
262014
On integrating structure and behavior modeling with OCL
L Hamann, O Hofrichter, M Gogolla
Model Driven Engineering Languages and Systems: 15th International …, 2012
262012
Proving and visualizing OCL invariant independence by automatically generated test cases
M Gogolla, L Hamann, M Kuhlmann
International conference on tests and proofs, 38-54, 2010
212010
Checking Transformation Model Properties with a UML and OCL Model Validator.
M Gogolla, L Hamann, F Hilken
VOLT@ STAF, 16-25, 2014
192014
OCL-based runtime monitoring of JVM hosted applications
L Hamann, M Gogolla, M Kuhlmann
Electronic Communications of the EASST 44, 2011
182011
Ocl-based runtime monitoring of applications with protocol state machines
L Hamann, O Hofrichter, M Gogolla
European Conference on Modelling Foundations and Applications, 384-399, 2012
152012
Endogenous metamodeling semantics for structural UML 2 concepts
L Hamann, M Gogolla
Model-Driven Engineering Languages and Systems: 16th International …, 2013
132013
Exploring (Meta-) model snapshots by combining visual and textual techniques
M Gogolla, L Hamann, J Xu, J Zhang
Electronic Communications of the EASST 41, 2011
132011
On Static and Dynamic Analysis of UML and OCL Transformation Models.
M Gogolla, L Hamann, F Hilken
AMT@ MoDELS, 24-33, 2014
102014
A benchmark for OCL engine accuracy, determinateness, and efficiency
M Kuhlmann, L Hamann, M Gogolla, F Büttner
Software & Systems Modeling 11, 165-182, 2012
102012
Abstract Runtime Monitoring with USE
L Hamann, L Vidács, M Gogolla, M Kuhlmann
2012 16th European Conference on Software Maintenance and Reengineering, 549-552, 2012
102012
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
F Büttner, M Gogolla, L Hamann, M Kuhlmann, A Lindow
Models in Software Engineering: Workshops and Symposia at MODELS 2009 …, 2010
92010
Checking uml and ocl model consistency: An experience report on a middle-sized case study
M Gogolla, L Hamann, F Hilken, M Sedlmeier
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015
82015
Evaluating and debugging OCL expressions in UML models
J Brüning, M Gogolla, L Hamann, M Kuhlmann
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech …, 2012
82012
The system can't perform the operation now. Try again later.
Articles 1–20