Publikationen

  • A. Anjorin, E. Yigitbas, E. Leblebici, A. Schurr, M. Lauder, M. Witte. Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain. Programming Journal, 2(3), 7, 2018.
  • E. Yigitbas, A. Anjorin, E. Leblebici, M. Grieger. Bidirectional Method Patterns for Language Editor Migration. In A. Pierantonio, S. Trujillo (Eds.), ECMFA 2018, Vol. 10890 of LNCS , pp. 97|114. Springer. 2018.
  • I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer. Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model. In J. Mendling, H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Vol. 317 of LNCS, pp. 133|147. Springer. 2018.
  • A. Anjorin, E. Yigitbas, H. Kaindl, R. Popp. On the Development of Consistent User Interfaces (extended abstract). In S. Marr, J. B. Sartor (Eds.), BX 2018, pp. 18|20. ACM. 2018.
  • A. Anjorin, H.-S. Ko. Towards a Visual Editor for Lens Combinators (extended abstract). In S. Marr, J. B. Sartor (Eds.), BX 2018, pp. 33|35. ACM. 2018.
  • Enes Yigitbas, Anthony Anjorin, Ivan Jovanovikj, Thomas Kern, Stefan Sauer, Gregor Engels: Usability Evaluation of Model-Driven Cross-Device Web User Interfaces. HCSE 2018: 231-247

Weitere Funktionen

Mitglied der Kommission für Lehre, Studium und Qualitätsmanagement (2017 — 2019).

Mitglieder der Projektgruppe Internationalisierung und Digitalisierung, unter Leitung des Vizepräsidenten für Internationale Beziehungen.

Mitglied des Programmkomitees der folgenden Tagungen:

  • Models and Evolution Workshop (ME 2018)
  • Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018)
  • 11th International Conference on Model Transformation (ICMT 2018)
  • 21th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2018)
  • 14th European Conference on Modelling Foundations and Applications (ECMFA 2018)
  • 11th International Conference on Graph Transformation (ICGT 2018)
  • 7th International Workshop on Bidirectional Transformations (BX 2018)
  • Modellierung 2018

Personal

Sekretariat
Claudia Jahn

Wissenschaftliche Mitarbeiter/-innen

Jan Bobolz, M. Sc.
Sascha Brauer, M. Sc.
Kathrin Bujna, M. Sc. (bis 02/2018)
Fabian Eidens, M. Sc.
Jakob Juhnke, M. Sc.
Nils Löken, M.Sc.

Publikationen

  • Blömer, J.; Löken, N. Cloud Architectures for Searchable Encryption. In Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018 (pp. 25:1--25:10). New York, NY, USA: ACM.
  • Blömer, J.; Brauer, S.; Bujna, K.
  • Coresets for Fuzzy K-Means with Applications. In 29th International Symposium on Algorithms and Computation  (ISAAC 2018) (pp. 46:1--46:12). Jiaoxi, Yilan County, Taiwan: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; 2018:46:1--46:12.
  • Blömer, J.; Bobolz, J.
  • Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures. In: ACNS 2018 Applied Cryptography & Network Security. LNCS.
  • Blömer, J.; Eidens, F.; Juhnke, J.
  • Enhanced Security of Attribute-Based Signatures. In The International Conference on Cryptology And Network Security (CANS) (Vol. 11124, pp. 235–255). Naples, Italy: Springer.
  • Bemmann, K.; Blömer, J.; Bobolz, J. et al.
  • Fully-Featured Anonymous Credentials with Reputation System. In Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18. New York, NY, USA: ACM.
  • Blömer, J.; Eidens, F.; Juhnke, J.
  • Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems. In Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings (pp. 470–490). Cham: Springer International Publishing
  • Blömer, J.; Kohn, K.
  • Voronoi Cells of Lattices with Respect to Arbitrary Norms. SIAM Journal on Applied Algebra and Geometry., 2(2), 314–338.

Promotionen
Dr. rer. nat. Jakob Juhnke

Aktuelle Forschungsprojekte

  • DFG - "Soft-Clustering - von Heuristiken zu Approximationsalgorithmen"
  • MIWF - Forschungsschwerpunkt "Digitale Zukunft"
  • DFG - SFB 901 „On-The-Fly Computing“,
  • Teilprojekt C1: „Robustness and Security“

Weitere Funktionen

Vizepräsident für Forschung und wissenschaftlichen Nachwuchs (ab 04/2018)
Vorstand des PACE, Paderborn Center for Advanced Studies
Vorstandsmitglied des Instituts für Industriemathematik (IFIM)
Vorsitzender der Studieninhalte- und Qualitätssicherungskommission (SIQK) (bis 03/2018)
Vorstandsmitglied des „Paderborn Institute for Data Science and Scientific Computing" (DaSCo)
Mitglied des Hochschulauswahlausschusses der Studienstiftung d. d. Volkes
Vertrauensdozent der Studienstiftung d. d. Volkes
Vertrauensdozent Fulbright Kommission der Universität Paderborn

Personal

Sekretariat
Vera Meyer

Mitarbeiter/-innen

Manuel Benz, M. Sc.
Andreas Peter Dann, M. Sc.
Johannes Geismann, M. Sc.
Christopher Gerking, M. Sc.
Stefan Krüger, M. Sc. 
Philipp Schubert, M. Sc.
Dr.- Ing. Ben Hermann
Martin Mory, M. Sc.
Lisa Nguyen, M. Sc. (seit 05/2018)
Linghui Luo, M. Sc.

Fraunhofer-Projektgruppe Entwurfstechnik
Mechatronik – Abteilung Softwaretechnik

Dr. rer. nat. Matthias Meyer (Leitung)
Dr. Matthias Becker
Ingo Budde (seit 11/2018)
Dr. Stefan Dziwok
Hendrik Eikerling (seit 11/2018)
Dr. Masud Fazal-Baqaie
Markus Fockel, M. Sc.
Dipl.-Inform. Jörg Holtmann
Thorsten Koch, M. Sc.
Sven Merschjohann, M. Sc.
Faruk Pasic, M. Sc.
Goran Piskachev, M. Sc.
Dipl.-Inform. David Schmelter
Uwe Pohlmann, M. Sc. (bis 07/2018)
Dr. Claudia Priesterjahn (bis 09/2018)
David Schubert, M. Sc.
Johannes Späth, M. Sc.
Jan-Niclas Strüwer (seit 11/2018)
Benedict Wohlers, M. Sc.

Externe Promovenden

Dipl.- Inform. (FH) Christopher Brink
Andreas Fischer, M. Sc.
Philipp Holzinger, M. Sc.
Dipl.-Ing. Lars Stockmann

Technik

Dipl.-Ing. Jürgen Maniera

Publikationen

  • Fockel, M.: Safety Requirements Engineering for Early SIL Tailoring. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Dez. 2018
  • Pauck, F.; Bodden, E.; Wehrheim, H.: Do Android Taint Analysis Tools Keep their Promises?. In: ESEC/FSE 2018: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 4. - 9. Nov. 2018
  • Nguyen, L.; Bodden, E.: Gamifying Static Analysis. In: ESEC/FSE 2018: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - New Ideas Track, 4. - 9. Nov. 2018
  • Pohlmann, U.; Hüwe, M.: Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Automated Software Engineering, Nov. 2018
  • Fockel, M.; Merschjohann, S.; Fazal-Baqaie, M.: Threat Analysis in Practice - Systematically Deriving Security Requirements. In: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), LNCS 11271, Nov. 2018, Springer Nature Switzerland AG
  • Gerking, C.; Schubert, D.: Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018), 24. - 28. Sep. 2018
  • Luo, L.; Bodden, E.; Späth, J.: A Qualitative Analysis of Taint-Analysis Results. , Aug. 2018
  • Bodden, E.: The Secret Sauce in Efficient and Precise Static Analysis. In: Proceedings of the 7th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2018, S. 84-92, Jul. 2018
  • Tip, F.; Bodden, E. (Hrsg.) Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. , Jul. 2018, ACM
  • Koch, T.; Holtmann, J.; Lindemann, T.: Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In: Pires, Luís Ferreira; Hammoudi, Slimane; Selic, Bran (Hrsg.) Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Communications in Computer and Information Science, Band 880 , S. 173-197. Springer International Publishing, Jul. 2018
  • Krüger, S.; Späth, J.; Ali, K.; Bodden, E.; Mezini, M.: CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In: European Conference on Object-Oriented Programming (ECOOP), S. 10:1-10:27, Jul. 2018
  • Gerking, C.; Schubert, D.; Bodden, E.: Model Checking the Information Flow Security of Real-Time Systems. In: International Symposium on Engineering Secure Software and Systems (ESSoS 2018), 26. - 27. Jun. 2018
  • Gerking, C.: Specification of Information Flow Security Policies in Model-Based Systems Engineering. In: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 25. Jun. 2018
  • Koch, T.: Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 25. Jun. 2018
  • Bodden, E.: Self-adaptive static analysis. In: International Conference for Software Engineering (ICSE), New Ideas and Emerging Results Track, 30. Mai - 1. Jun. 2018
  • Geismann, J.; Gerking, C.; Bodden, E.: Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: Kuhrmann, Marco; O'Connor, Rory V.; Houston, Dan (Hrsg.) International Conference on Software and System Process (ICSSP 2018), 26. - 27. Mai 2018
  • Geismann, J.: Traceable Threat Modeling for Safety-critical Systems. In: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , S. 41-42, 30. Apr. - 4. Mai 2018, IEEE
  • Tichy, M.; Bodden, E.; Kuhrmann, M.; Wagner, S.; Steghöfer, J.-P. (Hrsg.) Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. LNI, Band P-279 , Mrz. 2018, Gesellschaft für Informatik
  • Geismann, J.; Höttger, R.; Krawczyk, L.; Pohlmann, U.; Schmelter, D.: Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires, Luís Ferreira; Hammoudi, Slimane; Selic, Bran (Hrsg.) Model-Driven Engineering and Software Development, Band 1 , S. 72--93, Cham, 19. - 21. Feb. 2018, Springer International Publishing
  • Nguyen, L.; Krüger, S.; Hill, P.; Ali, K.; Bodden, E.: VISUFLOW, a Debugging Environment for Static Analyses. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 1. Jan. 2018
  • Bodden, E.: State of the systems security. In: International Conference for Software Engineering (ICSE), Technical Briefing, 2018
  • Fockel, M.; Holtmann, J.; Koch, T.; Schmelter, D.: Formal, Model- and Scenario-based Requirement Patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Jan. 2018
  • Nguyen, L.; Krüger, S.; Hill, P.; Ali, K.; Bodden, E.: Debugging Static Analysis. IEEE Transactions on Software Engineering: S. 1-1, 2018

Promotionen

Dr. rer. nat. Uwe Pohlmann
Dr. rer. nat. Markus Fockel

Preise und Auszeichnungen

  • Oracle Collaborative Award
  • Distinguished Paper Award for paper “Do Android Taint Analysis Tools Keep their Promises?”  at the Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’18)

Gastaufenthalte

S.A.P Labs France, Frankreich, 01. September 2018 bis 30. November 2018, Forschungsaufenthalt bei dem Unternehmen P&I SAP Global Security Research

Weitere Funktionen

  • Beirat von Sourcebella
  • Mitglied des BITKOM Management Club
  • Mitherausgeber der IEEE Transactions on Software Engineering (TSE)
  • Mitglied der Redaktionsleitung der IEEE Transactions on Software Engineering
  • Mitglied des Lenkungskreises des International Symposium on Software Testing and Analysis (ISSTA)
  • Mitglied des Lenkungskreises des International Symposium on Engineering Secure Software and Systems (ESSOS)
  • Mitglied des Lenkungskreises des International Workshop on Dynamic Analysis (WODA)
  • Mitglied des Lenkungskreises des International Workshop on the State Of the Art in Java Program Analysis (SOAP), ebenfalls Mitbegründer des   Workshops
  • Mitglied des Beirates Compositional Risk Assessment and Security Testing of Networked Systems (RASEN), EU FP7

Aktuelle Forschungsprojekte

  • TESTIFY - Finding and Demonstrating Undesired Program Behavior
  • Fraunhofer Attract, Förderung durch Fraunhofer Gesellschaft
  • GPA - Gamification of Program Analysis, Förderung durch BMBF
  • RUNSECURE -Provably secure program executions through declaratively defined dynamic program analysis, Förderung durch DFG im Rahmen des Emmy Noether Projects (Emmy Noether-Programm)
  • SFB 901 „On-The-Fly Computing“ (2. Förderphase)
  • SFB 1119 „ Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments (CROSSING)“ (1. Förderphase)
  • NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“, Förderung durch MIWF
  • NRW-Fortschrittskolleg "Human Centered Systems Security – North Rhine-Westphalian Experts on Research in Digitalization (NERD)", Förderung durch MIWF
  • Runtime Verification beyond Monitoring (ARVI), Förderung durch COST
  • Zukunftssicherung des Soot Rahmenwerks für Programmanalyse und -transformation (FutureSoot), Förderung durch DFG

Gastwissenschaftler

Prof. Dr. Rodrigo Bonifacio De Almeida, Universität Brasilien, Brasilien
Erik Krogh Kristensen, Aarhus University, Dänemark

Personal
Sekretariat

Cornelia Wiederhold

Wissenschaftliche Mitarbeiter/innen

Dr. Rita Hartel
Dr. Peter Pfahler

Publikationen

  • Stefan Böttcher, Rita Hartel: „RECUT: RE-Compressing partially Unordered Trees“. 2018 BigGraphs Workshop at IEEE BigData'18. Seattle, Washington, USA. Proceedings 2018 IEEE International Conference on Big Data (Big Data). pp 3995-4004.
  • Alexander Dunst, Rita Hartel: "The Quantitative Analysis of Comics: Towards a Visual Stylometry of Graphic Narrative." In: Dunst, Alexander, Laubrock, Jochen & Wildfeuer, Janina (2018). Empirical Comics Research: Digital, Multimodal, and Cognitive Methods. New York: Routledge. pp. 43-61.
  • Alexander Dunst, Rita Hartel: “Automated Genre and Author Distinction in Comics”. In: DH 2018: Book of Abstracts. Mexico City Mexico. pp. 184-188.
  • Alexander Dunst, Rita Hartel: “Auf dem Weg zur visuellen Stilometrie: Automatische Autor- und Genreunterscheidung in graphischen Narrativen.” In: DHd 2018: Book of Abstracts. Köln, Germany. pp. 226-29.
  • Alexander Dunst, Rita Hartel: „Combining Textual and Visual Stylometry.” In: European Conference on Data Analysis (ECDA 2018): Book of Abstracts. Paderborn, Germany. p. 72.
  • Stefan Böttcher: BIRT – Binary IRTs for Genome String Compression. In: Jérémy Barbay, Johannes Fischer, Stefan Kratsch und Srinivasa Rao Satti: Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices. Dagstuhl Report Vol 8, No 7, 2019. pp.53-54.

Aktuelle Forschungsprojekte
BMBF-Nachwuchsgruppe „Hybride Narrativität – Digitale und Kognitive Methoden zur Erforschung Graphischer Literatur“ (in Kooperation mit Dr. Alexander Dunst, Institut für Anglistik und Amerikanistik, Universität Paderborn und Dr. Jochen Laubrock, Department Psychologie, Universität Potsdam)

Personal

Sekretariat

Sigrid Gundelach


Wissenschaftliche Mitarbeiter / -innen

Sabrina Heppner, M. Sc.

Technischer Mitarbeiter

Dipl.-Inform. Thomas Thissen

Publikationen

  • Heppner, S.; Dransfeld, M.; Domik G.: A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency. At: 21st International Symposium on Vision, Modeling and Visualization (VMV 2016), Bayreuth 2016.
  • Domik, G.:  2016, A Data Visualization Course at the University of Paderborn, Workshop „Innovations in the Pedagogy of Data Visualization, IEEE VIS 2016, Baltimore, 23 October, 2016.
  • Wiens, A.; Domik, G.: In-Class Exercise for Shadow Mapping Algorithms, IEEE Computer Graphics and Applications, vol. 35, no. 3, pp. 15-19, May/June 2015
  • Haas, N.A.; Zelle, M.; Rosendahl, W.; Zink, A.; Preuss, R.; Laser, T. K.; Gostner, R. P.; Arens, S.; Domik, G.; Burchert, W.: Hypoplastic left heart in the 6500-year-old Detmold Child, The Lancet, June 2015, Vol. 385, pp. 2432.

Preise und Auszeichnungen

Prof. Dr. Gitta Domik-Kienegger: IEEE-Senior Member Award 2017

Weitere Funktionen

  • Mitglied des ACM SIGGRAPH Education Committee
  • Mitglied des Programmkomitees Eurographics 2017 und 2018, Education Program
  • Mitglied des ACM SIGGRAPH Distinguished Educator Award Committee

Aktuelle Forschungsprojekte

Volume Studio – Visualization of Medical Data

Wissenschaftliche Kooperationen

  • Prof. Dr. med. W. Burchert, Leiter des Instituts für Molekulare Biophysik, Radiopharmazie und Nuklearmedizin im Herz- und Diabeteszentrum NRW
  • Prof. Dr. med. J. Börgermann, Chefarzt der Klinik für Herz- und Gefäßchirurgie, Herzzentrum Duisburg

Personal

Sekretariat

Sabine Illigen
Alexander Dutschke

Wissenschaftliche Mitarbeiter/innen

Jannik Reinhold, M.Sc.
Maurice Meyer, M.Sc.
Marvin Drewel, M.Sc.
Maximilian Frank, M.Sc.
Christoph Pierenkemper, M.Sc.
Christian Koldewey, M.Sc.
Julian Echterfeld, M.Sc.
Nadine Niewöhner, M.Sc.
Ruslan Bernijazov, M.Sc. (bis 07/2018)
Aschot Kharatyan, M. Sc.

