BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × USA
1 × United Kingdom
3 × France
Collaborated with:
R.Drechsler D.Große M.Diepenbeck M.Soeken R.Wille É.André L.Fribourg R.Soulat J.Peters N.Przigoda A.Sülflow G.Fey C.Braunstein H.M.Le J.Seiter
Talks about:
develop (2) driven (2) model (2) understand (1) constraint (1) represent (1) behaviour (1) properti (1) function (1) accuraci (1)

Person: Ulrich Kühne

DBLP DBLP: K=uuml=hne:Ulrich

Contributed to:

DAC 20152015
TAP 20142014
FM 20122012
ICGT 20122012
DATE 20092009
DATE 20072007

Wrote 7 papers:

DAC-2015-PetersWPKD #constraints #modelling #representation #uml
A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
TAP-2014-DiepenbeckKSD #behaviour #development #testing #verification
Behaviour Driven Development for Tests and Verification (MD, UK, MS, RD), pp. 61–77.
FM-2012-AndreFKS #problem #robust #scheduling
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems (ÉA, LF, UK, RS), pp. 33–36.
ICGT-2012-DrechslerDGKLSSW #development
Completeness-Driven Development (RD, MD, DG, UK, HML, JS, MS, RW), pp. 38–50.
DATE-2009-KuhneGD #analysis #comprehension #design
Property analysis and design understanding (UK, DG, RD), pp. 1246–1249.
DATE-2009-SulflowFBKD #debugging #satisfiability
Increasing the accuracy of SAT-based debugging (AS, GF, CB, UK, RD), pp. 1326–1331.
DATE-2007-GrosseKD #bound #functional #model checking
Estimating functional coverage in bounded model checking (DG, UK, RD), pp. 1176–1181.

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.