GRK 1651:  Service-orientierte Architekturen zur Integration Software-gestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED).

• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 2010 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 158230677

• Erstellungsjahr: 2020

Zusammenfassung der Projektergebnisse

Die zentrale wissenschaftliche Idee des Kollegs ging von der Beobachtung aus, dass Service-Orientiertes Computing (SOC) ein großes Potential als Paradigma der Konstruktion rechnergestützter Prozesse und eingebetteter Systeme hat, aber auf Grund seiner bisherigen, von pragmatischen Gesichtspunkten getriebenen Entwicklung in methodischen und theoretischen Aspekten noch sehr ausbaufähig ist. Im Vordergrund der Forschung des Kollegs standen daher grundlegende konzeptionelle Fragestellungen. Ziel war die Definition und umfassende Charakterisierung zentraler Begriffe wie Service-Instanz, Service-Integration, Orchestrierung von Services in Prozesse, sowie deren Laufzeitverhalten. Diese Konzepte müssen derart angelegt werden, dass sie auf unterschiedlichen Konfigurationen (Hardware, Software, etc.) angepasst werden können, ohne dass die Kompatibilität der Modelle darunter leidet. Alle im Kolleg erzielten Forschungsergebnisse sollten beispielhaft in einem herausfordernden Anwendungsbereich demonstriert werden, wozu das Kolleg die Bereiche Gesundheitswesen und Medizintechnik gewählt hat, die weitere Anforderungen mit sich bringen, insbesondere im Bereich des Datenschutzes, bei der Abwicklung langlebiger Prozesse über Organisationsgrenzen hinweg, und der Skalierung bei großvolumigen Daten im Bereich der genombasierten Medizin. Damit Prototypen Realitätsnähe beanspruchen können, setzte sich die Gruppe der Antragstellenden sowohl aus Expertinnen und Experten aus dem Bereich Informatik als auch aus der Medizin zusammen. Diese Konstellation hat über die gesamte Laufzeit des Kollegs zu zahlreichen lebhaften Diskussion zwischen vielen sehr engagierten Forscherinnen und Forschern aller Qualifikationsstufen geführt, aber auch die stark unterschiedlichen Fächerkulturen und Erwartungen an ausgezeichnete Dissertationsvorhaben offengelegt. SOAMED wurde über die volle Länge von zwei Perioden bewilligt. Insgesamt wurden 30 Promovierende gefördert sowie 11 weitere assoziiert. Diese haben bisher 148 begutachtete Publikationen verfasst, bei denen SOAMED-Promovenden in 113 Fällen auch Erstautoren waren. 25 Arbeiten hatten mindestens zwei Promovenden aus SOAMED als Koautoren. Zahlreiche dieser Arbeiten sind in Journalen oder Konferenzen erschienen, die zu den Topadressen in ihren Bereichen gehören, wie die „Conference on Very Large Databases (VLDB)“, das „Journal of Function Programming“, die „Business Process Management“ Konferenz (BPM), die „Conference on Fundamental Aspects of Software Engineering” (FASE), das Journal “Information Systems”, das Journal “Future Generation Computing Systems”, die “Conference on Advanced Information Systems Engineering” (CAiSE), die “Conference on Information and Knowledge Management” (CIKM), die “Conference on Principles of Distributed Systems” (ICPDS) oder die “Conference on Service-Oriented Computing” (ICSOC). Ein beträchtlicher Anteil der bisherigen SOAMED Absolventinnen und Absolventen hat sich für einen Verbleib in der Wissenschaft entschieden, und ein Absolvent ist bereits auf eine Professur berufen worden. SOAMED hat auch beträchtliche Wirkung über seinen eigenen Kern hinaus entfaltet. Es war eine entscheidende Plattform für die Kreierung weiterer koordinierter Projekte, wie die Graduiertenkollegs HEIBRiDS (gefördert durch die Helmholtz-Gesellschaft) und CompCancer (DFG gefördert), die BMBF-Verbundprojekte PREDICT und GeoMultiSense, oder das universitätsübergreifende „Einstein Center for the Digital Future“ (ECDF). Im Berliner Exzellenzverbundantrag diente SOAMED als Blaupause für ein erfolgreiches organisationsübergreifendes Digitalprojekt. SOAMED bildet auch einen zentralen Kern für den jüngst eingereichten DFG-Antrag für die Einrichtung eines Sonderforschungsbereichs zum Thema „Foundations of Workflows for Large-Scale Scientific Data Analysis“ (FONDA). Als Antragstellerinnen und Antragsteller blicken wir daher auf neun nicht immer spannungsfreie, aber vielleicht auch gerade dadurch sehr erfolgreiche Jahre zurück.

Projektbezogene Publikationen (Auswahl)

