Mirco Kuhlmann

28 papers A 4B 1Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2020 — —
On lightweight analysis of UML and OCL models.
Mirco Kuhlmann
2014 — conf
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.
Modellierung
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France
2014 J jnl
Model-driven standardization of public authority data interchange.
Sci. Comput. Program.
Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek
2013 J jnl
Employing UML and OCL for designing and analysing role-based access control.
Math. Struct. Comput. Sci.
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
2013 A conf
Towards a generic verification methodology for system models.
DATE
Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler
2012 J jnl
A benchmark for OCL engine accuracy, determinateness, and efficiency.
Softw. Syst. Model.
Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner
2012 — conf
Abstract Runtime Monitoring with USE.
CSMR
Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann
2012 J jnl
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL.
Inf. Softw. Technol.
Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
2012 — conf
Evaluating and Debugging OCL Expressions in UML Models.
TAP@TOOLS
Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann
2012 A conf
From UML and OCL to Relational Logic and Back.
MoDELS
Mirco Kuhlmann, Martin Gogolla
2012 — conf
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.
Modellierung
Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla
2012 B conf
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations.
ECMFA
Mirco Kuhlmann, Martin Gogolla
2011 — conf
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL.
SSIRI
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla
2011 — conf
Extensive Validation of OCL Models by Integrating SAT Solving into USE.
TOOLS (49)
Mirco Kuhlmann, Lars Hamann, Martin Gogolla
2011 J jnl
OCL-based Runtime Monitoring of JVM hosted Applications.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
2010 — conf
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.
TAP@TOOLS
Martin Gogolla, Lars Hamann, Mirco Kuhlmann
2010 — conf
Verifying UML/OCL Models Using Boolean Satisfiability.
MBMV
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010 A conf
Verifying UML/OCL models using Boolean satisfiability.
DATE
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010 — conf
Zur Validierung von Kompositionsstrukturen in UML mit USE.
Modellierung
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
2009 — conf
Consistency, Independence and Consequences in UML and OCL Models.
TAP@TOOLS
Martin Gogolla, Mirco Kuhlmann, Lars Hamann
2009 — conf
On Better Understanding OCL Collections
MoDELS (Workshops)
Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow
2008 A conf
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
MoDELS
Martin Gogolla, Mirco Kuhlmann, Fabian Büttner
2008 J jnl
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mirco Kuhlmann, Martin Gogolla
2008 J jnl
Modeling and validating Mondex scenarios described in UML and OCL with USE.
Formal Aspects Comput.
Mirco Kuhlmann, Martin Gogolla
2008 J jnl
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fabian Büttner, Mirco Kuhlmann
2008 — conf
Shortcomings of the Embedding of OCL into QVT ImperativeOCL.
MoDELS (Workshops)
Fabian Büttner, Mirco Kuhlmann
2005 J jnl
LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas.
Inform. Spektrum
Mirco Kuhlmann, Florian Scholz, Marcus Barann, Paul Grathwohl, Aysun Gündogan, Sonja Hildebrandt, Dennis Kaspuhl, Andreas Seewaldt
2005 — conf
Regelbasierte Analyse und Komposition von Musik.
Informatiktage
Paul Grathwohl, Armin Fritsch, Jeremy Rögner, Mirco Kuhlmann