Referenzen

2016

default
Alexander Nassal und Matthias Tichy
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
Mai 2016
default
Michael Stegmaier, Marcel Dausend, Alexander Raschke und Matthias Tichy
A Universal Control Construct for Abstract State Machines
Proceedings of Alloy, B, TLA, VDM, and Z, in Linz, Austria
Mai 2016
akzeptiert
default
Sinem Getir, Lars Grunske und Matthias Tichy
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
März 2016
akzeptiert
default
Tobias Weck und Matthias Tichy
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
März 2016
akzeptiert
default
Darko Durisic, Miroslaw Staron, Matthias Tichy und Jörgen Hansson
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
Februar 2016
default
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer und Matthias Tichy
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
Februar 2016
default
Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner und Jörgen Hansson
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling,
2016
akzeptiert

2015

default
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer und Matthias Tichy
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110:54-84
Dezember 2015
default
Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, Matthias Tichy und Lars Gelin
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
Oktober 2015
default
Birgit Vogel-Heuser, Susanne Rösch, Antonio Martini und Matthias Tichy
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
Oktober 2015
pdf
Daniel Gall und Thom Frühwirth
A Formal Semantics for the Cognitive Architecture ACT-R
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014) Band 8981
Herausgeber: Springer LNCS,
September 2015
pdf
Nada Sharaf, Slim Abdennadher und Thom Frühwirth
CHRAnimation: An Animation Tool for Constraint Handling Rules
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014) Band 8981
Herausgeber: Springer LNCS,
September 2015
pdf
Amira Zaki, Slim Abdennadher und Thom Frühwirth
Combining Forward and Backward Propagation
10th International Symposium on Frontiers of Combining Systems (FroCoS'15)
September 2015
default
Grischa Liebel und Matthias Tichy
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo’15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
pdf
Thom Frühwirth
Constraint Handling Rules - What Else?
Invited Survey Paper, The 9th International Web Rule Symposium (RuleML)
August 2015
pdf
Thom Frühwirth
A Devil's Advocate against Termination of Direct Recursion
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
Juli 2015
default
Daniel Gall und Thom Frühwirth
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
Juli 2015
default
Nada Sharaf, Slim Abdennadher und Thom Frühwirth
DiagrammaticCHR: A Diagrammatic Representation of CHR Program
19th International Conference Information Visualisation (iV2015)
Herausgeber: IEEE Digital Library,
Juli 2015
default
Veronica Dahl, Sergio Tessaris und Thom Frühwirth
Imperfect Querying through Womb Grammars plus Ontologies
Workshop Ontologies and Logic Programming for Query Answering (ONTOLP'15) at IJCAI-2015, Buenos Aires
Juli 2015
default
Daniel Gall und Thom Frühwirth
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen
April 2015
default
Alexander Nassal
Projektmanagement spielend lernen
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor, Tagungsband des 14. Workshops ''Software Engineering im Unterricht der Hochschulen" 2015 Band 1332 aus CEUR Workshop Proceedings , Seite 53-64.
Herausgeber: CEUR-WS.org,
Februar 2015

2014

default
Hariolf Betz, Thom Frühwirth (editor) und Uwe Schöning (editor)
A Unified Analytical Foundation for Constraint Handling Rules
Herausgeber: BOD,
Dezember 2014
ISBN: 9783734732508
default
Robert Kowalski und Thom Frühwirth (editor)
Logic for Problem Solving, Revisited
Herausgeber: BOD,
November 2014
ISBN: 9783837036299
default
Alexander Nassal und Marcel Dausend
A Board Game for Education Purposes in Software Engineering
European Conference Software Engineering Education (ECSEE)
November 2014
default
Nada Sharaf, Slim Abdennadher und Thom Frühwirth
A Visualization Tool for Constraint Handling Rules
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Canterbury, UK
September 2014
default
Daniel Gall und Thom Frühwirth
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014) Band 14(4-5) , Seite 525-538.
Herausgeber: Cambridge University Press,
Juli 2014
default
Falco Nogatz und Thom Frühwirth
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna
Juli 2014
default
Aya Saad, Thom Frühwirth und Carmen Gervet
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014) Band 14(4-5) , Seite 461-475.
Herausgeber: Cambridge University Press,
Juli 2014
default
Alexander Nassal
A general framework for software project management simulation games
9th Iberian Conference on Information Systems and Technologies (CISTI)
Juni 2014
default
Edward Tsang
Foundations of Constraint Satisfaction
In Thom Frühwirth, Editor,
Herausgeber: BOD,
Mai 2014
ISBN: 9783735723666
default
Mats Carlsson und Thom Frühwirth (editor)
SICStus Prolog User's Manual 4.3
Mai 2014
ISBN: 9783735737441
default
Jan Wielemaker, Thom Frühwirth, Leslie De Koninck, Markus Triska und Marcus Uneson
SWI Prolog Reference Manual 7.1
Mai 2014
ISBN: 9783735738035
default
Marcel Dausend und Alexander Raschke
Introducing Aspect–Oriented Specification for Abstract State Machines
In Ait Ameur, Yamine and Schewe, Klaus-Dieter, Editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z Band 8477 aus Lecture Notes in Computer Science
Seite 174-187.
Herausgeber: Springer Berlin Heidelberg,
2014
ISBN: 978-3-662-43651-6