• (2010). "Employment of a healthgrid for evaluation and development of polysomnographic biosignal processing methods", Proceedings of the Annual International IEEE Conference of the Engineering in Medicine and Biology Society (EMBC), S. 268-271, 2010
  Krefting, D. Loose, H. and Penzel, T.
  (Siehe online unter https://doi.org/10.1109/iembs.2010.5627443)
• (2010). “Defamation-Free Networks through User-Centered Data Control”, STM 2010, Athens, Greece, September 23-24, 2010, Proceedings p179-193
  Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker
  (Siehe online unter https://doi.org/10.1007/978-3-642-22444-7_12)
• (2010). “On the notion of deadlocks in open nets”. In: Schwarick, M., Heiner, M.(eds.) Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010). CEUR Workshop Proceedings, vol. 643, pp. 130–135
  Müller, R.
  
• (2010). “QRS detection in polysomnographic ECGs and application to the SIESTA database with focus on obstructive sleep apnea”. Proceedings of the International Biosignal Processing Conference, 109:1-4
  Loose, H., Krefting, D. and Penzel, T.
  
• (2010). „Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder“. GI Jahrestagung, 2010, Leipzig, Germany, Proceedings p229-234
  Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann
  
• (2011). "Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions", auf "Formal Aspects of Virtual Organization 2011 (FAVO 2011)", PRO-VE 2011 Workshop, Sao Paolo, Brasilien
  Nadim Sarrouh
  
• (2011). “Challenges in Automatic Diagnosis Extraction from Medical Examination Summaries”. Workshop on Web Science and Information Exchange on the Medical Web, Glasgow, United Kingdom
  Starlinger, J., Schmeck, B. and Leser, U.
  
• (2011). “Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen", auf GI Workshop "Datenmanagement und Interoperabilität im Gesundheitswesen", 2011, Berlin, Deutschland
  Nadim Sarrouh
  
• (2011). „BPMN for Healthcare Processes“. In Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 201
  Richard Müller, Andreas Rogge-Solti
  
• (2011). „Challenges in Automatic Diagnosis Extraction from Medical Examination Summaries“. CIKM 2011, Workshop on Web Science and Information Exchange on the Medical Web
  Johannes Starlinger, Bernd Schmeck, Ulf Leser
  
• (2011). „PiPa: Custom Integration of Protein Interactions and Pathways“. GI-Jahrestagung 2011, Workshop "Daten in den Lebenswissenschaften"
  Sebastian Arzt, Johannes Starlinger, Oliver Arnold, Stefan Kröger, Samira Jaeger, Ulf Leser
  
• (2012). "FdConfig”: A Constraint-Based Interactive Product Configurator". 19th International Conference on Applications of Declarative Programming and Knowledge Management and 25th Workshop on Logic Programming
  Denny Schneeweiss, Petra Hofstedt
  (Siehe online unter https://doi.org/10.1007/978-3-642-41524-1_13)
• (2012). Data and Abstraction for Scenario-Based Modeling with Petri Nets. Technical Report 12-07, Eindhoven University of Technology
  Dirk Fahland, Robert Prüfer
  
• (2012). „(Re)Use in Public Scientific Workflow Repositories“. Int. Conf. on Scientific and Statistical Database Management, Chania, Greece
  Starlinger, J., Cohen-Boulakia, S. and Leser, U
  (Siehe online unter https://doi.org/10.1007/978-3-642-31235-9_24)
• (2012). „A Survey on Approaches for Timed Services“, 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012
  Kristian Duske, Richard Müller
  
• (2012). „A Survey on Approaches for Timed Services“, In Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany
  Kristian Duske, Richard Müller
  
• (2012). „A Trace-Based Semantics for Responsiveness“, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany
  Walter Vogler, Christian Stahl, Richard Müller
  (Siehe online unter https://doi.org/10.1109/ACSD.2012.10)
• (2012). „Automated Composition of Timed Services by Planning as Model Checking“, 4th Central-European Workshop on Services and their Composition, Bamberg, Germany, February 23-24, 2012, volume 847
  Daniel Stöhr, Sabine Glesner
  
• (2012). „Conformance Checking of Services Using the Best Matching Private View“, 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 September 6-7, 2012, Tallinn, Estonia
  Richard Müller, W. M. P. van der Aalst, Christian Stahl
  (Siehe online unter https://doi.org/10.1007/978-3-642-38230-7_4)
• (2012). „Data and Abstraction for Scenario-Based Modeling with Petri Nets“, 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, vol. 7347, pp. 168 – 187
  Dirk Fahland, Robert Prüfer
  (Siehe online unter https://doi.org/10.1007/978-3-642-31131-4_10)
• (2012). „Data Management Challenges in Next Generation Sequencing“, Datenbank-Spektrum 12(3): 161-171
  S. Wandelt, A. Rheinländer, M. Bux, L. Thalheim, B. Haldemann, U. Leser
  (Siehe online unter https://dx.doi.org/10.1007/s13222-012-0098-2)
• (2012). „Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines“, 2nd International Workshop on Petri Nets Compositions, CompoNet? '12, Hamburg, Germany, June 25-26
  Richard Müller, Christian Stahl
  
• (2012). „GeneView: A comprehensive semantic search engine for PubMed“. Nucl. Acids Res. 40 (W1): W585- W591, 2012
  Thomas, P., Starlinger, J., Vowinkel, A., Arzt, S. and Leser, U.
  (Siehe online unter https://doi.org/10.1093/nar/gks563)
• (2012). „Privacy Protocol for Linking Distributed Medical Data“. In Proceedings of the 9th Workshop on Secure Data Management (SDM'12) at the 38th Conference on Very Large Data Bases (VLDB), Istanbul, Türkei, 2012
  D. Janusz, M. Kost, and J.-C. Freytag
  (Siehe online unter https://doi.org/10.1007/978-3-642-32873-2_4)
• (2012). „Towards Automated and Correct Composition of Timed Services“, 8th International Workshop on Engineering Service-Oriented Applications, Shanghai, China
  Daniel Stöhr, Sabine Glesner
  (Siehe online unter https://doi.org/10.1007/978-3-642-37804-1_33)
• (2013). "An algorithm for privacy-preserving distributed user statistics," Computer Networks, vol. 57, no. 14, pp. 2775–2787
  F. Tschorsch and B. Scheuermann
  (Siehe online unter https://doi.org/10.1016/j.comnet.2013.05.011)
• (2013). "How (not) to Build a Transport Layer for Anonymity Overlays," ACM SIGMETRICS Performance Evaluation Review (PER), vol. 40, no. 4, pp. 101–106
  F. Tschorsch and B. Scheuermann
  (Siehe online unter https://doi.org/10.1145/2479942.2479956)
• (2013). "Information Scout: A Social an Intelligent Conversation to Transform Data into Insight" in ACM SIGMOD/PODS - Workshop on Big Data Analytics
  Eser Kandogan, Mary Roth, Steffen Zeuch et al.
  
• (2013). Parallelization in Scientific Workflow Management Systems, Technical Report CoRR
  M. Bux, U. Leser
  (Siehe online unter https://doi.org/10.48550/arXiv.1303.7195)
• (2013). Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations. BPM Center Report BPM-13-12
  Müller, R., Stahl, C., Aalst, W.M.P.v.d., Westergaard, M.
  
• (2013). Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations. BPM Center Report BPM-13-12
  Müller, R., Stahl, C., Aalst, W.M.P.v.d., Westergaard
  
• (2013). Trace-and failure-based semantics for responsiveness. BPM Center Report BPM-13-14
  Vogler, W., Stahl, C., Müller, R.
  
• (2013). Undecidability of accordance for open systems with unbounded message queues. BPM Center Report BPM-13-19
  Müller, R., Stahl, C., Vogler, W.
  
• (2013). “Adding Priority to Event Structure”. In: Proceeding of the Combined 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, Buenos Aires, Argentina
  Youssef Arbach, Kirstin Peters and Uwe Nestmann
  
• (2013). “Constraint-based scheduling and planing in medical facilities with BPMN”. In Proceeding of the Doctoral Programm of the 19th International Conference on Principles and Practice of Constraint Programming. Uppsala, Schweden
  Denny Schneeweiss
  
• (2013). “Design and Verification of a Health-Monitoring Driver Assistant System”, 7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth’13), pp. 266-267
  H. Gruhn, D. Stöhr, M. Gövercin, and S. Glesner
  (Siehe online unter https://doi.org/10.4108/icst.pervasivehealth.2013.252091)
• (2013). “DynamicCloudSim: Simulating Heterogeneity in Computational Clouds”, Int. Workshop on Scalable Workflow Enactment Engines and Technologies (SWEET'13), in conjunction with ACM SIGMOD Conference, New York, USA
  M. Bux, U. Leser
  (Siehe online unter https://doi.org/10.1145/2499896.2499897)
• (2013). “Experiences from Developing the Domain-Specific Entity Search Engine GeneView”. BTW, Magdeburg, Germany
  Thomas, P., Starlinger, J. and Leser, U.
  
• (2013). “FdConfig: A Constraint-Based Interactive Product Configurator”. Band 7773, Applications of Declarative Programming and Knowledge Management. Springer-Verlag
  Denny Schneeweiss und Petra Hofstedt
  (Siehe online unter https://doi.org/10.1007/978-3-642-41524-1_13)
• (2013). “Formal Modeling of Trust-Based Access Control in Dynamic Coalitions”, METHOD 2013 workshop of iFM 2013, Kyoto, Japan
  Nadim Sarrouh
  (Siehe online unter https://doi.org/10.1109/COMPSACW.2013.30)
• (2013). “Grid based sleep research – Analysis of polysomnographies using a grid infrastructure”. Future Generation Computer Systems 29.7: 1671-1679
  Krefting, D., Canisius, S., Hoheisel, A., Loose, H., Tolxdorff, T. and Penzel, T.
  (Siehe online unter https://doi.org/10.1016/j.future.2010.03.008)
• (2013). “Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking,” in 7th International Symposium on Theoretical Aspects of Software Engineering (TASE’13)
  D. Stöhr and S. Glesner
  (Siehe online unter https://doi.org/10.1109/TASE.2013.9)
• (2013). “RCSI: Scalable similarity search in thousand(s) of genomes”, PVLDB
  S. Wandelt, J. Starlinger, M. Bux, U. Leser
  (Siehe online unter https://doi.org/10.14778/2536258.2536265)
• (2013). “Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations”. In Basu, S., Pautasso, C., Zhang, L., Fu, X., eds.: Service-Oriented Computing. Volume 8274 of Lecture Notes in Computer Science. Springer Berlin Heidelberg
  Müller, R., Stahl, C., Aalst, W.M.P.v.d., Westergaard, M.
  (Siehe online unter https://doi.org/10.1007/978-3-642-45005-1_25)
• (2013). “Synthesizing Cost-minimal Partners for Services”. Service-Oriented Computing -11th International Conference, ICSOC 2013, Berlin, Germany
  Jan Sürmeli, Marvin Triebel
  (Siehe online unter https://doi.org/10.1007/978-3-642-45005-1_49)
• (2013). “Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks“. Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013)
  Helena Gruhn and Sabine Glesner
  (Siehe online unter https://doi.org/10.4204/EPTCS.108.4)
• (2013). “Towards Automated and Correct Composition of Timed Services”, Service-oriented Computing -ICSOC 2012 Workshops (WE- SOA@ICSOC’12). Springer-Verlag, 2013, pp. 319–331
  D. Stöhr and S. Glesner
  (Siehe online unter https://doi.org/10.1007/978-3-642-37804-1_33)
• (2013). “Towards the Automated Synthesis of Data Dependent Service Controllers”. In: PhD Symposium of the 11th International Conference on Service Oriented Computing (ICSOC 2013), Springer
  F. Bathelt-Tok, S.Glesner
  (Siehe online unter https://doi.org/10.1007/978-3-319-06859-6_47)
• (2013). “Trace-and failure-based semantics for bounded responsiveness”. In Canal, C., Villari, M., eds.: Advances in Service-Oriented and Cloud Computing. Volume 393 of Communications in Computer and Information Science. Springer Berlin Heidelberg
  Vogler, W., Stahl, C., Müller, R.
  (Siehe online unter https://doi.org/10.1007/978-3-642-45364-9_12)
• (2013). “Trends in Genome Compression”, Current Bioinformatics
  S. Wandelt, M. Bux, U. Leser
  (Siehe online unter https://dx.doi.org/10.2174/1574893609666140516010143)
• (2013). „Constraint-basierte Zeit- und Ressourcenplanung auf Basis von BPMN-Behandlungsmodellen“. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, MI10-Workshop, Biometrie und Epidemiologie e.V. (GMDS). Lübeck, Deutschland
  Denny Schneeweiss
  (Siehe online unter https://doi.org/10.3205/13gmds286)
• (2013). „Design and Verification of a Health-Monitoring Driver Assistance System”. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 266-267
  Helena Gruhn, Daniel Stöhr, Mehmet Gövercin and Sabine Glesner
  (Siehe online unter https://doi.org/10.4108/icst.pervasivehealth.2013.252091)
• Trace- and failure-based semantics for responsiveness. BPM Center Report BPM-13-14
  Vogler, W., Stahl, C., Müller, R.
  
• (2014). "A BPMN Model of Charité Stroke Treatment Process" Informatik-Berichte 244, Humboldt-Universität zu Berlin
  Kristian Duske, Richard Müller, Robert Prüfer, Daniel Stöhr
  
• (2014). "A BPMN Model of the Charité Stroke Treatment Process" Informatik Berichte 244, Humboldt-Universität zu Berlin
  K. Duske, R. Müller, R. Prüfer, D. Stöhr
  
• (2014). "Adapting Tree Structures for Processing with SIMD Instructions" Pro. 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28
  Steffen Zeuch, Johann-Christoph Freytag, Frank Huber
  (Siehe online unter https://doi.org/10.5441/002/edbt.2014.10)
• (2014). "Asynchronous Communication". Technical Report, Humboldt-Universität zu Berlin, Department of Computer Science
  Raffael Dzikowski, Andre Moelle, Wolfgang Reisig, Jan Sürmeli
  
• (2014). "Configurable Resource Objects for Treatment Planning in the Medical Domain." Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, Boston, US
  Denny Schneeweiß und Petra Hofstedt
  (Siehe online unter https://doi.org/10.4108/icst.bict.2014.257907)
• (2014). "Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices" 8th International Conference on Pervasive Computing Technologies for Healthcare, Pages 162-165
  Bathelt-Tok, F., Glesner, S. and Blankenstein, O.
  (Siehe online unter https://doi.org/10.4108/icst.pervasivehealth.2014.254949)
• (2014). "DynamicCloudSim: Simulating Heterogeneity in Computational Clouds" In: Future Generation Computer Systems
  Marc Bux, Ulf Leser
  (Siehe online unter https://doi.org/10.1016/j.future.2014.09.007)
• (2014). "Introducing Configurability into Scenario-Based Specification of Business Processes" In: Herzberg, N., Kunze, M. (eds.) ZEUS. CEUR Workshop Proceedings, vol. 1140, pp. 42-48
  Robert Prüfer and Jan Sürmeli
  
• (2014). "Layer Decomposition: An Effective Structure-based Approach for Scientific Workflow Similarity" 10th International Conference on e-Science, Guaruja, Brasil
  J. Starlinger, S. Cohen-Boulakia, S. Khanna, S. B. Davidson, U. Leser
  (Siehe online unter https://doi.org/10.1109/eScience.2014.19)
• (2014). "QTM: Modelling Query Execution with Tasks", ADMS Workshop
  S. Zeuch, J.Ch. Freytag
  
• (2014). "Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis" DoctoralConsortiium@ICHI2014 (IEE Intelligent Informatics Bulletin)
  Franziska Bathelt-Tok
  
• (2014). "Similarity Search for Scientific Workflows" PVLDB, Volume 7, No. 12
  J. Starlinger, B. Brancotte, S. Cohen-Boulakia, U. Leser
  (Siehe online unter https://doi.org/10.14778/2732977.2732988)
• (2014). "The Sniper Attack: Anonymously Deanonymizing and Disabling at the Tor Network" 21st Annual Symposium on Network and Distributed System Security
  R. Jansen, F. Tschorsch, A. Johnson and B. Scheuermann
  (Siehe online unter https://doi.org/10.14722/ndss.2014.23288)
• (2014). "Towards a Robust Algorithm for Distributed Monitoring of Network Topology Changes" 13th IEEE IFIP Annual Mediterranean Ad Hoc Networking Workshop, Pinan/ Slovenia
  Helena Gruhn and Per Persson
  (Siehe online unter https://doi.org/10.1109/MedHocNet.2014.6849098)
• (2014). "Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by Apnea Detection System" . IEEE International Conference on Healthcare Informatics
  Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein
  (Siehe online unter https://doi.org/10.1109/ICHI.2014.39)
• (2014). "Trace- and failure-based semantics for responsiveness" Acta Inf. 51(8): 499-552 (2014)
  W. Vogler, Ch. Stahl, R. Müller
  (Siehe online unter https://doi.org/10.1007/s00236-014-0205-y)
• (2014). "Undecidability of accordance for open systems with unbounded message queues" Process. Lett. 114(12): 663-669 (2014)
  R. Müller, Ch. Stahl, W. Vogler
  (Siehe online unter https://doi.org/10.1016/j.ipl.2014.07.010)
• (2014). A mechanized verification environment for real-time process algebras and low-level programming languages. Dissertation, Technische Universität Berlin
  Björn Bartels
  
• (2014). Automated composition of timed services in medical applications. Dissertation, Technische Universität Berlin
  Daniel Stöhr
  
• (2014). Privacy-aware dynamic coalitions. Dissertation, Technische Universität Berlin
  Nadim Sarrouh
  
• (2014). Probabilistic Estimation of Unobserved Process Events. University of Potsdam
  Andreas Rogge-Solti
  
• (2014). Verifying Responsiveness for Open Systems by Means of Conformance Checking. Dissertation, Humboldt University of Berlin
  Richard Müller
  (Siehe online unter https://doi.org/10.6100/IR780046)
• (2015). "Biobankcloud: a plattform for the secure storage, sharing, and processing of large biomedical data sets" First International Workshop on Data Management and Analytics for Medicine and Healthcare
  Alysson Bessani, Jörgen Brandt, Marc Bux, Vinicius Cogo, Lora Dimitrova, Jim Dowling, Ali Gholami, Kmal Hakimzadeh, Michael Hummel, Mahmoud Ismail, Erwin Laure, Ulf Leser, Jan-Eric Litton, Roxanna Martinez, Salman Niazi, Jane Reichel, and Karin Zimmermann
  (Siehe online unter https://doi.org/10.1007/978-3-319-41576-5_7)
• (2015). "CATE: An Open and Highly Configurabel Framework for Performance Evaluation of Packet Classification Algorithms", Winter Simulation Conference
  Wladislaw Gusew, Sven Hager, and Björn Scheuermann
  (Siehe online unter https://doi.org/10.1109/WSC.2015.7408407)
• (2015). "Characterizing Stable Inequalities of Petri Nets" Devillers, Raymond and Valmari, Antti, editors In: Application and Theorie of Petri Nets and Cocurrency, vol. 9115 of Lecture Notes in Computer Science
  Marvin Triebel and Jan Sürmeli
  (Siehe online unter https://doi.org/10.1007/978-3-319-19488-2_14)
• (2015). "Configurable Domain Objects for Resource Modelling in Treatment Scheduling" International Journal of Software Engineering and Knowledge Engineering, 25(5):871–886
  Schneeweiss, Denny und Petra Hofstedt
  (Siehe online unter https://doi.org/10.1142/S0218194015400240)
• (2015). "Cuneiform - A Functional Language for Large Scale Scientific Workflow Execution Engine" In Proceedings of the Workshops of the EDBT/ICDT, Brussels, Belgium
  Jörgen Brandt, Marc Bux, and U. Leser
  (Siehe online unter https://doi.org/10.13140/RG.2.1.3547.6561)
• (2015). "Dynamic Causality in Event Structures". Formal Techniques for Distributed Objects, Components and Systems, Volume 9039
  Youssef Arbach, David Karcher, Kristin Peters, Uwe Nestmann
  (Siehe online unter https://doi.org/10.1007/978-3-319-19195-9_6)
• (2015). "DynamicCloudSim: Simulating Heterogeneity in Computational Clouds." Future Generation Computer Systems 46: 85-99
  Bux, M. and U. Leser
  (Siehe online unter https://doi.org/10.1016/j.future.2014.09.007)
• (2015). "SAASFEE: Scalable Scientific Workflow Execution Engine" PVLDB 8(12): 1892- 1903
  Marc Bux, Jörgen Brandt, Carsten Lipka, Kamal Hakimzadeh, Jim Dowling, Ulf Leser
  (Siehe online unter https://doi.org/10.14778/2824032.2824094)
• (2015). "Selection on Modern CPUs" Proceedings of the 3rd Workshop on In-Memory Data Management and Analytics, IMDM@VLDB 2015, Kohala Coast, HI, USA
  Steffen Zeuch and Johann-Christoph Freytag
  (Siehe online unter https://doi.org/10.1145/2803140.2803145)
• (2015). A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie. Dissertation, Technische Universität Berlin
  Robert Reicherdt
  (Siehe online unter https://doi.org/10.14279/depositonce-4897)
• (2015). Optimale Partner offener Systeme: Modellierung, Analyse, Synthese. Dissertation, Humboldt Universität zu Berlin
  Jan Sürmeli
  (Siehe online unter https://doi.org/10.18452/17208)
• (2015). “Configurable Domain Objects for Resource Modelling in Treatment Scheduling”. Int. Journal of Software Engineering and Knowledge Engineering, 25(5):871–886
  Schneeweiss D. and P. Hofstedt
  (Siehe online unter https://doi.org/10.1142/S0218194015400240)
• (2015). “D2Pt: Privacy-Aware Multiparty Data Publication”. In: Seidl, T., Ritter, N., Schöning, H., Sattler, K.-U., Härder, T., Friedrich, S. & Wingerath, W. (Hrsg.), Datenbanksysteme für Business, Technologie und Web
  Nielsen, J. H., Janusz, D., Taeschner, J. & Freytag, J.-C.
  
• (2015). “From choreography diagrams to RESTful interactions,” 11th International Workshop on Engineering Service Oriented Applications
  Adriatik Nikaj, Sankalita Mandal, Cesare Pautasso, and Mathias Weske
  
• (2015). „Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen“. D. W. Cunningham, P. Hofstedt, K. Meer und I. Schmitt (Herausgeber): 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, Cottbus, pp. 1047–1060
  Sauer, P., D. Schneeweiss and P. Hofstedt
  
• “Higher-Order Dynamics in Event Structures”. Theoretical Aspects of Computing, LNCS 9399 pp. 258-271
  Karcher, D. and U. Nestmann
  (Siehe online unter https://doi.org/10.1007/978-3-319-25150-9_16)
• (2016). A framework for reliable and dynamic wireless sensor-actuator networks. Dissertation, Technische Universität Berlin
  Helena Gruhn
  (Siehe online unter https://doi.org/10.14279/depositonce-5064)
• (2016). Homogeneous Equations of Algebraic Petri Nets. Technical Report, Humboldt-Universität zu Berlin, Department of Computer Science
  Marvin Triebel and Jan Sürmeli
  
• (2016). Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung. Dissertation, Technische Universität Berlin
  Marcus Mews
  (Siehe online unter https://doi.org/10.14279/depositonce-5444)
• (2016). On the Foundations of dynamic coalitions: modeling changes and evolution of workflows in healthcare scenarios. Dissertation, Technische Universität Berlin
  Youssef Arbach
  (Siehe online unter https://doi.org/10.14279/depositonce-5406)
• (2016). Onions in the queue: an integral networking perspective on anonymous communication systems. Dissertation, Humboldt Universität zu Berlin
  Florian Tschorsch
  (Siehe online unter https://doi.org/10.18452/17554)
• (2016). Sicherheitsmechanismen für dienstbasierte Softwaresysteme. University of Potsdam, Germany, 2016, pp. 1-183
  Christian Neuhaus
  
• (2016). Similarity measures for scientific workflows. Dissertation, Humboldt University of Berlin
  Johannes Starlinger
  (Siehe online unter https://doi.org/10.18452/17406)
• (2016). “Homogeneous Equations of Algebraic Petri Nets.” 27th International Conference on Concurrency Theory, pp 1–114
  Marvin Triebel and Jan Sürmeli
  (Siehe online unter https://doi.org/10.4230/LIPIcs.CONCUR.2016.14)
• (2016). “Mechanical Verification of a Constructive Proof for FLP” 7th International Conference of Interactive Theorem Proving
  Bisping, Brodmann, Jungnickel, Rickmann, Seidler, Stüber, Wilhelm-Weidner, Peters, Nestmann
  (Siehe online unter https://doi.org/10.1007/978-3-319-43144-4_7)
• (2016). “REST-enabled decision making in business process choreographies,” International Conference on Service-Oriented Computing, pp. 547–554
  Adriatik Nikaj, K. Batoulis, and Mathias Weske
  (Siehe online unter https://doi.org/10.1007/978-3-319-46295-0_34)
• (2016). “Semi-automatic derivation of RESTful interactions from choreography diagrams,” in Enterprise, Business-Process and Information Systems Modeling, pp. 141–156
  Adriatik Nikaj, F. Pittke, Mathias Weske, and Jan Mendling
  (Siehe online unter https://doi.org/10.1007/978-3-319-39429-9_10)
• (2016). „Cache-Sensitive Skip List: Efficient Range Queries on modern CPUs” ADMS/IMDM@VLDB, New Dehli, India
  Stefan Sprenger, Steffen Zeuch, Ulf Leser
  (Siehe online unter https://doi.org/10.1007/978-3-319-56111-0_1)
• (2016). „Characterizing Stable and Deriving Valid Inequalities of Petrie nets”. Fundamenta Informaticae (Special Issue Petri Nets). 146.1, pp. 1–34
  Marvin Triebel and Jan Sürmeli
  (Siehe online unter https://doi.org/10.3233/FI-2016-1374)
• (2016). „Formal Specification of RESTful Choreography Properties”, 16th International Conference on Web Engineering, Lugano Switzerland
  Nikaj, A., Weske, M.
  (Siehe online unter https://doi.org/10.1007/978-3-319-38791-8_21)
• (2016). „Sichere und datenschutzkonforme Benutzerverwaltung als Online-Service” Datenbank-Spektrum 16(2): 157-166
  Daniel Janusz, Jochen Taeschner, Dimitar Dimitrov
  (Siehe online unter https://doi.org/10.1007/s13222-016-0220-y)
• (2016). „Simultaneous Editing of JSON Objects via Operational Transformation”. 31st ACM Symposium on Applied Computing
  Tim Jungnickel and Tobias Herb
  (Siehe online unter https://doi.org/10.1145/2851613.2852003)
• (2016). „Starting Workflow Tasks Before They‘re Ready” 12th IEEE International Conference on eScience
  Wladislaw Gusew and Björn Scheuermann
  (Siehe online unter https://doi.org/10.1109/eScience.2016.7870896)
• (2016). „Weak Consistency and stochastic Environments: Harmonization of replicated Machine Learning Models”. 2nd Workshop on the Principles and Practice of Consistency for Distributed Data
  Tobias Herb, Tim Jungnickel and Christoph Alt
  (Siehe online unter https://doi.org/10.1145/2911151.2911161)
• (2017). "Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC" In ACM SIGAda Ada Letters, 36(2), pp. 9-17
  Liebrenz, Timm, Verena Klös, and Paula Herber
  (Siehe online unter https://doi.org/10.1145/3092893.3092895)
• (2017). "Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink" In 2017 IEEE 41st Annual Computer Software and Applications Conference pp. 469-474
  Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
  (Siehe online unter https://doi.org/10.1109/COMPSAC.2017.251)
• (2017). Controller-Synthese für Services mit Daten. Humboldt Universität zu Berlin, Germany, 2017
  Franziska Bathelt-Tok
  (Siehe online unter https://doi.org/10.18452/18605)
• (2017). “Designing a Planetary- Scale IMAP Service with Conflict-free Replicated Data Types”. International Conference on Principles of Distributed Systems
  Tim Jungnickel, Lennart Oldenburg and Matthias Loibl
  (Siehe online unter https://doi.org/10.4230/LIPIcs.OPODIS.2017.23)
• (2017). “FA*IR: A Fair Top-k Ranking Algorithm”, 26th ACM International Conference on Information and Knowledge Management
  Meike Zehlike, Francesco Bonchi, Carlos Castillo, Sara Hajian, Mohamed Megahed, Ricardo Baeza-Yates
  (Siehe online unter https://doi.org/10.1145/3132847.3132938)
• (2017). “Hi-WAY: Execution of Scientific Workflows on Hadoop YARN”, 20th International Conference on Extending Database Technology, Venice, Italy
  Marc Bux, Jörgen Brandt, Carl Witt, J. Dowling, Ulf Leser
  (Siehe online unter https://doi.org/10.5441/002/edbt.2017.87)
• (2017). “HotPi: Open-Source Collaborative Patient Documentation”. In: ACM Conference on Computer-Supported Cooperative Work and Social Computing Companion, 219–222
  Tim Jungnickel, Juan Cabello, and Klemens Raile
  (Siehe online unter https://doi.org/10.1145/3022198.3026342)
• (2017). “pluto: The CRDT-Driven IMAP Server”. In: Workshop on Principles and Practice of Consistency for Distributed Data
  Tim Jungnickel and Lennart Oldenburg
  (Siehe online unter https://doi.org/10.1145/3064889.3064891)
• (2017). “Privacy Preserving Distributed Linear Regression on High-Dimensional Data”, In: Proceedings on Privacy Enhancing Technologies, pp. 345–364
  Adrià Gascón, Phillipp Schoppmann, Borja Balle, Mariana Raykova, Jack Doerner, Samee Zahur, and David Evans
  (Siehe online unter https://doi.org/10.1515/popets-2017-0053)
• (2017).” formic: Building Collaborative Applications with Operational Transformation”. In: Conference on Distributed Applications and Interoperable Systems, 138–145
  Tim Jungnickel and Ronny Bräunlich
  (Siehe online unter https://doi.org/10.1007/978-3-319-59665-5_10)
• (2018). Event structures with higher-order dynamics. Dissertation, Technische Universität Berlin
  David S. Karcher
  (Siehe online unter https://doi.org/10.14279/depositonce-6989)
• (2018). On the feasibility of multi-leader replication in the early tiers. Dissertation, Technische Universität Berlin
  Tim Jungnickel
  (Siehe online unter https://doi.org/10.14279/depositonce-7109)
• (2018). Preserving Data Integrity in Distributed Systems. Dissertation, Humboldt Universität zu Berlin
  Marvin Triebel
  (Siehe online unter https://doi.org/10.18452/19590)
• (2018). Query Execution on Modern CPUs. Dissertation, Humboldt Universität zu Berlin
  Steffen Zeuch
  (Siehe online unter https://doi.org/10.18452/19296)
• (2018). Reducing disparate exposure in ranking: A learning to rank approach
  Meike Zehlike and Carlos Castillo
  (Siehe online unter https://doi.org/10.1145/3366424.3383534)
• (2018). Scientific Workflows for Hadoop. Dissertation, Humboldt Universität zu Berlin
  Marc Bux
  (Siehe online unter https://doi.org/10.18452/19321)
• (2018). “DMN decision execution on the ethereum blockchain,” in Advanced Information Systems Engineering, J. Krogstie and H. A. Reijers, Eds. Cham: Springer International Publishing, pp. 327–341
  S. Haarmann, K. Batoulis, A. Nikaj, and M. Weske
  (Siehe online unter https://doi.org/10.1007/978-3-319-91563-0_20)
• (2018). “Exploiting automatic vectorization to employ SPMD on SIMD registers”, HardBD@ICDE, Paris, France
  Stefan Sprenger, Steffen Zeuch, Ulf Leser
  (Siehe online unter https://doi.org/10.1109/ICDEW.2018.00022)
• (2018). “Multidimensional Range Queries on Modern Hardware”, SSDBM, Bolzano, Italy
  Stefan Sprenger, Patrick Schäfer and Ulf Leser
  (Siehe online unter https://doi.org/10.1145/3221269.3223031)
• (2018). “Service-Oriented Design and Verification of Hybrid Control Systems”. 20th International Conference on Formal Engineering Methods. pp. 427-431. Springer
  Timm Liebrenz
  (Siehe online unter https://doi.org/10.1007/978-3-030-02450-5_28)
• (2018). “Towards implementing REST-enabled business process choreographies,” in Business Information Systems, W. Abramowicz and A. Paschke, Eds. Cham: Springer International Publishing, pp. 223–235
  A. Nikaj, M. Hewelt, and M. Weske
  (Siehe online unter https://doi.org/10.1007/978-3-319-93931-5_16)
• (2018). „Building Privacy Awareness into Clinical Workflows“. Doctoral Consortium, Business Process management, Sydney, Australia
  Besik, S.I. & Freytag, J. C.
  
• (2018). „Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X”. Proceedings of the 20th International Conference on Formal Engineering Methods. pp. 89-105. Springer
  Timm Liebrenz, Paula Herber, P. and Sabine Glesner, S.
  (Siehe online unter https://doi.org/10.1007/978-3-030-02450-5_6)
• (2018). „RHCS-A Clinical Recommendation System for Geriatric Patients“. In Heterogeneous Data Management, Polystores, and Analytics for Healthcare (pp. 115-132). Springer
  Besik, S. I., & Alpaslan, F. N.
  (Siehe online unter https://doi.org/10.1007/978-3-030-14177-6_10)
• (2019). Efficient Processing of Range Queries in Main Memory. Dissertation, Humboldt Universität zu Berlin
  Stefan Sprenger
  (Siehe online unter https://doi.org/10.18452/19786)
• (2019). Metric Temporal Graph Logic over Typed Attributed Graphs: an Extended Version. Tech. Report 127, Potsdam University
  Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
  
• (2019). “BB-Tree: A practical and efficient main-memory index structure for multidimensional workloads”, Extending Database Technology, Lisbon, Portugal
  Stefan Sprenger, Patrick Schäfer and Ulf Leser
  (Siehe online unter https://doi.org/10.5441/002/edbt.2019.12)
• (2019). “Distributed Vector-OLE: Improved Constructions and Implementation”. ACM Conference on Computer and Communications Security, 1055-1072
  P Schoppmann, A Gascón, L Reichert, M Raykova
  (Siehe online unter https://doi.org/10.1145/3319535.3363228)
• (2019). “Feedback-Based Resource Allocation for Batch Scheduling of Scientific Workflows”, HPCS, Dublin Ireland
  C. Witt, D. Wagner, and U. Leser
  (Siehe online unter https://doi.org/10.1109/HPCS48598.2019.9188055)
• (2019). “Learning Low-Wastage Memory Allocations for Scientific Workflows at IceCube”, HPCS, Dublin Ireland
  C. Witt, J. v. Santen, and U. Leser
  (Siehe online unter https://doi.org/10.1109/HPCS48598.2019.9188126)
• (2019). “Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning”. ACM Conference on Computer and Communications Security
  P. Schoppmann, A. Gascon, M. Raykova, and B. Pinkas
  (Siehe online unter https://doi.org/10.1145/3319535.3339816)
• (2019). “Metric Temporal Graph Logic over Typed Attributed Graphs”. Fundamental Aspects of Software Engineering: 282-298
  Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
  (Siehe online unter https://doi.org/10.1007/978-3-030-16722-6_16)
• (2019). “Predictive performance modeling for distributed batch processing using black box monitoring and machine learning”, Information Systems
  Carl Witt, Marc Bux, Wladislaw Gusew, and Ulf Leser
  (Siehe online unter https://doi.org/10.1016/j.is.2019.01.006)
• (2019). “Semi-automatic derivation of RESTful choreographies from business process choreographies”, Software & Systems Modeling, vol. 18, no. 2, pp. 1195–1208
  A. Nikaj, M. Weske, and J. Mendling
  (Siehe online unter https://doi.org/10.1007/s10270-017-0653-2)
• (2019). „A Formal Approach to Build Privacy Awareness into Clinical Workflows”. SICS Software-Intensive Cyber-Physical Systems
  Besik, S. I. & Freytag, J. C.
  (Siehe online unter https://doi.org/10.1007/s00450-019-00418-5)