2018

425.
default
Pietron, Jakob; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias und 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
akzeptiert
424.
default
Wagner, Stefan; Tichy, Matthias; Felderer, Michael und Leue, Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum,
September 2018
akzeptiert
423.
default
Frühwirth, Thom und 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 und 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.
default
Juhnke, Katharina; Tichy, Matthias und 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
akzeptiert
419.
default
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Juli 2018
418.
pdf
Frühwirth, Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Juli 2018
417.
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)
Juli 2018
416.
pdf
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
415.
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
414.
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
413.
default
Gall, Daniel und 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),
Mai 2018
akzeptiert
412.
default
Liebel, Grischa; Tichy, Matthias und Knauss, Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling,
Mai 2018
akzeptiert
411.
default
Gall, Daniel und 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
410.
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
409.
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
408.
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
407.
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
406.
default
Börger, Egon und Raschke, Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg,
April 2018
405.
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
404.
default
Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor,
Herausgeber: BOD,
2018
ISBN: 978-3746069050
403.
pdf
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
402.
default
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
2018

2017

401.
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