Mirco Kuhlmann

According to our database, Mirco Kuhlmann authored at least 27 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On lightweight analysis of UML and OCL models.

Mirco Kuhlmann

PhD thesis, 2020

2014

Model-driven standardization of public authority data interchange.

Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek

Sci. Comput. Program., 2014

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.

Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France

Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

2013

Employing UML and OCL for designing and analysing role-based access control.

Mirco Kuhlmann, Karsten Sohr, Martin Gogolla

Math. Struct. Comput. Sci., 2013

Towards a generic verification methodology for system models.

Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler

Proceedings of the Design, Automation and Test in Europe, 2013

2012

A benchmark for OCL engine accuracy, determinateness, and efficiency.

Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner

Softw. Syst. Model., 2012

Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL.

Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn

Inf. Softw. Technol., 2012

Evaluating and Debugging OCL Expressions in UML Models.

Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann

Proceedings of the Tests and Proofs - 6th International Conference, 2012

From UML and OCL to Relational Logic and Back.

Mirco Kuhlmann, Martin Gogolla

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.

Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla

Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations.

Mirco Kuhlmann, Martin Gogolla

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Abstract Runtime Monitoring with USE.

Lars Hamann, László Vidács, Martin Gogolla, Mirco Kuhlmann

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

OCL-based Runtime Monitoring of JVM hosted Applications.

Lars Hamann, Martin Gogolla, Mirco Kuhlmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Extensive Validation of OCL Models by Integrating SAT Solving into USE.

Mirco Kuhlmann, Lars Hamann, Martin Gogolla

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL.

Mirco Kuhlmann, Karsten Sohr, Martin Gogolla

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2010

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.

Martin Gogolla, Lars Hamann, Mirco Kuhlmann

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Zur Validierung von Kompositionsstrukturen in UML mit USE.

Lars Hamann, Martin Gogolla, Mirco Kuhlmann

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Verifying UML/OCL Models Using Boolean Satisfiability.

Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

Consistency, Independence and Consequences in UML and OCL Models.

Martin Gogolla, Mirco Kuhlmann, Lars Hamann

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

On Better Understanding OCL Collections <i>or</i> An OCL Ordered Set Is Not an OCL Set.

Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow

Proceedings of the Models in Software Engineering, 2009

2008

Modeling and validating Mondex scenarios described in UML and OCL with USE.

Mirco Kuhlmann, Martin Gogolla

Formal Aspects Comput., 2008

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.

Mirco Kuhlmann, Martin Gogolla

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL.

Fabian Büttner, Mirco Kuhlmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.

Martin Gogolla, Mirco Kuhlmann, Fabian Büttner

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Shortcomings of the Embedding of OCL into QVT ImperativeOCL.

Fabian Büttner, Mirco Kuhlmann

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

2005

LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas.

Mirco Kuhlmann, Florian Scholz, Marcus Barann, Paul Grathwohl, Aysun Gündogan, Sonja Hildebrandt, Dennis Kaspuhl, Andreas Seewaldt

Inform. Spektrum, 2005

Regelbasierte Analyse und Komposition von Musik.

Paul Grathwohl, Armin Fritsch, Jeremy Rögner, Mirco Kuhlmann

Proceedings of the Informatiktage 2005, 2005