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 × Czech Republic
1 × Italy
1 × Switzerland
1 × USA
1 × United Kingdom
2 × France
3 × Germany
Collaborated with:
R.Drechsler R.Wille J.Seiter E.Guerra M.Gogolla M.Kuhlmann M.Diepenbeck U.Kühne D.Große H.M.Le
Talks about:
model (8) ocl (7) uml (6) driven (4) verif (4) develop (3) specif (3) verifi (2) invari (2) test (2)

Person: Mathias Soeken

DBLP DBLP: Soeken:Mathias

Contributed to:

TAP 20152015
TAP 20142014
DATE 20132013
DATE 20122012
ICGT 20122012
ICMT 20122015
TOOLS Europe 20122012
DATE 20112011
TAP 20112011
DAC 20102010
DATE 20102010

Wrote 13 papers:

TAP-2015-SoekenSD #invariant #ocl #specification
Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.
TAP-2014-DiepenbeckKSD #behaviour #development #testing #verification
Behaviour Driven Development for Tests and Verification (MD, UK, MS, RD), pp. 61–77.
DATE-2013-SeiterWSD #ocl #specification #uml #verification
Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.
DATE-2013-WilleGSKD #modelling #towards #verification
Towards a generic verification methodology for system models (RW, MG, MS, MK, RD), pp. 1193–1196.
DATE-2012-SoekenWD #invariant #modelling #ocl #uml
Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.
DATE-2012-WilleSD #consistency #debugging #modelling #ocl #uml
Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.
ICGT-2012-DrechslerDGKLSSW #development
Completeness-Driven Development (RD, MD, DG, UK, HML, JS, MS, RW), pp. 38–50.
ICMT-J-2012-GuerraS15 #model transformation #testing
Specification-driven model transformation testing (EG, MS), pp. 623–644.
TOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using
Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
DATE-2011-SoekenWD #aspect-oriented #modelling #uml #verification
Verifying dynamic aspects of UML models (MS, RW, RD), pp. 1077–1082.
TAP-2011-SoekenWD #data type #encoding #modelling #ocl #satisfiability #uml #verification
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (MS, RW, RD), pp. 152–170.
DAC-2010-WilleSD
Reducing the number of lines in reversible circuits (RW, MS, RD), pp. 647–652.
DATE-2010-SoekenWKGD #modelling #ocl #satisfiability #uml #using #verification
Verifying UML/OCL models using Boolean satisfiability (MS, RW, MK, MG, RD), pp. 1341–1344.
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.