Lars Hamann

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 10

Top Venues

MoDELS (Companion)

J. Object Technol.

AMT@MoDELS

Software Engineering & Management

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Martin Gogolla, Lars Hamann
Proving Properties of Operation Contracts with Test Scenarios. TAP (2023)
Robert Clarisó, Lars Hamann
International Workshop on OCL and Textual Modeling (OCL 2023). MoDELS (Companion) (2023)
Mustafa Al-Lail, Antonio Rosales, Hector Cardenas, Lars Hamann, Alfredo Perez
Transformation of TOCL temporal properties into OCL. MoDELS (Companion) (2022)
Lars Hamann, Martin Gogolla, Mustafa Al-Lail
Categorization of approaches to extend and reuse OCL. MoDELS (Companion) (2022)
Lars Hamann, Richard F. Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. J. Object Technol. 19 (3) (2020)
Frank Hilken, Lars Hamann
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. J. Object Technol. 19 (3) (2020)
Lars Hamann, Martin Gogolla, Nisha Desai
On the Support of Qualified Associations in OCL. OCL@MoDELS (2016)
Lars Hamann, Martin Gogolla
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln. Software Engineering & Management (2015)
Lars Hamann, Karsten Sohr, Martin Gogolla
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ESSoS (2015)
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. TAP@STAF (2015)
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung (2014)
Frank Hilken, Lars Hamann, Martin Gogolla
Transformation of UML and OCL Models into Filmstrip Models. ICMT (2014)
Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken
On metamodel superstructures employing UML generalization features. MULTI@MoDELS (2014)
Lars Hamann, Frank Hilken, Martin Gogolla
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. OSS4MDE@MoDELS (2014)
Martin Gogolla, Lars Hamann, Frank Hilken
On Static and Dynamic Analysis of UML and OCL Transformation Models. AMT@MoDELS (2014)
Martin Gogolla, Lars Hamann, Frank Hilken
Checking Transformation Model Properties with a UML and OCL Model Validator. VOLT@STAF (2014)
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. BM-FA (2014)
Lars Hamann, Martin Gogolla, Oliver Hofrichter
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. Software Engineering (2014)
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. BM-FA (Revised Selected Papers) (2014)
Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek
Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89 (2014)
Lars Hamann, Martin Gogolla
Endogenous Metamodeling Semantics for Structural UML 2 Concepts. MoDELS (2013)
Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke
The secret life of OCL constraints. OCL@MoDELS (2012)
Lars Hamann, Martin Gogolla, Daniel Honsel
Towards supporting multiple execution environments for UML/OCL models at runtime. Models@run.time (2012)
Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner
A benchmark for OCL engine accuracy, determinateness, and efficiency. Softw. Syst. Model. 11 (2) (2012)
Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung (2012)
Lars Hamann, Oliver Hofrichter, Martin Gogolla
On Integrating Structure and Behavior Modeling with OCL. MoDELS (2012)
Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann
Abstract Runtime Monitoring with USE. CSMR (2012)
Lars Hamann, Oliver Hofrichter, Martin Gogolla
OCL-Based Runtime Monitoring of Applications with Protocol State Machines. ECMFA (2012)
Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann
Formal Specification and Testing of Model Transformations. SFM (2012)
Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann
Evaluating and Debugging OCL Expressions in UML Models. TAP@TOOLS (2012)
Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
OCL-based Runtime Monitoring of JVM hosted Applications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Mirco Kuhlmann, Lars Hamann, Martin Gogolla
Extensive Validation of OCL Models by Integrating SAT Solving into USE. TOOLS (49) (2011)
Jens Brüning, Lars Hamann, Andreas Wolff
Extending ASSL: Making UML Metamodel-based Workflows executable. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, Edward D. Willink
OCL Tools Report based on the IDE4OCL Feature Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
Zur Validierung von Kompositionsstrukturen in UML mit USE. Modellierung (2010)
Martin Gogolla, Lars Hamann, Mirco Kuhlmann
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. TAP@TOOLS (2010)
Martin Gogolla, Mirco Kuhlmann, Lars Hamann
Consistency, Independence and Consequences in UML and OCL Models. TAP@TOOLS (2009)
Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow
An OCL Ordered Set Is Not an OCL Set. MoDELS (Workshops) (2009)

Lars Hamann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lars Hamann