2010

289.
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>,
Publisher: Ulm, Germany
2010

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)Volume253fromElectronic Notes in Theoretical Computer Science, Page 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), Page 149-154
Publisher: IEEE Computer Society
August 2009
DOI:10.1109/SEAA.2009.60
285.
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 RulesfromTechnical Report, Page 34-48
In Raiser, F. and Sneyers, J., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
284.
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 RulesfromTechnical Report, Page 49-61
In Raiser, F. and Sneyers, J., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
283.

CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules
In Raiser, F. and Sneyers, J., Editor from Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
282.
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)Volume5649fromLecture Notes in Computer Science, Page 540-541
In Hill, P. M. and Warren, D. S., Editor
Publisher: Springer-Verlag
July 2009
DOI:10.1007/978-3-642-02846-5_54
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, Page 159-166
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Publisher: A. P. Ershov Institute of Informatics Systems, Novosibirsk
June 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)fromElectronic Workshops in Computing
In Budgen, D. and Turner, M. and Niazi, M., Editor
Publisher: The British Computer Society
April 2009
279.
Gessenharter, Dominik
Implementing UML Associations in Java: A Slim Code Pattern for a Complex Modeling Concept
Relationships and Associations in Object-Oriented Languages, Page 17-24
Publisher: ACM
2009
DOI:10.1145/1562100.1562104
278.
Guttmann, Walter
General Correctness Algebra
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor, Relations and Kleene Algebra in Computer ScienceVolume5827fromLecture Notes in Computer Science, Page 150-165
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor
Publisher: Springer-Verlag
2009
DOI:10.1007/978-3-642-04639-1_11
277.
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), Page 97-112
In Corradini, A., Editor
2009
DOI:10.1016/j.entcs.2009.10.019
276.
Frühwirth, Thom
Constraint Handling Rules
Publisher: Cambridge University Press
2009

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, Page 94-101
In Bertelle, C. and Ayesh, A., Editor
October 2008
273.
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
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 2008Volume5202fromLecture Notes in Computer Science, Page 588-592
In Stuckey, P. J., Editor
Publisher: Springer-Verlag
September 2008
DOI:10.1007/978-3-540-85958-1_47
271.
Guttmann, Walter
Lazy UTP
In Butterfield, A., Editor, Second International Symposium on the Unifying Theories of Programming (UTP 08), Page 253-272
In Butterfield, A., Editor
Publisher: Trinity College Dublin, Ireland
September 2008
270.
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, Page 67-78
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
269.
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, Page 19-33
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
268.

CHR 2008, The 5th Workshop on Constraint Handling Rules
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor from RISC-Linz Report Series
Research Institute for Symbolic Computation, Johannes Kepler University, Linz
July 2008
267.
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
July 2008
DOI:10.1017/S1471068407003171
266.
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
July 2008
265.
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, Page 143-157
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008