Publications

Page 4 of 9.

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 …
Serge Autexier
Similarity-Based Diff, Three-Way-Diff and Merge
In: International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, ISCAS, 8/2015.
Serge Autexier; Dieter Hutter
Structure Formation in Large Theories
In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July …
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.
Christoph Lüth; Serge Autexier; Dieter Hutter; Mathias Soeken; Robert Wille; Rolf Drechsler
SPECifIC - A New Design Flow for Cyber-Physical Systems
In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop, April 14, Berlin, Germany, Pages …
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 …
Serge Autexier; Dieter Hutter; Mohamed Bawadekji; Regine Wolters
Supporting Clinical Guidelines Using DL-Temporal Reasoning
In: Proceedings of the 10th International Conference & Expo on Emerging Technologies for a Smarter World. International Conference & Expo on Emerging …
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, …