Publications

Page 1 of 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 Program Synthesis and Transformation (LOPSTR-2015), July 13-15, Siena, Italy, Pages 313-330, Lecture Notes in Computer Science, (LNCS), Vol. 9527, Springer-Verlag, 11/2015.
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. Pages 355-376, Lecture Notes in Computer Science (LNCS), Vol. 8950, Springer International Publishing Switzerland , 2015.
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 Conference on Ambient Intelligence (Aml-2013), December 3-5, Dublin, Ireland, Springer-Verlag, CCIS, 12/2013.
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 Conference on Ambient Intelligence (Aml-2013), December 3-5, Dublin, Ireland, Springer-Verlag, CCIS, 12/2013.
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 SIGSPATIAL 2013, Orlando, FL, USA, ACM Digital Library, 11/2013.
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, Germany, Pages 501-512, CEUR, Vol. 1014, CEUR Workshop Proceedings, ceur-ws.org/Vol-1014/, 7/2013.
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 Related Assistance (ABRA-13), The 6th International Conference on Pervasive Technologies Related to Assistive Environments, located at International Conference on Pervasive Technologies Related to Assistive Environments, May 29-31, Rhodos, Greece, ACM Digital Library, 5/2013.
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 Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013), 19th, December 14-19, Stellenbosch, South Africa, Pages 53-70, Lecture Notes in Computer Science, Vol. 8312, Springer, 2013.
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 Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.