2019

434.
Tichy , Matthias ; Witte , Thomas
A Hybrid Editor for Fast Robot Mission Prototyping
Proc. of the 1st International Workshop on Explainable Software ,
November 2019
433.
Stegmaier , Michael ; Raschke , Alexander ; Tichy , Matthias ; Meßner , Eva-Maria ; Hajian , Sara ; Feldengut , Anna
Insights for Improving Diagram Editing Gained from an Empirical Study
Fourth International Workshop on Human Factors in Modeling ,
September 2019
t3://file?uid=416242
432.
Tichy , Matthias ; Ege , Florian
A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations
International Workshop on Modeling Language Engineering and Execution (MLE): The joint Fifth International Workshop on Executable Modeling (EXE) and Seventh International Workshop on the Globalization of Modeling Languages (GEMOC) ,
September 2019
431.
Ciccozzi , Federico ; Tichy , Matthias ; Vangheluwe , Hans ; Weyns , Danny
Blended Modelling - What, why and how
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems ,
September 2019
430.
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
429.
Frühwirth , Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
Journal Fundamenta Informaticae
2019
Herausgeber: IOS Press
428.
Domaschka , Jörg ; Berger , Christian ; Reiser , Hans P. ; Hauck , Franz J. ; Habiger , Gerhard ; Griesinger , Frank ; Tichy , Matthias ; Pietron , Jakob ; Eichhammer , Philipp
SORRIR: A Resilient Self-organizing Middleware for IoT Applications
6th International Workshop on Middleware and Applications for the Internet of Things at the 2019 ACM/IFIP/USENIX International Middleware Conference ,
2019

2018

427.
Wagner , Stefan ; Tichy , Matthias ; Felderer , Michael ; Leue , Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum
September 2018
426.
Frühwirth , Thom
The Computer Art of Mason's Mark Design with VanDeGraphGenerator
Herausgeber: BOD
Oktober 2018
ISBN: 9783752842975
https://books.google.de/books?id=w3hoDwAAQBAJ
425.
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 ,
Oktober 2018
http://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
424.
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
DOI: 10.1145/3218818
https://dl.acm.org/citation.cfm?id=3218818&dl=ACM&coll=DL
https://arxiv.org/abs/1702.01606
423.
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) ,
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf
422.
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 ,
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/Nogatz-draft.pdf
421.
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 Band 10997 , Seite 37--52
DECLARE 2017
Würzburg
17.-22.09.2017
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor
Herausgeber: Springer
September 2018
DOI: 10.1007/978-3-030-00801-7_3
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-just-impl-final-full.pdf
420.
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
https://arxiv.org/abs/1808.07788
419.
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
418.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) ,
34th International Conference on Logic Programming (ICLP 2018)
Oxford, UK
July 2018
Juli 2018
417.
Gall , Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) ,
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
Juli 2018
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
416.
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) ,
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
Juli 2018
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.pdf
415.
Frühwirth , Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) ,
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
Juli 2018
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf
414.
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 ,
Juni 2018
http://www.ice-conference.org/Home.aspx
413.
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 ,
Juni 2018
412.
Liebel , Grischa ; Tichy , Matthias ; Knauss , Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling
Mai 2018
411.
Gall , Daniel ; 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
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Herausgeber: Springer
Mai 2018
DOI: 10.1007/978-3-319-90686-7_8
https://arxiv.org/abs/1802.03381
410.
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 ,
Mai 2018
DOI: 10.1145/3183377.3183388
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
409.
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 ,
Mai 2018
https://www.icse2018.org/event/icse-2018-posters-poster-challenges-with-automotive-test-case-specifications
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
https://doi.org/10.1145/3185768.3186305
407.
Börger , Egon ; Raschke , Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
DOI: 10.1007/978-3-662-56641-1
https://www.springer.com/de/book/9783662566398
406.
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
https://www.journals.elsevier.com/journal-of-systems-and-software/
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 ,
März 2018
http://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) Band 10855 ,
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Herausgeber: Springer
2018
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf
403.

Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor
Herausgeber: BOD
2018
ISBN: 978-3746069050
https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X
402.
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

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
Oktober 2017
http://arxiv.org/abs/1706.07946
399.
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
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/richter_gall_fru_inap_2017.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.
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
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/fruehwirth/publications/2017_fru_inap.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
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 ,
Juli 2017
DOI: 10.1007/978-3-319-61470-0_12
394.
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 ,
Juli 2017
https://msdl.uantwerpen.be/conferences/MDEbug/wp-content/uploads/2017/08/MDEbug_2017_paper_2.pdf
393.
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 2017 Band 10364 aus Lecture 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
Herausgeber: Springer
Juli 2017
DOI: 10.1007/978-3-319-61252-2_9
http://arxiv.org/pdf/1705.08392
392.
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
Juli 2017
DOI: 10.1109/iV.2017.59
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/interaction_detection.pdf
391.
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 ,
Juli 2017
390.
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
Juli 2017
DOI: 10.1109/iV.2017.58
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-graph.pdf
389.
Erb , Benjamin ; Meißner , Dominik ; Pietron , Jakob ; Kargl , Frank
Chronograph: A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs
, Band DEBS '17 Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems ,
Juni 2017
DOI: 10.1145/3093742.3093913
388.
Besker , Terese ; Martini , Antonio ; Bosch , Jan ; 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
DOI: 10.1145/3120459.3120466
387.
Erb , Benjamin ; Meißner , Dominik ; Habiger , Gerhard ; Pietron , Jakob ; Kargl , Frank
Consistent retrospective snapshots in distributed event-sourced systems
, Band 2017 International Conference on Networked Systems (NetSys) ,
März 2017
DOI: 10.1109/NetSys.2017.7903947
386.
Nassal , Alexander ; 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
http://ceur-ws.org/Vol-1790/paper06.pdf
385.
Liebel , Grischa ; Anjorin , Anthony ; Knauss , Eric ; Lorber , Florian ; 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
DOI: 10.5220/0006205604270434
https://www.researchgate.net/publication/314522017_Modelling_Behavioural_Requirements_and_Alignment_with_Verification_in_the_Embedded_Industry

2016