Publikationen

  • Drewel, Marvin; Gausemeier, Jürgen: Digital B2B-Platforms and how to find the right one. In: Proceedings of 13th European Conference on Innovation and Entrepreneurship, 20. - 21. Sep. 2018 Academic Conferences and Publishing, acpil 
  • Pierenkemper, Christoph; Drewel, Marvin; Gausemeier, Jürgen: Zukunftsorientierte Leistungssteigerung von Unternehmen durch Industrie 4.0. In: Smajic, Hasan (Hrsg.) Tagungsband AALE 2018 - Das Forum für Fachleute der Automatisierungstechnik aus Hochschulen und Wirtschaft, 15. Konferenz für Angewandte Automatisierungstechnik in Lehre und Entwicklung (AALE), S. 19-27, Mrz. 2018, VDE-Verlag 
  • Knospe, Olaf; Drewel, Marvin; Mittag, Tobias; Pierenkemper, Christoph; Hobscheidt, Daniela: Leistungssteigerung durch Industrie 4.0 für kleine und mittlere Unternehmen. ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb 113, 113(1-2): S. 83-87, Jan. 2018
  • Drewel, Marvin; Gausemeier, Jürgen; Koldewey, Christian; Özcan, Leon: Pattern based development of digital platforms. In: Proceedings of the 2018 ISPIM Connects, Dez. 2018 International Society for Professional Innovation Management (ISPIM), ISPIM Connects
  • Pieper, Thorsten; Echterfeld, Julian; Koldewey, Christian: Applying Open Innovation in the Field of Aircraft MRO - Insights from the LOMIS Project . In: Book of Abstracts of the 16th International Open and User Innovation Conference, 6. - 8. Aug. 2018
  • Koldewey, Christian; Gausemeier, Jürgen; Echterfeld, Julian; Reilender, Meikel: Planning of Business Model Portfolios for Smart Services. In: Proceedings of the 2018 ISPIM Connects, Dez. 2018 International Society for Professional Innovation Management (ISPIM), ISPIM Connects
  • Echterfeld, J.; Gausemeier, J.: Digitalisierung von Produktprogrammen. In: Gausemeier, J.; Bauer, W.; Dumistrescu, R. (Hrsg.): Vorausschau und Technologieplanung. 14. Symposium für Vorausschau und Technologieplanung, 8. - 9. November 2018, Berlin. HNI-Verlagsschriftenreihe, Band 385, Paderborn, 2018
  • Koldewey, Christian; Frank, Maximilian; Gausemeier, Jürgen: Planning of scalable Smart Services. In: Proceedings of the 2018 ISPIM Innovation Conference , Jun. 2018 International Society for Professional Innovation Management (ISPIM), ISPIM Innovation Conference  
  • Frank, Maximilian; Koldewey, Christian; Rabe, Martin; Dumitrescu, Roman; Gausemeier, Jürgen; Kühn, Arno: Smart Services - Konzept einer neuen Marktleistung. ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 113(5): S. 306-311, Mai 2018  
  • Lehner, Anne-Christin; Koldewey, Christian; Gausemeier, Jürgen: Approach for a Pattern-Based Development of Frugal Innovations. Technology Innovation Management Review, 8(4): S. 14-27, Apr. 2018
  • Siebe, Andreas; Backs, Sabrina; Echterhoff, Benedikt; Frank, Maximilian; Günther, Markus; Korsmeier, Kristin; Lüpke, Lars; Michl, Christian; Schmidt, Jens; Stummer, Christian: Die Zukunft vorausdenken und gestalten. Intelligente Technische Systeme - Lösungen aus dem Spitzencluster it's OWL, Springer-Verlag, 2018
  • Altemeier, B.; Gausemeier, P.; Sickmann, S.; Frank, M.: Strategische kompetenzorientierte Ausrichtung der Wertschöpfungsstruktur aus Perspektive der Produktion. In: Gausemeier, J.; Bauer, W.; Dumitrescu, R. (Hrsg.): Vorausschau und Technologieplanung. 14. Symposium für Vorausschau und Technologieplanung, 8. - 9. November 2018, Berlin. HNI-Verlagsschriftenreihe, Band 385, Paderborn, 2018
  • Albers, A. A.; Bernijazov, R.; Kaiser, L.; Dumitrescu, R.: Internet of Things Canvas for Ideation in Model-Based Product Generation Planning. IEEE – 13th System of Systems Engineering Conference. SoSE 2018. Sorbonne Universités. Paris, France, June 19th-22nd, 2018
  • Asmar, L.; Rabe, M.; Low, C.; Yee, J.; Kühn, A.; Dumitrescu, R.: Framework for the agile development of innovative Product-Service-Systems for existing physical rehabilitation systems
  • Bansmann, M.; Fechtelpeter, C.; Anacker, H.; Dumitrescu, R.: Transfering Technology induced scenarios of digitized work. In: XXIX ISPIM Innovation Conference 2018, June 17-20th, Stockholm, 2018
  • Bernijazov, R.; Hillebrand, M.; Bremer, C.; Kaiser, L.; Dumitrescu, R.: Specification Technique for Virtual Testbeds in Space Robotics. 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, Hannover, 2018
  • Hobscheidt, D.; Lipsmeier, A.; Dumitrescu, R.: Demand-orientated and sociotechnical solution patterns for digital transformation in SMEs, ISPIM Conference – The Name of the Game, June 17-21, Stockholm, 2018
  • Joppen, R.; Enzberg, S.; Kühn, A.; Dumitrescu, R.: A practical Framework for the Optimization of Production Management Processes. The 16th Global Conference on Sustainable Manufacturing, Kentucky, 2018
  • Joppen, R.; Enzberg, S.; Kühn, A.; Dumitrescu, R.: Data Map - Method for the Specification of Data Flows. CIRP ICME, Neapel, 2018
  • Joppen, R.; Kühn, A.; Dumitrescu, R.; Hupach, D.: Method for Collecting Data in the Assesment of Investments. CIRP ICME, Neapel, 2018
  • Joppen, R.; Kühn, A.; Dumitrescu, R.; Hupach, D.: Identification and Structuring of Benefits and Expenses for Evaluating the Profitability of Investments in Digitization within Production. The 16th Global Conference on Sustainable Manufacturing, Kentucky, 2018
  • Kühn, A.; Joppen, R.; Reinhart, F.; Röltgen, D.; Von Enzberg, S.; Dumitrescu, R.: Analytics Canvas – A Framework for the Design and Specification of Data Analytics Projects. CIRP Design, Nantes, 2018
  • Mittag, M.; Rabe, M.; Gradert, T.; Kühn, A.; Dumitrescu, R.: Building blocks for planning and implementation of smart services based on existing products, CIRP IPS², May 29-31, Linköping, 2018
  • Niewöhner, N.; Albers, A. A.; Rabe, M.; Dumitrescu, R.: Morphological business model analysis to derive the dominant industry logic. In: Proceedings of the ISPIM Innovation Forum, Mrz. 2018 International Society for Professional Innovation Management (ISPIM), ISPIM Innovation Forum
  • Rabe, M.; Asmar, L.; Kühn, A.; Dumitrescu, R.: Planning of Smart Services based on a Reference Architecture. International Design Conference 2018, May 21-24, Dubrovnik, 2018
  • Röltgen, D.; Bansmann, M.; Nickchen, D.; Wortmann, F.; Dumitrescu, R.: Datenbrillen im Kontext Industrie 4.0 – Bewertung von Anwendungsszenarien von Augmented Reality auf Basis einer Technologie-Roadmap. In: Gausemeier, J. (Hrsg.): 14. Symposium für Vorausschau und Technologieplanung. 8.-9. November 2018, HNI-Verlagsschriftenreihe, Band XXX, Paderborn, 2018
  • Röltgen, D.; Wortmann, F.; Dumitrescu, R.: Specification technique for augmented reality based product service systems. INTERNATIONAL DESIGN CONFERENCE – DESIGN 2018. Dubrovnik. Coratia, 2018
  • Dumitrescu, R.; Kühn, A.; Thielemann, S.; Steffen, D: Entwicklung intelligenter technischer Systeme. Zeitschrift für wirtschaftlichen Fabrikbetrieb (ZWF), 113(6), 2018, S. 420-425
  • Gutachten Autonome Systeme für: EFI - EXPERTENKOMMISSION FORSCHUNG UND INNOVATION (2018): Gutachten zu Forschung, Innovation und technologischer Leistungsfähigkeit Deutschlands, Berlin: EFI.
  • Falkowski, F.; Günther, M.; Jürgenhake, C.; Anacker, H.; Dumitrescu, R.: Toward A Design Approach For Industrial Indoor Location-Based Services (I²LBS). In: DESIGN Conference 2018, 21-24. Mai, Dubrovnik, 2018
  • Falkowski, F.; Jürgenhake, C.; Anacker, H.; Dumitrescu, R.: Feature model for the specification of industrial indoor location-based services (I²LBS). In: SysInt Conference, 19-20. Juni, Hannover, 2018.
  • Fechtelpeter, C.; Dumitrescu, R.; Kühn, A.: Supporting the planning phase of SME-tailored technology transfer projects. IAMOT 2018 – 27th International Association for Management of Technology Conference, Birmingham, 2018
  • Westermann, T..; Dumitrescu, R.: Maturity Model-Based Planning of Cyber-Physical Systems in the Machinery and Plant Engineering Industry. In: DESIGN Conference 2018, 21-24. Mai, Dubrovnik, 2018
  • Albers, A.; Dumitrescu, R, Marthaler, F.; Albers, A.A.; Kühfuss, D.; Strauch, M.; Siebe, M.; Bursac, N.: PGE-Produktgenerationsentwicklung und Zukunftsvorausschau: Eine systematische Betrachtung zur Ermittlung der Zusammenhänge. In: Gausemeier, J. (Hrsg.): 14. Symposium für Vorausschau und Technologieplanung. 8.-9. November 2018, HNI-Verlagsschriftenreihe, Band 385, Paderborn, 2018
  • Albers, A. A.; Tekaat, B.; Kühn, A.; Dumitrescu, R.: Requirements Profiles as a Basis for Ideation in Product Generation Planning. R&D Management Conference 2018, Milan, Italy, 30th June – 4th July 2018
  • Kummert, F.; Albers, A.A.; Bremer, C.; Büttner, S.; Dellnitz, M.; Dumitrescu, R.; Gräler, M.; Just, V.; Mucha, H.; Peitz, S.; Röcker, C.; Trächtler, A.; Tschirner, C.; Wang, S.; Wittrowski, J.: Eingesetzte wissenschaftliche Methoden. In: Trächtler, Ansgar (Hrsg.): Ressourceneffiziente Selbstoptimierende Wäscherei – Ergebnisse des ReSerW-Projekts, Springer, Paderborn, 2018
  • Dumitrescu, R.; westermann, T.; Falkowski, T.; Autonome Systeme in der Produktion. Industrie 4.0 und Management, 34 / 2018, S.17-20.

Promotionen

Dr.-Ing. Marcel Schneider

Weitere Funktionen

  • Direktor am Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
  • Geschäftsführer Spitzencluster Intelligente Technische Systeme OstwestfalenLippe (it’s OWL)
  • Leiter des VDE/VDI Fachausschusses „Mechatronisch integrierte Baugruppen“
  • Mitglied des Forschungsbeirates der Forschungsvereinigung Räumliche Elektronische
    Baugruppen 3-D MID e.V.
  • Beirat der Forschungsvereinigung Smart Engineering e.V.
  • Sondergutachter in der Gruppe Konstruktion und Fertigung der AiF (Arbeitsgemeinschaft industrieller Forschungsvereinigungen)
  • Mitglied Expertenkreis Innovationsdialog
  • Mitglied des Verwaltungsrates des RKW Kompetenzzentrums (RKW
  • Rationalisierungs- und Innovationszentrum der Deutschen Wirtschaft e. V.)
  • Mitglied des Lenkungskreises der Initiative Wirtschaft & Arbeit 4.0 der NRW-Landesregierung

Preise

Best Paper Award für Julian Echterfeld, M.Sc. für den Beitrag „Digitizing  Product  Portfolios“ auf der ISPIM Innovation Summit, Melbourne

Aktuelle Forschungsprojekte

  • INLUMIA – Instrumentarium zur Leistungssteigerung von Unternehmen durch Industrie 4.0 (EFRE.NRW, EU)
  • LOMIS – Lifecycle Operation and Maintenance Improvement Services (BMWi)
  • SeRoNet – Eine Plattform zur arbeitsteiligen Entwicklung von Serviceroboter-Lösungen (BMWi)
  • Vorstudie Mittelstandsunterstützung Industrie 4.0 – Vorstudie zur Entwicklung einer bedarfs- und nutzergerechten KMU-Unterstützung zur Einführung und Anwendung von Industrie 4.0 (BMBF; im Auftrag von acatech)

Wissenschaftliche Kooperationen

  • Universität Twente, Dr.Ir. Maarten Bonnema
  • Denmarks Technical University (DTU), Prof. Dr. Josef Oehmen
  • Universiti Tun Hussein Onn Malaysia (UTHM), Dr. Cheng Yee Low
  • Karlsruher Institut für Technologie (KIT), Prof. Dr.-Ing. Dr.h.c. Albert Albers
  • Fraunhofer-Institut für Produktionstechnik und Automatisierung IPA, Dipl.-Ing. Martin Hägele
  • Technische Universität Chemnitz (TUC), Prof. Dr. Angelika Bullinger-Hoffmann
  • Fraunhofer Fraunhofer-Institut für Materialfluss und Logistik IML, Dr.-Ing. Matthias Parlings
  • Technische Universität Berlin (TUB), Prof. Dr. h. c. Dr.-Ing. Eckart Uhlmann
  • RWTH Aachen, Prof. Dr.-Ing. Günther Schuh
  • Technische Universität München (TUM), Prof. Dr.-Ing. Udo Lindemann
  • Westfälische Wilhelms-Universität Münster, Prof. Dr. Klaus Backhaus
  • Universität Bremen, Prof. Dr. Martin G. Möhrle
  • Fraunhofer-Institut für System- und Innovationsforschung ISI, Prof. Dr. Marion A. Weissenber-Eibl
  • Brandenburgische Technischer Universität Cottbus (BTU), Prof. Dr.-Ing. habil. Dieter Specht

Personal

Administration
Sonja Saage

Marketing Communications & PR
Julia F. Negri-Küster, M.A. (bis 31.10.2018)

Sekretariat
Gabriele Parisi

Juniorprofessuren
Jun.-Prof. Dr.-Ing. Anthony Anjorin
Jun.-Prof. Dr. Henning Wachsmuth

Wissenschaftliche Mitarbeiter/-innen
Sascha Burmeister, M. Sc. (ab 09.2018)
Holger Fischer, M. Sc.
Sebastian Gottschalk, M. Sc. (ab 08.2018)
Stefan Heindorf, M. Sc.
Bahar Jazayeri, M. Sc.
Klementina Josifovska, M. Sc. (ab 05.2018)
Ivan Jovanovikj, M. Sc.
Jonas Kirchhoff, M. Sc. (ab 09.2018)
Florian Kraus, M. Sc.
Tobias Nickchen, M. Sc.
Zahra Nouri, M. Sc.
Dr. rer. nat. Simon Oberthür
Florian Rittmeier, M. Sc.
Dr. Lorijn van Rooijen
Dr. rer. nat. Stefan Sauer
Dr. rer. nat. Gunnar Schomaker
Nina Schwenniger, M. Sc. (bis 09.2018)
Simon Schwichtenberg, M. Sc.
Björn Senft, M. Sc.
Dr. rer. nat. Thim Strothmann
Alexander Teetz, M. Sc.
Nils Weidmann, M. Sc. (ab 06.2018)
Dennis Wolters, M. Sc. 
Enes Yigitbas, M. Sc.

Externe Promovenden
Yavuz Sancar, M. Sc.

Technischer Mitarbeiter
Dipl.-Inform. Friedhelm Wegener


