Mirco Kuhlmann

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
On lightweight analysis of UML and OCL models.
PhD thesis, 2020

2014
Model-driven standardization of public authority data interchange.
Sci. Comput. Program., 2014

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.
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.
Math. Struct. Comput. Sci., 2013

Towards a generic verification methodology for system models.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
A benchmark for OCL engine accuracy, determinateness, and efficiency.
Softw. Syst. Model., 2012

Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL.
Inf. Softw. Technol., 2012

Evaluating and Debugging OCL Expressions in UML Models.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

From UML and OCL to Relational Logic and Back.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.
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.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Abstract Runtime Monitoring with USE.
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011
OCL-based Runtime Monitoring of JVM hosted Applications.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Extensive Validation of OCL Models by Integrating SAT Solving into USE.
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.
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.
Proceedings of the Tests and Proofs - 4th International Conference, 2010

Zur Validierung von Kompositionsstrukturen in UML mit USE.
Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Verifying UML/OCL Models Using Boolean Satisfiability.
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.
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.
Proceedings of the Models in Software Engineering, 2009

2008
Modeling and validating Mondex scenarios described in UML and OCL with USE.
Formal Aspects Comput., 2008

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Shortcomings of the Embedding of OCL into QVT ImperativeOCL.
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.
Inform. Spektrum, 2005

Regelbasierte Analyse und Komposition von Musik.
Proceedings of the Informatiktage 2005, 2005


  Loading...