384.
Liebel , Grischa ; Tichy , Matthias ; Knauss , Eric ; Ljungkrantz , Oscar ; Stieglbauer , Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
Oktober 2016
DOI: 10.1007/s00766-016-0261-7
http://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf
383.
Kögel , Stefan ; Tichy , Matthias ; Groner , Raffaela
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France ,
Oktober 2016
http://ceur-ws.org/Vol-1706/paper3.pdf
382.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom ; Gall , Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany ,
Global Conference on Artificial Intelligence
Berlin
September 2016
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/CGAI_submit.pdf
381.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom
A Rule Based Approach to teach Mathematics using Animation
RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016. ,
Juli 2016
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/math-chr-ruleml-2016.pdf
380.
Frühwirth , Thom
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July ,
Juli 2016
DOI: 10.1007/978-3-319-42019-6_14
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/thom-ruleml-2016-full.pdf
379.
Breckel , Alexander ; Tichy , Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy ,
Juli 2016
http://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf
378.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016. ,
Juli 2016
DOI: 10.1109/IV.2016.55
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/nada-iv2016-final.pdf
377.
Gall , Daniel ; Frühwirth , Thom
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016 ,
Juli 2016
DOI: 10.1007/978-3-319-42019-6_15
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/gall-ruleml2016-final.pdf
376.
Kögel , Stefan ; Cüppers , Joscha ; Tichy , Matthias
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany ,
Juni 2016
375.
Breckel , Alexander ; Tichy , Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA ,
Mai 2016
DOI: 10.1109/ICPC.2016.7503732
374.
Breckel , Alexander ; Tichy , Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA ,
Mai 2016
DOI: 10.1109/ICPC.2016.7503743
373.
Stegmaier , Michael ; Dausend , Marcel ; Raschke , Alexander ; Tichy , Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria ,
Mai 2016
DOI: 10.1007/978-3-319-33600-8_2
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
372.
Arcaini , Paolo ; Bonfanti , Silvia ; Dausend , Marcel ; Gargantini , Angelo ; Mashkoor , Atif ; Raschke , Alexander ; Riccobene , Elvinia ; Scandurra , Patrizia ; Stegmaier , Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria ,
Mai 2016
DOI: 10.1007/978-3-319-33600-8_14
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf
371.
Nassal , Alexander ; Tichy , Matthias
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
DOI: 10.1145/2896958.2896961
370.
Dausend , Marcel ; Raschke , Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
Mai 2016
DOI: 10.1016/j.scico.2016.04.007
369.
Getir , Sinem ; Grunske , Lars ; Tichy , Matthias
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
368.
Weck , Tobias ; Tichy , Matthias
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
DOI: 10.1109/SANER.2016.82
367.
Durisic , Darko ; Staron , Miroslaw ; Tichy , Matthias ; Hansson , Jörgen
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 ,
In Slimane Hammoudi and Luis Ferreira Pires, Editor
Februar 2016
DOI: 10.5220/0005745303170322
366.
Vogel-Heuser , Birgit ; Fay , Alexander ; Schaefer , Ina ; Tichy , Matthias
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria ,
Februar 2016
DOI: 10.1016/j.jss.2015.08.026
365.
Liebel , Grischa ; Marko , Nadja ; Tichy , Matthias ; Leitner , Andrea ; Hansson , Jörgen
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling
2016
Herausgeber: Springer
DOI: 10.1007/s10270-016-0523-3

2015

