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: K=uuml=hne:Ulrich
Contributed to:
2015
2014
2012
2012
20092007Wrote 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.