Travelled to:1 × Austria
1 × Italy
1 × Sweden
2 × Germany
3 × USA
Collaborated with:U.Kelter C.Pietsch C.Tsigkanos M.Ohrndorf G.Täntzer A.M.Alshanqiti R.Heckel D.Reuling G.Taentzer D.Strüber C.Ghezzi P.Pietsch M.Schmidt T.Sollbach I.Arnold A.Chughtai O.Vogel M.Rindt D.Pavletic M.Völter S.A.Raza B.Kolb
Talks about:model (15) framework (4) transform (3) version (3) visual (3) specif (3) rule (3) lift (3) edit (3) base (3)
Person: Timo Kehrer
DBLP: Kehrer:Timo
Contributed to:
2015
201420132012
20122011
201120152016
201620172017
2017
2018
2016Wrote 16 papers:
- AdaEurope-2015-PavleticVRKK #debugging #framework
- Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
- ASE-2014-KehrerKR #modelling #visual notation
- Workspace updates of visual models (TK, UK, DR), pp. 827–830.
- ASE-2013-KehrerKT #version control
- Consistency-preserving edit scripts in model versioning (TK, UK, GT), pp. 191–201.
- ASE-2012-KehrerKPS #adaptation #comparison #difference #tool support
- Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.
- ICSM-2012-KehrerKOS #comprehension #difference #evolution #semantics
- Understanding model evolution through semantically lifting model differences with SiLift (TK, UK, MO, TS), pp. 638–641.
- ASE-2011-KehrerKT #approach #difference #rule-based #semantics #version control
- A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.
- CSEET-2011-KehrerACV #architecture #framework
- A software architecture orientation framework (TK, IA, AC, OV), p. 560.
- ASE-2015-PietschKKRO #framework #modelling #named #product line
- SiPL — A Delta-Based Modeling Framework for Software Product Line Engineering (CP, TK, UK, DR, MO), pp. 852–857.
- ASE-2016-AlshanqitiHK #contract #dynamic analysis #reverse engineering #using #visual notation
- Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis (AMA, RH, TK), pp. 816–821.
- ICMT-2016-KehrerTRK #automation #editing #metamodelling #specification
- Automatically Deriving the Specification of Model Editing Operations from Meta-Models (TK, GT, MR, UK), pp. 173–188.
- ICMT-2017-KehrerAH #automation #model transformation #rule-based #specification
- Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.
- ICMT-2017-KehrerP0 #development #difference #maintenance #model transformation #towards #version control
- Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (TK, CP, DS), pp. 86–91.
- ASE-2017-PietschOKK #incremental #slicing
- Incrementally slicing editable submodels (CP, MO, UK, TK), pp. 913–918.
- ESEC-FSE-2017-TsigkanosKG #cyber-physical #evolution #modelling #verification
- Modeling and verification of evolving cyber-physical spaces (CT, TK, CG), pp. 38–48.
- FASE-2018-TaentzerKPK #framework #incremental #slicing
- A Formal Framework for Incremental Model Slicing (GT, TK, CP, UK), pp. 3–20.
- WICSA-2016-TsigkanosK #formal method #identification #on the #specification
- On Formalizing and Identifying Patterns in Cloud Workload Specifications (CT, TK), pp. 262–267.