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 IVfromInformatik-Bericht 2008-02, Page 40-56
Publisher: TU Braunschweig
April 2008
263.
Frey, Patrick; Freund, U.
Model-Based AUTOSAR Integration of an Engine Management System
8. Internationales Stuttgarter Symposium: Automobil- und Motorentechnik
March 2008
262.
Raiser, Frank
Semi-Automatic Generation of CHR Solvers from Global Constraint Automata
from Ulmer Informatik-Berichte
Document Number: 2008-03
Universität Ulm
February 2008
261.
Tavakoli Kolagari, Ramin; Raschke, Alexander; Schneiderhan, Matthias; Alexander, Ian
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
from Ulmer Informatik-Berichte
Document Number: 2008-04
Universität Ulm
February 2008
260.
Frühwirth, Thom
Welcome to Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 1-15
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: 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 2007Volume5129fromLecture Notes in Computer Science, Page 91-108
In Fages, F. and Rossi, F. and Soliman, S., Editor
Publisher: 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>Volume50
In Arild Lacroix, Editor
Publisher: 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 SystemsVolume5301fromLecture Notes in Computer Science, Page 813-827
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor
Publisher: Springer-Verlag
2008
DOI:10.1007/978-3-540-87875-9_56
256.
Guttmann, Walter
Lazy Relations
In Berghammer, R. and Möller, B. and Struth, G., Editor, Relations and Kleene Algebra in Computer ScienceVolume4988fromLecture Notes in Computer Science, Page 138-154
In Berghammer, R. and Möller, B. and Struth, G., Editor
Publisher: Springer-Verlag
2008
DOI:10.1007/978-3-540-78913-0_12
255.
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)
January 2008
254.
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 TopicsVolume5388fromLecture Notes in Computer Science, Page 70-84
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
DOI:10.1007/978-3-540-92243-8_4
253.

Constraint Handling Rules: Current Research Topics
In Schrijvers, T. and Frühwirth, T., Editor, Volume 5388 from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2008
252.
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 2008Volume5048fromLecture Notes in Computer Science, Page 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Publisher: Springer-Verlag
2008
DOI:10.1007/978-3-540-68855-6_4
251.
Guttmann, Walter
Algebraic Foundations of the Unifying Theories of Programming
In Wagner, D. and others, Editor, Ausgezeichnete Informatikdissertationen 2007 Volume D-8 from Lecture Notes in Informatics
Page 141-150
Publisher: Gesellschaft für Informatik
2008
141-150
250.
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>, Page 268--271
Publisher: Springer-Verlag
2008
DOI:10.1007/978-3-540-69369-7_30
ISBN:978-3-540-69368-0
249.
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

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
December 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), Page 18-24
In Gehrke, M. and Giese, H. and Stroop, J., Editor
October 2007
246.
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, Page 63-76
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
245.
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, Page 49-61
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
244.
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, Page 33-47
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, Page 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 ToolsfromLinköping Electronic Conference Proceedings, Page 25-36
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor
Publisher: Linköping University Electronic Press, Linköpings universitet
July 2007
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, Page 123-137
In Fages, F. and Rossi, F. and Soliman, S., Editor
June 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, Page 160-169
In Fages, F. and Rossi, F. and Soliman, S., Editor
June 2007