I agree that this site is using cookies. You can find further informations here.
X
Kuhlmann, Mirco Alexander
112  results:
Search for persons X
?
1

On lightweight analysis of UML and OCL models:

Kuhlmann, Mirco Alexander , 2020
Copies: Zentrale;
 
?
2

Model-driven standardization of public authority data inter..:

Büttner, Fabian ; Bartels, Ullrich ; Hamann, Lars...
Science of Computer Programming.  89 (2014)  - p. 162-175 , 2014
Link: https://doi.org/10.1016/..
 
?
3

Towards a generic verification methodology for system model:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Wille, Robert ; Gogolla, Martin ; Soeken, Mathias.. - p. 1193-1196 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Employing UML and OCL for designing and analysing role-base..:

KUHLMANN, MIRCO ; SOHR, KARSTEN ; GOGOLLA, MARTIN
Mathematical Structures in Computer Science.  23 (2013)  4 - p. 796-833 , 2013
Link: https://doi.org/10.1017/..
 
?
5

From UML and OCL to relational logic and back:

, In: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems,
Kuhlmann, Mirco ; Gogolla, Martin - p. 415-431 , 2012
Link: https://dl.acm.org/doi/1..
 
?
6

From UML and OCL to Relational Logic and Back:

, In: Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science,
Kuhlmann, Mirco ; Gogolla, Martin - p. 415-431 , 2012
Link: https://doi.org/10.1007/..
 
?
7

Comprehensive two-level analysis of role-based delegation a..:

Sohr, Karsten ; Kuhlmann, Mirco ; Gogolla, Martin..
Information and Software Technology.  54 (2012)  12 - p. 1396-1417 , 2012
Link: https://doi.org/10.1016/..
 
?
8

Verifying UML/OCL models using Boolean satisfiability:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Soeken, Mathias ; Wille, Robert ; Kuhlmann, Mirco.. - p. 1341-1344 , 2010
Link: https://dl.acm.org/doi/1..
 
?
9

A benchmark for OCL engine accuracy, determinateness, and e..:

Kuhlmann, Mirco ; Hamann, Lars ; Gogolla, Martin.
Software & Systems Modeling.  11 (2010)  2 - p. 165-182 , 2010
Link: https://doi.org/10.1007/..
 
?
10

On better understanding OCL collections or an OCL ordered s..:

, In: Proceedings of the 2009 international conference on Models in Software Engineering,
Büttner, Fabian ; Gogolla, Martin ; Hamann, Lars.. - p. 276-290 , 2009
Link: https://dl.acm.org/doi/1..
 
?
11

Modeling and validating Mondex scenarios described in UML a..:

Kuhlmann, Mirco ; Gogolla, Martin
Formal Aspects of Computing.  20 (2008)  1 - p. 79-100 , 2008
Link: https://doi.org/10.1007/..
 
?
12

LerM – Lehrsystem für Kontrapunkt-Kompositionen im Stile Pa..:

Kuhlmann, Mirco ; Scholz, Florian ; Barann, Marcus...
Informatik-Spektrum.  28 (2005)  5 - p. 399-402 , 2005
Link: https://doi.org/10.1007/..
 
?
13

Interpretability of negative latent heat fluxes from eddy c..:

Paulus, Sinikka J. ; Orth, Rene ; Lee, Sung-Ching...
Biogeosciences.  21 (2024)  8 - p. 2051-2085 , 2024
Link: https://doi.org/10.5194/..
 
?
14

Detritivore physiology and growth benefit from algal presen..:

Feckler, Alexander ; Pietz, Sebastian ; Gonçalves, Sara...
Limnology and Oceanography.  69 (2024)  4 - p. 848-860 , 2024
Link: https://doi.org/10.1002/..
 
?
15

Towards a standardized, ground-based network of hyperspectr..:

Naethe, Paul ; De Sanctis, Andrea ; Burkart, Andreas...
Remote Sensing of Environment.  303 (2024)  - p. 114013 , 2024
Link: https://doi.org/10.1016/..
 
1-15