Publikationen

Seite 1 von 2.

Serge Autexier; Dieter Hutter
SHIP - A Logic-Based Language and Tool to Program Smart Environments
In: Moreno Falaschi (Hrsg.). 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based …
Bernd Krieg-Brückner; Serge Autexier; Martin Rink; Sidoine Ghomsi Nokam
Formal Modelling for Cooking Assistance
In: Rocco De Nicola; Rolf Hennicker (Hrsg.). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. …
Serge Autexier; Dieter Hutter
SHIP: Semantic Integration of Heterogenous Processes
Abschlußbericht BMBF, BMBF, DFKI Final Reports (FR), Vol. noch nicht bestimmt. 5/2014.
Serge Autexier; Dieter Hutter; Christoph Stahl
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments
In: Juan Carlos Augusto; Reiner Wichert (Hrsg.). Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint …
Serge Autexier; Dieter Hutter; Christian Mandel; Christoph Stahl
SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab (Demo)
In: Juan Carlos Augusto; Reiner Wichert (Hrsg.). Proceedings of the Fourth International Joint Conference on Ambient Intelligence. International Joint …
Christoph Stahl; Sebastian Beins
SMAALL - Interacting with a Smart Home through a Synchronized Scale Model
In: Proc. of ACM SIGSPATIAL Workshop on Interacting with Maps. ACM SIGSPATIAL Workshop on Interacting with Maps (MapInteract-13), located at …
Serge Autexier; Dieter Hutter
Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes
In: Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13), July 23-26, Ulm, …
Dimitra Anastasiou; Cui Jian; Christoph Stahl
A German-Chinese Speech-Gesture Behavioural Corpus of Device Control in a Smart Home
In: Proceedings of the 6th International Conference on Pervasive Technologies Related to Assistive Environments. Workshop on Affect and Behaviour …
David Aspinall; Ewen Denney; Christoph Lüth
A Semantic Basis for Proof Queries and Transformations
In: Kevin McMillan; Aart Middeldorp; Andrei Voronkov (Hrsg.). Proceedings of the 19th International Conference on Logic for Programming, Artificial …
Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments
In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and …