Lars Hamann

According to our database, Lars Hamann authored at least 40 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Proving Properties of Operation Contracts with Test Scenarios.

Martin Gogolla, Lars Hamann

Proceedings of the Tests and Proofs - 17th International Conference, 2023

International Workshop on OCL and Textual Modeling (OCL 2023).

Robert Clarisó, Lars Hamann

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Categorization of approaches to extend and reuse OCL.

Lars Hamann, Martin Gogolla, Mustafa Al-Lail

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Transformation of TOCL temporal properties into OCL.

Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo J. Perez

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Frank Hilken, Lars Hamann

J. Object Technol., 2020

Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.

Lars Hamann, Richard F. Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo

J. Object Technol., 2020

2016

On the Support of Qualified Associations in OCL.

Lars Hamann, Martin Gogolla, Nisha Desai

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

On formalizing UML and OCL features and their employment to runtime verification.

Lars Hamann

PhD thesis, 2015

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln.

Lars Hamann, Martin Gogolla

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study.

Lars Hamann, Karsten Sohr, Martin Gogolla

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

2014

Model-driven standardization of public authority data interchange.

Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek

Sci. Comput. Program., 2014

Checking Transformation Model Properties with a UML and OCL Model Validator.

Martin Gogolla, Lars Hamann, Frank Hilken

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL.

Lars Hamann, Martin Gogolla, Oliver Hofrichter

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool.

Lars Hamann, Frank Hilken, Martin Gogolla

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

On metamodel superstructures employing UML generalization features.

Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken

Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

On Static and Dynamic Analysis of UML and OCL Transformation Models.

Martin Gogolla, Lars Hamann, Frank Hilken

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.

Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France

Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Transformation of UML and OCL Models into Filmstrip Models.

Frank Hilken, Lars Hamann, Martin Gogolla

Proceedings of the Theory and Practice of Model Transformations, 2014

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen

Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier

Proceedings of the Behavior Modeling, 2014

2013

Endogenous Metamodeling Semantics for Structural UML 2 Concepts.

Lars Hamann, Martin Gogolla

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

A benchmark for OCL engine accuracy, determinateness, and efficiency.

Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner

Softw. Syst. Model., 2012

Evaluating and Debugging OCL Expressions in UML Models.

Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Formal Specification and Testing of Model Transformations.

Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

The secret life of OCL constraints.

Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

On Integrating Structure and Behavior Modeling with OCL.

Lars Hamann, Oliver Hofrichter, Martin Gogolla

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Towards supporting multiple execution environments for UML/OCL models at runtime.

Lars Hamann, Martin Gogolla, Daniel Honsel

Proceedings of the 7th Workshop on [e-mail], Innsbruck, Austria, October 02, 2012, 2012

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.

Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla

Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

OCL-Based Runtime Monitoring of Applications with Protocol State Machines.

Lars Hamann, Oliver Hofrichter, Martin Gogolla

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Abstract Runtime Monitoring with USE.

Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

OCL-based Runtime Monitoring of JVM hosted Applications.

Lars Hamann, Martin Gogolla, Mirco Kuhlmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques.

Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

OCL Tools Report based on the IDE4OCL Feature Model.

Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, Edward D. Willink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Extending ASSL: Making UML Metamodel-based Workflows executable.

Jens Brüning, Lars Hamann, Andreas Wolff

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Extensive Validation of OCL Models by Integrating SAT Solving into USE.

Mirco Kuhlmann, Lars Hamann, Martin Gogolla

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

2010

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.

Martin Gogolla, Lars Hamann, Mirco Kuhlmann

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Zur Validierung von Kompositionsstrukturen in UML mit USE.

Lars Hamann, Martin Gogolla, Mirco Kuhlmann

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

2009

Consistency, Independence and Consequences in UML and OCL Models.

Martin Gogolla, Mirco Kuhlmann, Lars Hamann

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

On Better Understanding OCL Collections <i>or</i> An OCL Ordered Set Is Not an OCL Set.

Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow

Proceedings of the Models in Software Engineering, 2009