2020
450.
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
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
October 2020
449.
Breckel,
Alexander;
Pietron,
Jakob;
Juhnke,
Katharina;
Tichy,
Matthias
A Domain Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps (accepted)
Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 26 – 28, 2020 Portorož, Slovenia
08 2020
A Domain Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps (accepted)
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
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
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
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
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
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377036 |
| 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
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
Variational correctness-by-construction
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377038 |
| 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
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
YASA: Yet another sampling algorithm
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377042 |
| 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
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
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
Code Manipulation through Interactive Markers in a Live Preview
November 2019
Code Manipulation through Interactive Markers in a Live Preview
November 2019
438.
Witte,
Thomas;
Tichy,
Matthias
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software
November 2019
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software
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
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
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.
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
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
434.
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
Blended Modelling - What, why and how
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems
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
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
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
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
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.
Pietron,
Jakob;
Raschke,
Alexander;
Stegmaier,
Michael;
Tichy,
Matthias;
Rukzio,
Enrico
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen
October 2018
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen
October 2018
| File: | http://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf |
428.
Frühwirth,
Thom
The Computer Art of Mason's Mark Design with VanDeGraphGenerator
Publisher: BOD
October 2018
The Computer Art of Mason's Mark Design with VanDeGraphGenerator
Publisher: BOD
October 2018
| ISBN: | 9783752842975 |
| File: | https://books.google.de/books?id=w3hoDwAAQBAJ |
427.
Wagner,
Stefan;
Tichy,
Matthias;
Felderer,
Michael;
Leue,
Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum
September 2018
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum
September 2018
426.
Gall,
Daniel;
Frühwirth,
Thom
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules
ACM Transactions on Computational Logic (TOCL), 19 (3)
September 2018
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules
ACM Transactions on Computational Logic (TOCL), 19 (3)
September 2018
| DOI: | 10.1145/3218818 |
| File: | https://arxiv.org/abs/1702.01606 |