Travelled to:1 × Canada
1 × Hungary
1 × Sweden
1 × USA
2 × Germany
Collaborated with:L.Grunske ∅ S.Mahmud O.Goloshchapova I.Meedeniya J.Schneider T.H.Nguyen B.Q.Vo J.Grundy R.Vasa P.Branch O.Nierstrasz
Talks about:framework (2) compon (2) tomograph (1) techniqu (1) properti (1) knowledg (1) interfac (1) detector (1) coeffici (1) abstract (1)
♂ Person: Markus Lumpe
DBLP: Lumpe:Markus
Facilitated 1 volumes:
PrCoContributed to:
20122011
2011
200920082006Wrote 6 papers:
- ASE-2012-NguyenVLG #detection #framework #knowledge-based #named #requirements
- REInDetector: a framework for knowledge-based requirements engineering (THN, BQV, ML, JG), pp. 386–389.
- ASE-2011-LumpeMG #java #named
- jCT: A Java Code Tomograph (ML, SM, OG), pp. 616–619.
- ESEC-FSE-2011-LumpeMG #logic #named #specification
- PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.
- ICSM-2009-VasaLBN #analysis #comparative #evolution #using
- Comparative analysis of evolving software systems using the Gini coefficient (RV, ML, PB, ON), pp. 179–188.
- CBSE-2008-LumpeGS #component #interface #reduction
- State Space Reduction Techniques for Component Interfaces (ML, LG, JGS), pp. 130–145.
- CBSE-2006-Lumpe #abstraction #component #framework #modelling #named #reasoning
- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions (ML), pp. 17–32.