364.
Vogel-Heuser , Birgit ; Fay , Alexander ; Schaefer , Ina ; Tichy , Matthias
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software , 110 :54-84
Dezember 2015
Herausgeber: Elsevier
DOI: 10.1016/j.jss.2015.08.026
363.
Vogel-Heuser , Birgit ; Rösch , Susanne ; Martini , Antonio ; Tichy , Matthias
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany ,
Oktober 2015
DOI: 10.1109/MTD.2015.7332624
362.
Maro , Salome ; Steghöfer , Jan-Philipp ; Anjorin , Anthony ; Tichy , Matthias ; Gelin , Lars
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
DOI: 10.1145/2814251.2814253
361.
Zaki , Amira ; Abdennadher , Slim ; Frühwirth , Thom
Combining Forward and Backward Propagation
10th International Symposium on Frontiers of Combining Systems (FroCoS'15) ,
September 2015
DOI: 10.1007/978-3-319-24246-0_19
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/zaki-frocos-2015.pdf
360.
Liebel , Grischa ; Tichy , Matthias
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
359.
Gall , Daniel ; Frühwirth , Thom
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
DOI: 10.1007/978-3-319-17822-6_5
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/act-r-semantics-2015.pdf
358.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom
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
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-animation-2015.pdf
357.
356.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom
DiagrammaticCHR: A Diagrammatic Representation of CHR Program
19th International Conference Information Visualisation (iV2015) ,
Herausgeber: IEEE Digital Library
Juli 2015
DOI: 10.1109/iV.2015.31
355.
Gall , Daniel ; Frühwirth , Thom
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy ,
Juli 2015
DOI: 10.1145/2790449.2790517
354.
Dahl , Veronica ; Tessaris , Sergio ; Frühwirth , Thom
Imperfect Querying through Womb Grammars plus Ontologies
Workshop Ontologies and Logic Programming for Query Answering (ONTOLP'15) at IJCAI-2015, Buenos Aires ,
Juli 2015
DOI: 10.1109/iV.2015.31
353.
Frühwirth , Thom
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
http://pmx.informatik.uni-ulm.de/chr/translator/index.php
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/devils-advocate-ppdp-15.pdf
352.
Gall , Daniel ; Frühwirth , Thom
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen ,
April 2015
351.
Nassal , Alexander
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
14. Workshops "Software Engineering im Unterricht der Hochschulen"
Dresden, Deutschland
26. - 27. Februar 2015
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor
Herausgeber: CEUR-WS.org
Februar 2015

2014

350.
Betz , Hariolf ; Frühwirth (editor) , Thom ; Schöning (editor) , Uwe
A Unified Analytical Foundation for Constraint Handling Rules
Herausgeber: BOD
Dezember 2014
ISBN: 9783734732508
349.
Kowalski , Robert ; Frühwirth (editor) , Thom
Logic for Problem Solving, Revisited
Herausgeber: BOD
November 2014
ISBN: 9783837036299
348.
Nassal , Alexander ; Dausend , Marcel
A Board Game for Education Purposes in Software Engineering
European Conference Software Engineering Education (ECSEE) ,
November 2014
347.
Sharaf , Nada ; Abdennadher , Slim ; Frühwirth , Thom
A Visualization Tool for Constraint Handling Rules
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Canterbury, UK ,
September 2014
346.
Gall , Daniel ; Frühwirth , Thom
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
345.
Nogatz , Falco ; Frühwirth , Thom
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna ,
Juli 2014
https://github.com/fnogatz/xsd2json
344.
Saad , Aya ; Frühwirth , Thom ; Gervet , Carmen
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
DOI: 10.1017/S1471068414000143
343.
Nassal , Alexander
A general framework for software project management simulation games
9th Iberian Conference on Information Systems and Technologies (CISTI) ,
Juni 2014
DOI: 10.1109/CISTI.2014.6877074
342.
Tsang , Edward
Foundations of Constraint Satisfaction
In Thom Frühwirth, Editor
Herausgeber: BOD
Mai 2014
ISBN: 9783735723666
341.
Carlsson , Mats ; Frühwirth (editor) , Thom
SICStus Prolog User's Manual 4.3
Mai 2014
Herausgeber: BOD
ISBN: 9783735737441
340.
Wielemaker , Jan ; Frühwirth , Thom ; Koninck , Leslie De ; Triska , Markus ; Uneson , Marcus
SWI Prolog Reference Manual 7.1
Mai 2014
Herausgeber: BOD
ISBN: 9783735738035
339.
[English] Dausend , Marcel ; Raschke , Alexander
<prt>Introducing Aspect–Oriented Specification for Abstract State Machines</prt>
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
174-187
DOI: 10.1007/978-3-662-43652-3_15
ISBN: 978-3-662-43651-6

2013

338.
Zaki , Amira ; Frühwirth , Thom ; Abdennadher , Slim
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming , 13 (4-5-Online-Supplement)
August 2013
Herausgeber: Cambridge University Press
337.
Sneyers , Jon ; Schreye , Daniel De ; Frühwirth , Thom
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
336.
Sneyers , Jon ; Schreye , Daniel De ; Frühwirth , Thom
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor , CHR 2013: Proc. 10th Workshop on Constraint Handling Rules ,
In Henning Christiansen and Jon Sneyers, Editor
Juli 2013
335.
Zaki , Amira ; Rau , Matthias ; Frühwirth , Thom
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 ,
In Henning Christiansen and Jon Sneyers, Editor
Juli 2013
334.
Dausend , Marcel ; Müller , Markus ; Stegmaier , Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
März 2013
333.
Betz , Hariolf ; Frühwirth , Thom
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL) , 14:1 :1-37
Februar 2013
Herausgeber: ACM

2012

332.
Saad , Aya ; Gervet , Carmen ; Frühwirth , Thom
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
Oktober 2012
331.
Wielemaker , Jan ; Frühwirth , Thom ; Koninck , Leslie De ; Triska , Markus ; Uneson , Marcus
SWI Prolog Reference Manual 6.2.2
September 2012
Herausgeber: Books On Demand
ISBN: 978-3-84-822617-7
330.
Zaki , Amira ; Frühwirth , Thom ; Geller , Ilvar
Parallel Execution of <prt>C</prt>onstraint <prt>H</prt>andling <prt>R</prt>ules on a <prt>G</prt>raphical <prt>P</prt>rocessing <prt>U</prt>nit
CHR '12: Proc. 9th Workshop on Constraint Handling Rules , Seite 82-90
September 2012
329.
Sneyers , Jon ; Frühwirth , Thom
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
328.
Bolock , Alia El ; Zaki , Amira ; Frühwirth , Thom
Substitution-based CHR Solver for Bivariate Binomial Equation Sets
CHR 2012: Ninth International Workshop on Constraint Handling Rules
September 2012
327.
Breckel , Alexander
Error Mining: Bug Detection through Comparison with Large Code Database
Proceedings of the 9th International Working Conference on Mining Software Repositories
Juni 2012
DOI: 10.1109/MSR.2012.6224278
326.
Guttmann , Walter
Unifying Lazy and Strict Computations
In Griffin, T. G. and Kahl, W., Editor , Relational and Algebraic Methods in Computer Science aus Lecture Notes in Computer Science ,
In Griffin, T. G. and Kahl, W., Editor
Herausgeber: Springer-Verlag
2012
DOI: 10.1007/978-3-642-33314-9_2
325.
Guttmann , Walter
Unifying Correctness Statements
In Gibbons, J. and Nogueira, P., Editor , Mathematics of Program Construction Band 7342 aus Lecture Notes in Computer Science , Seite 198-219
In Gibbons, J. and Nogueira, P., Editor
Herausgeber: Springer-Verlag
2012
DOI: 10.1007/978-3-642-31113-0_11
324.
Guttmann , Walter
Typing Theorems of Omega Algebra
Journal of Logic and Algebraic Programming
2012
DOI: 10.1016/j.jlap.2012.05.002
323.
Dausend , Marcel ; Stegmaier , Michael ; Raschke , Alexander
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters &amp; Tool demos Session, iFM 2012 &amp; ABZ 2012 ,
2012
ISBN: 978-88-7958-008-3
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf
322.
Guttmann , Walter
Extended Designs Algebraically
Science of Computer Programming
2012
DOI: 10.1016/j.scico.2012.07.009
321.
Guttmann , Walter
Algebras for Iteration and Infinite Computations
Acta Informatica
2012
DOI: 10.1007/s00236-012-0162-2
320.
Triossi , Andrea ; Orlando , Salvatore ; Raffaetà , Alessandra ; Frühwirth , Thom
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
DOI: 10.1145/2370776.2370798
ISBN: 978-1-4503-1522-7
http://doi.acm.org/10.1145/2370776.2370798

2011

319.
Guttmann , Walter
Fixpoints for General Correctness
Journal of Logic and Algebraic Programming , 80 (6) :248-265
August 2011
DOI: 10.1016/j.jlap.2011.04.004
318.
Guttmann , Walter ; Struth , Georg ; Weber , Tjark
Automating Algebraic Methods in Isabelle
In Qin, S. and Qiu, Z., Editor , Formal Methods and Software Engineering Band 6991 aus Lecture Notes in Computer Science , Seite 617-632
In Qin, S. and Qiu, Z., Editor
Herausgeber: Springer-Verlag
2011
DOI: 10.1007/978-3-642-24559-6_41
317.
Guttmann , Walter
Towards a Typed Omega Algebra
In Swart, H. de, Editor , Relational and Algebraic Methods in Computer Science Band 6663 aus Lecture Notes in Computer Science , Seite 196-211
In Swart, H. de, Editor
Herausgeber: Springer-Verlag
2011
DOI: 10.1007/978-3-642-21070-9_16
316.
Partsch , Helmuth ; Dausend , Marcel ; Gessenharter , Dominik ; Kohlmeyer , Jens ; Raschke , Alexander
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
International Journal of Software and Informatics , 5 (1-2, Part II) :291-312
2011
315.

Constraint Handling Rules: Compilation, Execution, and Analysis
In Frühwirth, T. and Raiser, F., Editor
Herausgeber: Books on Demand
2011
ISBN: 978-3-83-911591-6
314.
Gessenharter , Dominik ; Rauscher , Martin
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor , Modelling Foundations and Applications Band 6698 aus Lecture Notes in Computer Science , Seite 205-220
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor
Herausgeber: Springer-Verlag
2011
DOI: 10.1007/978-3-642-21470-7_15
313.

Foreword and Appendix
In Frühwirth, T. and Raiser, F., Editor , Constraint Handling Rules: Compilation, Execution, and Analysis
Herausgeber: Books on Demand
2011
ISBN: 978-3-83-911591-6
312.
Raiser , Frank ; Frühwirth , Thom
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming , 11 (1) :65-109
Januar 2011
DOI: 10.1017/S1471068410000438
311.
Guttmann , Walter ; Struth , G. ; Weber , T.
A Repository for Tarski-Kleene Algebras
In Höfner, P. and McIver, A. and Struth, G., Editor , Automated Theory Engineering Band 760 aus CEUR Workshop Proceedings , Seite 30-39
In Höfner, P. and McIver, A. and Struth, G., Editor
2011
http://ceur-ws.org/Vol-760/paper5.pdf
310.
Dausend , Marcel
<prt>Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems</prt>
<prt>Ulm University</prt> , Ulm
2011
309.
Dausend , Marcel ; Raiser , Frank
<prt>Model Transformation using Constraint Handling Rules as a basis for Model Interpretation</prt>
<prt>CHR 2011 -- Eighth International Workshop on Constraint Handling Rules</prt> ,
2011
308.
Dausend , Marcel ; Poguntke , Mark
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
Informatik 2011, Workshop: Modellbasierte Entwicklung von Benutzungsschnittstellen ,
Herausgeber: Berlin
2011
307.
Dausend , Marcel ; Poguntke , Mark
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
<prt>i-com: Zeitschrift für interaktive und kooperative Medien</prt> , 10 (3) :33-39
2011
306.
Langbein , Johannes ; Stelzer , Roland ; Frühwirth , Thom
A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats
In Schlaefer, A. and Blaurock, O., Editor , Robotic Sailing: Proceedings of the 4th International Robotic Sailing Conference , Seite 195-204
In Schlaefer, A. and Blaurock, O., Editor
Herausgeber: Springer-Verlag
2011
DOI: 10.1007/978-3-642-22836-0_14

2010

305.
Guttmann , Walter
Imperative Abstractions for Functional Actions
Journal of Logic and Algebraic Programming , 79 (8) :768-793
November 2010
DOI: 10.1016/j.jlap.2010.07.015
304.
Betz , Hariolf ; Raiser , Frank ; Frühwirth , Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
Theory and Practice of Logic Programming , 10 (4-6) :597-610
Juli 2010
DOI: 10.1017/S147106841000030X
303.
Gessenharter , Dominik
Extending the UML Semantics for a Better Support of Model Driven Software Development
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor , Proceedings of the 2010 International Conference on Software Engineering Research and Practice (SERP 2010) Band 1 , Seite 45-51
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor
Juli 2010
302.
Geiselhart , Florian ; Raiser , Frank ; Sneyers , Jon ; Frühwirth , Thom
MTSeq: Multi-touch-enabled CHR-based Music Generation and Manipulation
In Van Weert, P. and De Koninck, L., Editor , Proceedings of the 7th International Workshop on Constraint Handling Rules aus Report , Seite 41-46
In Van Weert, P. and De Koninck, L., Editor
Herausgeber: Departement of Computer Science, Katholieke Universiteit Leuven
Mai 2010
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW588.pdf
301.
Langbein , Johannes ; Raiser , Frank ; Frühwirth , Thom
A State Equivalence and Confluence Checker for CHR
In Van Weert, P. and De Koninck, L., Editor , Proceedings of the 7th International Workshop on Constraint Handling Rules aus Report , Seite 1-7
In Van Weert, P. and De Koninck, L., Editor
Herausgeber: Departement of Computer Science, Katholieke Universiteit Leuven
Mai 2010
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW588.pdf
300.
Betz , Hariolf ; Raiser , Frank ; Frühwirth , Thom
Persistent Constraints in Constraint Handling Rules
In Geske, U. and Wolf, A., Editor , Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 , Seite 155-166
In Geske, U. and Wolf, A., Editor
Herausgeber: Universitätsverlag Potsdam
März 2010
http://opus.kobv.de/ubp/volltexte/2010/4154/
299.
Guttmann , Walter ; Möller , Bernhard
Normal Design Algebra
Journal of Logic and Algebraic Programming , 79 (2) :144-173
Februar 2010
DOI: 10.1016/j.jlap.2009.07.002
298.
Gessenharter , Dominik
UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor , Advances in Conceptual Modeling: Applications and Challenges Band 6413 aus Lecture Notes in Computer Science , Seite 275-284
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor
Herausgeber: Springer-Verlag
2010
DOI: 10.1007/978-3-642-16385-2_34
297.
Dausend , Marcel ; Poguntke , Mark
Spezifikation multimodaler Interaktionsanwendungen mit UML
In Ziegler, J. and Schmidt, A., Editor , Mensch & Computer 2010 , Seite 215-224
In Ziegler, J. and Schmidt, A., Editor
Herausgeber: Oldenbourg
2010
296.
Kohlmeyer , Jens ; Guttmann , Walter
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor , Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009 Band 5947 aus Lecture Notes in Computer Science , Seite 206-217
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Herausgeber: Springer-Verlag
2010
DOI: 10.1007/978-3-642-11486-1_18
295.
Partsch , Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Herausgeber: Springer-Verlag
zweite, überarbeitete und erweiterte Edition
2010
294.
Guttmann , Walter
Unifying Recursion in Partial, Total and General Correctness
In Qin, S., Editor , Unifying Theories of Programming, Third International Symposium, UTP 2010 Band 6445 aus Lecture Notes in Computer Science , Seite 207-225
In Qin, S., Editor
Herausgeber: Springer-Verlag
2010
DOI: 10.1007/978-3-642-16690-7_10
293.
Guttmann , Walter
Partial, Total and General Correctness
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor , Mathematics of Program Construction Band 6120 aus Lecture Notes in Computer Science , Seite 157-177
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor
Herausgeber: Springer-Verlag
2010
DOI: 10.1007/978-3-642-13321-3_11
292.
Betz , Hariolf ; Raiser , Frank ; Frühwirth , Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
aus Ulmer Informatik-Berichte
Dokument Nummer: 2010-01
Universität Ulm
Januar 2010
http://vts.uni-ulm.de/doc.asp?id=7193
291.
Dausend , Marcel
<prt>Potentials of Unified Modeling Language Profiles in the Field of Human-Computer Interaction</prt>
<prt>International Conference on What Makes Humans Human?</prt> ,
Herausgeber: Ulm, Germany
2010
290.
Dausend , Marcel ; Poguntke , Mark
<prt>Spezifikation multimodaler Interaktionsanwendungen mit UML</prt>
<prt>Mensch &amp; Computer</prt> , Seite 215--224
Herausgeber: Oldenbourg Verlag
2010
289.
Guttmann , Walter
Lazy UTP
In Butterfield, A., Editor , Unifying Theories of Programming, Second International Symposium, UTP 2008 Band 5713 aus Lecture Notes in Computer Science , Seite 82-101
In Butterfield, A., Editor
Herausgeber: Springer-Verlag
2010
DOI: 10.1007/978-3-642-14521-6_6

2009

288.
Raiser , Frank ; Frühwirth , Thom
Strong Joinability Analysis for Graph Transformation Systems in CHR
In Corradini, A., Editor , Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009) Band 253 aus Electronic Notes in Theoretical Computer Science , Seite 91-111
In Corradini, A., Editor
November 2009
DOI: 10.1016/j.entcs.2009.10.019
287.
Dausend , Marcel ; Berton , André ; Zilles , Jonas
<prt>UML for automotive multi-modal HCI</prt>
<prt>AutomotiveUI 2009 - First International Conference on Automotive User Interfaces and Interactive Vehicular Applications</prt> :3
September 2009
286.
Raschke , Alexander
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) , Seite 149-154
Herausgeber: IEEE Computer Society
August 2009
DOI: 10.1109/SEAA.2009.60
285.
Raiser , Frank ; Frühwirth , Thom
Operational Equivalence of Graph Transformation Systems
In Raiser, F. and Sneyers, J., Editor , CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules aus Technical Report , Seite 49-61
In Raiser, F. and Sneyers, J., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juli 2009
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf
284.
Raiser , Frank
Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules
In Hill, P. M. and Warren, D. S., Editor , Logic Programming: 25th International Conference (ICLP 2009) Band 5649 aus Lecture Notes in Computer Science , Seite 540-541
In Hill, P. M. and Warren, D. S., Editor
Herausgeber: Springer-Verlag
Juli 2009
DOI: 10.1007/978-3-642-02846-5_54
283.

CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules
In Raiser, F. and Sneyers, J., Editor aus Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juli 2009
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf
282.
Raiser , Frank ; Betz , Hariolf ; Frühwirth , Thom
Equivalence of CHR States Revisited
In Raiser, F. and Sneyers, J., Editor , CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules aus Technical Report , Seite 34-48
In Raiser, F. and Sneyers, J., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juli 2009
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf
281.
Kohlmeyer , Jens ; Guttmann , Walter
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor , Perspectives of System Informatics: Proceedings of the Seventh International Andrei Ershov Memorial Conference , Seite 159-166
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Herausgeber: A. P. Ershov Institute of Informatics Systems, Novosibirsk
Juni 2009
280.
Leuser , J. ; Porta , N. ; Bolz , Armin ; Raschke , Alexander
Empirical Validation of a Requirements Engineering Process Guide
In Budgen, D. and Turner, M. and Niazi, M., Editor , 13th International Conference on Evaluation and Assessment in Software Engineering (EASE) aus Electronic Workshops in Computing ,
In Budgen, D. and Turner, M. and Niazi, M., Editor
Herausgeber: The British Computer Society
April 2009
http://www.bcs.org/server.php?show=ConWebDoc.25020
279.
Gessenharter , Dominik
Implementing UML Associations in Java: A Slim Code Pattern for a Complex Modeling Concept
Relationships and Associations in Object-Oriented Languages , Seite 17-24
Herausgeber: ACM
2009
DOI: 10.1145/1562100.1562104
278.
Raiser , Frank ; Frühwirth , Thom
Strong joinability analysis for graph transformation systems in CHR
In Corradini, A., Editor , Preliminary Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH) , Seite 97-112
In Corradini, A., Editor
2009
DOI: 10.1016/j.entcs.2009.10.019
277.
Guttmann , Walter
General Correctness Algebra
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor , Relations and Kleene Algebra in Computer Science Band 5827 aus Lecture Notes in Computer Science , Seite 150-165
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor
Herausgeber: Springer-Verlag
2009
DOI: 10.1007/978-3-642-04639-1_11
276.
Frühwirth , Thom
Constraint Handling Rules
Herausgeber: Cambridge University Press
2009
http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521877763