Publikationen

  • Anjorin, A.; Yigitbas, E.; Kaindl, H.; Popp, R.: On the Development of Consistent User Interfaces (Extended Abstract). In Programming'18 Companion, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Proceedings, Nice, France, April 9-12, 2018, pp. 18–20. ACM New York, NY, USA, 2018
     
  • Anjorin, A.; Yigitbas, E.; Leblebici, E.; Schürr, A.; Lauder, M.; Witte, M.: Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain. Programming Journal, vol. 2, no. 3, 7, 2018
     
  • Cunha, J.; Fernandes, J. P.; Kelleher, C.; Engels, G.; Mendes, J. (eds.): Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing(VL/HCC 2018), Lisbon, Portugal, October 1-4, 2018. IEEE, 2018
     
  • Daymude, J. J.; Derakhshandeh, Z.; Gmyr, R.; Proter, A.; Richa, A. W.; Scheideler, C.; Strothmann, T.: On the Runtime of Universal Coating for Programmable Matter. Natural Computing, vol. 17, no. 1, pp. 81–96, 2018
     
  • Derakhshanmanesh, M.; Ebert, J.; Grieger, M.; Engels, G.: Model-integrating Development of Software Systems: A Flexible Component-based Approach. Software & Systems Modeling, pp. 1–30, 2018 (accepted for publication), doi.org/10.1007/s10270-018-0682-5
     
  • Engels, G.; Maier, G. W.; Ötting, S. K.; Steffen, E.; Teetz, A.: Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann, S.; Hartmann, E. A. (eds.): Zukunft der Arbeit – Eine praxisnahe Betrachtung, pp. 221–231. Springer Berlin Heidelberg, Germany, 2018
     
  • Engels, G.; Strothmann, T.; Teetz, A.: Adapt Cases 4 BPM – A Modeling Framework for Process Flexibility in IIoT. In Proceedings of the 2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW 2018), Stockholm, Sweden, October 16-19, 2018, pp. 59–68. IEEE Computer Society Los Alamitos, CA, USA, 2018
     
  • Feldmann, M.; Kolb, C.; Scheideler, C.; Strothmann, T.: Self-stabilizing Supervised Publish-subscribe Systems. In Proceedings of the 2018 IEEE 32nd International Parallel and Distributed Processing Symposium (IPDPS 2018), Vancouver, BC, Canada, May 21-25, 2018, pp. 1050–1059. IEEE Computer Society Los Alamitos, CA, USA, 2018
     
  • Fischer, H.; Senft, B.; Rittmeier, F.; Sauer, S: A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems. In Marcus, A.; Wang, W. (eds.): Design, User Experience, and Usability: Theory and Practice (DUXU 2018), 7th International Conference, Part of the 20th International Conference on Human-Computer Interaction (HCI International 2018), Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I, LNCS, vol. 10918, pp. 711–724. Springer Cham, Switzerland 2018
     
  • Gaspers, D.; Knorr, C.; Nickchen, T.; Nickchen, D.; Mertsching, B.; Mohamed, M. A.: Real-time Graph-based 3D Reconstruction of Sparse Feature Environments for Mobile Robot Applications. In 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), pp.  1–6, IEEE, 2018
     
  • Gmyr, R.; Hinnenthal, K.; Kostitsyna, I.; Kuhn, F.; Rudolph, D.; Scheideler, C.; Strothmann, T.: Forming Tile Shapes with Simple Robots. In Doty, D.; Dietz, H. (eds.): DNA Computing and Molecular Programming (DNA 2018), Proceedings of the 24th International Conference, Jinan, China, October 8-12, 2018,, LNCS, vol. 11145, pp. 122–138. Springer Cham, Switzerland, 2018 
     
  • Jazayeri, B.; Zimmermann, O.; Engels, G.; Küster, J. M.; Kundisch, D.; Szopinski, D.: Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions.In Shishkov, B. (ed.): Business Modeling and Software Design (BMSD 2018), Proceedings of the International Symposium, LNBIP, vol. 319, pp. 390–400. Springer Cham, Switzerland, 2018
     
  • Jazayeri, B.; Zimmermann, O.; Küster, J.; Engels, G.; Kundisch, D.; Szopinski, D.: Patterns of Store-oriented Software Ecosystems: Detection, Classification and Analysis of Design Options. In Proceedings of Latin American Conference on Pattern Languages of Programs (SugarLoafPLoP 2018), Valparaiso, Chile, November 20-23, 2018, 13 pages, HILLSIDE, ACM, 2018 (to appear)
     
  • Jovanovikj, I.; Engels, G.; Anjorin, A.; Sauer, S.: Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model. In Mendling, J.; Mouratidis, H. (eds.): Information Systems in the Big Data Era, Proceedings of the CAiSE'18 Forum at the 30th International Conference on Advanced Information Systems Engineering (CAiSE'18), Tallinn, Estonia, June 11-15, 2018, LNBIP, vol. 317, pp. 133–147. Springer Cham, Switzerland, 2018
     
  • Jovanovikj, I.; Narasimhan, V.; Engels, G.; Sauer, S.: Context-specific Quality Evaluation of Test Cases. In Hammoudi, S.; Pires, L. F.; Selić, B. (eds.): Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, Madeira, Portugal, January 22-24, 2018, pp. 594–601. SciTePress Setúbal, Portugal, 2018
     
  • Jovanovikj, I.; Yigitbas, E.; Anjorin, A.; Sauer, S.: Who Guards the Guards? On the Validation of Test Case Migration. In Knodel, J.; Görg, T.; Borchers, J.; Gutheil, M.; Sauer, S.; Heinrich, R.; Konersmann, M. (eds.): Proceedings of 20. Workshop Software-Reengineering & -Evolution (WSRE 2018) & 9. Workshop Design For Future (DFF 2018). Softwaretechnik-Trends, vol. 38, no. 2, pp. 47–48. GI Bonn, 2018
     
  • Jovanovikj, I.; Yigitbas, E.; Sauer, S.: Model-based UI Modernization: From Legacy UIs to Self-adaptive UIs. In Knodel, J.; Görg, T.; Borchers, J.; Gutheil, M.; Sauer, S.; Heinrich, R.; Konersmann, M. (eds.): Proceedings of 20. Workshop Software-Reengineering & -Evolution (WSRE 2018) & 9. Workshop Design For Future (DFF 2018). Softwaretechnik-Trends, vol. 38, no. 2, pp. 20–21. GI Bonn, 2018
     
  • Jovanovikj, I.; Yigitbas, E.; Sauer, S.: Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context. In Schaefer, I. et al. (eds.): Joint Proceedings of the Workshops at Modellierung 2018, Workshop Model-based and Model-driven Software Modernization (MMSM 2018), Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings, vol. 2060, pp. 153–162. CEUR-WS.org, 2018
     
  • Knodel, J.; Görg, T.; Borchers, J.; Gutheil, M.; Sauer, S.; Heinrich, R.; Konersmann, M. (eds.): Proceedings of 20. Workshop Software-Reengineering & -Evolution (WSRE 2018) & 9. Workshop Design for Future (DFF 2017), Bad Honnef, Germany, May 2-4, 2018. Softwaretechnik-Trends, vol. 38, no. 2, pp. 1–66. GI Bonn, 2018
     
  • Rittmeier, F.; Engels, G.; Teetz, A.: Digitalisierungspotenziale in Geschäftsprozessen effizient und effektiv erkennen (Effective and Efficient Identification of Digitalization Potentials in Business Processes). In Schaefer, I. et al. (eds.): Joint Proceedings of the Workshops at Modellierung 2018, Workshop Requirements Engineering und Business Process Management (REBPM 2018), Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings, vol. 2060, pp. 215–221. CEUR-WS.org, 2018
     
  • Sauer, S.: Langlebige Softwaresysteme im Spannungsfeld von Forward- und Reverse-Engineering. In Knodel, J.; Görg, T.; Borchers, J.; Gutheil, M.; Sauer, S.; Heinrich, R.; Konersmann, M. (eds.): Proceedings of 20. Workshop Software-Reengineering & -Evolution (WSRE 2018) & 9. Workshop Design For Future (DFF 2018). Softwaretechnik-Trends, vol. 38, no. 2, pp. 28–29. GI Bonn, 2018
     
  • Sauer, S.; Becker, S.; Riebisch, M.; Konersmann, M.; Heinrich, R.: Preface/Organization. In Schaefer, I. et al. (eds.): Joint Proceedings of the Workshops at Modellierung 2018, Workshop Model-based and Model-driven Software Modernization (MMSM 2018), Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings, vol. 2060, p. 133. CEUR-WS.org, 2018
     
  • Sauer, S.; Riebisch, M.; Konersmann, M.; Heinrich, R; Becker, S.: MMSM 2018 – Ergebnisse des 4. Workshops "Modellgetriebene und modellbasierte Softwaremodernisierung". Softwaretechnik-Trends, vol. 38, no. 3, pp. 11–12. GI Bonn, 2018
     
  • Schaefer, I.; Cleophas, L.; Felderer, M.; Becker, S.; Böhm, W.; Fahland, D.; Fill, H.-G.; Heinrich, R.; Kirchner, K.; Köhler-Bußmeier, M.; Konersmann, M.; Mayr, H. C.; Moldt, D.; Oberweis, A.; Reher, F.; Riebisch, M.; Sauer, S.; Schlingloff, H.; Thalheim, B.; Vogelsang, A.; Weißbach, R.; Weyer, T. (eds.): Joint Proceedings of the Workshops at Modellierung 2018, co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings, vol. 2060. CEUR-WS.org, 2018
     
  • Schwichtenberg, S.; Jovanovikj, I.; Gerth, C.; Engels, G.: Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms. In Proceedings  of the 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE 2018), Companion Proceedings (ICSE-Companion), Gothenburg, Sweden, May 27-June 3, 2018, pp. 292–293. IEEE Computer Society Los Alamitos, CA, USA, 2018
     
  • Senft, B.; Fischer, H.; Oberthür, S.; Patkar, N.: Assist Users to Straightaway Suggest and Describe Experienced Problems. In Marcus, A.; Wang, W. (eds.): Design, User Experience, and Usability: Theory and Practice (DUXU 2018), 7th International Conference, Part of the 20th International Conference on Human-Computer Interaction (HCI International 2018), Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I, LNCS, vol. 10918pp. 758–770. Springer Cham, Switzerland 2018
     
  • Senft, B.; Oberthür, S.; Fischer, H.: Forschendes Lernen in der Informatik – In praxisnaher Projektgruppe einen Softwareentwicklungsprozess erforschen. In Neuber, N.; Paravicini, W.; Stein, M. (eds.): Forschendes Lernen – the wider view, Tagung des Zentrums für Lehrerbildung der Westfälischen Wilhelms-Universität Münster, Münster, Germany, September 25-27, 2017, Schriften zur allgemeinen Hochschuldidaktik, Band 3, pp. 289–292. WTM-Verlag Münster, 2018
     
  • Weidmann, N.: Tolerant Consistency Management in Model-Driven Engineering. In Babur, Ö. et al. (eds.):  Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Companion Proceedings, Copenhagen, Denmark, October 14-19, 2018, pp. 192–197. ACM New York, NY, USA 2018
     
  • Wolters, D.; Heindorf, S.; Kirchhoff, J.; Engels, G.:Semantic Data Mediator: Linking Services to Websites. In: Braubach, L.; Murillo, J. M.; Kaviani, N.; Lama, M.; Burgueño, L.; Moha, N.; Oriol, M. (eds.): Service-Oriented Computing – ICSOC 2017 Workshops, ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers. LNCS, vol 10797, pp 388–392. Springer Cham, Switzerland 2018
     
  • Yigitbas, E.; Anjorin, A.; Jovanovikj, I.; Kern, T.; Sauer, S.; Engels, G.: Usability Evaluation of Model-Driven Cross-Device Web User Interfaces. In Bogdan, C.; Kuusinen, K.; Lárusdóttir, M.; Palanque, P.; Winckler, M. (eds.): Human-Centered Software Engineering (HCSE 2018), Proceedings of the 7th International Working Conference, Sophia Antipolis, France, September 3-5, 2018, LNCS, vol. 11262, pp. 231–247. Springer Cham, Switzerland, 2018
     
  • Yigitbas, E.; Anjorin, A.; Leblebici, E.; Grieger, M.: Bidirectional Method Patterns for Language Editor Migration. In Pierantonio, A.; Trujillo, S. (eds.): Modelling Foundations and Applications (ECMFA 2018), 14th European Conference, Part of STAF 2018, Proceedings, Toulouse, France, June 26-28, 2018, LNCS, vol. 10890, pp. 97–114. Springer Cham, Switzerland, 2018

Promotionen
Prof. Dr. Andreas Deuter
Preise und Auszeichnungen
Klementina Josifovska
DAAD-Preis für hervorragende Leistungen ausländischer Studierender an der Universität Paderborn für 2018

Gastaufenthalte
Stefan Heindorf
Yahoo Research, Sunnyvale, USA, September bis November 2018, Forschungsaufenthalt bei Yahoo Research im Knowledge Graph Science Team

Weitere Funktionen
Prof. Dr. Gregor Engels
Mitglied im Senat der Universität Paderborn
Board Member (Treasurer) Informatics Europe
Vorstandsvorsitzender des Software Innovation Lab (SI-Lab)
Vorstand des C-LAB
Vorsitzender des Paderborn Center for Advanced Studies (PACE)
Sprecher des NRW-Fortschrittskollegs „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“ (in Kooperation mit der Universität Bielefeld)
Sprecher des Forschungsschwerpunkts „Digitale Zukunft“ (in Kooperation mit der Universität Bielefeld)
Mitglied im Projektteam der Universität Paderborn für das Transfer-Audit des Stifterverbands für die Deutsche Wissenschaft e.V.
Vertreter der Universität Paderborn im Fakultätentag Informatik
Stellv. Vorsitzender des Vorstands von InnoZent OWL e.V.
Mitglied des Leitungsgremiums des Querschnittsfachausschusses Modellierung der Gesellschaft für Informatik e.V. (GI)
Gutachter der Akkreditierungsagentur für Studiengänge der Ingenieurwissenschaften und der Informatik (ASIIN)
Mitglied im Editorial Board der Zeitschrift Software and Systems Modeling, Springer Verlag, Berlin/Heidelberg
Mitglied des Steering Committee der International Conference on Graph Transformations (ICGT)
Mitglied des Aufsichtsrats der S&N Invent AG, Paderborn
Mitglied im Advisory Board der QualityMinds GmbH, Nürnberg

Mitglied des Programmkomitees der folgenden Tagungen: 
•    BPM 2018, 16th International Conference on Business Process Management, Sydney, Australia
•    ICMT 2018, 10th International Conference on Model Transformation, co-located with Software Technologies: Applications and Foundations (STAF 2018), Toulouse, France
•    ICSE-18-DocSym, 40th International Conference on Software Engineering, Gothenburg, Sweden
•    Modellierung 2018, Braunschweig, Germany
•    Doctoral Symposium @ MODELS'18, ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, Copenhagen, Denmark
•    MODELS 2018, ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, Copenhagen, Denmark 
•    SEAMS 2018, 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems, co-located with ICSE 2018, Gothenburg, Sweden
•    Software Engineering 2018, Ulm, Germany
•    VL/HCC 2018, IEEE Symposium on Visual Languages and Human-Centric Computing, Lisbon, Portugal

Sascha Burmeister
Mitglied im Senat der Universität Paderborn

Holger Fischer
Mitglied des Leitungsgremiums der Fachgruppe Software-Ergonomie (SW-ERGO) im Fachbereich Mensch-Computer Interaktion (MCI) der Gesellschaft für Informatik e.V. (GI)
Mitglied der Working Group 13.2 “Methodology for User-Centred System Design” im Technical Committee on „Human–Computer Interaction“ (TC 13) der International Federation for Information Processing (IFIP)
Vize-Präsident des Berufsverbandes Deutscher Usability und User Experience Professionals (German UPA e.V.)
Gründungsmitglied des International Usability and User Experience Qualification Board e.V. (UXQB)
Mitglied des Arbeitskreises Qualitätsstandards im Berufsverband Deutscher Usability und User Experience Professionals (German UPA e.V.)
Mitglied im Programmkomitee der Tagungen: Mensch & Computer 2018, Usability Professionals, Dresden, Germany und Usability Challenge 2018, studentischer Wettbewerb der Fachgruppe SW-ERGO der Gesellschaft für Informatik e.V. (GI)
Mitglied im Programmkomitee der 6th International Conference on Human-Centered Software Engineering (HCSE 2018), Nice, France

