2020

453.
Groner, Raffaela; Gylstorff, Sophie; Tichy, Matthias
A Profiler for the Matching Process of Henshin
Tool Demonstration. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), October 18–23, 2020, Virtual Event, Canada.
October 2020
DOI:10.1145/3417990.3422000
452.
Nachreiner, Leander; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
October 2020
DOI:10.1145/3417990.3421401
451.
Groner, Raffaela; Beaucamp, Luis; Tichy, Matthias; Becker, Steffen
An Exploratory Study on Performance Engineering in Model Transformations
In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), October 18–23, 2020, Virtual Event, Canada.
October 2020
DOI:10.1145/3365438.3410950
450.
Pietron, Jakob
Enhancing Collaborative Modeling
In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), October 18–23, 2020, Virtual Event, Canada
October 2020
DOI:10.1145/3417990.3419490
449.
Breckel, Alexander; Pietron, Jakob; Juhnke, Katharina; Tichy, Matthias
A Domain Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps
Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 26 – 28, 2020 Portorož, Slovenia
08 2020
448.
Götz, Stefan; Tichy, Matthias
Investigating the Origins of Complexity and Expressiveness in ATL Transformations
Journal of Object Technology, 19 :12:1-21
July 2020
DOI:10.5381/jot.2020.19.2.a12
File:http://www.jot.fm/issues/issue_2020_02/article12.pdf
447.
Götz, Stefan; Tichy, Matthias; Groner, Raffaela
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
Software and Systems Modeling (SoSyM)
July 2020
Publisher: Springer Nature
DOI:10.1007/s10270-020-00815-4
File:https://rdcu.be/b5A6X
446.
Tichy, Matthias; Pietron, Jakob; Mödinger, David; Juhnke, Katharina; Hauck, Franz J.
Experiences with an Internal DSL in the IoT Domain
4th International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT), 22 June 2020
07 2020
445.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT Solvers on Industrial Feature Models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377025
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sundermann.pdf
444.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-Based Variability Analyses in FeatureIDE
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor, Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377036
ISBN:9781450375016
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sprey.pdf
443.
Bordis, Tabea; Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Variational Correctness-by-Construction
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor, Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377038
ISBN:9781450375016
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Bordis.pdf
442.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet Another Sampling Algorithm
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor, Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377042
ISBN:9781450375016
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Krieter.pdf
441.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges Concerning Test Case Specifications in Automotive Software Testing: Assessment of Frequency and Criticality
Software Quality Journal
2020
Publisher: Springer

2019

440.
Domaschka, Jörg; Berger, Christian; Reiser, Hans P.; Eichhammer, Philipp; Griesinger, Frank; Pietron, Jakob; Tichy, Matthias; Hauck, Franz J.; Habiger, Gerhard
Sorrir: A resilient self-organizing middleware for iot applications [position paper]
M4IoT '19: Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things
December 2019
DOI:10.1145/3366610.3368098
439.
Witte, Thomas; Tichy, Matthias
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software
November 2019
438.
Witte, Thomas; Tichy, Matthias
Code Manipulation through Interactive Markers in a Live Preview
November 2019
437.
Stegmaier, Michael; Raschke, Alexander; Tichy, Matthias; Meßner, Eva-Maria; Hajian, Sara; Feldengut, Anna
Insights for Improving Diagram Editing Gained from an Empirical Study
Fourth International Workshop on Human Factors in Modeling
September 2019
DOI:10.1109/MODELS-C.2019.00063
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf
436.
Groner, Raffaela
User-Centered Performance Engineering of Model Transformations
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Doctoral Symposium, Munich, Germany
September 2019
DOI:10.1109/MODELS-C.2019.00097
435.
Ciccozzi, Federico; Tichy, Matthias; Vangheluwe, Hans; Weyns, Danny
Blended Modelling - What, why and how
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems
September 2019
434.
Tichy, Matthias; Ege, Florian
A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations
International Workshop on Modeling Language Engineering and Execution (MLE): The joint Fifth International Workshop on Executable Modeling (EXE) and Seventh International Workshop on the Globalization of Modeling Languages (GEMOC)
September 2019
433.
Juhnke, Katharina; Tichy, Matthias
A Tailored Domain Analysis Method for Developing System-Specific Testing DSLs Enabling their Smooth Introduction in Automotive Practice
45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2019), Kallithea Chalkidiki, Greece
August 2019
432.
Hoppenstedt, Burkhard; Witte, Thomas; Ruof, Jona; Kammerer, Klaus; Tichy, Matthias; Reichert, Manfred; Pryss, Rüdiger
Debugging Quadrocopter Trajectories in Mixed Reality
AVR 2019: Augmented Reality, Virtual Reality, and Computer Graphics
July 2019
431.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
Journal Fundamenta Informaticae
2019
Publisher: IOS Press

2018

430.
Groner, Raffaela; Gylstorff, Sophie; Tichy, Matthias
Monitoring the Execution of Declarative Model Transformations
9th Symposium on Software Performance, Hildesheim, Germany
November 2018
File:https://www.performance-symposium.org/fileadmin/user_upload/palladio-conference/2018/papers/GronerGylstorffTichy.pdf
429.
Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum
September 2018