2018

414.
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
413.
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
DOI:10.1145/3183377.3183388
File:https://www.icse2018.org/event/icse-2018-software-engineering-education-and-training-developing-an-optimizing-compiler-for-the-game-boy-as-a-software-engineering-project
412.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling
May 2018
411.
Witte, Thomas; Tichy, Matthias
Checking Consistency of Robot Software Architectures in ROS
2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE)
May 2018
410.
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
DOI:10.1145/3183440.3195070
409.
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic ProgrammingVolume10818fromLecture Notes in Computer Science, Page 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Publisher: Springer
May 2018
DOI:10.1007/978-3-319-90686-7_8
File:https://arxiv.org/abs/1802.03381
408.
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
DOI:10.1145/3185768.3186305
File:https://doi.org/10.1145/3185768.3186305
407.
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
DOI:10.1016/j.jss.2018.04.001
File:https://www.journals.elsevier.com/journal-of-systems-and-software/
406.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Publisher: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
File:https://www.springer.com/de/book/9783662566398
405.
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
File:pdfhttp://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
404.
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)Volume10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Publisher: Springer
2018
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf
403.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
22nd International Conference Information Visualisation (iV2018)
Salerno, Italy
July 2018
2018
402.

Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor
Publisher: BOD
2018
ISBN:978-3746069050
File:https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X

2017

401.
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
How Do Software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study
18th International Conference on Product-Focused Software Process Improvement (Profes 2017)
November 2017
DOI:10.1007/978-3-319-69926-4_21
400.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
Namur, Belgium
10-12 October 2017
October 2017
File:http://arxiv.org/abs/1706.07946
399.
Frühwirth, Thom
Implementation of Logical Retraction in Constraint Handling Rules with Justifications
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
Würzburg
19th to 21st September 2017
September 2017
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/fruehwirth/publications/2017_fru_inap.pdf
398.
Kögel, Stefan
Recommender system for model driven software development
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany,
September 2017
DOI:10.1145/3106237.3119874
397.
Richter, Frank; Gall, Daniel; Frühwirth, Thom
A Confluence Checker for Constraint Handling Rules with Persistent Constraints
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
Würzburg
19th to 21st September 2017
September 2017
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/richter_gall_fru_inap_2017.pdf
396.
Staron, Miroslaw; Meding, Wilhelm; Tichy, Matthias; Bjurhede, Jonas; Giese, Holger; Söder, Ola
Industrial experiences from evolving measurement systems into self-healing systems for improved availability
Software: Practice and Experience
August 2017
DOI:10.1002/spe.2522
File:http://dx.doi.org/10.1002/spe.2522
395.
Strüber, Daniel; Born, Kristopher; Gill, Kanwal Daud; Groner, Raffaela; Kehrer, Timo; Ohrndorf, Manuel; Tichy, Matthias
Henshin: A Usability-Focused Framework for EMF Model Transformation Development
Proceedings of the 10th International Conference on Graph Transformation (ICGT 2017), Marburg, Germany
July 2017
DOI:10.1007/978-3-319-61470-0_12
394.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHR-Graph: A Platform for Animating Tree and Graph Algorithms
Poster at the 21st International Conference Information Visualisation (iV2017),
21st International Conference Information Visualisation (iV2017)
London, UK
July 2017
July 2017
DOI:10.1109/iV.2017.58
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-graph.pdf
393.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule-Based Approach for Automatic Interaction Detection and Annotation
21st International Conference Information Visualisation (iV2017),
21st International Conference Information Visualisation (iV2017)
London, UK
July 2017
July 2017
DOI:10.1109/iV.2017.59
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/interaction_detection.pdf
392.
Gall, Daniel; Frühwirth, Thom
A Decidable Confluence Test for Cognitive Models in ACT-R
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Editor, Proceedings of RuleML+RR 2017Volume10364fromLecture Notes in Computer Science
International Joint Conference on Rules and Reasoning (RuleML+RR 2017)
London, UK
July 2017
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Editor
Publisher: Springer
July 2017
DOI:10.1007/978-3-319-61252-2_9
File:http://arxiv.org/pdf/1705.08392
391.
Tichy, Matthias; Beaucamp, Luis; Kögel, Stefan
Towards Debugging the Matching of Henshin Model Transformations Rules
1st International Workshop on Debugging in Model-Driven Engineering (MDEbug), Austin, Texas
July 2017
File:pdfhttps://msdl.uantwerpen.be/conferences/MDEbug/wp-content/uploads/2017/08/MDEbug_2017_paper_2.pdf
390.
Bordeleau, Francis; Liebel, Grischa; Raschke, Alexander; Stieglbauer, Gerald; Tichy, Matthias
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas
July 2017