Dr. Lorijn van Rooijen
Mitglied des Programmkomitees des Workshops Artificial Intelligence for Requirements Engineering (AIRE'18), Banff, Canada

Dr. Stefan Sauer
Geschäftsführer des Software Innovation Lab (SI-Lab)
Mitglied des Leitungsgremiums der Fachgruppe Architekturen der Gesellschaft für Informatik e.V. (GI)
Assoziiertes Mitglied des Leitungsgremiums der Fachgruppe Software-Reengineering der Gesellschaft für Informatik e.V. (GI)
Mitglied des Leitungsgremiums des Arbeitskreises Langlebige Softwaresysteme (L2S2) der Gesellschaft für Informatik e.V. (GI)
Mitglied der Working Group 13.2 Methodology for User-Centred System Design im Technical Committee on Human–Computer Interaction (TC 13) der International Federation for Information Processing (IFIP)
Mitglied im Beirat der „Lernstatt Paderborn“
Mitglied im Projektteam der Universität Paderborn für das Transfer-Audit des Stifterverbands für die Deutsche Wissenschaft e.V.
Organisator der folgenden Workshops:
•    MMSM 2018, 4. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung, Braunschweig, Germany
•    WSRE + DFF 2018: 20. Workshop Software-Reengineering & Evolution + 9. Workshop Design For Future – Langlebige Softwaresysteme, Bad Honnef, Germany
Mitglied des Programmkomitees der folgenden Tagungen:
•    DFF 2018, 9. Workshop Design for Future – Langlebige Softwaresysteme, Bad Honnef, Germany
•    ICSSP 2018, International Conference on Software and System Processes, Gothenburg, Sweden
•    MMSM 2018, 4. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung, Braunschweig, Germany 
•    MODELS 2018 Artifact Evaluation Committee, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Copenhagen, Denmark
•    VL/HCC 2018, IEEE Symposium on Visual Languages and Human-Centric Computing, Lisbon, Portugal
•    WSRE 2018, 20. Workshop Software-Reengineering & Evolution, Bad Honnef, Germany

Dr. Gunnar Schomaker
Stellv. Geschäftsführer des Software Innovation Lab (SI-Lab)

Dr. Thim Strothmann:
Mitglied im Vorstand des Software Innovation Lab (SI-Lab)

Enes Yigitbas
Stellvertretender Sprecher der GI-Fachgruppe Vorgehensmodelle für die betriebliche Anwendungsentwicklung der Gesellschaft für Informatik e.V. (GI)
Mitglied der Working Group 13.2 Methodology for User-Centred System Design im Technical Committee on Human–Computer Interaction (TC 13) der International Federation for Information Processing (IFIP)

Aktuelle Forschungsprojekte
AgentBanking – Entwicklung und Erprobung einer agilen Entwicklungsmethode für eine Banking-Anwnendung, in Kooperation mit S&N AG
Arbeit 4.0 – Lösungen für die Arbeitswelt der Zukunft, Förderung durch MWIDE NRW / EFRE Regio.NRW – Region OWL
Business 4.0 – Neue Geschäftsmodelle und Wertschöpfungsketten mit IKT, Förderung durch MWIDE NRW / EFRE Regio.NRW – Region OWL
CPS.HUB NRW – Competence Center for Cyber-Physical Systems, Förderung durch MWIDE NRW / EFRE
Digital in NRW – Das Kompetenzzentrum für den Mittelstand, Mittelstand 4.0 – Kompetenzzentrum Dortmund – in Kooperation mit Spitzencluster it’s owl, WZL Werkzeugmaschinenlabor, FIR Forschungsinstitut für Rationalisierung der RWTH Aachen, Fraunhofer IML Institut für Materialfluss und Logistik sowie EffizienzCluster Logistik Ruhr, Teil der Förderinitiative „Mittelstand 4.0 – Digitale Produktions- und Arbeitsprozesse“, Förderung durch BMWi
FlexiEnergy – Sektorübergreifende Entscheidungsunterstützung zur flexiblen Gestaltung des Energiesystems unter Unsicherheit, in Kooperation mit Energie Impuls OWL e. V., RZVN Wehr GmbH, UNITY AG, Westfalen Weser Netz GmbH, WestfalenWIND GmbH, Stadtwerke Dinslaken GmbH, SWB Netz GmbH, SPP GmbH, Förderung durch MULNV NRW / EFRE
Forschungsschwerpunkt Digitale Zukunft, Förderung durch MKW NRW
Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“, Förderung durch MKW NRW
Gold for Technology Leaders – Professional Education Services im Rahmen des Atos Learning Management System, in Kooperation mit Atos International, IfM Education and Consultancy Services Ltd./University of Cambridge (UK)
HiP-App – Historisches Paderborn App – Geschichte in Paderborn erfahrbar machen, interdisziplinäres Projekt der Universität Paderborn
Hörmann SDL Beratung – Verbesserung des Software Development Lifecycles, in Kooperation mit Hörmann KG Antriebstechnik
IP45G – Innovationsplattform zum Forschungsschwerpunkt „5G: Industrielles Internet“, Begleitforschung der Forschungsinitiative „5G: Industrielles Internet“, Förderung durch BMBF
ITS.ML – Intelligente Technische Systeme der nächsten Generation durch Maschinelles Lernen, in Kooperation mit Fachhochschule Bielefeld, Hochschule Ostwestfalen-Lippe, Universität Bielefeld, Förderung durch BMBF
KI4AS – Validierung Künstlicher Immunsysteme für Autonome Systeme, in Kooperation mit Fraunhofer IEM Institut für Entwurfstechnik Mechatronik, Förderung durch BMBF
Modeling SCPS – Modeling Socio-Cyber-Physical Systems, in Kooperation mit Universidade NOVA de Lisboa, Portugal, Förderung durch DAAD
OWL.Kultur-Portal, in Kooperation mit OWL Kulturbüro der OstWestfalenLippe GmbH, Förderung durch MKW NRW
PB::BK-digital – Erstellung eines Digitalisierungskonzepts für die Berufskollegs des Kreises Paderborn, in Kooperation mit dem Kreis Paderborn
PB:E-Mobil – Entwicklung eines Ladeinfrastrukturkonzepts für Elektromobilität in der Stadt Paderborn, in Kooperation mit ASP – Eigenbetrieb der Stadt Paderborn, KONEXUS Consulting Group GmbH
PIM-Analyse – Durchführung einer Usability-Analyse für ein PIM-System, in Kooperation mit Lobster PIM GmbH
ProTechTi – Durchführung einer Analyse zur Prognose von Technikereinsatzzeiten, in Kooperation mit woelke it-solution GmbH
SFB 901 „On-The-Fly Computing“, Teilprojekt B1: – Parameterized Service Specifications, Förderung durch DFG
SFB 901 „On-The-Fly Computing“, Teilprojekt C5: Architecture Management of OTF Computing Markets, Förderung durch DFG
ZenMEM 2 – Kompetenzzentrum Musik – Edition – Medien, in Kooperation mit Hochschule für Musik Detmold und Hochschule Ostwestfalen-Lippe, Förderung durch BMBF

Wissenschaftliche Kooperationen
Adobe Research, Dr. Nedim Lipka, USA
Universidade do Minho, Prof. Dr. Jácome Cunha, Braga, Portugal
Universidade NOVA de Lisboa, Laboratory for Computer Science and Informatics (NOVA LINCS), Prof. Dr. Vasco Amaral, Prof. Dr. Miguel Goulão, Prof. Dr. Ana Moreira, Lisbon, Portugal
Universität Hildesheim, Prof, Dr. Klaus Schmid, Germany
Universität Leipzig, Jun.-Prof. Dr. Martin Potthast, Germany
Yahoo Research, Dr. Nicolas Torzec, USA

Gastwissenschaftler/-innen
Dr. Ping Guo, Kunming University of Science and Technology, China (ab 09.2018)
 

Externe Promovenden

Jianqiang Li, M. Sc., Virginia Commonwealth University, Richmond, USA
Seyran Saeedi, M. Sc., Virginia Commonwealth University, Richmond, USA

Publikationen

  • Gharibian, S.; Sikora, J.: Ground state connectivity of local Hamiltonians. ACM Trans. Comput. Theory 10, 2, Article 8, 2018, pages 1-28.
  • Gharibian, S.; Santha, M; Sikora, J; Sundaram, A; Yirka, J.: Quantum generalizations of the polynomial hierarchy with applications to QMA(2), in Proc. International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), volume 117 of Leibniz International Proceedings in Informatics (LIPIcs), pages 58:1-58:16, 2018.
  • Aldi, M.; de Beaudrap, N.; Gharibian, S.; Saeedi, S.: On efficiently solvable cases of Quantum k-SAT, in Proc. International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), volume 117 of Leibniz International Proceedings in Informatics (LIPIcs), pages 38:1-38:16, 2018.
  • Gharibian, S.; Yirka, J.: The complexity of estimating local physical quantities, in Proc. Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017), volume 73 of Leibniz International Proceedings in Informatics (LIPIcs), pages 2:1-2:17, 2018.

Gastaufenthalte

  • U.S. Naval Research Laboratory, Washington D.C., USA, März 2018, Eingeladene Forschungspräsentation am NCARAI Symposium Series
  • The Pennsylvania State University, State College, USA, März 2018, Eingeladene Forschungspräsentation am School of Electrical Engineering and Computer Science
  • University College London, London, Großbritannien, Juli 2018, Forschungsaufenthalt am Department of Computer Science

Weitere Funktionen

Board of Trustees

  • Secretary, Computational Complexity Conference (CCC, and its organizing body, Computational Complexity Foundation CCF)

Founding Editor

  • Quantum (URL: quantumjournal.org)

Student Travel Awards Committee

  • Annual Conference on Quantum Information Processing (QIP 2018)

Personal

Sekretariat

Elisabeth Lengeling

Wissenschaftliche Mitarbeiter/-innen

Dr. rer. nat. Sadegh Abbaszadeh (ab 07/2018)
Mohsen Ahmadi Fahandar, M. Sc.
Dr. rer. nat. Viktor Bengs (ab 10/2018)
Adil El Mesaoudi-Paul, M.Sc.
Sascha Henzgen, M. Sc. (bis 12/2018)
Alexander Hetzer, M. Sc. (ab 10/2018)
Dr. rer. pol. Theodor Lettmann
Dipl.-Inform. Vitaly Melnikov
Dr. rer. nat. Felix Mohr
Dr. rer. nat. Vu-Linh Nguyen (ab 11/2018)
Karlson Pfannschmidt, M. Sc.
Javad Rahnama, M. Sc. (ab 01/2018)
Dr. rer. nat. Ammar Shaker (bis 02/2018)
Marcel Wever, M. Sc.

Externe Promovenden

Dipl.-Math. Michael Bräuning
Simone Dari, M. Sc.

Technischer Mitarbeiter
Dipl.-Ing. Dipl-Inform. Bodo Blume

Publikationen

  • Abbaszadeh, S.; Ebadian, A.: Nonlinear integrals and Hadamard-type inequalities. Soft Computing 22(9), pages 2843-2849, 2018.
  • Abbaszadeh, S.; Ebadian, A.; Jaddi, M.: Hölder type integral inequalities with different pseudo-operations. Asian-European Journal of Mathematics, DOI: 10.1142/S1793557119500323, 2018
  • Abiteboul, S.; Arenas, M.; Barceló, P.; Bienvenu, M.; Calvanese, D.; David, C.; Hull, R.; Hüllermeier, E.; Kimelfeld, B.; Libkin, L.; Martens, W.; Milo, T.; Murlak, F.; Neven, F.; Ortiz, M.; Schwentick, T.; Stoyanovich, J.; Su, J.; Suciu, D.; Vianu, V.; Yi, K.: Research Directions for Principles of Data Management. Manifesto from Dagstuhl Perspectives Workshop 16151, Dagstuhl Manifestos 7(1), pages 1-29, 2018
  • Ahmadi Fahandar, M.; Hüllermeier, E.: Learning to Rank Based on Analogical Reasoning. Proc. 32nd AAAI Conference on Artificial Intelligence (AAAI), pages 2951-2958, 2018
  • Couso, I.; Hüllermeier, E.: Statistical Inference for Incomplete Ranking Data: A Comparison of Two Likelihood-Based Estimators. In: Mostaghim, Sanaz; Nürnberger, Andreas; Borgelt, Christian: Frontiers in Computational Intelligence, Springer, pages 31-46, 2018
  • El Mesaoudi-Paul, A.; Hüllermeier, E.; Busa-Fekete, R.: Ranking Distributions based on Noisy Sorting. Proc. 35th Int. Conference on Machine Learning (ICML), pages 3469-3477, 2018
  • Hesse, M.; Timmermann, J.; Hüllermeier, E.; Trächtler, A.: A Reinforcement Learning Strategy for the Swing-Up of the Double Pendulum on a Cart. Proc. 4th Int. Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, Procedia Manufacturing 24, pages 15-20, 2018
  • Melnikov, V.; Hüllermeier, E.: On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning 107(8-10), pages 1537-1560, 2018
  • Mohr, F.; Lettmann, T.; Hüllermeier, E.; Wever, M.: Programmatic Task Network Planning. Proc. 1st ICAPS Workshop on Hierarchical Planning at the 28th Int. Conference on Automated Planning and Scheduling (ICAPS), pages 31-39, 2018
  • Mohr, F.; Wever, M.; Hüllermeier, E.: ML-Plan: Automated machine learning via hierarchical planning. Special Issue ECML PKDD 2018 Journal Track, Machine Learning 107(8-10), pages 1495-1515, 2018
  • Mohr, F.; Wever, M.; Hüllermeier, E.: On-the-Fly Service Construction with Prototypes. Proc. 15th Int. Conference on Services Computing (SCC), pages 225-232, 2018
  • Mohr, F.; Wever, M.; Hüllermeier, E.: Reduction Stumps for Multi-class Classification. Proc. 17th Int. Symposium on Intelligent Data Analysis (IDA), pages 225-237, 2018
  • Mohr, F.; Wever, M.; Hüllermeier, E.; Faez, A.: (WIP) Towards the Automated Composition of Machine Learning Services. Proc. 15th Int. Conference on Services Computing (SCC), pages 241-244, 2018
  • Nguyen, V.-L.; Destercke, S.; Masson, M.-H.; Hüllermeier, E.: Reliable Multi-class Classification based on Pairwise Epistemic and Aleatoric Uncertainty. Proc. 27th Int. Joint Conference on Artificial Intelligence (IJCAI), pages 5089-5095, 2018
  • Rasouli, H.; Abbaszadeh, S.; Eshaghi, M.: Approximately linear recurrences. Journal of Applied Analysis 24, pages 81-85, 2018
  • Schäfer, D.; Hüllermeier, E.: Dyad ranking using Plackett-Luce models based on joint feature representations. Machine Learning 107(5), pages 903-941, 2018
  • Schäfer, D.; Hüllermeier, E.: Preference-Based Reinforcement Learning Using Dyad Ranking. Proc. 21st Int. Conference on Discovery Science (DS), pages 161-175, 2018
  • Seemann, N.; Geierhos, M.; Merten, M.-L.; Tophinke, D.; Wever, M.; Hüllermeier, E.: Supporting the Cognitive Process in Annotation Tasks. Postersession Computerlinguistik der 40. Jahrestagung der Deutschen Gesellschaft für Sprachwissenschaft 2018, 2018
  • Wever, M.; Mohr, F.; Hüllermeier, E.: Ensembles of evolved nested dichotomies for classification. Proc. Genetic and Evolutionary Computation Conference (GECCO), pages 561-568, 2018
  • Wever, M.; Mohr, F.; Hüllermeier, E.: ML-Plan for Unlimited-Length Machine Learning Pipelines. Int. Workshop on Automatic Machine Learning (AutoML) at ICML 2018, 2018

