2019

433.
Tichy, Matthias; Witte, Thomas
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software ,
November 2019
432.
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
431.
Juhnke, Katharina; Tichy, Matthias
A Tailored Domain Analysis Method for Developing System-Specific Testing DSLs Enabling their Smooth Introduction in Automotive Practice
Euromicro Conference on Software Engineering and Advanced Applications 2019 ,
2019
430.
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
429.
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
428.
Domaschka, Jörg; Berger, Christian; Reiser, Hans P.; Hauck, Franz J.; Habiger, Gerhard; Griesinger, Frank; Tichy, Matthias; Pietron, Jakob; Eichhammer, Philipp
SORRIR: A Resilient Self-organizing Middleware for IoT Applications
6th International Workshop on Middleware and Applications for the Internet of Things at the 2019 ACM/IFIP/USENIX International Middleware Conference ,
2019

2018

427.
Frühwirth, Thom
Implementation of Logical Retraction in Constraint Handling Rules with Justifications (full version)
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor, Declarative Programming and Knowledge Management, Proceedings of the Conference on Declarative Programming DECLARE 2017, Revised Selected Papers Band 10997 , Seite 37--52
Herausgeber: Springer
September 2018
DOI: 10.1007/978-3-030-00801-7_3
426.
Frühwirth, Thom
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) ,
Juli 2018
425.
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
DOI: 10.1145/3218818
https://dl.acm.org/citation.cfm?id=3218818&dl=ACM&coll=DL
424.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges Concerning Test Case Specifications in Automotive Software Testing
44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague, Czech Republic ,
August 2018
423.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges with Automotive Test Case Specifications
Poster Track of the 40th International Conference on Software Engineering (ICSE SEIP 2018), Gothenburg, Sweden ,
Mai 2018
422.
Nogatz, Falco; Frühwirth, Thom; Seipel, Dietmar
CHR.js: A CHR Implementation in JavaScript
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 2018 ,
September 2018
421.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) ,
Juli 2018
420.
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) ,
Juli 2018
419.
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic Programming Band 10818 aus Lecture Notes in Computer Science, Seite 116-131
Herausgeber: Springer
Mai 2018
DOI: 10.1007/978-3-319-90686-7_8
418.

Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor
Herausgeber: BOD
2018
ISBN: 978-3746069050
417.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan; Rechenberger, Sascha
Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project
Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden ,
Mai 2018
DOI: 10.1145/3183377.3183388
416.
Frühwirth, Thom; Gall, Daniel
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany
September 2018
415.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
In Fabio Fioravanti and John P. Gallagher, Editor, Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017) Band 10855 ,
Herausgeber: Springer
2018
414.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
DOI: 10.1007/978-3-662-56641-1
413.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Quality Indicators for Automotive Test Case Specifications
1st Workshop on Software Engineering for Applied Embedded Real-Time Systems (SEERTS 2018), Ulm, Germany ,
März 2018
412.
Meißner, Dominik; Erb, Benjamin; Kargl, Frank; Tichy, Matthias
retro-λ: An Event-sourced Platform for Serverless Applications with Retroactive Computing Support
12th ACM International Conference on Distributed and Event-based Systems (DEBS 2018), Hamilton, New Zealand ,
Juni 2018
411.
Frühwirth, Thom
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) ,
September 2018
410.
Frühwirth, Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) ,
Juli 2018
409.
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 ,
Oktober 2018