GRK 1651: Service-orientierte Architekturen zur Integration Software-gestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED).
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.
-
(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
-
(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
-
(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
-
(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
-
(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
-
(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
-
(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
-
(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.
-
(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
-
(2012). „Towards Automated and Correct Composition of Timed Services“, 8th International Workshop on Engineering Service-Oriented Applications, Shanghai, China
Daniel Stöhr, Sabine Glesner
-
(2013). "An algorithm for privacy-preserving distributed user statistics," Computer Networks, vol. 57, no. 14, pp. 2775–2787
F. Tschorsch and B. Scheuermann
-
(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
-
(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
-
(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
-
(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
-
(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
-
(2013). “Formal Modeling of Trust-Based Access Control in Dynamic Coalitions”, METHOD 2013 workshop of iFM 2013, Kyoto, Japan
Nadim Sarrouh
-
(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.
-
(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
-
(2013). “RCSI: Scalable similarity search in thousand(s) of genomes”, PVLDB
S. Wandelt, J. Starlinger, M. Bux, U. Leser
-
(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.
-
(2013). “Synthesizing Cost-minimal Partners for Services”. Service-Oriented Computing -11th International Conference, ICSOC 2013, Berlin, Germany
Jan Sürmeli, Marvin Triebel
-
(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
-
(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
-
(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
-
(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.
-
(2013). “Trends in Genome Compression”, Current Bioinformatics
S. Wandelt, M. Bux, U. Leser
-
(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
-
(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
-
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
-
(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
-
(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.
-
(2014). "DynamicCloudSim: Simulating Heterogeneity in Computational Clouds" In: Future Generation Computer Systems
Marc Bux, Ulf Leser
-
(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
-
(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
-
(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
-
(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
-
(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
-
(2014). "Trace- and failure-based semantics for responsiveness" Acta Inf. 51(8): 499-552 (2014)
W. Vogler, Ch. Stahl, R. Müller
-
(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
-
(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
-
(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
-
(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
-
(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
-
(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
-
(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
-
(2015). "Dynamic Causality in Event Structures". Formal Techniques for Distributed Objects, Components and Systems, Volume 9039
Youssef Arbach, David Karcher, Kristin Peters, Uwe Nestmann
-
(2015). "DynamicCloudSim: Simulating Heterogeneity in Computational Clouds." Future Generation Computer Systems 46: 85-99
Bux, M. and U. Leser
-
(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
-
(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
-
(2015). A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie. Dissertation, Technische Universität Berlin
Robert Reicherdt
-
(2015). Optimale Partner offener Systeme: Modellierung, Analyse, Synthese. Dissertation, Humboldt Universität zu Berlin
Jan Sürmeli
-
(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
-
(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
-
(2016). A framework for reliable and dynamic wireless sensor-actuator networks. Dissertation, Technische Universität Berlin
Helena Gruhn
-
(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
-
(2016). On the Foundations of dynamic coalitions: modeling changes and evolution of workflows in healthcare scenarios. Dissertation, Technische Universität Berlin
Youssef Arbach
-
(2016). Onions in the queue: an integral networking perspective on anonymous communication systems. Dissertation, Humboldt Universität zu Berlin
Florian Tschorsch
-
(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
-
(2016). “Homogeneous Equations of Algebraic Petri Nets.” 27th International Conference on Concurrency Theory, pp 1–114
Marvin Triebel and Jan Sürmeli
-
(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
-
(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
-
(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
-
(2016). „Cache-Sensitive Skip List: Efficient Range Queries on modern CPUs” ADMS/IMDM@VLDB, New Dehli, India
Stefan Sprenger, Steffen Zeuch, Ulf Leser
-
(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
-
(2016). „Formal Specification of RESTful Choreography Properties”, 16th International Conference on Web Engineering, Lugano Switzerland
Nikaj, A., Weske, M.
-
(2016). „Sichere und datenschutzkonforme Benutzerverwaltung als Online-Service” Datenbank-Spektrum 16(2): 157-166
Daniel Janusz, Jochen Taeschner, Dimitar Dimitrov
-
(2016). „Simultaneous Editing of JSON Objects via Operational Transformation”. 31st ACM Symposium on Applied Computing
Tim Jungnickel and Tobias Herb
-
(2016). „Starting Workflow Tasks Before They‘re Ready” 12th IEEE International Conference on eScience
Wladislaw Gusew and Björn Scheuermann
-
(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
-
(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
-
(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
-
(2017). Controller-Synthese für Services mit Daten. Humboldt Universität zu Berlin, Germany, 2017
Franziska Bathelt-Tok
-
(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
-
(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
-
(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
-
(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
-
(2017). “pluto: The CRDT-Driven IMAP Server”. In: Workshop on Principles and Practice of Consistency for Distributed Data
Tim Jungnickel and Lennart Oldenburg
-
(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
-
(2017).” formic: Building Collaborative Applications with Operational Transformation”. In: Conference on Distributed Applications and Interoperable Systems, 138–145
Tim Jungnickel and Ronny Bräunlich
-
(2018). Event structures with higher-order dynamics. Dissertation, Technische Universität Berlin
David S. Karcher
-
(2018). On the feasibility of multi-leader replication in the early tiers. Dissertation, Technische Universität Berlin
Tim Jungnickel
-
(2018). Preserving Data Integrity in Distributed Systems. Dissertation, Humboldt Universität zu Berlin
Marvin Triebel
-
(2018). Query Execution on Modern CPUs. Dissertation, Humboldt Universität zu Berlin
Steffen Zeuch
-
(2018). Reducing disparate exposure in ranking: A learning to rank approach
Meike Zehlike and Carlos Castillo
-
(2018). Scientific Workflows for Hadoop. Dissertation, Humboldt Universität zu Berlin
Marc Bux
-
(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
-
(2018). “Exploiting automatic vectorization to employ SPMD on SIMD registers”, HardBD@ICDE, Paris, France
Stefan Sprenger, Steffen Zeuch, Ulf Leser
-
(2018). “Multidimensional Range Queries on Modern Hardware”, SSDBM, Bolzano, Italy
Stefan Sprenger, Patrick Schäfer and Ulf Leser
-
(2018). “Service-Oriented Design and Verification of Hybrid Control Systems”. 20th International Conference on Formal Engineering Methods. pp. 427-431. Springer
Timm Liebrenz
-
(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
-
(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.
-
(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.
-
(2019). Efficient Processing of Range Queries in Main Memory. Dissertation, Humboldt Universität zu Berlin
Stefan Sprenger
-
(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
-
(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
-
(2019). “Feedback-Based Resource Allocation for Batch Scheduling of Scientific Workflows”, HPCS, Dublin Ireland
C. Witt, D. Wagner, and U. Leser
-
(2019). “Learning Low-Wastage Memory Allocations for Scientific Workflows at IceCube”, HPCS, Dublin Ireland
C. Witt, J. v. Santen, and U. Leser
-
(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
-
(2019). “Metric Temporal Graph Logic over Typed Attributed Graphs”. Fundamental Aspects of Software Engineering: 282-298
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
-
(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
-
(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
-
(2019). „A Formal Approach to Build Privacy Awareness into Clinical Workflows”. SICS Software-Intensive Cyber-Physical Systems
Besik, S. I. & Freytag, J. C.