Weitere Funktionen
Co-Editor-in-Chief der Zeitschrift Fuzzy Sets and Systems (Elsevier)
Direktor Smart Systems, SICP, Software Innovation Campus Paderborn
Editorial Board Member der Zeitschriften Machine Learning (Springer, action editor), International Journal of Approximate Reasoning (Elsevier), Advances in Data Analysis and Classification (Springer, associate editor), sowie 15 weiterer Journale
Vorsitzender der IEEE CIS Task Force on Machine Learning
Mitglied im IEEE CIS Fuzzy Systems Technical Committee, IEEE-CIS Emerging Technologies Technical Committee
Leiter der Arbeitsgruppe „Learning and Data Mining“ in der EUSFLAT (European Society for Fuzzy Logic and Technology
Stellvertretender Vorsitzender des GMA Ausschuss „Computational Intelligence“ (VDI/VDE Gesellschaft für Mess- und Automatisierungstechnik, Fachausschuss 5.14)
Scientific Advisor der Iranischen Gesellschaft für Fuzzy Sets and Systems (IFSS)

Promotionen

Dr. rer. nat. Dirk Schäfer

Weitere Funktionen

  • Vorsitzender des DaSCo, Paderborn Institute for Data Science and Scientific Computing
  • Co-Editor-in-Chief der Zeitschrift Fuzzy Sets and Systems (Elsevier)
  • Direktor Smart Systems, SICP, Software Innovation Campus Paderborn
  • Editorial Board Member der Zeitschriften Machine Learning (Springer, action editor), Data Mining and Knowledge Discovery (Springer), International Journal of Approximate Reasoning (Elsevier), Advances in Data Analysis and Classification (Springer, associate editor), sowie 15 weiterer Journale
  • Mitglied in diversen Programmkommittees
  • Vorsitzender der IEEE CIS Task Force on Machine Learning
  • Mitglied im IEEE CIS Fuzzy Systems Technical Committee, IEEE-CIS Emerging Technologies Technical Committee
  • Leiter der Arbeitsgruppe „Learning and Data Mining“ in der EUSFLAT (European Society for Fuzzy Logic and Technology)
  • Stellvertretender Vorsitzender des GMA Ausschusses „Computational Intelligence“ (VDI/VDE Gesellschaft für Mess- und Automatisierungstechnik, Fachausschuss 5.14)
  • Scientific Advisor der Iranischen Gesellschaft für Fuzzy Sets and Systems (IFSS)

Aktuelle Forschungsprojekte

  • DFG – SFB 901 „On-The-Fly Computing“, Teilprojekt B2: Configuration and Rating
  • DFG – SFB 901 „On-The-Fly Computing“, Teilprojekt B3: Service Composition Analysis in Partially Unknown Contexts
  • iART: Ein interaktives Analyse- und Retrieval-Tool zur Unterstützung von bildorientierten Forschungsprozessen. Gemeinsames Projekt mit Prof. R. Ewerth, TIB Hannover und Prof. H. Kohle, LMU München. Deutsche Forschungsgemeinschaft (DFG), 01/2019--12/2022.
  • Multilabel Rule Learning. Gemeinsames Projekt mit Prof. J. Fürnkranz, TU Darmstadt. Deutsche Forschungsgemeinschaft (DFG), 11/2018--10/2020.
  • Online Preference Learning with Bandit Algorithms. Deutsche Forschungsgemeinschaft (DFG), 03/2017--02/2020.
  • Interaktive Grammatikanalyse historischer Texte: Adaptive Annotationsverfahren zur Erschließung des Sprachausbaus im Mittelniederdeutschen. Gemeinsames Projekt mit Prof. D. Tophinke und Prof. M. Geierhos, Universität Paderborn. Deutsche Forschungsgemeinschaft (DFG), 01/2017--12/2019.

Wissenschaftliche Kooperationen

  • Yahoo Research, New York, Dr. Robert Busa-Fekete, USA
  • University of Oviedo, Prof. Dr. Ines Couso, Spain
  • Poznan University of Technology, Institute of Computing Science, Dr. Krzysztof Dembczynski, Poland
  • Technical University of Compiègne, Dr. Sebastian Destercke, France.
  • University of Granada, Department of Computer Science and Artificial Intelligence Prof. Dr. Francisco Herrera, Spain
  • Thales Group, Dr. Christophe Labreuche, Paris
  • Université Paul Sabatier, Dr. Henri Prade,Toulouse, France;
  • Ghent University,Department of Mathematical Modelling, Statistics and Bioinformatics, Prof. Dr. Willem Waegeman, Belgium;

Personal

Sekretariat

Carmen Buschmeyer

Wissenschaftliche Mitarbeiter/innen

Pascal Bemmann, M. Sc.
Peter Chvojka, M. Sc.
Dr. Gareth T. Davies (ab 11/2018)
Kai Gellert, M. Sc.
Dr. rer. nat. Saqib Kakvi
Rafael Kurek, M. Sc.
David Niehues, M. Sc.

Externe Promovenden

Duan Li, M.Sc., Huawei Technologies

Technische Mitarbeiter/innen

Dipl.-Ing. (FH) Tobias Schultz-Friese

Publikationen

  • Jager, T., Kakvi, S., May, A.: On the Security of the PKCS#1 v1.5 Signature Scheme; Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security – CCS 2018
  • Derler, D., Jager, T., Slamanig, D., Striecks, C.: Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange; 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques – EUROCRYPT 2018
  • Jager, T., Kurek, R.: Short Digital Signatures and ID-KEMs via Truncation Collision Resistance; 24th International Conference on the Theory and Application of Cryptology and Information Security – ASIACRYPT 2018
  • Jager, T., Kurek, R., Pan, J.: Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH; 24th International Conference on the Theory and Application of Cryptology and Information Security – ASIACRYPT 2018
  • Gjøsteen, K., Jager, T.: Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange; 38th Annual International Cryptology Conference – CRYPTO 2018
  • Liu, J., Jager T., Kakvi, Saqib A., Warinschi, Bogdan: How to Build Time-Lock Encryption; Designs, Codes and Cryptography, 2018

Weitere Funktionen

  • Mitglied des Crypto Review Panels der Internet Research Task Force (IRTF)
  • Mitglied des Editorial Boards der Fachzeitschrift Applicable Algebra in Engineering, Communication and Computing (AAECC), Springer-Verlag
  • Vorstandsmitglied des Software Innovation Lab (SI-Lab) Paderborn
  • Direktor des Competence Center Digital , Software Innovation Campus Paderborn

Mitglied in Programmkomitees:

  • 13th ACM Asia Conference on Computer and Communications Security (ACM AsiaCCS)
  • 25th ACM Conference on Computer and Communications Security (ACM CCS)
  • 16th International Conference on Applied Cryptography and Network Security RSA Conference, Cryptographers’ Track (CT-RSA)
  • 21st Information Security Conference (ISC)
  • 21st International Conference on Practice and Theory in Public-Key Cryptography (PKC)
  • Sicherheit, Schutz und Zuverlässigkeit, Gesellschaft für Informatik
  • 4th Conference on Security Standardisation Research (SSR)

Aktuelle Forschungsprojekte

  • Tight Reductions in Cryptography, gefördert durch DFG
  • Low-Latency Key Exchange, gefördert durch DFG
  • REZEIVER – Realistische zeitbasierte Verschlüsselung, gefördert durch BMBF
  • Sicherheit und Privatsphäre bei Instant Messaging Protokollen. Durchgeführt im Rahmen des Graduiertenkollegs NRW „Human Centered Systems Security – Northrhine-Westphalian Experts on Research in Digitalization“ (NERD)

Wissenschaftliche Kooperationen

AIT Austria, Dr. Christoph Striecks
Ruhr-Universität Bochum, Prof. Jörg Schwenk
University of Bristol, Dr. Martijn Stam, Senior Lecturer, und Prof. Bogdan Warinschi
TU Darmstadt, Prof. Sebastian Faust und Dr. Felix Günther
TU Graz, Dr. Daniel Slamanig und Dr. David Derler
NTNU Trondheim, Prof. Kristian Gjøsteen, Prof. Colin Boyd und Britta Hale, M. Sc.
KIT Karlsruhe, Dr. Andy Rupp

Personal

Sekretariat

Tanja Bürger

Wissenschaftliche Mitarbeiter/-innen

Haitham Afifi, M.Sc.
Sevil Dräxler, M. Sc.
Asif Hasnain, M.Sc.
Manuel Peuster, M. Sc.
Hadi Razzaghi Kouchaksarai, M.Sc.
Stefan Schneider, M.Sc.

Technischer Mitarbeiter

Dipl.-Ing. Dipl-Inform. Bodo Blume

Publikationen

  • MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops, H. Afifi, S. Auroux, H. Karl, Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018
  • Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions, S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), 2018
  • Let the state follow its flows: An SDN-based flow handover protocol to support state migration, M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), 2018
  • A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains, M. Peuster, S.B. Schneider, F. Christ, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, 2018
  • Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains, M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), 2018
  • Understand your chains and keep your deadlines: Introducing time-constrained profiling for NFV, M. Peuster, H. Karl, in: IEEE/IFIP 14th International Conference on Network and Service Management (CNSM), IEEE/IFIP, 2018
  • A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms, S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018
  • Modelling Time-Limited Capacity of a Wireless Channel as aMarkov Reward Process, B. Shiferaw Heyi, H. Karl, Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018
  • Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments, M. Peuster, M. Marchetti, G. Garcia de Blas, H. Karl, in: European Conference on Networks and Communications (EuCNC), 2018
  • Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks, S. Auroux, H. Karl, Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018
  • A Fully Integrated Multi-Platform NFV SDK, S.B. Schneider, M. Peuster, W. Tavernier, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018
  • DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling, B. Demirel, A. Ramaswamy, D. Quevedo, H. Karl, 2018
  • Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case, S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322
  • Trade-offs in Dynamic Resource Allocation in Network Function Virtualization, S.B. Schneider, S. Dräxler, H. Karl, in: IEEE Global Communications Conference (GLOBECOM 2018), IEEE, 2018
  • Methodology for VNF Benchmarking Automation, R.V. Rosa, C.E. Rothenberg, M. Peuster, H. Karl, IETF, 2018
  • Towards Predicting Resource Demands and Performance of Distributed Cloud Services, S. Dräxler, M. Peuster, M. Illian, H. Karl, 2018
  • JASPER: Joint Optimization of Scaling, Placement, and Routing of Virtual Network Services, S. Dräxler, H. Karl, Z.A. Mann, IEEE Transactions on Network and Service Management (2018)

Promotionen

Dr. rer. nat. Mohammad Elattar
Dr. rer. Nat. Arne Schwabe

Auszeichnungen

Manuel Peuster
Best Student Paper Award – IEEE Conference on Network Softwarization (NetSoft), 25-29 June 2018, Montreal/Canada

Weitere Funktionen
Mitglied der „International Graduate School on Intelligent Systems“

Aktuelle Forschungsprojekte

  • TANGO – Development and validation plattform for global industry-specific network services and Apps,
  • Förderung durch EU-Kommission, Brüssel (Horizon 2010).
  • PICTURE – Programmable Infrastructure Converging Disaggregated Network and compute Resources,
  • Förderung durch EU-Kommission, Brüssel (Horizon 2010).
  • NICCI - Netzgewahre Regelung & regelungsgewahre Netze, Förderung durch DFG
  • Sensornetzwerke - Akustische Sensornetzwerke, Förderung durch DFG
  • DFG – SFB 901 „On-the-Fly Computing“, Teilprojekt C4: On-the-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers

Personal

Sekretariat

Carmen Buschmeyer
Cornelia Wiederhold

Wissenschaftliche Mitarbeiter

Dipl.-Inform. Andreas Oberhoff
Dr. rer. nat. Harald Selke
Dr. rer. nat. Felix Winkelnkemper
Dipl.-Inform. Gero Zahn

Technischer Mitarbeiter

Dipl.-Inform. Michael Utermöhle

Publikationen

  • Winkelnkemper, F.; Keil, R.: MediaThing – A Learning Scenario Targeting on Research Skills. In: Bastiaens, T.; Van Braak, J.; Brown, M. (Hrsg.) Proceedings of EdMedia: World Conference on Educational Media and Technology., S. 2397-2406, Amsterdam, Netherlands, Jun. 2018 AACE
  • Seng, E.-M.; Keil, R.; Oevel, G.: studiolo communis. In: Seng, E.-M.; Keil, R.; Oevel, G. (Hrsg.) STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities, S. 1-5, Berlin, Bosten, 2018, De Gruyter
  • Keil, R.: Unterstützung kontingenter Wissensarbeit. Ein Rahmenwerk für die Entwicklung digitaler Arbeitsumgebungen zur Unterstützung des Forschungsdiskurses in den Kulturwissenschaften. In: Seng, E.-M.; Keil, R.; Oevel, G. (Hrsg.) STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities, S. 7-25, Berlin, Bosten, 2018, De Gruyter
  • Seng, E.-M.; Keil, R.; Oevel, G.: STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities. De Gruyter, Berlin, Bosten, 2018
  • Selke, H.: Data science in schools from the perspective of contextual informatics. In: Biehler, R.; Budde, L.; Frischemeier, D.; Heinemann, B.; Podworny, S.; Schulte, C.; Wassong, T. (Hrsg.) Paderborn Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts, S. 107-109, Paderborn, 2018, Universitätsbibliothek Paderborn

Promotion

Dr. rer. nat. Felix Winkelnkemper

Weitere Funktionen

Wissenschaftlicher Beirat der „Forschungs- und Beratungsstelle Arbeitswelt (FORBA)“, Wien (seit 2000)

Mitglied des Beirats „Lernstatt Paderborn“ (seit 2005)

ICALT2018, The 18h IEEE International Conference on Advanced Learning Technologies. 2018, July 09-13, 2018, Bombay, India

HDI 2018, 8. Fachtagung Hochschuldidaktik Informatik – “Digitalisierungswahnsinn – Wege der Bildungstransformation“, GI, Goethe-Universität Frankfurt, 10.-13. September 2018

[Didactics of University Education in Informatics.]

DeLFI 2018, 16. e-Learning Fachtagung Informatik “Digitalisierungswahnsinn – Wege der Bildungstransformation“, GI, Goethe-Universität Frankfurt, 10.-13. September 2018 [16th German Informatics E-Learning Conference.]

GMW 18,  26. Jahrestagung der Gesellschaft für Medien in der Wissenschaft, “ und Hochschulentwicklung“, Universität Duisburg-Essen, 12.-14. September 2018

[26th European Annual Conference of the Society for Media in Science.]

MuC 2018, Mensch & Computer 2018 – “Interaktion verbindet alle”, GI, Congress Center Dresden, 02.-05. September 2018 [Humans & Computers.]

Aktuelle Forschungsprojekte

  • Mobile virtuelle Lernräume zur individuellen Unterstützung von jungen Menschen mit schweren Erkrankungen (MoviLe); Förderer: Programm Erasmus+ der Europäischen Union
  • Dialog 2.0, Wissen teilen – Region stärken; Förderer: Bezirksregierung Detmold, InnoZent OWL, Universität Paderborn
  • Zentrum Musik – Edition – Medien (ZenMEM); Förderer: Bundesministerium für Bildung und Forschung (BMBF)

Unternehmensgründungen

coactum GmbH

Die coactum GmbH entwickelt Software-Lösungen für kooperatives Arbeiten. Dazu bietet sie entsprechende IT-Services sowie IT-Beratung und stellt geeignete Infrastrukturen bereit.

Personal

Sekretariat

Petra Schäfermeyer

Geschäftsstelle Sonderforschungsbereich 901

Marion Hucke (Sekretariat)
Dr. rer. nat. Ulf-Peter Schroeder

Juniorprofessuren

Jun.-Prof. Dr. Alexander Skopalik (bis 06/2018)

Wissenschaftliche Mitarbeiter/innen

Sascha Brandt, M. Sc.
Björn Feldkord, M. Sc.
Matthias Feldotto, M. Sc.
Dr. rer. nat. Matthias Fischer
Manuel Malatyali, M. Sc.
Dr. rer. nat. Christine Markarian (bis 08/2018)
Alexander Mäcker, M. Sc.
Johannes Sebastian Schaefer, M. Sc.
Till Knollmann, M. Sc. (seit 01/2018)
Jannik Sundermeier, M. Sc. (seit 01/2018)

Technische Mitarbeiter/innen

Dipl.-Math. Ulrich Ahlers
Dipl.-Inform. Heinz-Georg Wassing

Publikationen

  • Althaus, E.; Brinkmann, A.; Kling, P.; Meyer auf der Heide, F.; Nagel, L.; Riechers, S.; Sgall, J.; Suess, T.: Scheduling shared continuous resources on many-cores. Journal of Scheduling, 21(1): S. 77 – 92, 2018
  • Benter, M.; Knollmann, T.; Meyer auf der Heide, F.; Setzer, A.; Sundermeier, J.: A Peer-to-Peer based Cloud Storage supporting orthogonal Range Queries of arbitrary Dimension. In: Proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD) (accepted), 20. – 21. Aug. 2018
  • Drees, M.; Feldotto, M.; Riechers, S.; Skopalik, A.: Pure Nash equilibria in restricted budget games. Journal of Combinatorial Optimization 2018
  • Feldkord, B.; Feldotto, M.; Gupta, A.; Guruganesh, G.; Kumar, A.; Riechers, S.; Wajc, D.: Fully Dynamic Bin Packing with Little Repacking. In: Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP), S. 51:1 – 51:24, 9. – 13. Jul. 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
  • Feldkord, B.; Malatyali, M.; Meyer auf der Heide, F.: A Dynamic Distributed Data Structure for Top-k and k-Select Queries. In: Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovic on the Occasion of His 60th Birthday, S. 311 – 329, 2018
  • Feldkord, B.; Meyer auf der Heide, F.: Online Facility Location with Mobile Facilities. In: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), S. 373 – 381, 16. – 18. Jul. 2018, ACM
  • Feldotto, M.; Haake, C.-J.; Skopalik, A.; Stroh-Maraun, N.: Disaggregating User Evaluations Using the Shapley Value. In: Proceedings of the 13th Workshop on the Economics of Networks, Systems and Computation (NetEcon 2018) (accepted), S. 5:1 – 5:6, Jun. 2018
  • Feldotto, M.; Leder, L.; Skopalik, A.: Congestion Games with Mixed Objectives. Journal of Combinatorial Optimization, 36(4): S. 1145 – 1167 2018
  • Hamann, H.; Markarian, C.; Meyer auf der Heide, F.; Wahby, M.: Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets. In: Fun With Algorithms (FUN), S. 22:1 – 22:13, 13. – 15. Jun. 2018
  • Jung, D.; Kolb, C.; Scheideler, C.; Sundermeier, J.: Brief Announcement: Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), S. 231 – 233, 16. – 18. Jul. 2018, ACM
  • Jung, D.; Kolb, C.; Scheideler, C.; Sundermeier, J.: Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) (accepted), 23. – 24. Aug. 2018
  • Knollmann, T.; Scheideler, C.: A Self-Stabilizing Hashed Patricia Trie. In: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer Lecture Notes in Computer Science LNCS, Band 11201 , 4. – 7. Nov. 2018, Springer
  • König, J.; Mäcker, A.; Meyer auf der Heide, F.; Riechers, S.: Scheduling with interjob communication on parallel processors. Journal of Combinatorial Optimization, 36(4): S. 1356 – 1379, 2018
  • Li, S.; Markarian, C.; Meyer auf der Heide, F.: Towards Flexible Demands in Online Leasing Problems. Algorithmica, 80(5): S. 1556 – 1574, 2018
  • Mäcker, A.; Malatyali, M.; Meyer auf der Heide, F.; Riechers, S.: Cost-Efficient Scheduling on Machines from the Cloud. Journal of Combinatorial Optimization, 36(4): S. 1168 – 1194, 2018
  • Markarian, C.: An Optimal Algorithm for Online Prize-collecting Node-weighted Steiner Forest. In: International Workshop on Combinatorial Algorithms (IWOCA), 16. – 19. Jul. 2018
  • Markarian, C.; Abu-Khzam, F. N. ; Meyer auf der Heide, F.; Schubert, M.: Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Adhoc Networks. In: Theory of Computing Systems (TOCS), Nr. 8, S. 1673 – 1684, 2018
  • Meyer auf der Heide, F.; Schaefer, J.: Brief Announcement: Communication in Systems of Home Based Mobile Agents. In: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), S. 359 – 361, 16. – 18. Jul. 2018, ACM

Promotionen

Dr. rer. nat. Daniel Jung
Dr. rer. nat. Matthias Feldotto

Weitere Funktionen

  • Mitglied im Hochschulrat der Universität Paderborn
  • Sprecher des Sonderforschungsbereichs (SFB 901) "On-The-Fly Computing"
  • Mitglied der Nationalen Akademie der Wissenschaften "Leopoldina"
  • Mitglied der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste
  • Mitglied der Deutschen Akademie der Technikwissenschaften "acatech"
  • DFG-Vertrauensdozent der Universität Paderborn
  • Stellvertretender Vorsitzender des Paderborner Instituts für Wissenschaftliches Rechnen (PaSCo)
  • Mitglied des Beirats des "Journal of Interconnection Networks (JOIN)", World Scientific Publishing
  • Vorsitzender des wissenschaftlichen Beirats des Leibniz-Zentrums für Informatik, Schloss Dagstuhl
  • Mitglied des ACM-STOC TheoryFest Invited Papers Committee (2018)
  • Mitglied des Programmkomitees des 16. Workshop on Approximation and Online Algorithms (WAOA 2018)
  • Mitglied des Programmkomitees des 13. Workshop on Parallel Systems and Algorithms (PASA 2018)
  • Mitglied des Programmkomitees des Doktorandenprogramm der INFORMATIK 2017
  • Mitorganisator und Gutachter des Bundeswettbewerb Informatik 2018

Aktuelle Forschungsprojekte

  • DFG – SFB 901 “On-The-Fly Computing”
    • Teilprojekt A1 "Capabilities and limitations of local strategies in dynamic networks"
    • Teilprojekt A3 "The market for services: Incentives, algorithms, implementation"
    • Teilprojekt C4 "On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers"
    • Teilprojekt Z "Organisation und Verwaltung"
  • Distributed Data Streams in Dynamic Environments (DISDAS) im DFG-Schwerpunktprogramm 1736 Algorithms for Big Data, Förderung durch Deutsche Forschungsgemeinschaft (DFG)
  • Resilienz durch Helfernetzwerke zur Bewältigung von Krisen und Katastrophen (RESIBES),  Förderung durch Bundesministerium für Bildung und Forschung (BMBF)

Wissenschaftliche Kooperationen