2008

275.
Ferdinand , C. ; Frey , Patrick ; Heckmann , Reinhold ; Richter , Kai
Timing Correctness and Model-Based Software Development for Safety-Critical Automotive Applications: An Integrated, Tool-Supported Workflow
Automotive Safety & Security 2008 ,
November 2008
274.
Kohlmeyer , Jens
Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2
In Bertelle, C. and Ayesh, A., Editor , Proceedings of the 2008 European Simulation and Modelling Conference , Seite 94-101
In Bertelle, C. and Ayesh, A., Editor
Oktober 2008
273.
Guttmann , Walter
Lazy UTP
In Butterfield, A., Editor , Second International Symposium on the Unifying Theories of Programming (UTP 08) , Seite 253-272
In Butterfield, A., Editor
Herausgeber: Trinity College Dublin, Ireland
September 2008
272.
Raiser , Frank
Semi-automatic generation of CHR solvers for global constraints
In Stuckey, P. J., Editor , Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Band 5202 aus Lecture Notes in Computer Science , Seite 588-592
In Stuckey, P. J., Editor
Herausgeber: Springer-Verlag
September 2008
DOI: 10.1007/978-3-540-85958-1_47
271.
Cuenot , Philippe ; Frey , Patrick ; Johansson , Ralf ; Lönn , Henrik ; Törngren , Martin ; Sjöstedt , C.-J.
Engineering Support For Automotive Embedded Systems: Beyond AUTOSAR
FISITA 2008 World Automotive Congress ,
September 2008
270.
Sneyers , Jon ; Frühwirth , Thom
Generalized CHR Machines
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor , CHR 2008, The 5th Workshop on Constraint Handling Rules , Seite 143-157
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
Juli 2008
269.
Djelloul , Khalil ; Dao , T.-B.-H. ; Frühwirth , Thom
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming , 8 (4) :431-489
Juli 2008
DOI: 10.1017/S1471068407003171
268.
Hürster , Carolin ; Omasreiter , H. ; Schwinn , Thilo
The problem of traceability and its handling in complex decision processes
Proceedings of the 20th International Conference on Systems Research, Informatics and Cybernetics, InterSymp: Special Focus Symposium on Engineering and Management of IT-based Organizational Systems: A Systems Approach ,
Juli 2008
267.

