Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

Youssef Arbach, Nadim Sarrouh and Uwe Nestmann:

"Dynamic Coalitions: Towards an Integrated Formal Framework"

Submitted to ICDPSS (2014).

Bathelt-Tok, F., Glesner, S. and Blankenstein, O.: "

Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices"

In: PervasivHealth 2014, Proceedings of the 8^th International Conference on Pervasive Computing Technologies for Healthcare, Pages 162-165.

Franziska Bathelt-Tok:

"Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis"

DoctoralConsortiium@ICHI2014 (IEE Intelligent Informatics Buelltin).

Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein:

"Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by Apnea Detection System"

Submitted to IEEE International Conference on Healthcare Informatics 2014 (ICHI 2014).

M. Bux, U. Leser (2014): "DynamicCloudSim: Simulating Heterogeneity in Computational Clouds"

In: Future Generation Computer Systems.

Duske, K., Müller, R., Prüfer, R., Stöhr, D.:

"A BPMN Model of Charite Stroke Treatment Process"

Informatik-Berichte 244, Humboldt-Universität zu Berlin (2014).

Raffael Dzikowski, Andre Moelle, Wolfgang Reisig, Jan Sürmeli:

"Asynchronious of Communication"

Technical Report, Humboldt-Universität zu Berlin. (April 2014).

Helena Gruhn and Per Persson:

"Towards a Robust Algorithm for Distributed Monitoring of Network Topology Changes"

Accepted at the 13^th IEEE IFIP Annual Mediterranean Ad Hoc Networking Workshop, (Med-Hoc-Net 2014) in Pinan/ Slovenia.

Marcin Hewelt, Aaron Kunde, Mathias Weske, Christoph Meinel:

"Recommendations for Medical Treatment Process: The PIGS approach"

In: ProHealth 2014 Workshop Proceedings.

Marcin Hewelt:

"Process Information and Guidance Systems in the Hospital"

In: KR4HC 2014 Workshop Proceedings (2014).

Marcin Hewelt, Aaron Kunde:

"Integration of Documentation Tasks into Medical Treatment Processes in the Hospital"

In: Proceedings of the 6^th Central-European Workshop on Services and their Composition (ZEUS) 2014, CEUR Workshop Proceedings, Vol. 1140.

Robert Prüfer and Jan Sürmeli:

"Introducing Configurability into Scenario-Based Specification of Business Processes"

In: Herzberg, N., Kunze, M. (eds.) ZEUS. CEUR Workshop Proceedings, vol. 1140, pp. 42-48, CEUR-WS.org (2014)

Denny Schneeweiß und Petra Hofstedt:

"Configurable Resource Objects for Treatment Planning in the Medical Domain."

Proceedings of the 8^th International Conference on Bio-inspired Information and Communications Technologies (BICT 2014), Special Track on Artificial Intelligence and Software Engineering (AISE) Boston, United States of America. Dez. 2014.

R. Jansen, F. Tschorsch, A. Johnson and B. Scheuermann:

"The Sniper Attack: Anonymously Deanonymizing and Disabling at the Tor Network"

NDSS'14: 21^st  Annual Symposium on Network and Distributed System Security (NDSS'14), 2014.

Steffen Zeuch, Johann-Christoph Freytag, Frank Huber:

"Adapting Tree Structures for Processing with SIMD Instructions"

Pro. 17^th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28, 2014.