University of Warwick, Prof. Dr. Artur Czumaj, Warwick, United Kingdom
University of Liverpool, Prof. Dr. Martin Gairing, Liverpool, United Kingdom
Loughborough University, Prof. Dr. Lars Nagel, Loughborough, United Kingdom
KAIST, Prof. Dr. Martin Ziegler, Daejeon, South Korea
Carnegie Mellon University, Prof. Dr. Anupam Gupta, Pittsburgh, USA
Carnegie Mellon University, Dr. David Wajc, Pittsburgh, USA
Carnegie Mellon University, Dr. Guru Guruganesh, Pittsburgh, USA
IIT Delhi, Prof. Dr. Amit Kumar, New Delhi, India
Karls Universität Prag, Prof. Dr. Jiri Sgall, Prag, Tschechien
Haigazian University, Prof. Dr. Christine Markarian, Beirut, Lebanon
Lebanese American University, Prof. Dr. Faisal N. Abu-Khzam, Beirut, Lebanon
Albert-Ludwigs-Universität Freiburg, Prof. Dr. Stefan Kaufmann, Freiburg, Germany
Johannes Gutenberg-Universität Mainz, Prof. Dr. Ernst Althaus, Mainz, Germany
Johannes Gutenberg-Universität Mainz, Prof. Dr. Andre Brinkmann, Mainz, Germany
Ostfalia Hochschule für angewandte Wissenschaften, Prof. Dr. Tim Süß, Suderburg, Germany
University of Augsburg, Prof. Dr. Tobias Harks, Augsburg, Germany
Universität Hamburg, Junior-Professor Dr. Peter Kling, Hamburg, Germany

Gastwissenschaftler/innen

Prof. Dr. Surender Baswana, Department of Computer Science and Engineering, IIT Kanpur, Humboldt-Forschungsstipendium für erfahrene Wissenschaftler (seit 12/2018)

Personal

Sekretariat

Simone Auinger

Wissenschaftliche Mitarbeiter/innen

Afshin Amini, M.Sc. (seit 03/2018)
Alexander Bigerl, M.Sc. (seit 06/2018)
Felix Conrads, B.Sc. (seit 03/2018)
Dr. rer. nat. Abdelmoneim Mahmoud Amer Desouki
Geraldo de Souza, M.Sc.
Rricha Jalota, B.Sc. (seit 09/2018)
Jan Reineke, B.Sc. (03/2018)
Michael Röder, M.Sc.
Dr. rer. nat. Mohamed Sherif
Hussain Abid Syed, M.Sc. (bis 04/2018)
Zafar Habeeb Syed, M.Sc. (seit 08/2018)
Dr. rer. nat. Ricardo Usbeck
Daniel Vollmers, M.Sc. (seit 09/2018)
Adrian Wilke, M.Sc.

Externe Promovenden

Manzoor Ali, M.Sc. (seit 12/2018)
Asep Fajar Firmansyah, M.Tech. (seit 10/2018)
Ria Hari Gusmati, M.Sc.
Hashim Khan, M.Sc. (seit 10/2018)
Hamada Zahera, M.Sc. (seit 05/2018)

Technische Mitarbeiter/innen

Bodo Blume (seit 04/2017)

Publikationen

  • Abdullah Fathi Ahmed, Mohamed Ahmed Sherif, and Axel-Cyrille Ngonga Ngomo. On the effect of geometries simplification on geo-spatial link discovery. In SEMANTiCS 2018 - Research Track, SEMANTiCS '18, 2018.
  • Adnan Akhter, Axel-Cyrille Ngonga Ngomo, and Muhammad Saleem. An empirical evaluation of rdf graph partitioning techniques. In 21st International Conference on Knowledge Engineering and Knowledge Management, 2018.
  • Mohamed Ahmed Sherif and Axel-Cyrille Ngonga Ngomo Abdullah Fathi Ahmed. Radon2: A buffered-intersection matrix computing approach to accelerate link discovery over geospatial rdf knowledge bases (oaei2018 results). In Proceedings of Ontology Matching Workshop 2018, 2018.
  • Ram G. Athreya, Axel-Cyrille Ngonga Ngomo, and Ricardo Usbeck. Enhancing community interactions with data-driven chatbots-the dbpedia chatbot. In Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon, France, April 23-27, 2018, pages 143-146, 2018.
  • Key-Sun Choi, Luis Espinosa Anke, Thierry Declerck, Dagmar Gromann, Jin-Dong Kim, Axel-Cyrille Ngonga Ngomo, Muhammad Saleem, and Ricardo Usbeck, editors. Joint proceedings of the 4th Workshop on Semantic Deep Learning (SemDeep-4) and NLIWoD4: Natural Language Interfaces for the Web of Data (NLIWOD-4) and 9th Question Answering over Linked Data challenge (QALD-9) co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, California, United States of America, October 8th - 9th, 2018, volume 2241 of CEUR Workshop Proceedings. CEUR-WS.org, 2018.
  • Fabrício F. de Faria, Ricardo Usbeck, Alessio Sarullo, Tingting Mu, and André Freitas. Question answering mediated by visual clues and knowledge graphs. In Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon, France, April 23-27, 2018, pages 1937-1939, 2018.
  • Thiago Castro Ferreira, Diego Moussallem, Emiel Krahmer, and Sander Wubben. Enriching the webnlg corpus. In Proceedings of the 11th International Conference on Natural Language Generation, pages 171-176, 2018.
  • Kleanthi Georgala, Daniel Obraczka, and Axel-Cyrille Ngonga Ngomo. Dynamic planning for link discovery. In Aldo Gangemi, Roberto Navigli, Maria-Esther Vidal, Pascal Hitzler, Raphaël Troncy, Laura Hollink, Anna Tordai, and Mehwish Alam, editors, The Semantic Web, ESWC 2018, Lecture Notes in Computer Science, pages 240-255, Cham, 2018. Springer International Publishing.
  • Ali Hasnainb, Muhammad Saleem, Axel-Cyrille Ngonga Ngomo, and Dietrich Rebholz-Schuhmann. Extending largerdfbench for multi-source data at scale for sparql endpoint federation. In ISWC Satellite, SSWS, 2018.
  • Ernesto Jim_enez-Ruiz, Tzanina Saveta, Ondrej Zamazal, Sven Hertling, Michael Röder, Irini Fundulaki, Axel-Cyrille Ngonga Ngomo, Mohamed Ahmed Sherif, Amina Annane, Zohra Bellahsene, Sadok Ben Yahia, Gayo Diallo, Daniel Faria, Marouen Kachroudi, Abderrahmane Khiat, Patrick Lambrix, Huanyu Li, Maximilian Mackeprang, Majid Mohammadi, Maciej Rybinski, Booma Sowkarthiga Balasubramani, and Cassia Trojahn. Introducing the hobbit platform into the ontology alignment evaluation campaign. In Proceedings of the Ontology Matching Workshop 2018, 2018.
  • Edgard Marx, Muhammad Saleem, Ioanna Lytra, and Axel-Cyrille Ngonga Ngomo. A decentralized architecture for sparql query processing and rdf sharing: A position paper. In Semantic Computing (ICSC), 2018 IEEE 12th International Conference on, pages 274-277, 2018.
  • Diego Moussallem, Marcos Zampieri Thiago Castro Ferreira, Maria Claudia Cavalcanti, Geraldo Xexéo, Mariana Neves, and Axel-Cyrille Ngonga Ngomo. Rdf2pt: Generating brazilian portuguese texts from rdf data. In The 11th edition of the Language Resources and Evaluation Conference, 7-12 May 2018, Miyazaki (Japan), 2018.
  • Diego Moussallem, Mohamed Ahmed Sherif, Diego Esteves, Marcos Zampieri, and Axel- Cyrille Ngonga Ngomo. Lidioms: A multilingual linked idioms data set. In The 11th edition of the Language Resources and Evaluation Conference, 7-12 May 2018, Miyazaki (Japan), 2018.
  • Diego Moussallem, Ricardo Usbeck, Michael Röder, and Axel-Cyrille Ngonga Ngomo. Entity linking in 40 languages using mag. In The Semantic Web, ESWC 2018, Lecture Notes in Computer Science, 2018.
  • Diego Moussallem, Matthias Wauer, and Axel-Cyrille Ngonga Ngomo. Machine translation using semantic web technologies: A survey. Journal of Web Semantics, 51:1-19, 2018.
  • Giulio Napolitano, Ricardo Usbeck, and Axel-Cyrille Ngonga Ngomo. The scalable question answering over linked data (sqa) challenge 2018. In Semantic Web Challenges - 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3-7, 2018, Revised Se-lected Papers, pages 69-75, 2018.
  • Axel-Cyrille Ngonga Ngomo, Michael Röder, Diego Moussallem, Ricardo Usbeck, and René Speck. Bengal: An automatic benchmark generator for entity recognition and linking. In Emiel Krahmer, Albert Gatt, and Martijn Goudbeek, editors, Proceedings of the 11th International Conference on Natural Language Generation, Tilburg University, The Netherlands, November 5-8, 2018, pages 339-349. Association for Computational Linguistics, 2018.
  • Michael Röder, Ricardo Usbeck, and Axel-Cyrille Ngonga Ngomo. Gerbil - benchmarkingnamed entity recognition and linking consistently. Semantic Web, 9(5):605-625, 2018.
  • Kuldeep Singh, Arun Sethupat Radhakrishna, Andreas Both, Saeedeh Shekarpour, Ioanna Lytra, Ricardo Usbeck, Akhilesh Vyas, Akmal Khikmatullaev, Dharmen Punjani, Christoph Lange, Maria-Esther Vidal, Jens Lehmann, and Sören Auer. Why reinvent the wheel: Let's build question answering systems together. In Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018, pages 1247-1256, 2018.
  • René Speck and Axel-Cyrille Ngonga Ngomo. Leopard | a baseline approach to attribute prediction and validation for knowledge graph population. Journal of Web Semantics, 2018.
  • René Speck and Axel-Cyrille Ngonga Ngomo. On extracting relations using distributional semantics and a tree generalization. In Proceedings of The 21th International Conference on Knowledge Engineering and Knowledge Management (EKAW'2018), 2018.
  • René Speck, Michael Röder, Felix Conrads, Hyndavi Rebba, Catherine Camilla Romiyo, Gurudevi Salakki, Rutuja Suryawanshi, Danish Ahmed, Nikit Srivastava, Mohit Mahajan, and Axel-Cyrille Ngonga Ngomo. Open knowledge extraction challenge 2018. In Semantic Web Evaluation Challenge, pages 39-51. Springer International Publishing, 2018.
  • Ricardo Usbeck, Ria Hari Gusmita, Axel-Cyrille Ngonga Ngomo, and Muhammad Saleem. 9th challenge on question answering over linked data (qald-9) (invited paper). In Joint proceedings of the 4th Workshop on Semantic Deep Learning (SemDeep-4) and NLIWoD4: Natural Language Interfaces for the Web of Data (NLIWOD-4) and 9th Question Answering over Linked Data challenge (QALD-9) co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, California, United States of America, October 8th -9th, 2018., pages 58-64, 2018.
  • Ricardo Usbeck, Axel-Cyrille Ngonga Ngomo, Felix Conrads, Michael Röder, and Giulio Napolitano. 8th challenge on question answering over linked data (qald-8). In Joint pro-ceedings of the 4th Workshop on Semantic Deep Learning (SemDeep-4) and NLIWoD4: Natural Language Interfaces for the Web of Data (NLIWOD-4) and 9th Question Answering over Linked Data challenge (QALD-9) co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, California, United States of America, October 8th -9th, 2018., pages 51-57, 2018.
  • Ricardo Usbeck, Michael Röder, Michael Hoffmann, Felix Conrads, Jonathan Huthmann, Axel-Cyrille Ngonga-Ngomo, Christian Demmler, and Christina Unger. Benchmarking question answering systems. Semantic Web Journal, 2018.
  • Andre Valdestilhas, Tommaso Soru, Markus Nentwig, Edgard Marx, Muhammad Saleem, and Axel-Cyrille Ngonga Ngomo. Where is my uri? In European Semantic Web Conference, pages 671-681, 2018.
  • Matthias Wauer, Mohamed Sherif, Muhammad Saleem, Olaf Hartig, Ricardo Usbeck, Ruben Verborgh, and Axel-Cyrille Ngonga Ngomo, editors. Proceedings of the 3rd International Workshop on Geospatial Linked Data and the 2nd Workshop on Querying the Web of Data co-located with 15th Extended Semantic Web Conference (ESWC 2018), Heraklion, Greece, June 3, 2018, volume 2110 of CEUR Workshop Proceedings. CEUR-WS.org, 2018.

Preise und Auszeichnungen

  • Best workshop paper: Extending LargeRDFBench for Multi-Source Data at Scale for SPARQL Endpoint Federation by Ali Hasnainb, Muhammad Saleem, Axel-Cyrille Ngonga Ngomo, and Dietrich Rebholz-Schuhmann in ISWC Satellite Events and SSWS, 2018
  • Best research paper: CostFed: Cost-Based Query Optimization for SPARQL Endpoint Federation by Muhammad Saleem, Alexander Potocki, Tommaso Soru, Olaf Hartig, and Axel-Cyrille Ngonga Ngomo in Semantics Semantics 2018
  • Honorable mention (Runnerup to best paper): Where is my URI?  by A Valdestilhas, T Soru, M Nentwig, E Marx, M Saleem, ACN Ngomo Extended Semantic Web Conference (ESWC)

Weitere Funktionen
Mitglied in Programmkomitees:

  • Extended Semantic Web Conference
  • International Web Conference
  • Web Conference
  • Language Data Knowledge Conference

Beirat des DASCO

Aktuelle Forschungsprojekte

  • LIMBO -  Linked Data Services for Mobility - Smart Mobility Services, Förderung durch das BMVi
  • OPAL -  Open Data Portal, Förderung durch das BMVi
  • SOLIDE - Sprachgesteuerte, kontextuelle Lagebildinformation für Stäbe und Einsatzkräfte im Bevölkerungsschutz-Verbund (SOLIDE), Förderung durch BMBF 

Wissenschaftliche Kooperationen

  • Universität Bonn, Prof. Dr. Jens Lehmann, Deutschland
  • Universität Hannover, Prof. Dr. Sören Auer, Deutschland
  • FORTH, Dr. Irini Fundulaki, Griechenland
  • NCSR „Demokritos“, Prof. Dr. George Paliouras, Griechenland
  • KAIST, Prof. Dr. Key-Sun Choi, Südkorea
  • DBCLS, Prof. Dr. Jin-Dong Kim, Japan
  • iMec, Prof. Dr. Eric Mannens, Belgien
  • Universität Dresden, Dr. Habil. Anni-Yasmin Turhan
  • Universität Dresden, Prof. Dr. Franz Baader
  • Universität Wien, Prof. Dr. Axel Polleres

Personal

Sekretariat

Paraskewi Antoniou (bis 02/2018)
Jennifer Neumann (seit 02/2018)

Wissenschaftliche Mitarbeiter/-innen

Muhammad Awais, M. Sc.
Dr. Hassan Ghasemzadeh Mohammadi
Nam Ho, M. Sc. (bis 03/2018)
Achim Lösch, Dipl-Inform. 
Tobias Wiersema, M. Sc. 
Linus Witschen, M. Sc. 
Lennart Clausing, M. Sc. (ab 08/2018)

Publikationen

  • Lösch, A.; M. Platzner: Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, pp. 73–84, 2018.
  • Lösch, A.; M. Platzner: A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes. In IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2018.
  • Awais M., Mohammadi H.G., M.: An MCTS-based Framework for Synthesis of Approximate Circuits. in 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2018.
  • Witschen, L.; Wiersema, T.; Mohammadi, H. G.; Platzner, M.:. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Presented at the Third Workshop on Approximate Computing (AxC) 2018, Bremen, Germany, 2018.
  • Witschen, L.:, Wiersema,T.; Platzner, M.: Making the Case for Proof-carrying Approximate Circuits. Presented at the 4th Workshop on Approximate Computing (WAPCO) 2018, Manchester, England, 2018.
  • Ghribi,I.; Abdallah, R.B.; Zhiwu Li, M. K.; Alnowibet, K.; Platzner, M.: R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints. IEEE Access, 6:14078–14092, 2018. 
  • Hansmeier, T.; Platzner, M.; Andrews, D.: An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In Proceedings of the International Symposium on 
  • Applied Reconfigurable Computing, pages 153–165, 2018. Springer International Publishing.

Preise und Auszeichnungen

Best Paper Award am International Symposium on Applied Reconfigurable Computing, 2018. 

Weitere Funktionen
Mitglied in Editorial Boards:

  • EURASIP Journal on Embedded Systems (Springer) 
  • International Journal on Reconfigurable Systems (Hindawi)  
  • Design Automation of Embedded Systems (Springer)
  •  Journal of Electrical and Computer Engineering (Hindawi)
  • ACM Transactions on Reconfigurable Technology and Systems

Mitglied des Vorstands des Paderborn Center for Parallel Computing
Stellvertretender Sprecher des SFB 901 „On-The-Fly Computing“
Mitglied der „International Graduate School on Dynamic Intelligent Systems“, Universität Paderborn
Mitglied des Vorstands des Paderborn Institute for Advanced Studies in Computer Science and Engineering (PACE), Universität Paderborn
Mitglied des Vorstandes des Fakultätentags Informatik (FTI)

Aktuelle Forschungsprojekte

  • DFG – SFB 901 „On-The-Fly-Computing“, Teilprojekt B4: Proof Carrying Services. 
  • DFG – SFB 901 „On-The-Fly-Computing“, Teilprojekt C2: Compute Centers I: Heterogeneous Execution Environments
  • DFG Transferprojekt „Flexible Realisierung von Industrial Analytics Funktionen auf rekonfigurierbaren Systems-on-Chip" 

Personal

Sekretariat

Michaela Kemper

Wissenschaftliche Mitarbeiter/-innen

Dipl.-Inform. Bernard Bauer
Paolo Gorlani, M. Sc. (seit 01.03.2018)
Dr. Tobias Kenter
Michael Laß, M. Sc.
Heinrich Riebler, M. Sc.
Dr. Jens Simon
Gavin Vaz, M. Sc.

Technische Mitarbeiter

Dipl.-Inform. Axel Keller
Holger Nitsche
Dipl.-Ing. Andreas Krawinkel

Auszubildende

Selina Dettmer (seit 01.08.2018)
Nils Winnwa
Marcel Wilkowsky

Publikationen

  • Lass, M.; Mohr, S.; Wiebeler, H.; Kühne, T.; Plessl, C.: A Massively Parallel Algorithm for the Approximate Calculation of Inverse p-th Roots of Large Sparse Matrices. Proc. Platform for Advanced Scientific Computing (PASC) Conference, ACM, 2018.  
  • Kenter, T.; Mahale, G.; Alhaddad, S.; Grynko, Y.; Schmitt, C.; Afzal, A.; Hannig, F.; Förstner, J.; Plessl,C.: OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes. Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE, 2018.
  • Riebler, H.; Vaz, G.F.; Kenter, T.; Plessl, C.: Automated Code Acceleration Targeting Heterogeneous OpenCL Devices. Proc. of ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP), ACM, 2018.
  • Lass, M.; Kühne, T.; Plessl, C.: Using Approximate Computing for the Calculation of Inverse Matrix p-th Roots. Embedded Systems Letters 10 (2018), IEEE, 33–36.
  • Mertens, J.C.; Boschmann, A.; Schmidt, M.; Plessl, C: Sprint diagnostic with GPS and inertial sensor fusion. Sports Engineering 21 (2018), Springer, 441–451.