CHR 2008, The 5th Workshop on Constraint Handling Rules
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor aus RISC-Linz Report Series
Research Institute for Symbolic Computation, Johannes Kepler University, Linz
Juli 2008
http://www.risc.uni-linz.ac.at/publications/download/risc_3449/proceedings.pdf
266.
Raiser , Frank ; Frühwirth , Thom
Towards Term Rewriting Systems in Constraint Handling Rules
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor , CHR 2008, The 5th Workshop on Constraint Handling Rules , Seite 19-33
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
Juli 2008
265.
Haemmerlé , R. ; Betz , Hariolf
Verification of Constraint Handling Rules using Linear Logic Phase Semantics
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor , CHR 2008, The 5th Workshop on Constraint Handling Rules , Seite 67-78
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
Juli 2008
264.
Frey , Patrick ; Freund , U.
Integrating Timing Aspects in Model- and Component Based Embedded Control System Development for Automotive Applications
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV aus Informatik-Bericht 2008-02 , Seite 40-56
Herausgeber: TU Braunschweig
April 2008
http://www.sse-tubs.de/mbees-dagstuhl/
263.
Frey , Patrick ; Freund , U.
Model-Based AUTOSAR Integration of an Engine Management System
8. Internationales Stuttgarter Symposium: Automobil- und Motorentechnik ,
März 2008
262.
Raiser , Frank
Semi-Automatic Generation of CHR Solvers from Global Constraint Automata
aus Ulmer Informatik-Berichte
Dokument Nummer: 2008-03
Universität Ulm
Februar 2008
http://vts.uni-ulm.de/doc.asp?id=6322
261.
Tavakoli Kolagari , Ramin ; Raschke , Alexander ; Schneiderhan , Matthias ; Alexander , Ian
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
aus Ulmer Informatik-Berichte
Dokument Nummer: 2008-04
Universität Ulm
Februar 2008
http://vts.uni-ulm.de/doc.asp?id=6323
260.
Frühwirth , Thom
Welcome to Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor , Constraint Handling Rules: Current Research Topics Band 5388 aus Lecture Notes in Computer Science , Seite 1-15
In Schrijvers, T. and Frühwirth, T., Editor
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-92243-8_1
259.
Frühwirth , Thom
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor , Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Band 5129 aus Lecture Notes in Computer Science , Seite 91-108
In Fages, F. and Rossi, F. and Soliman, S., Editor
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-89812-2_7
258.
Dausend , Marcel ; Berton , André ; Kaltenmeier , Alfred ; Mann , Sandra
<prt>Was möchten Sie hören? - Zielsicheres Suchen in großen Datenmengen mit integrierten multimodalen Systemen</prt>
In Arild Lacroix, Editor , <prt>Elektronische Sprachverarbeitung - Studientexte zur Sprachkommunikation</prt> Band 50 ,
In Arild Lacroix, Editor
Herausgeber: TUDpress
2008
257.
Gessenharter , Dominik
Mapping the UML2 Semantics of Associations to a Java Code Generation Model
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor , Model Driven Engineering Languages and Systems Band 5301 aus Lecture Notes in Computer Science , Seite 813-827
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-87875-9_56
256.
Cuenot , Philippe ; Frey , Patrick ; Johannson , Ralf ; Lönn , Henrik ; Reiser , M.-O. ; Servat , David ; Tavakoli Kolagari , Ramin ; Chen , D.-J.
Developing Automotive Products using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language
4th European Congress on Embedded Real Time Software (ERTS 2008) ,
Januar 2008
255.
Sobhi , Ingi ; Abdennadher , Slim ; Betz , Hariolf
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
In Schrijvers, T. and Frühwirth, T., Editor , Constraint Handling Rules: Current Research Topics Band 5388 aus Lecture Notes in Computer Science , Seite 70-84
In Schrijvers, T. and Frühwirth, T., Editor
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-92243-8_4
254.

Constraint Handling Rules: Current Research Topics
In Schrijvers, T. and Frühwirth, T., Editor , Band 5388 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
2008
http://www.springer.com/978-3-540-92242-1
253.
Veanes , M. ; Bjørner , N. ; Raschke , Alexander
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor , Formal Techniques for Networked and Distributed Systems: FORTE 2008 Band 5048 aus Lecture Notes in Computer Science , Seite 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-68855-6_4
252.
Guttmann , Walter
Algebraic Foundations of the Unifying Theories of Programming
In Wagner, D. and others, Editor , Ausgezeichnete Informatikdissertationen 2007 Band D-8 aus Lecture Notes in Informatics
Seite 141-150
Herausgeber: Gesellschaft für Informatik
2008
141-150
251.
Dausend , Marcel ; Ehrlich , Ute
<prt>A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent</prt>
<prt>PIT '08: Proceedings of the 4th IEEE tutorial and research workshop on Perception and Interactive Technologies for Speech-Based Systems</prt> , Seite 268--271
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-69369-7_30
ISBN: 978-3-540-69368-0
250.
Mann , Sandra ; Berton , André ; Dausend , Marcel ; Heisterkamp , Paul
<prt>"Beethoven's Ninth" - An Example on Naming Usage for Audio Files</prt>
<prt>Elektronische Sprachsignalverarbeitung Studientexte zur Sprachkommunikation</prt> ,
2008
249.
Guttmann , Walter
Lazy Relations
In Berghammer, R. and Möller, B. and Struth, G., Editor , Relations and Kleene Algebra in Computer Science Band 4988 aus Lecture Notes in Computer Science , Seite 138-154
In Berghammer, R. and Möller, B. and Struth, G., Editor
Herausgeber: Springer-Verlag
2008
DOI: 10.1007/978-3-540-78913-0_12

2007

