PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hamann, Lars"

Author of the publication

copydeleteadd this publication to your clipboard
The secret life of OCL constraints.

, , , and . OCL@MoDELS, page 63-64. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jens Hamann University of Stuttgart

Lars Klingel University of Stuttgart

Lars Bippus University of Stuttgart

Dr. Lars Mautsch University of Stuttgart

Lars Kübler University of Stuttgart

 

Other publications of authors with the same name

Checking Transformation Model Properties with a UML and OCL Model Validator., , and . VOLT@STAF, volume 1325 of CEUR Workshop Proceedings, page 16-25. CEUR-WS.org, (2014)Extending ASSL: Making UML Metamodel-based Workflows executable., , and . ECEASST, (2011)Abstract Runtime Monitoring with USE., , , and . CSMR, page 549-552. IEEE Computer Society, (2012)Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases., , and . TAP, volume 6143 of Lecture Notes in Computer Science, page 38-54. Springer, (2010)Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study., , , and . TAP, volume 9154 of Lecture Notes in Computer Science, page 129-136. Springer, (2015)Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool., , and . OSS4MDE@MoDELS, volume 1290 of CEUR Workshop Proceedings, page 42-52. CEUR-WS.org, (2014)On the Support of Qualified Associations in OCL., , and . OCL@MoDELS, volume 1756 of CEUR Workshop Proceedings, page 3-15. CEUR-WS.org, (2016)Modeling Behavior with Interaction Diagrams in a UML and OCL Tool., , , and . BM-FA (Revised Selected Papers), volume 6368 of Lecture Notes in Computer Science, page 31-58. Springer, (2014)OCL-Based Runtime Monitoring of Applications with Protocol State Machines., , and . ECMFA, volume 7349 of Lecture Notes in Computer Science, page 384-399. Springer, (2012)Model-driven standardization of public authority data interchange., , , , , , , , , and . Sci. Comput. Program., (2014)