Weitere Funktionen

Geschäftsführer und Vorstandsvorsitzender des PC2
Mitglied im Fakultätsrat
Repräsentant der Universität Paderborn in der Gauß-Allianz e.V.

Aktuelle Forschungsprojekte

  • SFB901 – „On-The-Fly Computing“, Teilprojekt C2: On-The-Fly Compute Centers I: Heterogeneous Execution Environments, Förderung durch DFG
  • HighPerMeshes – Domänenspezifische Programmierung und zielplattformbewusste Compiler-Infrastruktur für Algorithmen auf unstrukturierten Gittern, Förderung durch BMBF
  • PerficienCC – Performance und Effizienz in HPC mit Custom Computing (PL 595/2-1), Förderung durch DFG
  • Forschungsbau Noctua, Programmatisch Strukturelle Linie “Hochleistungsrechner”, Förderung durch Wissenschaftsrat/GWK

Personal

Sekretariat

Lydia Kreiss

Juniorprofessur

Jun.-Prof. Dr.-Ing. Christoph Sommer

Wissenschaftliche Mitarbeiter/innen

Muhammad Sohaib Amjad, M.Sc.
Johannes Blobel, M.Sc.
Dominik Buse, M.Sc.
Felix Erlacher, M.Sc. (seit 02/2018)
Dr. Florian Klingler
Tobias Hardes, M.Sc. (seit 01/2018)
Julian Heinovski, M.Sc. (seit 10/2018)
Agon Memedi, M.Sc.
Muhammad Nabeel, M.Sc.
Gurjashan Singh Pannu, M.Sc.
Maximilian Schettler, M.Sc. (seit 10/2018)
Dr. Jan Tünnermann (bis 09/2018)

Externe Promovenden

Florian Hagenauer, M.Sc.
Claas Tebrügge, M.Sc.

Stipendiaten

Quang-Huy Nguyen, M.Sc

Technische Mitarbeiter/innen
Dipl.-Ing. (FH) Hans-Joachim Kraus

Publikationen

  • Buse, D. S.; Schettler, M.; Kothe, N.; Reinold, P.; Sommer, C.; Dressler, F.: Bridging Worlds: Integrating Hardware-in-the-Loop Testing with Large-Scale VANET Simulation. In: 14th IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS 2018). Isola 2000, France: IEEE, Feb. 2018, pp. 33–36.
  • Dressler, F.; Klingler, F.; Sommer, C.; Cohen, R.: Not All VANET Broadcasts Are the Same: Context-Aware Class Based Broadcast. In: IEEE/ACM Transactions on Networking 26.1 (Feb. 2018), pp. 17–30.
  • Memedi, A.; Sommer, C.; Dressler, F.: On the Need for Coordinated Access Control for Vehicular Visible Light Communication. In: 14th IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS 2018). Isola 2000, France: IEEE, Feb. 2018, pp. 121–124.
  • Amjad, M. S.; Nawaz, H.; Ozsoy, K.; Gurbuz, O.; Tekin, I.: A Low-Complexity Full-Duplex Radio Implementation With a Single Antenna. In: IEEE Transactions on Vehicular Technology 67.3 (Mar. 2018), pp. 2206–2218. issn: 0018-9545.
  • Dressler, F.: Cyber Physical Social Systems: Towards Deeply Integrated Hybridized Systems. In: IEEE International Conference on Computing, Networking and Communications (ICNC 2018). Maui, HI: IEEE, Mar. 2018, pp. 420–424.
  • Buse, D. S.; Sommer, C.; Dressler, F.: Integrating a Driving Simulator with City-Scale VANET Simulation for the Development of Next Generation ADAS Systems. In: 37th IEEE Conference on Computer Communications (INFOCOM 2018), Demo Session. Honolulu, HI: IEEE, Apr. 2018.
  • Erlacher, F.; Dressler, F.: FIXIDS: A High-Speed Signature-based Flow Intrusion Detection System. In: IEEE/IFIP Network Operations and Management Symposium (NOMS 2018). Taipei, Taiwan: IEEE, Apr. 2018.
  • Altintas, O.; Banerjee, S.; Dressler, F.; Heijenk, G.: Executive Summary - Inter-Vehicular Communication Towards Cooperative Driving. In: Dagstuhl Seminar 18202 - Inter-Vehicular Communication Towards Cooperative Driving. Schloss Dagstuhl, Wadern, Germany: Schloss Dagstuhl, May 2018, pp. 31–59.
  • Bloessl, B.; Segata, M.; Sommer, C.; Dressler, F.: Performance Assessment of IEEE 802.11p with an Open Source SDR-based Prototype. In: IEEE Transactions on Mobile Computing 17.5 (May 2018), pp. 1162–1175.
  • Yu, B.; Bai, F.; Dressler, F.: Guest Editorial - Connected and Autonomous Vehicles. In: IEEE Internet Computing 22.3 (May 2018), pp. 4–5.
  • Eckhoff, D.; Sommer, C.: Readjusting the Privacy Goals in Vehicular Ad-hoc Networks: A Safety-preserving Solution Using Non-Overlapping Time-slotted Pseudonym Pools. In: Elsevier Computer Communications 122 (June 2018), pp. 118–128.
  • Heinovski, J.; Klingler, F.; Dressler, F.; Sommer, C.: A Simulative Analysis of the Performance of IEEE 802.11p and ARIB STD-T109. In: Elsevier Computer Communications 122 (June 2018), pp. 84–92.
  • Higuchi, T.; Dressler, F.; Altintas, O.: How to Keep a Vehicular Micro Cloud Intact. In: 87th IEEE Vehicular Technology Conference (VTC2018-Spring). Porto, Portugal: IEEE, June 2018.
  • Nabeel, M.; Bloessl, B.; Dressler, F.: Efficient Receive Diversity in Distributed Sensor Networks using Selective Sample Forwarding. In: IEEE Transactions on Green Communications and Networking 2.2 (June 2018), pp. 336–345.
  • Pannu, G. S.; Higuchi, T.; Altintas, O.; Dressler, F.: Efficient Uplink from Vehicular Micro Cloud Solutions to Data Centers. In: 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2018). Chania, Greece: IEEE, June 2018.
  • Turcanu, I.; Klingler, F.; Sommer, C.; Baiocchi, A.; Dressler, F.: Duplicate Suppression for Efficient Floating Car Data Collection in Heterogeneous LTE-DSRC Vehicular Networks. In: Elsevier Computer Communications 123 (June 2018), pp. 54–64.
  • Djahel, S.; Sommer, C.; Marconi, A.: Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart Cities. In: IEEE Transactions on Intelligent Transportation Systems 19.7 (July 2018), pp. 2152–2155.
  • Erlacher, F.; Dressler, F.: How to Test an IDS? GENESIDS: An Automated System for Generating Attack Traffic. In: ACM SIGCOMM 2018, Workshop on Traffic Measurements for Cybersecurity (WTMC 2018). Budapest, Hungary: ACM, Aug. 2018, pp. 46–51.
  • Erlacher, F.; Dressler, F.: Testing IDS using GENESIDS: Realistic Mixed Traffic Generation for IDS Evaluation. In: ACM SIGCOMM 2018, Demo Session. Budapest, Hungary: ACM, Aug. 2018, pp. 153–155.
  • Klingler, F.; Blobel, J.; Dressler, F.: Agriculture meets IEEE 802.11p: A Feasibility Study. In: 15th IEEE International Symposium on Wireless Communication Systems (ISWCS 2018). Lisbon, Portugal: IEEE, Aug. 2018.
  • Klingler, F.; Dressler, F.; Sommer, C.: The Impact of Head of Line Blocking in Highly Dynamic WLANs. In: IEEE Transactions on Vehicular Technology 67.8 (Aug. 2018), pp. 7664–7676.
  • Hagenauer, F.; Sommer, C.; Higuchi, T.; Altintas, O.; Dressler, F.: Vehicular Micro Cloud in Action: On Gateway Selection and Gateway Handovers. In: Elsevier Ad Hoc Networks 78 (Sept. 2018), pp. 73–83.
  • Kruse, S.; Kress, C.; Memedi, A.; Tebruegge, C.; Amjad, M. S.; Scheytt, C.; Dressler, F.: Design of an Automotive Visible Light Communications Link using an Off-The-Shelf LED Headlight. In: 16th GMM/ITG-Symposium ANALOG 2018. Munich, Germany: VDE, Sept. 2018.
  • Reinold, P.; Meyer, N.; Buse, D. S.; Klingler, F.; Sommer, C.; Dressler, F.; Eisenbarth, M.; Andert, J.: Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest. In: MTZ-Fachtagung Simulation und Test - Antriebsentwicklung im digitalen Zeitalter. Hanau, Germany: Springer, Sept. 2018.
  • Bloessl, B.; Dressler, F.: mSync: Physical Layer Frame Synchronization Without Preamble Symbols. In: IEEE Transactions on Mobile Computing 17.10 (Oct. 2018), pp. 2321–2333.
  • Duda, N.; Nowak, T.; Hartmann, M.; Schadhauser, M.; Cassens, B.; Wägemann, P.; Nabeel, M.; Ripperger, S.; Herbst, S.; Meyer-Wegener, K.; Mayer, F.; Dressler, F.; Schröder-Preikschat, W.; Kapitza, R.; Robert, J.; Thielecke, J.; Weigel, R.; Kölpin, A.: BATS: Adaptive Ultra Low Power Sensor Network for Animal Tracking. In: Sensors 18.10 (Oct. 2018), pp. 3342–35.
  • Erlacher, F.; Dressler, F.; Fischer, J.-T.: New Insights on a Sensor Network based Measurement Platform for Avalanche Dynamics. In: International Snow Science Workshop (ISSW 2018). Innsbruck, Austria, Oct. 2018.
  • Altintas, O.; Higuchi, T.; Dressler, F.: Gateway Selection for a Virtual Parked Vehicle Network. US Patent 15/624,045. US Patent Office, Dec. 2018.
  • Bronner, F.; Sommer, C.: Efficient Multi-Channel Simulation of Wireless Communications. In: 10th IEEE Vehicular Networking Conference (VNC 2018). Taipei, Taiwan: IEEE, Dec. 2018.
  • Heinovski, J.; Dressler, F.: Platoon Formation: Optimized Car to Platoon Assignment Strategies and Protocols. In: 10th IEEE Vehicular Networking Conference (VNC 2018). Taipei, Taiwan: IEEE, Dec. 2018.
  • Higuchi, T.; Pannu, G. S.; Dressler, F.; Altintas, O.: Content Replication in Vehicular Micro Cloud-based Data Storage: A Mobility-Aware Approach. In: 10th IEEE Vehicular Networking Conference (VNC 2018). Taipei, Taiwan: IEEE, Dec. 2018.
  • Koepe, J.; Kaltschmidt, C.; Illian, M.; Puknat, R.; Kneuper, P.; Wittemeier, S.; Memedi, A.; Tebruegge, C.; Amjad, M. S.; Kruse, S.; Kress, C.; Scheytt, C.; Dressler, F.: First Performance Insights on Our Novel OFDM-based Vehicular VLC Prototype. In: 10th IEEE VehicularNetworking Conference (VNC 2018), Poster Session. Taipei, Taiwan: IEEE, Dec. 2018.
  • Memedi, A.; Tebruegge, C.; Jahneke, J.; Dressler, F.: Impact of Vehicle Type and Headlight Characteristics on Vehicular VLC Performance. In: 10th IEEE Vehicular Networking Conference (VNC 2018). Taipei, Taiwan: IEEE, Dec. 2018.
  • Nabeel, M.; Amjad, M. S.; Dressler, F.: Preamble-Less Diversity Combining: Improved Energy-Efficiency in Sensor Networks. In: IEEE Global Telecommunications Conference (GLOBECOM 2018). Abu Dhabi, UAE: IEEE, Dec. 2018.
  • Dressler, F.; Klingler, F.; Segata, M.; Lo Cigno, R.: Cooperative Driving and the Tactile Internet. In: Proceedings of the IEEE (2018). available online.
  • Klingler, F.; Cohen, R.; Sommer, C.; Dressler, F.: Bloom Hopping: Bloom filter based 2-Hop Neighbor Management in VANETs. In: IEEE Transactions on Mobile Computing (2018). available online.

Promotionen

Dr. Bastian Bloessl
Dr. Florian Klingler

Weitere Funktionen

Prof. Dr.-Ing. Falko Dressler

Associate Editor (since 2017): IEEE Transactions on Network Science and Engineering

Associate Editor-in-Chief (since 2016): Elsevier Computer Communications

Associate Editor (since 2013): IEEE Transactions on Mobile Computing

Editorial Board (since 2009): Elsevier Nano Communication Networks

Editorial Board (since 2008): Elsevier Ad Hoc Network

Executive Committee (since 2017): ACM SIGMOBILE (elected treasurer 2017-2021)

Executive Board (since 2016): L-LAB ("Light Laboratory" between the Paderborn University and Hella KGaA)

Board of Directors (since 2016): Heinz Nixdorf Institute

IEEE COMSOC Confernce Council (2016-2017)

Steering Committee (since 2016): IEEE VNC (IEEE Vehicular Networking Conference)

Steering Committee (since 2012): IEEE/IFIP WONS (IEEE/IFIP Annual Conference on Wireless On demand Network Systems and Services)

Steering Board (since 2009): GI/ITG KuVS (German Society for Communication and Distributed Systems)

Weitere Funktionen

Jun.-Prof. Dr.-Ing. Christoph Sommer

Editorial Board, ACM/Springer Wireless Networks (WINET)

Area Editor, Elsevier Computer Communications (COMCOM)

Elected steering board member 2017-2021, GI/ITG KuVS (German Society for Communication and Distributed Systems)

Steering Committee, GI/ITG KuVS Fachgespräch Inter-Vehicle Communication

Steering Committee, ACM/ICST International Workshop on OMNeT++ (now OMNeT++ Community Summit)

Aktuelle Forschungsprojekte

PANDA - Precise Attack Detection for Network Domains by Application Classification
MAMOKO - Macroscopic Molecular Communication
RADCOM-HETNET - Integration of Radar-based Communication in Heterogeneous Vehicular Networks for Cooperatively Interacting Cars
CarParkComm
AgriculturalV2V
Car2DC - Hierarchical Vehicular Cloud Computing
Safety4Bikes - Safety assistance system for cycling kids
APPSTACLE - open standard APplication Platform for carS and TrAnsportation vehiCLEs
SPEAR - Smart Prognosis of Energy with Allocation of Resources
V-VLC - Visible Light based Vehicular Communication
Hy-Nets - Efficient Hybrid Propulsion using Vehicular Networks
RESIBES - Disaster-resilience by helper networks for emergency response
Offloading Strategies for Energy Efficient Smartphone
BATS - Dynamically adaptive applications for bat localization using embedded communicating sensor systems

Wissenschaftliche Kooperationen

University of California, Los Angeles, USA, Prof. Danijela Cabric
University of California, Los Angeles, USA, Prof. Mario Gerla
National Taiwan University, Taiwan, Prof. Michael Tsai
George Washington University, USA + Shandong University, China, Prof. Xiuzhen Cheng
University of Trento, Italy, Prof. Renato Lo Cigno
BTU Cottbus, Germany, Prof. Hartmut König
FAU Erlangen, Germany, Prof. Robert Weigel
FAU Erlangen, Germany, Prof. Robert Schober
Shandong University, China, Prof. Dongxiao Yu
University of Kassel, Germany, Prof. Klaus David
Hong Kong Polytechnic University, Hong Kong, China, Prof. Jiannong Cao

Personal

Sekretariat

Marion Hucke

Wissenschaftliche Mitarbeiter

Michael Feldmann, M. Sc.
Dr. Rainer Feldmann
Thorsten Götte, M. Sc.
Kristian Hinnenthal, M. Sc.
Dipl.-Math. Christina Kolb
Alexander Setzer, M. Sc.

Technische Mitarbeiter
Dipl.-Math. Ulrich Ahlers
Dipl.-Inform. Thomas Thissen

Publikationen

Weitere Funktionen

