- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j5 |      | Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner: A benchmark for OCL engine accuracy, determinateness, and efficiency. Software and System Modeling 11(2): 165-182 (2012) |
| c13 | | Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann: Abstract Runtime Monitoring with USE. CSMR 2012: 549-552 |
| c12 | | Lars Hamann, Oliver Hofrichter, Martin Gogolla: OCL-Based Runtime Monitoring of Applications with Protocol State Machines. ECMFA 2012: 384-399 |
| c11 |  | Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla: Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung 2012: 155-170 |
| c10 | | Lars Hamann, Martin Gogolla, Daniel Honsel: Towards supporting multiple execution environments for UML/OCL models at runtime. Models@run.time 2012: 46-51 |
| c9 | | Oliver Hofrichter, Lars Hamann, Martin Gogolla, Frank Steimke: The secret life of OCL constraints. OCL and Textual Modelling 2012: 63-64 |
| c8 | | Lars Hamann, Oliver Hofrichter, Martin Gogolla: On Integrating Structure and Behavior Modeling with OCL. MoDELS 2012: 235-251 |
| c7 | | Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann: Formal Specification and Testing of Model Transformations. SFM 2012: 399-437 |
| c6 | | Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann: Evaluating and Debugging OCL Expressions in UML Models. TAP 2012: 156-162 |
| 2011 | ||
| j4 | | Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang: Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. ECEASST 41 (2011) |
| j3 | | Jens Brüning, Lars Hamann, Andreas Wolff: Extending ASSL: Making UML Metamodel-based Workflows executable. ECEASST 44 (2011) |
| j2 | | 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. ECEASST 44 (2011) |
| j1 | | Lars Hamann, Martin Gogolla, Mirco Kuhlmann: OCL-based Runtime Monitoring of JVM hosted Applications. ECEASST 44 (2011) |
| c5 | | Mirco Kuhlmann, Lars Hamann, Martin Gogolla: Extensive Validation of OCL Models by Integrating SAT Solving into USE. TOOLS (49) 2011: 290-306 |
| 2010 | ||
| c4 | | Lars Hamann, Martin Gogolla, Mirco Kuhlmann: Zur Validierung von Kompositionsstrukturen in UML mit USE. Modellierung 2010: 169-177 |
| c3 | | Martin Gogolla, Lars Hamann, Mirco Kuhlmann: Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. TAP 2010: 38-54 |
| 2009 | ||
| c2 | | Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow: On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. MoDELS Workshops 2009: 276-290 |
| c1 | | Martin Gogolla, Mirco Kuhlmann, Lars Hamann: Consistency, Independence and Consequences in UML and OCL Models. TAP 2009: 90-104 |
| 1 | Andreas Awenius | |
| 2 | Jens Brüning | |
| 3 | Loli Burgueño | |
| 4 | Fabian Büttner | |
| 5 | Joanna Chimiak-Opoka (Joanna Dobroslawa Chimiak-Opoka) | |
| 6 | Dan Ioan Chiorean (Dan Chiorean) | |
| 7 | Birgit Demuth | |
| 8 | Sebastien Gabel | |
| 9 | Martin Gogolla | |
| 10 | Oliver Hofrichter | |
| 11 | Daniel Honsel | |
| 12 | Mirco Kuhlmann | |
| 13 | Arne Lindow | |
| 14 | Frank Steimke | |
| 15 | Antonio Vallecillo (Antonio Vallecillo Moreno) | |
| 16 | László Vidács | |
| 17 | Edward D. Willink | |
| 18 | Manuel Wimmer | |
| 19 | Andreas Wolff | |
| 20 | Jie Xu | |
| 21 | Jun Zhang |
Data released under the ODC-BY 1.0 license — See also our legal information page