GRK 1651:  Service-oriented Architectures for the Integration of Software-based Processes, Exemplified by Health Care Systems and Medical Technology (SOAMED)

• Subject Area: Computer Science
• Term: from 2010 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 158230677

• Final Report Year: 2020

Final Report Abstract

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.

Publications

• (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.
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at https://doi.org/10.1007/978-3-642-45364-9_12)
• (2013). “Trends in Genome Compression”, Current Bioinformatics
  S. Wandelt, M. Bux, U. Leser
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at https://doi.org/10.14279/depositonce-4897)
• (2015). Optimale Partner offener Systeme: Modellierung, Analyse, Synthese. Dissertation, Humboldt Universität zu Berlin
  Jan Sürmeli
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at https://doi.org/10.14279/depositonce-7109)
• (2018). Preserving Data Integrity in Distributed Systems. Dissertation, Humboldt Universität zu Berlin
  Marvin Triebel
  (See online at https://doi.org/10.18452/19590)
• (2018). Query Execution on Modern CPUs. Dissertation, Humboldt Universität zu Berlin
  Steffen Zeuch
  (See online at https://doi.org/10.18452/19296)
• (2018). Reducing disparate exposure in ranking: A learning to rank approach
  Meike Zehlike and Carlos Castillo
  (See online at https://doi.org/10.1145/3366424.3383534)
• (2018). Scientific Workflows for Hadoop. Dissertation, Humboldt Universität zu Berlin
  Marc Bux
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at 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.
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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
  (See online at 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.
  (See online at https://doi.org/10.1007/s00450-019-00418-5)