General Chair des ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)
Mitglied des Steering Committees der SIROCCO Konferenz
Associate Editor des Journal of Computer and System Sciences
Managing Editor des Journal of Interconnection Networks
Stellvertretender Sprecher des Fachbereichs „Grundlagen der Informatik“ in der Gesellschaft für Informatik
Associate Editor des Journal of the ACM

Aktuelle Forschungsprojekte

  • DFG – SFB 901 „On-The-Fly Computing“
    • Teilprojekt A1: Möglichkeiten und Grenzen lokaler Strategien in dynamischen Netzen
    • Teilprojekt C1: Robustheit und Sicherheit
  • DFG-Projekt SCHE 1592/6-1 „Algorithmen für programmierbare Materie in einem physiologischen Medium“

Wissenschaftliche Kooperationen

Prof. Dr. Fabian Kuhn, Universität Freiburg, Deutschland
Prof. Dr. A.W. Richa, Arizona State University, USA
Prof. Dr. Irina Kostitsyna, TU Eindhoven, Niederlande
Prof. Dr. John Augustine, Indian Institute of Technology Madras, Indien
Prof. Dr. Shlomi Dolev, Ben-Gurion University of the Negev, Israel
Prof. Dr. Peter Robinson, London School of Economics and Political Science, Großbritannien

Gastwissenschaftler

Prof. Dr. Fabian Kuhn, Universität Freiburg, Deutschland

Personal

Sekretariat

Cornelia Wiederhold

Wissenschaftliche Mitarbeiter

Lea Budde, M. Ed.
Dipl.-Inform. Dietrich Gerstenberger
Birte Heinemann, M. Sc.
Florian Kapp, M. Ed.
Jessica Krüger, M. Sc. (bis 12/2018)
Melanie Margaritis-Kopecki, M. Sc.
Kathrin Müller, M. Sc.
Dipl.-Ing. Simone Opel
Michael Schlichtig, M. Sc.
Ann-Katrin Schmidt, M. Ed.

Publikationen

  • Bergner, N., Köster, H., Magenheim, J., Müller, K., Romeike, R., Schroeder, U., Schulte, C.(2018): Zieldimensionen informatischer Bildung im Elementar- und Prim­arbereich. In: Stiftung Haus der kleinen Forscher (Hrsg.), Frühe informatische Bil­dung – Ziele und Gelingensbedingungen für den Elementar- und Primarbereich. Wis­senschaftliche Untersuchungen zur Arbeit der Stiftung „Haus der kleinen Forscher" (Band 9). Opladen, Berlin, Toronto: Verlag Barbara Budrich
  • Danielsiek, H., Hubwieser, P., Krugel, J., Magenheim, J., Ohrndorf, L., Ossenschmidt, D., Schaper, N., Vahrenhold, J. (2018): Verbundprojekt KETTI: Kom­petenzerwerb von Tutorinnen und Tutoren in der Informatik. In Anke Hanft, Franziska Bischoff, Stefanie Kretschmer (Hrsg.) März 2018  2. Auswertungsworkshop der Be­gleitforschung, Dokumentation der Projektbeiträge S. 37 – 42
  • Magenheim, J., Schulte, C., Schroeder, U., Humbert, L., Müller, K., Bergner, N., Fricke, M.: Das Projekt „Informatik an Grundschulen“. In: LOG IN, Informatische Bil­dung und Computer in der Schule (Hrsg.). LOG IN Verlag GmbH, Berlin, Heft Nr.189/190, S. 57-66
  • Sentance, S., Barendsen, E.; Schulte, C. (2018) (Eds.) Computer Science Education: Perspectives on Learning and Teaching in School. Bloomsbury
  • Biehler, R., Budde, L., Frischemeier, D., Heinemann, B., Podworny, S., Schulte, C., & Wassong, T. (Eds.). (2018). Paderborn Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts. Paderborn: Universitätsbiblio­thek Paderborn
  • Biehler, R., Schulte, C. (2018). Perspectives for an interdisciplinary data science cur­riculum at German secondary schools. In: R. Biehler, L. Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte & T. Wassong (Eds.), Paderborn Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts (pp. 2-14). Paderborn: Universitätsbibliothek Paderborn
  • Magenheim, J. (2018): Data science as a school subject in secondary education from the perspective of computer science education In: R. Biehler, L. Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte & T. Wassong (Eds.), Pader­born Symposium on Data Science Education at School Level 2017: The Collected Extended Abstracts (pp. 95-102). Paderborn: Universitätsbibliothek Paderborn
  • Magenheim, J., Müller, K., Schulte, C., Bergner, N., Haselmeier, K., Humbert, L., Müller, D., Schroeder. U.: „Evaluation of Learning Informatics in Primary Education“. In: International Conference on Informatics in Schools: Situation, Evolution, and Per­spectives, 339–53. Springer, 2018
  • Müller, K., Schulte, C.: „Are Children Perceiving Robots As Supporting or Replacing Humans?: First Empirical Results and Classification of Preconceptions Within a Theoretical Framework“. In: Proceedings of the 13th  Workshop in Primary and Secondary Computing Education, 10:1–10:4. WiPSCE ’18. New York, NY, USA: ACM, 2018
  • Schulte, C., Krüger, J., Gödecke, A., Schmidt, A.-K.: „The Computing Repair Cafe: A Concept for Repair Cafes in Computing Edcuation“. In: Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 24:1–24:6. WiPSCE ’18. New York, NY, USA: ACM, 2018
  • Brinda, T., Diethelm, I., Hellmig, L., Magenheim, J., Romeike, R.,Schroeder. U. (2018): Kritische Entgegnung auf die Studie „Zur Relevanz informatischer Bildung  in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen“. MedienPädagogik 33, (Oktober), 1–10. https://doi.org/10.21240/mpaed/33/2018.10.29.X.
  • Heinemann, B., Opel, S., Budde, L., Schulte, C., Frischemeier, D., Biehler, R., Podworny, S., Wassong, T. (2018). Drafting a Data Science Curriculum for Secondary Schools. In: 18th Koli Calling International Conference on Computing Education Research (Koli Calling ’18), November 22–25, 2018, Koli, Finland. ACM, New York, NY, USA
  • Schulte, C., Budde, L.: A Framework for Computing Education: Hybrid Interaction System. The need for a bigger picture in computing education. In: 18th  Koli Calling International Conference on Computing Education Research (Koli Calling ’18), November 22–25, 2018, Koli, Finland. ACM, New York, NY, USA
  • Bednarik, R., Schulte, C., Budde, L., Heinemann, B., Vrzakova, H.: Eye-movement Modeling Examples in Source Code Comprehension: A Classroom Study. In: 18th  Koli Calling International Conference on Computing Education Research (Koli Calling ’18), November 22–25, 2018, Koli, Finland. ACM, New York, NY, USA

Preise und Auszeichnungen

Schulte, C., Budde L. - Best Paper Award – 18th Koli Calling ’18, Finland

Weitere Funktionen Prof. Dr. Schulte

Mitglied im Programmkomitee “EMIP’18,, Warschau
Mitglied im Leitungsgremium „GI-Fachgruppe Didaktik der Informatik“
Mitglied im Programmkomitee „HDI - Hochschuldidaktik der Informatik“
Mitglied im Programmkomitee „WiPSCE“, Potsdam
Mitglied im Programmkomitee „Koli Calling“, Finnland

Weitere Funktionen Prof. Dr. Magenheim

Mitglied im Leitungsgremium GI-Fachbereich IAD
Mitglied im Leitungsgremium GI-Fachgruppe Didaktik der Informatik
Mitglied im Leitungsgremium GI Fachgruppe ISH
Mitglied in der GI FG ‚E-learning’
Mitglied des GI-IFIP Beirats
IFIP: Deutscher Vertreter im IFIP TC3
Mitglied IFIP WG 3.1 „Informatics and ICT in Secondary Education“
Mitglied IFIP WG 3.3 – „Research on Education Applications of Information Technol­ogies“
Experte der Schweizerischen Akademie der Technischen Wissenschaften (SATW)
Mitglied im Editorial Board der Zeitschrift ‚Education and Information Technologies’ (Springer)
Mitglied im Wissenschaftlichen Beirat der Stiftung ‚Haus der kleinen Forscher’
Mitglied im Programmkomitee „HDI - Hochschuldidaktik der Informatik“
Mitglied im Programmkomitee „WiPSCE“
Mitglied im Programmkomitee der DeLFI
Mitglied im Programmkomitee der IEEE-Educon
Mitglied im Programmkomitee eLmL ‘Conference on Mobile, Hybrid, and On-line Learning’

Aktuelle Forschungsprojekte

  • RETIBNE „Reparaturwissen als Element einer technischen und informatischen Bil­dung für nachhaltige Entwicklung“, Förderung durch DBU
  • LZI „Lernzentrum Informatik“ Das Lernzentrum Informatik trägt als Bestandteil des Programms "Heterogenität als Chance" innerhalb des Qualitätspakts Lehre zur Ver­besserung der Studienbedingungen bei, Förderung durch BMBF
  • Informatik an Grundschulen in NRW, Förderung durch MSB
  • Evaluation Informatik an Grundschulen in NRW, Förderung durch MSB
  • ProDaBi „Data Science und Big Data in der Schule“, Förderung durch die Deutsche Telekom Stiftung
  • KETTI (Kompetenzerwerb von Tutorinnen und Tutoren in der Informatik), Förderung durch BMBF
  • MLS (Mobiles Lernen in Smart Factories), Förderung durch BMBF

Wissenschaftliche Kooperationen

University of Eastern Finland, Prof. Dr. Roman Bednarik, Joensuu, Finnland

Personal

Sekretariat

Irene Roger

Wissenschaftliche Mitarbeiter/-innen

Adrian Hülsmann, M. Sc.
Anastasia Wawilow, M. Sc.

Weitere Funktionen

Mitglied des Leitungsgremiums der Fachgruppe INSYDE (Methoden und Werkzeuge zur Entwicklung interaktiver Systeme) der Gesellschaft für Informatik
Betreuer Austauschprogramm der Université du Maine, Le Mans, Frankreich
Leitung der KoaLA-NG / PANDA Usability Evaluationsgruppe

Aktuelle Forschungsprojekte

  • Zentrum Musik – Edition – Medien, „Musik und nicht-textuelle Objekte im Kontext digitaler Editionen“, Koordinator Prof. Dr. Joachim Veit, Universität Paderborn, Förderung durch BMBF

Personal

Sekretariat

Beatrix Wiechers (bis 05/2018)
Gabriele Parisi (ab 06/2018)

Wissenschaftliche Mitarbeiter/innen

Milad Alshomary, M.Sc. (seit 07/2018)

Externe Promovenden

Roxanne El Baff, M.Sc. (seit 04/2018)

Technische Mitarbeiter/innen

Friedhelm Wegener (seit 04/2018)

Publikationen

  • Chen, W.-F.; Wachsmuth, H., Al-Khatib, K.; Stein, B.: Learning to Flip the Bias of News Headlines. In Proceedings of the 11th International Conference on Natural Language Generation, pages 79–88, 2018.
  • Ajjour, Y.; Wachsmuth, H.; Kiesel, D.; Riehmann, P.; Fan, F.; Castiglia, G.; Adejoh, R.; Fröhlich, B.; Stein, B.: Visualization of the Topic Space of Argument Search Results in args.me. In Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, pages 60–65, 2018.
  • El Baff, R.; Wachsmuth, H.; Al-Khatib, K.; Stein, B.: Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus. In Proceedings of the 22nd Conference on Computational Natural Language Learning, pages 454–464, 2018.
  • Kiesel, D.; Riehmann, P.; Fan, F.; Ajjour, Y.; Wachsmuth, H.; Stein, B.; Fröhlich, B.: Improving Barycentric Embeddings of Topic Spaces. In Proceedings of the IEEE VIS 2018, 2018.
  • Kiesel, J.; Kneist, F.; Alshomary, M.; Stein, B.; Hagen, M.; Potthast, M.: Reproducible Web Corpora: Interactive Archiving with Automatic Quality Assessment. Journal of Data and Information Quality (JDIQ), 10(4): 17:1–17:25, 2018.
  • Wachsmuth, H.; Stede, M.; El Baff, R.; Al-Khatib, K.; Skeppstedt, M.; Stein, B.: Argumentation Synthesis following Rhetorical Strategies. In Proceedings of the 27th International Conference on Computational Linguistics, pages 3753–3765, 2018.
  • Wachsmuth, H.; Syed, S.; Stein, B.: Retrieval of the Best Counterargument without Prior Topic Knowledge. In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, pages 241–251, 2018.
  • Al-Khatib, K.; Wachsmuth, H.; Lang, K.; Herpel, J.; Hagen, M.; Stein, B.: Modeling Deliberative Argumentation Strategies on Wikipedia. In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, pages 2545–2555, 2018.
  • Habernal, I.; Wachsmuth, H.; Gurevych, I.; Stein, B.: SemEval-2018 Task 12: The Argument Reasoning Comprehension Task. In Proceedings of the 11th International Workshop on Semantic Evaluation, pages 763–772, 2018.
  • Habernal, I.; Wachsmuth, H.; Gurevych, I.; Stein, B.: Before Name-calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation. In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pages 386–396, June 2018.
  • Habernal, I.; Wachsmuth, H.; Gurevych, I.; Stein, B.: The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants. In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pages 1930–1940, 2018.

Preise und Auszeichnungen

Best Reviewer auf der 2018 Conference on Empirical Methods in Natural Language Processing. Henning Wachsmuth.

Outstanding Reviewer auf der 27th International Conference on Computational Linguistics. Henning Wachsmuth.

Top Reviewer auf dem 56th Annual Meeting of the Association for Computational Linguistics. Henning Wachsmuth.

Weitere Funktionen

Mitglied in Programmkomitees:

  • IJCAI-ECAI 2018
  • COLING 2018
  • ECDA 2018
  • EMNLP 2018
  • NAACL 2018
  • ArgMining 2018
  • TIR 2018

Organizer:

  • SemEval-2018 Shared Task 12: Argument Reasoning Comprehension
  • Special Session „Computational Social Science“, ECDA 2018

Wissenschaftliche Kooperationen

Prof. Dr. Benno Stein, Bauhaus-Universität Weimar, Deutschland.
Prof. Dr. Iryna Gurevych, TU Darmstadt, Deutschland.
Prof. Dr. Manfred Stede, Universität Potsdam, Deutschland.
Prof. Dr. Bernd Fröhlich, Bauhaus-Universität Weimar, Deutschland.
Prof. Dr. Matthias Hagen, Martin-Luther-Universität Halle-Wittenberg, Deutschland.

Personal

Sekretariat

Elisabeth Schlatt

Wissenschaftliche Mitarbeiter/-innen

Jürgen König, M. Sc. 
Felix Pauck, M. Sc.  (ab 01.08.2017)
Arnab Sharma, M. Sc.  (ab 01.08.2017)
Manuel Töws, M. Sc.

Externer Promovend

Steffen Beringer, M. Sc.

Technische Mitarbeiter

Dipl.-Ing./Dipl.-Inf. Bodo Blume

Publikationen

  • Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim: Validity of Software Verification Results on Approximate Hardware. Embedded Systems Letters 10(1): 22-25 (2018)
  • John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim: Mechanized proofs of opacity: a comparison of two techniques. Formal Asp. Comput. 30(5): 597-625 (2018)
  • Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim: Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193
  • Manuel Töws, Heike Wehrheim: Information Flow Certificates. ICTAC 2018: 435-454
  • Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick: Making Linearizability Compositional for Partially Ordered Executions. IFM 2018: 110-129
  • Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim: JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS 2018: 39-55
  • Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim: FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. SEFM 2018: 105-120
  • Felix Pauck, Eric Bodden, Heike Wehrheim: Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE 2018: 331-341
  • Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick: Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC 2018: 45:1-45:3

Preise und Auszeichnungen

2018 ACM SIGSOFT Distinguished Paper Award

Weitere Funktionen

Mitglied der IFIP Working Group 6.1: Architectures and Protocols for Distributed Systems

Mitglied des Steering Committee der Konferenzreihe Formal Techniques for Distributed Systems

Mitglied im Editorial Board der Zeitschrift Formal Aspects of Computing

Mitglied im Steering Committee der Konferenzreihe Integrated Formal Methods

Mitglied der Programmkomitees der folgenden Tagungen:

  • iFM 2018, Integrated Formal Methods
  • SETTA 2018, Dependable Software Engineering
  • TACAS 2018, Tools and Algorithms for the Construction and Analysis of Systems
  • FM 2018, Formal Methods
  • Refine 18, Refinement Workshop
  • SEFM 2018, Software Engineering & Formal Methods
  • FASE 2019, Fundamental Approaches to Software Engineering

Gutachterin für diverse Zeitschriften und Konferenzen

Gutachterin für:

  • Deutsche Forschungsgemeinschaft DFG
  • Alexander-von-Humboldt Stiftung
  • National Research Foundation South Africa

Mitglied des wissenschaftlichen Direktoriums von Schloß Dagstuhl

Stellvertretende Sprecherin des SFB 901

Mitglied im Vorstand von PACE

Aktuelle Forschungsprojekte

  • VaSt - Validierung von Software Transaktionalem Speicher, Förderung durch die DFG
  • DFG – SFB 901 „On-The-Fly Computing“, Teilprojekt B3: Service Composition Analysis in Partially Unknown Contexts.
  • DFG – SFB 901 „On-The-Fly Computing“, Teilprojekt B4: Proof-Carrying Services.
  • Cooperative Software Verification, Förderung durch die DFG (gemeinsam mit D. Beyer, München)

Wissenschaftliche Kooperationen

Sheffield University, Prof. John Derrick, UK
Universität Augsburg, Dr. Gerhard Schellhorn, Deutschland
LMU München, Prof. Dirk Beyer, Deutschland
Surrey University, Dr. Brijesh Dongol, UK