BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Czech Republic
1 × Denmark
1 × Hungary
1 × USA
1 × United Kingdom
2 × Italy
2 × Spain
2 × Switzerland
Collaborated with:
M.Gogolla M.Kuhlmann F.Hilken O.Hofrichter M.Sedlmeier L.Vidács J.Brüning J.Xu J.Zhang A.Vallecillo L.Burgueño M.Wimmer
Talks about:
model (10) ocl (9) uml (6) transform (3) structur (2) independ (2) monitor (2) consist (2) visual (2) runtim (2)

Person: Lars Hamann

DBLP DBLP: Hamann:Lars

Contributed to:

TAP 20152015
AMT 20142014
ICMT 20142014
MoDELS 20132013
CSMR 20122012
ECMFA 20122012
MoDELS 20122012
SFM 20122012
TAP 20122012
GT-VMT 20112011
TOOLS Europe 20112011
TAP 20102010
TAP 20092009

Wrote 13 papers:

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.
AMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml
On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
ICMT-2014-HilkenHG #modelling #ocl #uml
Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
MoDELS-2013-HamannG #concept #metamodelling #semantics #uml
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.
CSMR-2012-HamannVGK #monitoring #runtime
Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
ECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine
OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
MoDELS-2012-HamannHG #behaviour #modelling #ocl #on the
On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
SFM-2012-VallecilloGBWH #model transformation #specification #testing
Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
TAP-2012-BruningGHK #debugging #modelling #ocl #uml
Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.
GT-VMT-2011-GogollaHXZ #visual notation
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (MG, LH, JX, JZ).
TOOLS-EUROPE-2011-KuhlmannHG #modelling #ocl #satisfiability #validation
Extensive Validation of OCL Models by Integrating SAT Solving into USE (MK, LH, MG), pp. 290–306.
TAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
TAP-2009-GogollaKH #consistency #independence #modelling #ocl #uml
Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.