2014

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 Volume 8477 from Lecture Notes in Computer Science
Page 174-187
Publisher: 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
Publisher: 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)Volume13, 4-5-Online-Supplement
Publisher: 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
July 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
July 2013
334.
Dausend, Marcel; Müller, Markus; Stegmaier, Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
March 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
February 2013
Publisher: ACM

2012

332.
Saad, Aya; Gervet, Carmen; Frühwirth, Thom
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
October 2012
331.
Wielemaker, Jan; Frühwirth, Thom; Koninck, Leslie De; Triska, Markus; Uneson, Marcus
SWI Prolog Reference Manual 6.2.2
September 2012
Publisher: 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, Page 82-90
September 2012
329.
Sneyers, Jon; Frühwirth, Thom
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
Volume 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 Databases
Proceedings of the 9th International Working Conference on Mining Software Repositories
June 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 SciencefromLecture Notes in Computer Science
In Griffin, T. G. and Kahl, W., Editor
Publisher: 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 ConstructionVolume7342fromLecture Notes in Computer Science, Page 198-219
In Gibbons, J. and Nogueira, P., Editor
Publisher: 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
File:pdfhttps://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.
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 ProgrammingfromPPDP '12, Page 173--184
Publisher: ACM, New York, NY, USA
2012
DOI:10.1145/2370776.2370798
ISBN:978-1-4503-1522-7
320.
Guttmann, Walter
Algebras for Iteration and Infinite Computations
Acta Informatica
2012
DOI:10.1007/s00236-012-0162-2

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.
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 ApplicationsVolume6698fromLecture Notes in Computer Science, Page 205-220
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor
Publisher: Springer-Verlag
2011
DOI:10.1007/978-3-642-21470-7_15
317.
Guttmann, Walter
Towards a Typed Omega Algebra
In Swart, H. de, Editor, Relational and Algebraic Methods in Computer ScienceVolume6663fromLecture Notes in Computer Science, Page 196-211
In Swart, H. de, Editor
Publisher: 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.

Foreword and Appendix
In Frühwirth, T. and Raiser, F., Editor, Constraint Handling Rules: Compilation, Execution, and Analysis
Publisher: Books on Demand
2011
ISBN:978-3-83-911591-6