BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kehrer:Timo

Contributed to:

Ada-Europe 20152015
ASE 20142014
ASE 20132013
ASE 20122012
ICSM 20122012
ASE 20112011
CSEE&T 20112011
ASE 20152015
ASE 20162016
ICMT 20162016
ICMT 20172017
ASE 20172017
ESEC/FSE 20172017
FASE 20182018
WICSA 20162016

Wrote 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.

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.