2019

428.
default
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
accepted

2018

427.
default
Frühwirth, Thom
The Computer Art of Mason's Mark Design with VanDeGraphGenerator
Publisher: BOD,
October 2018
ISBN: 9783752842975
426.
pdf
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
425.
default
Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum,
September 2018
accepted
424.
default
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
423.
default
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
422.
pdf
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
421.
pdf
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
420.
pdf
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 Volume 10997 , page 37--52.
Publisher: Springer,
September 2018
419.
default
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
accepted
418.
default
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
July 2018
417.
pdf
Frühwirth, Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
July 2018
416.
pdf
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)
July 2018
415.
pdf
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
July 2018
414.
default
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
The Business Experiments Navigator (BEN) - An Approach for Validating Business Models with Experimentation
24th ICE/IEEE International Technology Management Conference (ICE 2018), Stuttgart, Germany
June 2018
accepted
413.
default
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
June 2018
accepted
412.
default
Liebel, Grischa; Tichy, Matthias; Knauss, Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling,
May 2018
accepted
411.
default
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., editor, Functional and Logic Programming Volume 10818 of Lecture Notes in Computer Science , page 116-131.
Publisher: Springer,
May 2018
410.
default
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
May 2018
409.
default
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
May 2018
accepted
408.
default
Groner, Raffaela; Tichy, Matthias; Becker, Steffen
Towards Performance Engineering of Model Transformation
9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany
April 2018
407.
default
Getir, Sinem; Grunske, Lars; van Hoorn, André; Kehrer, Timo; Noller, Yannic; Tichy, Matthias
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Journal of Systems and Software,
April 2018
406.
default
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Publisher: Springer-Verlag Berlin Heidelberg,
April 2018
405.
pdf
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
March 2018
404.
default
Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, editor,
Publisher: BOD,
2018
ISBN: 978-3746069050