Travelled to:
1 × Czech Republic
1 × Italy
1 × Portugal
1 × United Kingdom
2 × Germany
2 × Sweden
2 × USA
Collaborated with:
H.Koziolek S.Becker D.Westermann R.Farahbod R.H.Reussner ∅ A.Wert L.Happe A.Habel R.Krebs K.Sachs L.Kapová
Talks about:
perform (7) softwar (5) compon (5) model (4) parametr (2) predict (2) specif (2) experi (2) driven (2) infer (2)
♂ Person: Jens Happe
DBLP: Happe:Jens
Facilitated 2 volumes:
Contributed to:
Wrote 10 papers:
- ICSE-2013-WertHH #automation #performance #problem
- Supporting swift reaction: automatically uncovering performance problems by systematic experiments (AW, JH, LH), pp. 552–561.
- SAC-2013-WestermannHF #automation #empirical #performance #specification
- An experiment specification language for goal-driven, automated performance evaluations (DW, JH, RF), pp. 1043–1048.
- ASE-2012-WestermannHKF #automation #performance #predict
- Automated inference of goal-oriented performance prediction functions (DW, JH, RK, RF), pp. 190–199.
- QoSA-2010-HappeWSK #modelling #parametricity #performance #statistics
- Statistical Inference of Software Performance Models for Parametric Performance Completions (JH, DW, KS, LK), pp. 20–35.
- CBSE-2008-KoziolekBHR #component #lifecycle #modelling
- Life-Cycle Aware Modelling of Software Components (HK, SB, JH, RHR), pp. 278–285.
- QoSA-2007-KoziolekBH #architecture #component #performance #predict
- Predicting the Performance of Component-Based Software Architectures with Different Usage Profiles (HK, SB, JH), pp. 145–163.
- CBSE-2006-KoziolekH #component #development #process
- A QoS Driven Development Process Model for Component-Based Software Systems (HK, JH), pp. 336–343.
- QoSA-2006-KoziolekHB #component #parametricity #performance #specification
- Parameter Dependent Performance Specifications of Software Components (HK, JH, SB), pp. 163–179.
- FASE-2005-ReussnerHH #component #contract #graph grammar #modelling #parametricity
- Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.
- IJCAR-2001-Happe #proving #theorem proving
- The MODPROF Theorem Prover (JH), pp. 459–463.