BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Czech Republic
1 × Denmark
1 × Germany
1 × Hungary
1 × Spain
2 × France
2 × Switzerland
Collaborated with:
M.Gogolla L.Hamann R.Wille M.Soeken R.Drechsler F.Büttner L.Vidács J.Brüning
Talks about:
ocl (8) model (6) uml (5) use (3) independ (2) valid (2) relat (2) sat (2) strengthen (1) methodolog (1)

Person: Mirco Kuhlmann

DBLP DBLP: Kuhlmann:Mirco

Contributed to:

DATE 20132013
CSMR 20122012
ECMFA 20122012
MoDELS 20122012
TAP 20122012
TOOLS Europe 20112011
DATE 20102010
TAP 20102010
TAP 20092009
MoDELS 20082008

Wrote 10 papers:

DATE-2013-WilleGSKD #modelling #towards #verification
Towards a generic verification methodology for system models (RW, MG, MS, MK, RD), pp. 1193–1196.
CSMR-2012-HamannVGK #monitoring #runtime
Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #uml #validation
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.
MoDELS-2012-KuhlmannG #logic #ocl #relational #uml
From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
TAP-2012-BruningGHK #debugging #modelling #ocl #uml
Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.
TOOLS-EUROPE-2011-KuhlmannHG #modelling #ocl #satisfiability #validation
Extensive Validation of OCL Models by Integrating SAT Solving into USE (MK, LH, MG), pp. 290–306.
DATE-2010-SoekenWKGD #modelling #ocl #satisfiability #uml #using #verification
Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.
TAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
TAP-2009-GogollaKH #consistency #independence #modelling #ocl #uml
Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.
MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.