![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mirco Kuhlmann
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2020
- [b1]Mirco Kuhlmann:
On lightweight analysis of UML and OCL models. University of Bremen, Germany, 2020
Journal Articles
- 2014
- [j9]Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek:
Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89: 162-175 (2014) - 2013
- [j8]Mirco Kuhlmann, Karsten Sohr
, Martin Gogolla:
Employing UML and OCL for designing and analysing role-based access control. Math. Struct. Comput. Sci. 23(4): 796-833 (2013) - 2012
- [j7]Karsten Sohr
, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
:
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. Inf. Softw. Technol. 54(12): 1396-1417 (2012) - [j6]Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner:
A benchmark for OCL engine accuracy, determinateness, and efficiency. Softw. Syst. Model. 11(2): 165-182 (2012) - 2011
- [j5]Lars Hamann, Martin Gogolla, Mirco Kuhlmann:
OCL-based Runtime Monitoring of JVM hosted Applications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - 2008
- [j4]Mirco Kuhlmann, Martin Gogolla:
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008) - [j3]Fabian Büttner, Mirco Kuhlmann:
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [j2]Mirco Kuhlmann, Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE. Formal Aspects Comput. 20(1): 79-100 (2008) - 2005
- [j1]Mirco Kuhlmann, Florian Scholz, Marcus Barann, Paul Grathwohl, Aysun Gündogan, Sonja Hildebrandt, Dennis Kaspuhl, Andreas Seewaldt:
LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas. Inform. Spektrum 28(5): 399-402 (2005)
Conference and Workshop Papers
- 2014
- [c18]Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France:
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung 2014: 273-288 - 2013
- [c17]Robert Wille
, Martin Gogolla, Mathias Soeken
, Mirco Kuhlmann, Rolf Drechsler:
Towards a generic verification methodology for system models. DATE 2013: 1193-1196 - 2012
- [c16]Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann:
Abstract Runtime Monitoring with USE. CSMR 2012: 549-552 - [c15]Mirco Kuhlmann, Martin Gogolla:
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. ECMFA 2012: 32-48 - [c14]Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla:
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung 2012: 155-170 - [c13]Mirco Kuhlmann, Martin Gogolla:
From UML and OCL to Relational Logic and Back. MoDELS 2012: 415-431 - [c12]Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Evaluating and Debugging OCL Expressions in UML Models. TAP@TOOLS 2012: 156-162 - 2011
- [c11]Mirco Kuhlmann, Karsten Sohr
, Martin Gogolla:
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. SSIRI 2011: 108-117 - [c10]Mirco Kuhlmann, Lars Hamann, Martin Gogolla:
Extensive Validation of OCL Models by Integrating SAT Solving into USE. TOOLS (49) 2011: 290-306 - 2010
- [c9]Mathias Soeken
, Robert Wille
, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL models using Boolean satisfiability. DATE 2010: 1341-1344 - [c8]Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL Models Using Boolean Satisfiability. MBMV 2010: 57-66 - [c7]Lars Hamann, Martin Gogolla, Mirco Kuhlmann:
Zur Validierung von Kompositionsstrukturen in UML mit USE. Modellierung 2010: 169-177 - [c6]Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. TAP@TOOLS 2010: 38-54 - 2009
- [c5]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 - [c4]Martin Gogolla, Mirco Kuhlmann, Lars Hamann:
Consistency, Independence and Consequences in UML and OCL Models. TAP@TOOLS 2009: 90-104 - 2008
- [c3]Fabian Büttner, Mirco Kuhlmann:
Shortcomings of the Embedding of OCL into QVT ImperativeOCL. MoDELS (Workshops) 2008: 263-272 - [c2]Martin Gogolla, Mirco Kuhlmann, Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS 2008: 446-459 - 2005
- [c1]Paul Grathwohl, Armin Fritsch, Jeremy Rögner, Mirco Kuhlmann:
Regelbasierte Analyse und Komposition von Musik. Informatiktage 2005: 95-99
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint