Browsing by Author "Kehrer, Timo"
Now showing items 1-20 of 29
-
Assessing the Quality of Model Differencing Engines
Pietsch, Pit; Yazdi, Hamed; Kelter, Udo; Kehrer, Timo
47-48 -
Classifying Edits to Variability in Source Code - Summary
Bittner, Paul Maximilian; Tinnes, Christof; Schultheiß, Alexander; Viegener, Sören; Kehrer, Timo; Thüm, Thomas
39-40 -
Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract
Höppner, Stefan; Kehrer, Timo; Tichy, Matthias
43-45 -
CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models
Kehrer, Timo; Gerth, Christian
87-90 -
Detection of High-Level Changes in Evolving Java Software
Kehrer, Timo; Pietsch, Kehrer; Shariat Yazdi, Hamed; Kelter, Udo
61-62 -
Extensible Debuggers for Extensible Languages
Pavletic, Domenik; Raza, Syed Aoun; Voelter, Markus; Kolb, Bernd; Kehrer, Timo
51-52 -
Feature Trace Recording - Summary
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
19-20 -
A Formal Framework for Incremental Model Slicing
Taentzer, Gabriele; Kehrer, Timo; Pietsch, Christopher; Kelter, Udo
147-149 -
A framework for capturing, statistically modeling and analyzing the evolution of software models
Shariat Yazdi, Hamed; Angelis, Lefteris; Kehrer, Timo; Kelter, Udo
91-92 -
Inferring Visual Contracts from Java Programs
Alshanqiti, Abdullah; Heckel, Reiko; Kehrer, Timo
53-54 -
Integrating the Specification and Recognition of Changes in Models
Kehrer, Timo; Kelter, Udo; Taentzer, Gabriele
41-42 -
Mediendidaktische und strategische Erfolgsfaktoren am Beispiel des Learning Management Systems Xterm
Kehrer, Timo; Wenzel, Alexandra; Toenniessen, Fridtjof
405-412 -
Modeling and Verification of Evolving Cyber-Physical Spaces
Tsigkanos, Christos; Kehrer, Timo; Ghezzi, Carlo
113-114 -
Modellbasierte Entwicklung GPU-unterstützter Applikationen
Kehrer, Timo; Berlik, Stefan; Kelter, Udo; Ritter, Michael
139-154 -
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
Nguyen, Hoang Lam; Nassar, Nebras; Kehrer, Timo; Grunske, Lars
81-82 -
Operation-based Model Differencing meets State-based Model Comparison
Kehrer, Timo; Kelter, Udo; Pietsch, Pit; Schmidt, Maik
35-36 -
Patchen von Modellen
Kelter, Udo; Kehrer, Timo; Koch, Dennis
171-184 -
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
109-110