2013

default
Amira Zaki, Thom Frühwirth und Slim Abdennadher
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming, 13(4-5-Online-Supplement)
August 2013
default
Jon Sneyers, Daniel De Schreye und Thom Frühwirth
Probabilistic Legal Reasoning in CHRiSM
Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013) Band 13, 4-5-Online-Supplement
Herausgeber: Cambridge University Press,
August 2013
default
Amira Zaki, Matthias Rau und Thom Frühwirth
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
Juli 2013
default
Jon Sneyers, Daniel De Schreye und Thom Frühwirth
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
Juli 2013
default
Marcel Dausend, Markus Müller und Michael Stegmaier
An advanced Editor and Debugger for CoreASM
Universität Ulm,
März 2013
default
Hariolf Betz und Thom Frühwirth
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL), 14:1:1-37
Februar 2013

2012

default
Aya Saad, Carmen Gervet und Thom Frühwirth
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
Oktober 2012
default
Alia El Bolock, Amira Zaki und Thom Frühwirth
Substitution-based CHR Solver for Bivariate Binomial Equation Sets
CHR 2012: Ninth International Workshop on Constraint Handling Rules
September 2012
default
Jon Sneyers und Thom Frühwirth
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
Band Report CW 624
Leuven, Belgium
Department of Computer Science, Katholieke Universiteit Leuven
September 2012
default
Amira Zaki, Thom Frühwirth und Ilvar Geller
Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit
CHR '12: Proc. 9th Workshop on Constraint Handling Rules , Seite 82-90.
September 2012
default
Jan Wielemaker, Thom Frühwirth, Leslie De Koninck, Markus Triska und Marcus Uneson
SWI Prolog Reference Manual 6.2.2
September 2012
ISBN: 978-3-84-822617-7
default
Alexander Breckel
Error Mining: Bug Detection through Comparison with Large Code Database
Proceedings of the 9th International Working Conference on Mining Software Repositories
Juni 2012
default
Walter Guttmann
Algebras for Iteration and Infinite Computations
Acta Informatica,
2012
default
Walter Guttmann
Extended Designs Algebraically
Science of Computer Programming,
2012
default
Walter Guttmann
Typing Theorems of Omega Algebra
Journal of Logic and Algebraic Programming,
2012
default
Marcel Dausend, Michael Stegmaier und Alexander Raschke
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
ISBN: 978-88-7958-008-3
default
Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà und Thom Frühwirth
Compiling CHR to Parallel Hardware
Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming aus PPDP '12 , Seite 173--184.
Herausgeber: ACM, New York, NY, USA
2012
ISBN: 978-1-4503-1522-7

Schlüsselwörter: chr, hardware acceleration, parallelism

Seite:  
Zurück | 1, 2, 3, 4, 5, 6, ... , 8 | Weiter