248.
Schwinn , Thilo ; Hürster , C. D.
Refactoring based on systematic analysis with a practical tool
Proceedings of the 20th International Conference on Software & Systems Engineering and their Applications, ICSSEA ,
Dezember 2007
247.
Frey , Patrick ; Freund , U.
AUTOSAR} compliant reengineering of an Engine Management Syste
In Gehrke, M. and Giese, H. and Stroop, J., Editor , Preliminary Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4) , Seite 18-24
In Gehrke, M. and Giese, H. and Stroop, J., Editor
Oktober 2007
http://omer4.upb.de/en/index_en.htm
246.
Betz , Hariolf
Relating Coloured Petri Nets to Constraint Handling Rules
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor , Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 33-47
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
245.
Raiser , Frank ; Tacchella , P.
On Confluence of Non-terminating CHR Programs
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor , Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 63-76
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
244.
Frühwirth , Thom
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor , Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 49-61
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
243.
Betz , Hariolf
A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor , Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 17-31
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
242.
Sjöstedt , C.-J. ; Chen , D.-J. ; Cuenot , Philippe ; Frey , Patrick ; Johansson , Ralf ; Lönn , Henrik ; Servat , David ; Törngren , Martin
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor , Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools aus Linköping Electronic Conference Proceedings , Seite 25-36
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor
Herausgeber: Linköping University Electronic Press, Linköpings universitet
Juli 2007
http://www.ep.liu.se/ecp/024/003/
241.
Meister , Marc ; Frühwirth , Thom
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor , Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 123-137
In Fages, F. and Rossi, F. and Soliman, S., Editor
Juni 2007
240.
Meister , Marc
Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules
In Fages, F. and Rossi, F. and Soliman, S., Editor , Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 160-169
In Fages, F. and Rossi, F. and Soliman, S., Editor
Juni 2007
239.
Meister , Marc ; Djelloul , Khalil ; Robin , J.
Une sémantique complète pour CHR en logique des transactions
In Deransart, P., Editor , Programmation par Contraintes, Troisièmes Journées Francophones , Seite 130-138
In Deransart, P., Editor
Juni 2007
http://hal.inria.fr/inria-00151149/en/
238.
Djelloul , Khalil ; Dao , T.-B.-H. ; Frühwirth , Thom
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees
In Hung, C. C. and Rosa, A., Editor , Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007 , Seite 58-64
In Hung, C. C. and Rosa, A., Editor
Herausgeber: ACM Press
2007
DOI: 10.1145/1244002.1244016
237.
Hürster , C. D.
Risikomanagement: Minimalscope für IT-Großprojekte
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor , Software Engineering 2007: Beiträge zu den Workshops Band P-106 aus Lecture Notes in Informatics , Seite 329-332
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Herausgeber: Gesellschaft für Informatik
2007
236.
Miller , S. ; Kasper , T. ; Schneiderhan , Matthias ; Raschke , Alexander
A defect-based experiment for analysing and comparing software engineering processes
In Jedlitschka, A. and Ciolkowski, M., Editor , Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering) aus IESE-Report , Seite 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Herausgeber: Fraunhofer IESE
2007
http://publica.fraunhofer.de/eprints/urn:nbn:de:0011-n-591678.pdf
235.
Meister , Marc ; Djelloul , Khalil ; Frühwirth , Thom
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor , Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Band 4651 aus Lecture Notes in Computer Science , Seite 139-153
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2007
234.
Sarstedt , Stefan ; Guttmann , Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor , Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006 Band 4378 aus Lecture Notes in Computer Science , Seite 349-362
In Virbitskaite, I. and Voronkov, A., Editor
Herausgeber: Springer-Verlag
2007
DOI: 10.1007/978-3-540-70881-0_30
233.
Meister , Marc ; Djelloul , Khalil ; Robin , J.
A Unified Semantics for Constraint Handling Rules in Transaction Logic
In Baral, C. and Brewka, G. and Schlipf, J., Editor , Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007 Band 4483 aus Lecture Notes in Computer Science , Seite 201-213
In Baral, C. and Brewka, G. and Schlipf, J., Editor
Herausgeber: Springer-Verlag
2007
DOI: 10.1007/978-3-540-72200-7_18
232.
Gerlich , Ralf
Integrierte Testkonzepte: Von der Theorie zur Praxis und zurück
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor , Software Engineering 2007: Beiträge zu den Workshops Band P-106 aus Lecture Notes in Informatics , Seite 113-122
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Herausgeber: Gesellschaft für Informatik
2007
231.
Raiser , Frank
Graph Transformation Systems in CHR
In Dahl, V. and Niemelä, I., Editor , Logic Programming, 23rd International Conference, ICLP 2007 Band 4670 aus Lecture Notes in Computer Science , Seite 240-254
In Dahl, V. and Niemelä, I., Editor
Herausgeber: Springer-Verlag
2007
DOI: 10.1007/978-3-540-74610-2_17
230.
Gessenharter , Dominik ; Merten , A.-M. ; Porta , N. F. ; Raschke , Alexander
Experiences on Using Software Experiments in the Validation of Industrial Research Questions
In Abran, A. and Dumke, R. and Mas, A., Editor , Proceedings of the IWSM-Mensura 2007 , Seite 279-288
In Abran, A. and Dumke, R. and Mas, A., Editor
2007
229.
Sarstedt , Stefan ; Kohlmeyer , Jens ; Raschke , Alexander ; Gessenharter , Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007
http://www.sigs.de/publications/os/2007/06/sarstedt_kohlmeyer_OS_06_07.pdf

2006

228.
Guttmann , Walter ; Möller , Bernhard
Normal Design Algebra
Dokument Nummer: 2006-28
Institut für Informatik, Universität Augsburg
Dezember 2006
http://www.informatik.uni-augsburg.de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-2006-28_gut_moe/
227.
Gerlich , Ralf
Schneller zum Ziel durch integrierte Testautomation
Software-QS-Tag
November 2006
http://www.imbus.de/qs-day/2006/vortragsfolien.shtml
226.
Raschke , Alexander ; Kohlmeyer , Jens ; Partsch , Helmuth ; Wolf , H. ; Mader , W.
Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor , Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006 , Seite 101-116
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor
Herausgeber: dpunkt.verlag
Juli 2006
225.
Gerlich , Ralf ; Gerlich , Rainer ; Boll , Thomas ; Chevalley , Philippe
Improving Test Automation by Deterministic Methods in Statistical Testing
In Ouwehand, L., Editor , DASIA 2006: Data Systems in Aerospace ,
In Ouwehand, L., Editor
Herausgeber: ESA Publications Division
Juli 2006
224.

Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor aus Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf
223.
Käser , M. ; Meister , Marc
Implementation of an F-Logic Kernel in CHR
In Schrijvers, T. and Frühwirth, T., Editor , Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules aus Technical Report , Seite 33-48
In Schrijvers, T. and Frühwirth, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf
222.
Frühwirth , Thom
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and Frühwirth, T., Editor , Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules aus Technical Report , Seite 49-60
In Schrijvers, T. and Frühwirth, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf
221.
Meister , Marc ; Frühwirth , Thom
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and Frühwirth, T., Editor , Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules aus Technical Report , Seite 77-92
In Schrijvers, T. and Frühwirth, T., Editor
Herausgeber: Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juni 2006
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf
220.
Sarstedt , Stefan ; Guttmann , Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor , Perspectives of System Informatics: Proceedings of the Sixth International Andrei Ershov Memorial Conference , Seite 207-213
In Virbitskaite, I. and Voronkov, A., Editor
Herausgeber: A. P. Ershov Institute of Informatics Systems, Novosibirsk
Juni 2006
219.
Sarstedt , Stefan
Model-Driven Development with ActiveCharts: Tutorial
Dokument Nummer: UIB-2006-01
Universität Ulm
März 2006
http://www.informatik.uni-ulm.de/epin/pw/13250
218.
Raschke , Alexander ; Tavakoli Kolagari , Ramin
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Dokument Nummer: UIB-2006-02
Universität Ulm
März 2006
217.
Kohlmeyer , Jens ; Raschke , Alexander ; Tavakoli Kolagari , Ramin
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Dokument Nummer: UIB-2006-03
Universität Ulm
März 2006
216.
Guttmann , Walter ; Möller , Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor , First International Symposium on the Unifying Theories of Programming (UTP 06) , Seite 206-225
In Dunne, S. and Stoddart, W., Editor
Herausgeber: University of Teesside, United Kingdom
Februar 2006
215.
Meister , Marc
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor , Proceedings of WLP 2006, 20th Workshop on Logic Programming aus INFSYS Research Report , Seite 172-181
In Fink, M. and Tompits, H. and Woltran, S., Editor
Herausgeber: Technische Universität Wien
Februar 2006
http://www.kr.tuwien.ac.at/wlp06/proceedings.html
214.
Frühwirth , Thom
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor , Recent Advances in Constraints, CSCLP 2005 Band 3978 aus Lecture Notes in Computer Science , Seite 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2006
DOI: 10.1007/11754602_2
213.
Guttmann , Walter ; Maucher , M.
Variations on an Ordering Theme with Constraints
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor , Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006 Band 209 aus IFIP International Federation for Information Processing , Seite 77-90
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor
Herausgeber: Springer-Verlag
2006
DOI: 10.1007/978-0-387-34735-6_10
212.
Schrijvers , T. ; Demoen , B. ; Duck , G. ; Stuckey , P. ; Frühwirth , Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor , Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005 Band 147 aus Electronic Notes in Theoretical Computer Science , Seite 93-111
In Cirstea, H. and Martí-Oliet, N., Editor
Januar 2006
211.
Tavakoli Kolagari , Ramin ; Porta , N. F.
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor , Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering , Seite 81-97
In Schneider, K., Editor
Herausgeber: Universität Hannover
2006
210.
Schrijvers , T. ; Frühwirth , Thom
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming , 6 (1-2) :213-224
Januar 2006
http://arxiv.org/abs/cs.PL/0501073
209.
Djelloul , Khalil ; Dao , T.-B.-H.
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor , Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Band 4120 aus Lecture Notes in Computer Science , Seite 53-67
In Calmet, J. and Ida, T. and Wang, D., Editor
Herausgeber: Springer-Verlag
2006
DOI: 10.1007/11856290_7
208.
Frühwirth , Thom ; Abdennadher , Slim
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming , 16 (2)
2006
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/acs-systems3.pdf
207.
Guttmann , Walter ; Möller , Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor , Unifying Theories of Programming Band 4010 aus Lecture Notes in Computer Science , Seite 236-256
In Dunne, S. and Stoddart, W., Editor
Herausgeber: Springer-Verlag
2006
DOI: 10.1007/11768173_14
206.
Hammori , Markus ; Herbst , Joachim ; Kleiner , Niko
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management , 56 (1) :41-63
Januar 2006
205.
Frühwirth , Thom
Constraint Handling Rules: The Story So Far
In Maher, M., Editor , Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming , Seite 13-14
In Maher, M., Editor
Herausgeber: ACM Press
2006
DOI: 10.1145/1140335.1140337
204.
Frühwirth , Thom ; Michel , L. ; Schulte , C.
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor , Handbook of Constraint Programming
Kapitel 13
Herausgeber: Elsevier
2006
203.
Guttmann , Walter
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor , Relational Methods in Computer Science 2005 Band 3929 aus Lecture Notes in Computer Science , Seite 108-120
In MacCaull, W. and Winter, M. and Düntsch, I., Editor
Herausgeber: Springer-Verlag
2006
DOI: 10.1007/11734673_9

