2018

408.
default
Gutbrod, Matthias; Münch, Jürgen und 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
Juni 2018
akzeptiert
407.
default
Meißner, Dominik; Erb, Benjamin; Kargl, Frank und 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
akzeptiert
406.
default
Gall, Daniel und Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
accepted for presentation at the Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018) in Nagoya, Japan
Mai 2018
akzeptiert
405.
default
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan und 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
akzeptiert
404.
default
Juhnke, Katharina; Tichy, Matthias und 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
akzeptiert
403.
default
Groner, Raffaela; Tichy, Matthias und Becker, Steffen
Towards Performance Engineering of Model Transformation
9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany
April 2018
402.
default
Getir, Sinem; Grunske, Lars; van Hoorn, André; Kehrer, Timo; Noller, Yannic und Tichy, Matthias
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Journal of Systems and Software,
April 2018
akzeptiert
401.
default
Börger, Egon und Raschke, Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg,
April 2018
400.
pdf
Juhnke, Katharina; Tichy, Matthias und 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
399.
default
Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor,
Herausgeber: BOD,
2018
ISBN: 978-3746069050

2017

398.
default
Gutbrod, Matthias; Münch, Jürgen und 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
397.
default
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)
Oktober 2017
396.
pdf
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)
September 2017
395.
pdf
Richter, Frank; Gall, Daniel und 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)
September 2017
394.
default
Staron, Miroslaw; Meding, Wilhelm; Tichy, Matthias; Bjurhede, Jonas; Giese, Holger und Söder, Ola
Industrial experiences from evolving measurement systems into self-healing systems for improved availability
Software: Practice and Experience,
August 2017
393.
default
Strüber, Daniel; Born, Kristopher; Gill, Kanwal Daud; Groner, Raffaela; Kehrer, Timo; Ohrndorf, Manuel und 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
Juli 2017
akzeptiert
392.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
A Rule-Based Approach for Automatic Interaction Detection and Annotation
21st International Conference Information Visualisation (iV2017)
Juli 2017
391.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
CHR-Graph: A Platform for Animating Tree and Graph Algorithms
Poster at the 21st International Conference Information Visualisation (iV2017)
Juli 2017
390.
default
Gall, Daniel und 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 2017 Band 10364 aus Lecture Notes in Computer Science
Herausgeber: Springer,
Juli 2017

Schlüsselwörter: FormalCog

389.
default
Bordeleau, Francis; Liebel, Grischa; Raschke, Alexander; Stieglbauer, Gerald und Tichy, Matthias
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas
Juli 2017
388.
pdf
Tichy, Matthias; Beaucamp, Luis und Kögel, Stefan
Towards Debugging the Matching of Henshin Model Transformations Rules
1st International Workshop on Debugging in Model-Driven Engineering (MDEbug), Austin, Texas
Juli 2017
387.
default
Besker, Terese; Martini, Antonio; Bosch, Jan und Tichy, Matthias
An investigation of Technical Debt in Automated Production Systems
Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany
Mai 2017
akzeptiert
386.
pdf
Nassal, Alexander und Tichy, Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
Februar 2017
385.
default
Liebel, Grischa; Anjorin, Anthony; Knauss, Eric; Lorber, Florian und Tichy, Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
Februar 2017

2016

384.
pdf
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar und Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering,
Oktober 2016