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: Hamann:Lars
Contributed to:
2015
2014
2014
2013
2012
20122012
20122012
2011
201120102009Wrote 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.