2005

202.
Guttmann , Walter ; Maucher , M.
Constrained Ordering
Dokument Nummer: UIB-2005-03
Universität Ulm
Dezember 2005
http://www.informatik.uni-ulm.de/epin/pw/12929
201.
Kleiner , Niko
Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality
Requirements Engineering Journal: Special Issue on Coordinated Development of Business Processes and their Support Systems , 10 (3) :212-222
November 2005
200.
Betz , Hariolf ; Frühwirth , Thom
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor , 11th Conference on Principles and Practice of Constraint Programming CP 2005 Band 3709 aus Lecture Notes in Computer Science , Seite 137-151
In van Beek, P., Editor
Herausgeber: Springer-Verlag
Oktober 2005
DOI: 10.1007/11564751_13
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/llchr-final0.pdf
199.
Frühwirth , Thom
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor , Logic Programming: 21st International Conference, ICLP 2005 Band 3668 aus Lecture Notes in Computer Science , Seite 113-127
In Gabbrielli, M. and Gupta G., Editor
Herausgeber: Springer-Verlag
Oktober 2005
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/puf0.pdf
198.
Sarstedt , Stefan ; Gessenharter , Dominik ; Kohlmeyer , Jens ; Raschke , Alexander ; Schneiderhan , Matthias
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor , Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05) , Seite 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
197.
Sarstedt , Stefan
Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor , Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05) , Seite 61-65
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
196.

Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor aus Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
September 2005
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html
195.
Frühwirth , Thom
Logical Rules for a Lexicographic Order Constraint Solver
In Schrijvers, T. and Frühwirth, T., Editor , Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules aus Technical Report , Seite 79-91
Departement Computerwetenschappen, Katholieke Universiteit Leuven
In Schrijvers, T. and Frühwirth, T., Editor
September 2005
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/chr05-lex0.ps
194.
Guttmann , Walter ; Möller , Bernhard
Modal Design Algebra
Dokument Nummer: 2005-15
Institut für Informatik, Universität Augsburg
September 2005
http://www.informatik.uni-augsburg.de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-2005-15_moe/
193.
Sarstedt , Stefan ; Kohlmeyer , Jens ; Raschke , Alexander ; Schneiderhan , Matthias
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., Editor , Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05) , Seite 237-246
In Arabnia, H. R., Editor
Juni 2005
192.
Sarstedt , Stefan ; Kohlmeyer , Jens ; Raschke , Alexander ; Schneiderhan , Matthias
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., Editor , Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05) Band 1 , Seite 396-400
In Arabnia, H. R. and Reza, H., Editor
Juni 2005
191.
Schrijvers , T. ; Demoen , B. ; Duck , G. ; Stuckey , P. ; Frühwirth , Thom
Automatic implication checking for CHR constraints
6th International Workshop on Rule-Based Programming ,
April 2005
http://www.cs.kuleuven.ac.be/~dtai/publications/files/41606.pdf
190.
Schrijvers , T. ; Frühwirth , Thom
Analysing the CHR Implementation of Union-Find
In Wolf, A. and Frühwirth, T. and Meister, M., Editor , 19th Workshop on (Constraint) Logic Programming W(C)LP 2005 aus Ulmer Informatik-Berichte , Seite 135-146
Universität Ulm
In Wolf, A. and Frühwirth, T. and Meister, M., Editor
Februar 2005
http://www.cs.kuleuven.ac.be/~toms/Research/CHR/docs/wclp-union-find.ps
189.

19th Workshop on (Constraint) Logic Programming W(C)LP 2005
In Wolf, A. and Frühwirth, T. and Meister, M., Editor aus Ulmer Informatik-Berichte
Universität Ulm
Februar 2005
http://www.informatik.uni-ulm.de/epin/pw/11541
188.
Guttmann , Walter
Non-Termination in Unifying Theories of Programming
In Düntsch, I. and Winter, M., Editor , 8th International Conference on Relational Methods in Computer Science (RelMiCS 8) , Seite 87-94
In Düntsch, I. and Winter, M., Editor
Herausgeber: Computer Science Department, Brock University, St. Catharines, Ontario, Canada
Februar 2005
187.
Frühwirth , Thom
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor , Logic-based Program Synthesis and Transformation (LOPSTR'04) Band 3573 aus Lecture Notes in Computer Science , Seite 133-148
In Etalle, S., Editor
Herausgeber: Springer-Verlag
2005
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/trans1.pdf
186.
Gehring , Wolfgang
Leistungspunktesysteme: Eine erste Bilanz
Herausgeber: Universitätsverlag Ulm
Januar 2005
http://www.informatik.uni-ulm.de/pm/Rahmenwerk/
185.
Abdennadher , Slim ; Frühwirth , Thom ; Holzbaur , Christian
Editors, Special Issue on Constraint Handling Rules
Theory and Practice of Logic Programming , 5 (4-5)
2005
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/tplp-chr/index.html