Publikationen

Kluge, R., & Anjorin, A. : The incremental advantage: Evaluating the performance of a TGG-based visualisation framework. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9761).
Maro, S., Anjorin, A., Wohlrab, R., & Steghöfer, J.-P.: Traceability maintenance: Factors and guidelines. In ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering.

Weitere Funktionen

Co-Chair of BX 2016
Artefact reviewer for SLE 2016
Co-organiser of the Shonan BX Seminar 2016
Invited lecturer at the Oxford summer school on BX 2016.
Invited speaker at WFLP 2016

PERSONAL

Sekretariat

Claudia Jahn

Wissenschaftliche Mitarbeiter/-innen

Jan Bobolz, M.Sc.
Sascha Brauer, M.Sc.
Kathrin Bujna, M.Sc.
Fabian Eidens, M.Sc.
Jakob Juhnke, M.Sc.
Gennadij Liske, M.Sc.
Nils Löken, M.Sc.

PUBLIKATIONEN

Brauer, S.: Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems In: ArXiv e-prints, 2016
Blömer, J.; Lammersen, Chr.; Schmidt, M.; Sohler, Chr.,: Theoretical Analysis of the k-Means Algorithm -- A Survey In: Algorithm Engineering: Selected Results and Surveys, Springer Intl. Publishing, 2016
Blömer, J.; Brauer, S.; Bujna, K.: A Theoretical Analysis of the Fuzzy K-Means Problem. In: IEEE in ICDM, 2016 (to appear)
Blömer, J.; Brauer, S.; Bujna, K.: Hard-Clustering with Gaussian Mixture Models. In: Computing Research Repository, 2016.
Blömer; J.; Bujna, K.: Adaptive Seeding for Gaussian Mixture Models. In: Proceedings of the 20th Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2016.
Blömer, J.; Günther, P.: Effizienz und Sicherheit paarungsbasierter Kryptographie. In: Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016
Blömer, J.; Liske, G.: Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In: CT-RSA, 2016

PROMOTIONEN

Dr. rer. nat. Peter Günther

AKTUELLE FORSCHUNGSPROJEKTE

DFG - SFB 901 „On-The-Fly Computing“, Teilprojekt C1 „Robustness and Security“
SFC – Securing the Financial Cloud (in Kooperation mit s-lab, UPB), Förderung durch BMBF
KogniHome – Vernetztes Wohnen – die mitdenkende Wohnung, Förderung durch BMBF

WEITERE FUNKTIONEN

Vorstandsmitglied des Instituts für Industriemathematik (IFIM)
Vorstandsmitglied des „Paderborn Institute for Scientific Computation“ (PaSCo)
Mitglied des Vorstands der „International Graduate School on Dynamic Intelligent Systems“
Mitglied des Hochschulauswahlausschusses der Studienstiftung d. d. Volkes
Vertrauensdozent der Studienstiftung d. d. Volkes
Vertrauensdozent Fulbright Kommission der Universität Paderborn

PERSONAL

Sekretariat

Jutta Haupt

Wissenschaftliche Mitarbeiter/-innen

Manuel Benz, M. Sc. (ab 11/2016)
Andreas Peter Dann, M. Sc. (ab 05/2016)
Johannes Geismann, M. Sc. (ab 03/2016)
Christopher Gerking, M. Sc.
Stefan Krüger, M. Sc. (ab 04/2016)
Dipl.-Oec. Ahmet Mehic
Dr. rer. nat. Marie Christin Platenius
Philipp Schubert, M. Sc. (ab 04/2016)

Fraunhofer-Projektgruppe Entwurfstechnik 
Mechatronik – Abteilung Softwaretechnik

Dr. Matthias Meyer (Leitung)
Matthias Becker, M. Sc.  
Dipl.-Inform. Stefan Dziwok
Markus Fockel, M. Sc.
Jens Frieben, M. Sc.
Faezeh Ghassemi, M. Sc.
Dipl.-Inform. Jörg Holtmann
Thorsten Koch, M. Sc.
Sven Merschjohann, M. Sc.
Lisa Nguyen, M. Sc.
Faruk Pasic, M. Sc.
Goran Piskachev, M. Sc.
Uwe Pohlmann, M. Sc.
Dr. Claudia Priesterjahn
David Schubert, M. Sc.
Dipl.-Inform. David Schmelter
Christian Stritzke, M. Sc.
Benedict Wohlers, M. Sc.

Externe Promovenden

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

Technische Mitarbeiter

Dipl.-Ing. Jürgen Maniera

PUBLIKATIONEN

Rasthofer, S.; Arzt, S.; Bodden, E.; Miltenberger, M.: Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz und Datensicherheit: S. 718-722, Nov. 2016
Holzinger, P.; Triller, S.; Bartel, A.; Bodden, E.: An In-Depth Study of More Than Ten Years of Java Exploitation. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS '16, S. 779-790, Vienna, Austria, 24. - 28. Okt. 2016
Jazayeri, B.; Platenius, M.C.; Engels, G.; Kundisch, D.: Features of IT Service Markets: A Systematic Literature Review. In: Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC 2016), S. 301-316, 10. - 13. Okt. 2016, Springer International Publishing
Greinert, M.; Tschirner, C.; Holtmann, J.: Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: Tag des Systems Engineering 2016, S. 77-86, Okt. 2016, Gesellschaft für Systems Engineering e.V.
Brink, C.; Heisig, P.; Wackermann, F.: Change Impact in Product Lines: A Systematic Mapping Study. In: Communications in Computer and Information Sciences, 22nd International Conference on Information and Software Technologie, Band 639, Okt. 2016, Springer
Koch, T.; Holtmann, J.; Schubert, D.; Lindemann, T.: Towards Feature-based Product Line Engineering of Technical Systems. In: Trächtler, A.; Denkena, B.; Thoben, K.-D. (Hrsg.) 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), S. 447-454, Okt. 2016, Elsevier
Gerking, C.: Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. In: Proceedings of the MoDELS 2016 Doctoral Symposium co-located with the 19th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MoDELS 2016), CEUR Workshop Proceedings, Saint-Malo, Okt. 2016, ACM/IEEE
Bodden, E.; Eichberg, M.; I Pun, K.; Steffen, M.; Stolz, V.; Wickert, A.-K.: Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go. In: Nordic Workshop on Programming Theory (NWPT'16), Okt. 2016
Fockel, M.: ASIL Tailoring on Functional Safety Requirements. In: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Lecture Notes in Computer Science (LNCS), Band 9923, S. 298–310, Trondheim, Norway, Sep. 2016, Springer International Publishing Switzerland
Nguyen, L.; Ali, K.; Livshits, B.; Bodden, E.; Smith, J.; Murphy-Hill, E.: Just-in-Time Static Analysis, 2016
Follner, A.; Bodden, E.: ROPocop - Dynamic Mitigation of Code-Reuse Attacks. Journal of Information Security and Applications, 29: S. 16-26, Aug. 2016
Späth, J.; Nguyen, L.; Ali, K.; Bodden, E.: Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In: European Conference on Object-Oriented Programming (ECOOP), 17. - 22. Jul. 2016
Platenius, M.C.: Fuzzy Matching of Comprehensive Service Specifications. Dissertation, Paderborn University, Jul. 2016
Arzt, S.; Kussmaul, T.; Bodden, E.: Towards Cross-Platform Cross-Language Analysis with Soot. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2016, 14. Jun. 2016
Holtmann, J.; Fockel, M.; Koch, T.; Schmelter, D.: Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum, (RE/2016), Jun. 2016
Nguyen, L.; Eichberg, M.; Bodden, E.: Toward an Automated Benchmark Management System. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP 2016, 14. Jun. 2016
Jazayeri, B.; Platenius, M.C.; Engels, G.; Kundisch, D.: Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). tr-ri-16-350, Jun. 2016
Holtmann, J.; Bernijazov, R.; Meyer, M.; Schmelter, D.; Tschirner, C.: Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process, Mai 2016
Nadi, S.; Krüger, S.; Mezini, M.; Bodden, E.: Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? In: International Conference for Software Engineering (ICSE), S. 935-946, Mai 2016
Arzt, S.; Bodden, E.: StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. In: International Conference for Software Engineering (ICSE), Mai 2016
Follner, A.; Bartel, A.; Bodden, E.: Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. In: International Symposium on Engineering Secure Software and Systems (ESSoS), Apr. 2016
Falzon, K.; Bodden, E.: Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In: International Conference on Principles of Security and Trust (POST), Apr. 2016
Schubert, D.; Heinzemann, C.; Gerking, C.: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering, Apr. 2016, ACM
Brink, C.; Heisig, P.: Analyse von Änderungen in Produktfamilien unter Berücksichtigung der Kombination von Hardware- und Software-Varianten. In: Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XII, Schloss Dagstuhl, Germany, Mrz. 2016, fortiss GmbH
Rasthofer, S.; Arzt, S.; Miltenberger, M.; Bodden, E.: Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. In: Network and Distributed System Security Symposium (NDSS), Feb. 2016
Platenius, M.C.; Shaker, A.; Becker, M.; Hüllermeier, E.; Schäfer, W.: Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering 2016
Platenius, M.C.; Josifovska, K.; van Rooijen, L.; Arifulina, S.; Becker, M.; Engels, G.; Schäfer, W.: An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). tr-ri-16-349, Jan. 2016
Pohlmann, U.; Holtmann, J.; Meyer, M.: Das Erwachen der Macht – Automatische Softwareverteilung. In: Tagungsband Embedded Software Engineering Kongress 2016, 2016
Eling, N.; Rasthofer, S.; Bodden, E.; Buxmann, P.: Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment. In: 2016 49th Hawaii International Conference on System Sciences (HICSS), S. 3666-3675, Jan. 2016
Follner, A.; Bartel, A.; Peng, H.; Chang, Y.-C.; Ispoglou, K.; Payer, M.; Bodden, E.: Automatically Combining Gadgets for Arbitrary Method Execution. In: International Workshop on Security and Trust Management (STM), 2016

PROMOTIONEN

Dr. rer. nat. Marie Christin Platenius

PREISE UND AUSZEICHNUNGEN 

Deutscher IT-Sicherheitspreis, Die Horst Görtz Stiftung vergab am 6. Oktober 2016 zum 6. Mal den Deutschen IT-Sicherheitspreis, 1. Platz (100,000 EUR) "Harvester – Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen"
Preis als hervorragender Gutachter (ASE'16) 31. Internationale Konferenz über Automatisierte Softwaretechnik
Preis für die beste Veröffentlichung im Rahmen der 2016 Spanish Cybersecurity Days (Jornadas Nacionales de Investigacion en Ciberseguridad) für die Veröffentlichung Mining Apps for Abnormal Usage of Sensitive Data (ICSE'15)
Preis als ausgezeichneter Gutachter der International Conference on Software Engineering (ICSE'16)
ESSoS Artefakt-Evaluationspreis für GaLity

WEITERE FUNKTIONEN

Mitherausgeber der IEEE Transactions on Software Engineering (TSE)
Mitglied des BITKOM Management Club
Mitglied des Erfahrungskreises Secure Software Engineering des Bundesamtes für Sicherheit in der Informationstechnik (BSI)
Mitglied der Redaktionsleitung der IEEE Transactions on Software Engineering
Mitglied in Lenkungskreisen:
International Symposium on Software Testing and Analysis (ISSTA)
International Symposium on Engineering Secure Software and Systems (ESSOS)
International Workshop on Dynamic Analysis (WODA)
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

DFG - SFB 901 „On-The-Fly Computing“ Teilprojekt B1: Parametisierte Servicespezifikation
DFG - SFB 1119, CROSSING, "Secure Integration of Cryptography Software",
Teilprojekt E1: Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
TESTIFY -Finding and Demonstrating Undesired Program Behavior, Förderung durch: DFG
INTERFLOW - Hybrid Static/Dynamic Inter-Application Data-flow Analysis, Förderung durch: DFG
RUNSECURE - Provably secure program executions through declaratively defined dynamic program analysis, Förderung durch: DFG, Emmy Noether Program
NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“, Förderung durch: MIWF
AMALTHEA4public, Förderung durch BMBF, EU ITEA 2
VoLiFa2020, Förderung durch VDI
BHQFHE: “Bosnia and Herzegovina Qualification Framework for Higher Education”, Förderung durch EU Kommission, Brüssel (FP 7), TEMPUS
EUROWEB+ – “European Research and Educational Collaboration with Western Balkans”, Förderung durch EU-Kommission, Brüssel, ERASMUS Mundus
GREEN TECH WB – “Smart and Green Technologies for Innovative and Sustainable Societies in Western Balkans”, Förderung durch EU-Kommission Brüssel, ERASMUS Mundus

WISSENSCHAFTLICHE KOOPERATIONEN

TU Darmstadt, Prof. Mira Mezini, Deutschland
Mälardalen Universität, Prof. S. Punnekkat, Schweden
Universität aus Banja Luka, Prof. Dr. Petar Maric, Bosnien und Herzegowina
Universität aus Belgrad, Prof. Dr. Blagoje Paunovic, Republik Serbien
Universität Montenegro, Prof. Dr. Andjelko Lojpur, Montenegro
Universität aus Sarajevo, Prof. Dr. Samim Konjicija, Bosnien und Herzegowina
Universität „St. Kyrill und Method“ aus Skopje, Meri Cvetkovska, Mazedonien
Universität aus Tirana, Prof. Dr.Dhori Kule, Albanien
Universität Zagreb, Prof. M. Zagar Scientific Cooperations, Kroatien
Delft University, Prof. Arie van Deursen, Niederlande
The Open University, Prof. Andrea Zisman und Dr. Amel Bennaceur, Vereinigtes Königreich
ABB Corporate Research, David Shepherd, USA
Vrije Universiteit, Prof. Patricia Lago, Niederlande
University of Alberta, Prof. Dr. Karim Ali, Canada
Concordia University, Prof. Peter Rigby, Canada
Iowa State University, Prof. Wei Le, USA
Polytechnique Montreal, Dr. Bram Adams, Canada
University of Lugano, Prof. Walter Binder, Switzerland
Microsoft, Dr. Michaela Greiler, USA
University of Chile, Prof. Alexandre Bergel, Chile
NC State University, Prof. Dr. William Enck, USA
NC State University, Albert Gorski, USA
NC State University, Prof. Dr. Emerson Murphy-Hill, USA
IMDEA, Prof. Dr. Alessandra Gorla, Spain
McGill University Prof. Dr. Laura Hendren, Canada
Carnegie Mellon University, Prof. Dr. Christian Kästner, USA
SnT Universität Luxembourg, Dr. Jacques Klein und Prof. Yves La Traon, Luxembourg
Penn State University, University Park, Prof. Dr. Patrick McDaniel, USA
Northeastern University, Prof. Frank Tip, USA
Microsoft Research in Redmond, Dr. Ben Livshits, USA
University of Alberta, Prof. Dr. Sarah Nadi, Canada
Google Inc.in Mountain View, Domagoj Babic, USA
Oracle Inc. in Boston, MA, Denis Pilipchuk, USA
Oracle Labs, Dr. Cristina Cifuentes, Australia
University of Campinas, Prof. Dr. Ricardo Dahab und Alexandre Braga, Brasil
Google Inc., Lisa Nguyen, Switzerland
University of Oslo, Prof. Dr. Martin Steffen, Norwegen
University of Oslo, Post- Doc Ka I Pun, Norwegen
University of Bergen, Prof. Volker Stolz, Norwegen
Purdue University, Prof. Mathias Payer, USA

PERSONAL
Sekretariat

Sigrid Gundelach

Wissenschaftliche Mitarbeiter

Dr. Rita Hartel
Dr. Peter Pfahler

PUBLIKATIONEN

Böttcher, S.; Hartel, R.; Wolters, D.: S2CX: From relational data via SQL/XML to (Un-)Compressed XML in Information Systems ,Volume 56, March 2016, Pages 198-213, ISSN 0306-4379.
Böttcher, S., Hartel, R., Jacobs, T.; Maneth, S.: Incremental Updates on Compressed XML. 32nd International Conference on Data Engineering (ICDE), Helsinki, Finnland, UK, Mai 2016

AKTUELLE FORSCHUNGSPROJEKTE

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)

Sekretariat

Tanja Bürger

Publikationen
Burow, N; Carr, S; Nash, J; Larsen, P; Franz, M.; Brunthaler, S.; Payer, M.: Control-Flow Integrity: Precision, Security and Performance. Accepted for publication in ACM Computing Surveys.
Wagner, G.; Larsen, P.; Brunthaler, S.; Franz; M.: Thinking Inside the Box. In ACM Transactions on Programming Languages and Systems 38.3, 2016, 1–37.
Neuner, S.; Voyiatzis, A.; Schmiedecker, M.; Brunthaler, S.; Katzenbeisser, S.; Weippl, E.: Time is on my side: Steganography in filesystem metadata. In Proceedings of the 16th Annual USA Digital Forensics Research Conference (DFRWS ’16). 2016, 76–86.
Kerschbaumer, C.; Stamm, S.; Brunthaler, S.: Injecting CSP for Fun and Security. In Proceedings of the 2nd International Conference on Information Systems Security and Privacy, Rome, Italy, 2016.

Preise und Auszeichnungen
Best paper award auf der International Conference on Information Systems Security and Privacy für die Veröffentlichung“Injecting CSP for Fun and Security”.

Weitere Funktionen
Student Travel Grant Co-Chair for ACM CCS 2016.
Mitglied in Programmkomitees:
-21st European Symposium on Research in Computer Security (ESORICS 2016)
-9th Workshop on Cyber Security Experimentation and Test (CSET)

Wissenschaftliche Kooperationen
University of California, Irvine; Prof. Dr. Michael Franz
Purdue University; Prof. Dr. Mathias Payer

Patente
Franz, M; Homescu, A; Brunthaler, S; Larsen, P.: Code randomization for just-in-time compilers. US Patent no. 9,250,937 (publication date February 2016, priority date November 2013). www.google.com/patents/US9250937

Personal

Sekretariat
Sigrid Gundelach

Wissenschaftliche Mitarbeiter / -innen
Sabrina Heppner, M.Sc.

Technischer Mitarbeiter
Dipl.-Inform. Thomas Thissen

Publikationen

Heppner, S.; Dransfeld, M.; Domik, G.: Adding Atmospheric Scattering and Transparency to a Deferred Rendering Pipeline for Camera Based ADAS Tests, In: 14. Workshop Automotive Software Engineering (ASE) - INFORMATIK 2016. Lecture Notes In Informatics (LNI), Volume P-259, pp. 1591 - 1604, GI Bonn 2016
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. Domik, G.; Owen, S.; (editors): Yanaka, K.; Yamanouchi, T.:  2016, 3D Image Display Courses for Information Media Students, IEEE Computer Graphics and Applications, vol. 36, no. 2, pp. 68-73, March/April 2016
Domik, G.; Owen S; (editors): Santos, B. S.; Ferreira, B.Q.; Dias, P.: 2016, Using Heuristic Evaluation to Foster Visualization Analysis and Design Skills, IEEE Computer Graphics and Applications, vol. 36, no. 1, pp. 86-90, January/February 2016

Preise und Auszeichnungen

ACM-Senior Member Award 2016

Weitere Funktionen

Mitglied des Editorial Board, IEEE Computer Graphics & Applications
Mitglied des Programmkomitees Eurographics 2016, Education Program, Lissabon, Portugal
Mitglied des Programmkomitees "Wissenschaftsforum Intelligente Technische Systeme 2017", Heinz-Nixdorf-Institut, Universität Paderborn
Leiterin der Jury der Dr. Hans-Riegel-Stiftung für den Bereich Informatik an der Uni Paderborn
Mitglied des Leitungsgremiums des Fachbereichs Grafische Datenverarbeitung der Gesellschaft für Informatik e.V.

Aktuelle Forschungsprojekte

Echtzeitrendering realistischer Straßenszenen
Volume Studio - eine GPU-basierte Software zum Volumenrendering medizinischer Daten

Wissenschaftliche Kooperationen

Prof. Dr. med. W. Burchert, Leiter des Instituts für Molekulare Biophysik, Radiopharmazie und Nuklearmedizin im Herz- und Diabeteszentrum NRW

Personal

Sekretariat

Lydia Kreiss

Wissenschaftliche Mitarbeiter/innen

Johannes Blobel, M.Sc.
Dipl.-Inform. Bastian Bloessl
Dominik Buse, M.Sc. (seit 06/2016)
Florian Hagenauer, M.Sc.
Florian Klingler, M.Sc.
Agon Memedi, M.Sc.
Muhammad Nabeel, M.Sc.
Dr.-Ing. Christoph Sommer

Externe Promovenden

Dipl-Inform.Dominik Holler
Felix Erlacher, M.Sc.
Dr. Stefan Joerer (07/2016)
Dr. Michele Segata (02/2016) 

Stipendiaten

Quang-Huy Nguyen, M.Sc.

Technische Mitarbeiter/innen

Dipl.-Ing. (FH) Hans-Joachim Kraus

Publikationen

Dressler, F.; Ripperger, S.; Hierold, M.; Nowak, T.; Eibel, C.; Cassens, B.; Mayer, F.; Meyer-Wegener, K.; Koelpin, A.: From Radio Telemetry to Ultra-Low-Power Sensor Networks: Tracking Bats in the Wild. In: IEEE Communications Magazine 54.1 (Jan. 2016), pp. 129–135.
Erlacher, F.; Weber, B.; Fischer, J.-T.; Dressler, F.: AvaRange - Using Sensor Network Ranging Techniques to Explore the Dynamics of Avalanches. In: 12th IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS 2016). Cortina d’Ampezzo, Italy: IEEE, Jan. 2016, pp. 120–123.
Klingler, F.; Dressler, F.; Cao, J.; Sommer, C.: MCB - A Multi-Channel Beaconing Protocol. In: Elsevier Ad Hoc Networks 36.1 (Jan. 2016), pp. 258–269.
Li, C.; Dressler, F.: Guest Editorial - Special Issue on Wireless and Mobile Network Modeling, Analysis, Design, Optimization, and Simulation. In: Elsevier Computer Communications 73.A (Jan. 2016), pp. 80–81.
Segata, M.; Lo Cigno, R.; Tsai, H.-M.; Dressler, F.: On Platooning Control using IEEE 802.11p in Conjunction with Visible Light Communications. In: 12th IEEE/IFIP Conference on Wireless On demand Network Systems and Services (WONS 2016). Cortina d’Ampezzo, Italy: IEEE, Jan. 2016, pp. 124–127.
Dressler, F.; Altintas, O.; Scheuermann, B.; Banerjee, S.: Guest Editorial - Special Issue on Advances in Vehicular Networks. In: Elsevier Ad Hoc Networks 37.1 (Feb. 2016), pp. 1–2.
Dressler, F.; Mutschlechner, M.; Li, B.; Kapitza, R.; Ripperger, S.; Eibel, C.; Herzog, B.; Hönig, T.; Schröder-Preikschat, W.: Monitoring Bats in the Wild: On Using Erasure Codes for Energy-Efficient Wireless Sensor Networks. In: ACM Transactions on Sensor Networks 12.1 (Feb. 2016).
Dressler, F.; Sommer, C.: Mit Car-to-X in die Zukunft - Kommunizierende Autos für automatisierte kooperative Fahrmanöver. In: ForschungsForum Paderborn 19 (Feb. 2016), pp. 40–45.
Stritter, B.; Freiling, F.; König, H.; Rietz, R.; Ullrich, S.; Gernler, A. von; Erlacher, F.; Dressler, F.: Cleaning up Web 2.0’s Security Mess - at Least Partly. In: IEEE Security and Privacy 14.2 (Mar. 2016), pp. 48–57.
Hagenauer, F.; Sommer, C.; Merschjohann, S.; Higuchi, T.; Dressler, F.; Altintas, O.: Cars as the Base for Service Discovery and Provision in Highly Dynamic Networks. In: 35th IEEE Conference on Computer Communications (INFOCOM 2016), Demo Session. San Francisco, CA: IEEE, Apr. 2016, pp. 358–359.
Hagenauer, F.; Sommer, C.; Onishi, R.; Wilhelm, M.; Dressler, F.; Altintas, O.: Interconnecting Smart Cities by Vehicles: How feasible is it? In: 35th IEEE Conference on Computer Communications (INFOCOM 2016), International Workshop on Smart Cities and Urban Computing (SmartCity 2016). San Francisco, CA: IEEE, Apr. 2016, pp. 788–793.
Nabeel, M.; Bloessl, B.; Dressler, F.: On Using BOC Modulation in Ultra-Low Power Sensor Networks for Wildlife Tracking. In: IEEE Wireless Communications and Networking Conference (WCNC 2016). Doha, Qatar: IEEE, Apr. 2016, pp. 848–853.
Shin, S.; Lee, U.; Dressler, F.; Yoon, H.: Analysis of Cell Sojourn Time in Heterogeneous Networks with Small Cells. In: IEEE Communications Letters 20.4 (Apr. 2016), pp. 788–791.
Blobel, J.; Sommer, C.; Dressler, F.: Protocol Options for Low Power Sensor Network MAC using Wake-up Receivers with Duty Cycling. In: IEEE International Conference on Communications (ICC 2016). Kuala Lumpur, Malaysia: IEEE, May 2016, pp. 3925–3930.
Campolo, C.; Sommer, C.; Dressler, F.; Molinaro, A.: On the Impact of Adjacent Channel Interference in Multi-Channel VANETs. In: IEEE International Conference on Communications (ICC 2016). Kuala Lumpur, Malaysia: IEEE, May 2016, pp. 2626–2632.
Hagenauer, F.; Dressler, F.; Altintas, O.; Sommer, C.: Cars as a Main ICT Resource of Smart Cities. In: Smart Cities and Homes - Key Enabling Technologies. Ed. by Obaidat, M. S.; Nicopolitidis, P. Elsevier, May 2016, pp. 131–147. isbn: 978-0-1280-3454-5.
Blobel, J.; Krasemann, J.; Dressler, F.: An Architecture for Sender-based Addressing for Selective Sensor Network Wake-Up Receivers. In: 17th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2016). Coimbra, Portugal: IEEE, June 2016.
Joerer, S.; Bloessl, B.; Segata, M.; Sommer, C.; Lo Cigno, R.; Jamalipour, A.; Dressler, F.: Enabling Situation Awareness at Intersections for IVC Congestion Control Mechanisms. In: IEEE Transactions on Mobile Computing 15.7 (June 2016), pp. 1674–1685.
Nguyen, Q.-H.; Dressler, F.: The Accuracy of Android Energy Measurements for Offloading Computational Expensive Tasks. In: 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc 2016), Poster Session. Paderborn, Germany: ACM, July 2016, pp. 393–394.
Nguyen, Q.-H.; Blobel, J.; Dressler, F.: Energy Consumption Measurements as a Basis for Computational Offloading for Android Smartphones. In: 14th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2016). Paris, France: IEEE, Aug. 2016.
Stelzner, M.; Dressler, F.; Fischer, S.: Function Centric Networking: an Approach for Addressing in In-Body Nano Networks. In: 3rd ACM International Conference on Nanoscale Computing and Communication (NANOCOM 2016). New York, NY: ACM, Sept. 2016.
Bloessl, B.; Gerla, M.; Dressler, F.: IEEE 802.11p in Fast Fading Scenarios: From Traces to Comparative Studies of Receive Algorithms. In: 22nd ACM International Conference on Mobile Computing and Networking (MobiCom 2016), 1st ACM International Workshop on Smart, Autonomous, and Connected Vehicular Systems and Services (CarSys 2016). New York, NY: ACM, Oct. 2016.
Campolo, C.; Cheng, L.; Sommer, C.; Tsai, H.-M.: Guest Editorial - Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications. In: Elsevier Computer Communications 93 (Nov. 2016), pp. 1–2. issn: 0140-3664.
Erlacher, F.; Estgfaeller, W.; Dressler, F.: Improving Network Monitoring Through Aggregation of HTTP/1.1 Dialogs in IPFIX. In: 41st IEEE Conference on Local Computer Networks (LCN 2016). Dubai, UAE: IEEE, Nov. 2016, pp. 543–546.
Erlacher, F.; Woertz, S.; Dressler, F.: A TLS Interception Proxy with Real-Time Libpcap Export. In: 41st IEEE Conference on Local Computer Networks (LCN 2016), Demo Session. Dubai, UAE: IEEE, Nov. 2016.
Eckhoff, D.; Brummer, A.; Sommer, C.: On the Impact of Antenna Patterns on VANET Simulation. In: 8th IEEE Vehicular Networking Conference (VNC 2016). to appear. Columbus, OH: IEEE, Dec. 2016.
Eckhoff, D.; Sommer, C.: Marrying Safety with Privacy: A Holistic Solution for Location Privacy in VANETs. In: 8th IEEE Vehicular Networking Conference (VNC 2016). to appear. Columbus, OH: IEEE, Dec. 2016.
Hagenauer, F.; Sommer, C.; Higuchi, T.; Altintas, O.; Dressler, F.: Using Clusters of Parked Cars as Virtual Vehicular Network Infrastructure. In: 8th IEEE Vehicular Networking Conference (VNC 2016), Poster Session. to appear. Columbus, OH: IEEE, Dec. 2016.
Heinovski, J.; Klingler, F.; Dressler, F.; Sommer, C.: Performance Comparison of IEEE 802.11p and ARIB STD-T109. In: 8th IEEE Vehicular Networking Conference (VNC 2016). to appear. Columbus, OH: IEEE, Dec. 2016.
Laux, S.; Pannu, G. S.; Schneider, S.; Tiemann, J.; Klingler, F.; Sommer, C.; Dressler, F.: OpenC2X – An Open Source Experimental and Prototyping Platform Supporting ETSI ITS-G5. In: 8th IEEE Vehicular Networking Conference (VNC 2016), Demo Session. to appear. Columbus, OH: IEEE, Dec. 2016.
Shin, S.; Lee, U.; Dressler, F.; Yoon, H.: Motion-MiX DHT for Wireless Mobile Networks. In: IEEE Transactions on Mobile Computing 15.12 (Dec. 2016), pp. 3100–3113.
Turcanu, I.; Sommer, C.; Baiocchi, A.; Dressler, F.: Pick the Right Guy: CQI-Based LTE Forwarder Selection in VANETs. In: 8th IEEE Vehicular Networking Conference (VNC 2016). to appear. Columbus, OH: IEEE, Dec. 2016.
Segata, M.; Dressler, F.; Lo Cigno, R.: Let’s Talk in Groups: A Distributed Bursting Scheme for Cluster-based Vehicular Applications. In: Elsevier Vehicular Communications (2016). to appear.
Hardes, T.; Dressler, F.; Sommer, C.: Simulating a City-Scale Community Network: From Models to First Improvements for Freifunk. In: International Conference on Networked Systems (NetSys). to appear. Göttingen, Germany: IEEE, Mar. 2017.

Gastaufenthalte

Bastian Bloessl
University of California, Los Angeles, USA, September 2015 bis März 2016, Forschungsaufenthalt am Computer Science Department

Weitere Funktionen

Associate Editor-in-Chief, Elsevier Computer Communications
Associate Editor, IEEE Transactions on Mobile Computing
Editorial Board, Elsevier Nano Communication Networks
Editorial Board, Elsevier Ad Hoc Networks
Executive Board, L-LAB ("Light Laboratory" between the University of Paderborn and Hella KGaA)
Board of Directors, Heinz Nixdorf Institute
IEEE COMSOC Conference Council
Steering Committee, IEEE SmartCity (IEEE International Workshop on Smart Cities and Urban Informatics)
Steering Committee, GI/ITG KuVS FG-IVC (GI/ITG KuVS Fachgespräch Inter-Vehicle Communication)
Steering Committee, IEEE/IFIP WONS (IEEE/IFIP Annual Conference on Wireless On demand Network Systems and Services)
Steering Board, GI/ITG KuVS (German Society for Communication and Distributed Systems)

= Weitere Funktionen Dr.Christoph Sommer:
Editorial Board, ACM/Springer Wireless Networks
Area Editor, Elsevier Computer Communications
Guest Editor, Elsevier ComCom Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications
Steering Committee, GI/ITG KuVS FG-IVC (GI/ITG KuVS Fachgespräch Inter-Vehicle Communication)

Aktuelle Forschungsprojekte

Hy-Nets - Efficient Hybrid Propulsion using Vehicular Networks, Förderung durch EU/EFRE.NRW.

RESIBES - Disaster-resilience by helper networks for emergency response, Förderung durch BMBF.

C3 - Cloud Connected Cars, Förderung durch DENSO AUTOMOTIVE Deutschland GmbH.

Offloading Strategies for Energy Efficient Smartphone, Förderung durch VIED (Vietnam International Education Development).

Car4ICT - Cars enable future information and communication technologies, Förderung durchToyota InfoTechnologies Center Co. Ltd., Japan and USA.

E2SO - Energy Efficient Management and Self-organized Operation in Sensor Networks, Förderung durch DFG.

Heterogeneous Vehicular Networking, Collaboration mit University of California, Los Angeles (UCLA) 

WiME - Wireless Measurement and Experimentation, Internes CCS-Projekt.

Performance Limits of IEEE 802.11p in Highly Dynamic Vehicular Ad Hoc Networks, Förderung durch DAAD

Wissenschaftliche Kooperationen

Toyota InfoTechnology Center, USA, Inc., Mountain View, CA, Dr. Onur Altintas, USA
Politecnico di Torino, Telecommunication Networks Group, Prof. Dr. Carla Chiasserini, Prof. Dr. Claudio Casetti,   Italien
University of California, Network Research Lab, Los Angeles, CA, Prof. Dr. Mario Gerla, USA
University of Trento, Department of Information Engineering and Computer Science, Prof. Dr. Renato Lo Cigno, Italien
Nanyang Technological University, School of Computer Science and Engineering, Prof. Dr. Mo Li, Singapur
National Taiwan University, Department of Computer Science and Information Engineering, Prof. Dr. Hsin-Mu (Michael) Tsai, Taiwan
Ohio State University, Columbus, Department of Electrical and Computer Engineering, Prof. Dr. Eylem Ekici, OH, USA

Gastwissenschaftler/innen

Assoc. Prof. Han-You Jeong, Pusan National University, Korea

Personal
Sekretariat

Beatrix Wiechers

Administration

Sonja Saage

Juniorprofessur

Jun.-Prof. Dr.-Ing. Anthony Anjorin (ab 04/2016)

Wissenschaftliche Mitarbeiter/-innen

Dr. rer. nat. Masud Fazal-Baqaie (bis 03/2016)
Holger Fischer, M. Sc.
Dr. rer. nat. Marvin Grieger
Dr. rer. nat. Baris Güldali (bis 03/2016)
Stefan Heindorf, M. Sc.
Dr.-Ing. Marcus Hilbrich
André Hottung, M. Sc. (ab 11/2016)
Bahar Jazayeri, M. Sc.
Ivan Jovanovikj, M. Sc.
Frederik Möllers, M. Sc. (bis 04/2016)
Dr. rer. nat. Simon Oberthür
Florian Rittmeier, M. Sc. (ab 02/2016)
Dr. Lorijn van Rooijen
Mirko Rose, M. Sc. (bis 06/2016)
Dr. rer. nat. Stefan Sauer
Dr. rer. nat. Gunnar Schomaker
Simon Schwichtenberg, M. Sc.
Björn Senft, M. Sc.
Dr. rer. nat. Katharina Stahl
Alexander Teetz, M. Sc.
Dennis Wolters, M. Sc.
Enes Yigitbas, M. Sc.

Externe Promovenden

Dipl.-Ing. Andreas Deuter
Lial Khaluf, M. Sc.
Yavuz Sancar, M. Sc.

Technischer Mitarbeiter

Dipl.-Inform. Friedhelm Wegener

Publikationen

Böttcher, S.; Hartel, R.; Wolters, D.: S2CX: From Relational Data via SQL/XML to (Un-)Compressed XML. Information Systems, vol. 56, pp. 198–213 (2016)
Bogdan, C.; Gulliksen, J.; Sauer, S.; Forbrig, P.; Winckler, M.; Johnson, C.; Palanque, P.; Bernhaupt, R.; Kis, F. (eds.): Human-Centered and Error-Resilient Systems Development. Proceedings of IFIP WG 13.2/13.5 Joint Working Conferences 6th International Conference on Human-Centered Software Engineering (HCSE 2016) & 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Stockholm, Sweden, August 29-31, 2016, LNCS, vol. 9856. Springer Cham, Switzerland (2016)
Bohl, B. W.; Berndt, A.; Senft, B.: Formate als Sackgassen: Handlungsempfehlungen. In DHd 2016: Modellierung – Vernetzung – Visualisierung: Die Digital Humanities als fachübergreifendes Forschungsparadigma, Konferenzabstracts der 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum e. V., Leipzig, Germany, March 7-12, 2016, pp. 110–113. nisaba verlag Magdeburg (2016)
Daly, D.; Cadudal, J.-M.; Jackson, A.; Ojasalo, H.; James, J.-F.; Pfeil, M.; Engels, G.; Oberthür, S.; van der Sar, D.: Enterprise DevOps – Building a Service Oriented Organization. Ascent White Paper. Atos (2016)
Derakhshanmanesh M.; Grieger, M.: Model-Integrating Microservices: A Vision Paper. In Zimmermann, W. et al. (eds.): Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Vienna, Austria, February 23-26, 2016. CEUR Workshop Proceedings, vol. 1559, pp. 142–147. CEUR-WS.org (2016)
Derakhshanmanesh, M.; Grieger, M.; Ebert, J.; Engels, G.: Thoughts on the Evolution Towards Model-Integrating Software. In Sauer, S.; Becker, S.; Riebisch, M.; Klatt, B.; Ruhroth, T. (eds.): Proceedings of 3. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2016), Karlsruhe, Germany, March 2, 2016. Softwaretechnik-Trends, vol. 36, no. 3, pp. 69–70. GI Bonn (2016)
Engels, G.; Gatzke, M.; Gries, S.; Gruhn, V.; Hesenius, M.; Ide, C.; Motzek, C.; Ollesch, J.; Patalas, M.; Pillmann, J.; Schneider, M.; Weigelin, L.; Wietfeld, C.; Sommer, C.; Stahl, K.: Fahrzeugvernetzung revolutioniert Mobilität. White Paper. CPS.HUB NRW (2016)
Engels, G.; Maier, G. W.; Ötting, S.; Steffen, E.; Teetz, A.: Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In Wischmann, S. (ed.): Zukunft der Arbeit: Eine praxisnahe Betrachtung. Springer Berlin/Heidelberg (to appear)
Engstler, M.; Fazal-Baqaie, M.; Hanser, E.; Linssen, O.; Mikusz, M.; Volland, A. (eds.): Projektmanagement und Vorgehensmodelle 2016 – Arbeiten in hybriden Projekten: Das Sowohl-als-auch von Stabilität und Dynamik, Proceedings, Paderborn, Germany, October 6-7, 2016. LNI, vol. P-263. GI Bonn (2016)
Fazal-Baqaie, M.; Engels, G.: Software Processes Management by Method Engineering with MESP. In Kuhrmann, M.; Rausch, A.; Münch, J.; Richardson, I.; Zhang, J. H. (eds.): Managing Software Process Evolution, pp. 185–209. Springer Cham, Switzerland (2016)
Fazal-Baqaie, M.; Güldali, B.; Grieger, M.: Ganzheitliches Qualitätsmanagement in agilen Groß-Projekten. In Engstler, M.; Fazal-Baqaie, M.; Hanser, E.; Linssen, O.; Mikusz, M.; Volland, A. (eds.): Projektmanagement und Vorgehensmodelle 2016. LNI, vol. P-263, pp. 109–120. GI Bonn (2016)
Fazal-Baqaie, M.; Kluthe, F.: Automated Quality Analysis of Software Engineering Method Models. In Hammoudi, S.; Ferreira Pires, L.; Selic, B.; Desfray, P. (eds.): Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), Rome, Italy, February 19-21, 2016. SCITEPRESS Setúbal, Portugal (2016)
Fazal-Baqaie, M.: Project-Specific Software Engineering Methods: Composition, Enactment, and Quality Assurance. PhD Thesis. Universität Paderborn (2016)
Fischer, H; Kauer-Franz, M.; Winter, D.; Latt, S.: UUX Method Selection – Do We Really Have a Choice? i-com – Journal of Interactive Media, vol. 15, no. 1, pp. 111–116 (2016)
Fischer, H.; Rose, M.; Yigitbas, E.: Towards a Task-Driven Approach Enabling Continuous User Requirements Engineering. In Joint Proceedings of the REFSQ 2016 Co-Located Events, 2nd Workshop on Continuous Requirements Engineering (CRE) at the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), Gothenburg, Sweden, March 14, 2016. CEUR Workshop Proceedings, vol. 1564, paper no. 6. CEUR-WS.org (2016)
Fischer, H.; Senft, B.: Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows. In Bogdan, C.; Gulliksen, J.; Sauer, S.; Forbrig, P.; Winckler, M.; Johnson, C.; Palanque, P.; Bernhaupt, R.; Kis, F. (eds.): Human-Centered and Error-Resilient Systems Development, Proceedings of IFIP WG 13.2/13.5 Joint Working Conferences 6th International Conference on Human-Centered Software Engineering (HCSE 2016) & 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Stockholm, Sweden, August 29-31, 2016, LNCS, vol. 9856, pp. 30–41. Springer Cham, Switzerland (2016)
Freivalds, R. M.; Engels, G.; Catania, B. (eds.): SOFSEM 2016: Theory and Practice of Computer Science, Proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, LNCS, vol. 9587. Springer Cham, Switzerland (2016)
Freivalds, R. M.; Engels, G.; Catania, B.; Spanek, R.: SOFSEM 2016: Theory and Practice of Computer Science, Proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Volume II, Harrachov, Czech Republic, January 23-28, 2016. Institute of Computer Science AS CR Prague, Czech Republic (2016)
Greulich, M.; Karthaus, M.; Oberthür, S.; Schmidt, A.; Senft, B.; Stog, K.: Design Thinking als Methode in den Digital Humanities – Optionen interdisziplinären, forschenden Lehrens und Lernens. In Konferenzabstracts der 45. Jahrestagung der Deutschen Gesellschaft für Hochschuldidaktik, Bochum, Germany, September 21-23, 2016 (2016)
Greulich, M.; Oberthür, S.; Karthaus, N.; Schmidt, A.; Wilk, N. M.; Stog, K.; Senft, B.: Mobile Anwendungen als multimodale Medien zur Vermittlung vormoderner Artefakte. Die ‚Historisches Paderborn‘-App – ein interdisziplinäres Forschungs- und Lehrprojekt. In DHd 2016: Modellierung – Vernetzung – Visualisierung: Die Digital Humanities als fachübergreifendes Forschungsparadigma, Konferenzabstracts der 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum e. V., Leipzig, Germany, March 7-12, 2016, pp. 74–82. nisaba verlag Magdeburg (2016)
Grieger, M.: Model-Driven Software Modernization: Concept-Based Engineering of Situation-Specific Methods. PhD Thesis. Universität Paderborn (2016)
Grieger, M.; Fazal-Baqaie, M.; Engels, G.; Klenke, M.: Concept-Based Engineering of Situation-Specific Migration Methods. In Kapitsaki, G. M.; Santana de Almeida, E. (eds.): Software Reuse: Bridging with Social-Awareness, Proceedings of the 15th International Conference on Software Reuse (ICSR 2016), Limassol, Cyprus, June 5-7, 2016, LNCS, vol. 9679, pp. 199–214. Springer Cham, Switzerland (2016)
Grieger, M.; Fazal-Baqaie, M.; Sauer, S.: A Method Base for the Situation-Specific Development of Model-Driven Transformation Methods. In Sauer, S.; Becker, S.; Riebisch, M.; Klatt, B.; Ruhroth, T. (eds.): Proceedings of 3. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2016), Karlsruhe, Germany, March 2, 2016. Softwaretechnik-Trends, vol. 36, no. 3, pp. 67–68. GI Bonn (2016)
Heindorf, S.; Potthast, M.; Stein, B.; Engels, G.: Vandalism Detection in Wikidata. In Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), Indianapolis, IN, USA, October 24-28, 2016, pp. 327–336. ACM New York, NY, USA (2016)
Hess, S.; Fischer, H. (eds.): Mensch und Computer 2016 – Usability Professionals, Tagungsband, Aachen, Germany, September 4-7, 2016. GI Bonn und German UPA Stuttgart (2016)
Jazayeri, B.: Architectural Management of On-The-Fly Computing Markets. In Proceedings of the 10th European Conference on Software Architecture Workshops (ECSAW '16), Copenhagen, Denmark, November 28 - December 2, 2016, article no. 42. ACM New York, NY, USA (2016)
Jazayeri, B.; Platenius, M. C.; Engels, G.; Kundisch, D.: Features of IT Service Markets: A Systematic Literature Review. In Sheng, Q. Z.; Stroulia, E.; Tata, S.; Bhiri, S. (eds.): Proceedings of the 14th International Conference on Service-Oriented Computing (ICSOC 2016), Banff, AB, Canada, October 10-13, 2016, LNCS, vol. 9936, pp. 301–316. Springer Cham, Switzerland (2016)
Jazayeri, B.; Platenius, M. C.; Engels, G.; Kundisch, D.: Features of IT Service Markets: A Systematic Literature Review (Supplementary Material).Technical Report, no. tr-ri-16-350. Universität Paderborn (2016)
Jovanovikj, I.; Grieger, M.; Güldali, B.; Teetz, A.: Reengineering of Legacy Test Cases: Problem Domain & Scenarios. In Sauer, S.; Becker, S.; Riebisch, M.; Klatt, B.; Ruhroth, T. (eds.): Proceedings of 3. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2016), Karlsruhe, Germany, March 2, 2016. Softwaretechnik-Trends, vol. 36, no. 3, pp. 65–66. GI Bonn (2016)
Jovanovikj, I.; Grieger, M.; Yigitbas, E.: Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects. In Riedinger, V.; Quante, J.; Borchers, J.; Jelschen, J; Sauer, S.; Klatt, B.; Ruhroth, T. (eds.): Proceedings of 18. Workshop Software-Reengineering und -Evolution (WSRE 2016) & 7. Workshop “Design for Future“ (DFF 2016). Softwaretechnik-Trends, vol. 36, no. 2, pp. 43–44. GI Bonn (2016)
Jovanovikj, I.; Güldali, B.; Grieger, M.: Towards Applying Model-Based Testing in Test Case Migration. In Proceedings of 39. GI-Fachgruppentreffen “Test, Analyse und Verifikation von Software” (TAV), Bremen, Germany, June 23-24, 2016.Softwaretechnik-Trends, vol. 36, no. 3, pp. 58–60. GI Bonn (2016)
Kluge, R.; Anjorin, A.: The Incremental Advantage: Evaluating the Performance of a TGG-Based Visualisation Framework. In Echahed, R.; Minas, M. (eds.), Proceedings of the 9th International Conference on Graph Transformation (ICGT 2016), Vienna, Austria, July 5-6, 2016, LNCS, vol. 9761, pp. 189–205. Springer Cham, Switzerland (2016)
Maro, S.; Anjorin, A.; Wohlrab, R.; Steghöfer, J.-P.: Traceability Maintenance: Factors and Guidelines. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Singapore, Singapore, September 3-7, 2016, pp. 414–425. ACM New York, NY, USA (2016)
Meise, B.; Mexin, Y.; Schloots, F.; Senft, B.; Wawilow, A.: Interdisziplinäre Forschung als Basis nachhaltiger Entscheidungsprozesse in der Softwareentwicklung. In Tagungsband 1. Interdisziplinäre Konferenz zur Zukunft der Wertschöpfung, Hamburg, Germany, December 14-15, 2016 (to appear)
Meise, B.; Mexin, Y.; Schloots, F.; Senft, B.; Wawilow, A.; Engels, G.; Meister, D.; Müller-Lietzkow, J.; Szwillus, G.: Von implizitem Wissen zu nachhaltigen Systemanforderungen. In Tagungsband Forschungsdaten in den Geisteswissenschaften (FORGE): Jenseits der Daten – Nachhaltigkeit für Forschungsanwendungen und Software, Hamburg, Germany, September 14-16, 2016, pp. 25–26. Universität Hamburg (2016)
Riedinger, V.; Quante, J.; Borchers, J.; Jelschen, J; Sauer, S.; Klatt, B.; Ruhroth, T. (eds.): Proceedings of 18. Workshop Software-Reengineering und -Evolution (WSRE 2016) & 7. Workshop “Design for Future” (DFF 2016), Bad Honnef, Germany, May 2-4, 2016. Softwaretechnik-Trends, vol. 36, no. 2, pp. 1–52. GI Bonn (2016)
van Rooijen, L.; Hamann, H.: Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Proceedings of the Third International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'16), co-located with the 24th IEEE International Requirements Engineering Conference (RE 2016), Beijing, China, September 12-16, 2016 (to appear)
Sauer, S.; Becker, S.; Riebisch, M.; Klatt, B.; Ruhroth, T. (eds.): Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2016), Proceedings, Workshop at Modellierung 2016, Karlsruhe, Germany, March 2, 2016. Softwaretechnik-Trends, vol. 36, no. 3, pp. 61–70. GI Bonn (2016)
Schwichtenberg, S; Engels, G.: Automatized Derivation of Comprehensive Specifications for Black-Box Services. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) – Companion Volume, Austin, TX, USA, May 14-22, 2016, pp. 815–818. ACM New York, NY, USA (2016)
Senft, B.; Oberthür, S.: Auf dem Weg zu einer experimentellen und evidenzbasierten Softwareentwicklung in den Digital Humanities. In DHd 2016: Modellierung – Vernetzung – Visualisierung: Die Digital Humanities als fachübergreifendes Forschungsparadigma, Konferenzabstracts der 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum e. V., Leipzig, Germany, March 7-12, 2016, pp. 79–81. nisaba verlag Magdeburg (2016)
Stahl, K.: Online Anomaly Detection for Reconfigurable Self-X Real-Time Operating Systems: A Danger Theory-Inspired Approach. PhD Thesis. Universität Paderborn (2016)
Wolters, D.; Gerth, C.; Engels, G.: Modeling Cross-Device Systems with Use Case Diagrams. In Proceedings of the CAiSE'16 Forum at the 28th International Conference on Advanced Information Systems Engineering (CAiSE'16), Ljubljana, Slovenia, June 13-17, 2016, CEUR Workshop Proceedings, vol. 1612, pp. 89–96. CEUR-WS.org (2016)
Wolters, D.; Kirchhoff, J.; Gerth, C.; Engels, G.: Cross-Device Integration of Android Apps. In Sheng, Q. Z.; Stroulia, E.; Tata, S.; Bhiri S. (eds.): Proceedings of the 14th International Conference on Service-Oriented Computing (ICSOC 2016), Banff, AB, Canada, October 10-13, 2016, LNCS, vol. 9936, pp. 171–185. Springer Cham, Switzerland (2016)
Wolters, D.; Kirchhoff, J.; Gerth, C.; Engels, G.: XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps. In Drira, K.; Wang, H.; Yu, Q.; Wang, Y.; Charoy, F.; Mendling, J.; Mohamed, M.; Wang, Z.; Bhiri, S. (eds.): Service-Oriented Computing – ICSOC 2016 Workshops and Satellite Events, Proceedings (to appear)
Yigitbas, E.; Kern, T.; Urban, P.; Sauer, S.: Multi-Device UI Development for Task-Continuous Cross-Channel Web Applications. In Casteleyn, S.; Dolog, P.; Pautasso, C. (eds.): Current Trends in Web Engineering: ICWE 2016 International Workshops, Lugano, Switzerland, June 6-9, 2016, Revised Selected Papers, 1st International Workshop on Liquid Multi-Device Software for the Web (LiquidWS 2016), LNCS, vol. 9881, pp. 114–127. Springer Cham, Switzerland (2016)
Yigitbas, E.; Sauer, S.: Customized UI Development Through Context-Sensitive GUI Patterns. In Weyers, B.; Dittmar, A. (eds.): Mensch & Computer 2016 – Workshopband, Aachen, Germany, September 4-7, 2016. GI Bonn (2016)
Yigitbas, E.; Sauer, S.: Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications. In Bogdan, C.; Gulliksen, J.; Sauer, S.; Forbrig, P.; Winckler, M.; Johnson, C.; Palanque, P.; Bernhaupt, R.; Kis, F. (eds.): Human-Centered and Error-Resilient Systems Development, Proceedings of IFIP WG 13.2/13.5 Joint Working Conferences 6th International Conference on Human-Centered Software Engineering (HCSE 2016) & 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Stockholm, Sweden, August 29-31, 2016, LNCS, vol. 9856, pp. 281–300. Springer Cham, Switzerland (2016)

Promotionen

Dr. rer. nat. Svetlana Arifulina
Dr. rer. nat. Masud Fazal-Baqaie
Dr. rer nat. Marvin Grieger

Preise und Auszeichnungen

Stefan Heindorf, Martin Potthast, Benno Stein, Gregor Engels
ACM Best Paper Award der 25th International Conference on Information and Knowledge Management (CIKM 2016) für die Veröffentlichung „Vandalism Detection in Wikidata“

Weitere Funktionen

Prof. Dr. Gregor Engels
Vorstandsvorsitzender des Software Innovation Lab (SI-Lab)
Vorstandsvorsitzender des s-lab – Software Quality Lab
Vorstand des C-LAB
Sprecher 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)
Vertreter der Universität Paderborn im Fakultätentag Informatik
Stellv. Vorsitzender des Vorstands von InnoZent OWL e.V.
Stellv. Sprecher des Leitungsgremiums des Fachbereichs Softwaretechnik der Gesellschaft für Informatik e.V. (GI)
Mitglied des Leitungsgremiums der Fachgruppe Architekturen der Gesellschaft für Informatik e.V. (GI)
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 Model-Driven Engineering Languages and Systems (MODELS)
Mitglied des Steering Committee der International Conference on Graph Transformations (ICGT)
Stellv. Vorsitzender des Aufsichtsrats der S&N AG, Paderborn
Mitglied im Advisory Board der QualityMinds GmbH, Nürnberg
Vorsitzender des Programmkomitees der folgenden Tagungen:
• DS MOD 2016, Doktorandensymposium Modellierung, Karlsruhe, Germany
• ECSS2016, European Computer Science Summit, Budapest, Hungary
• ICMT 2016, 9th International Conference on Model Transformation, Vienna, Austria
• SOFSEM 2016, 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Prague, Czech Republic
• TOSE 2016, 5th International Workshop on Theory-Oriented Software, Austin, TX, USA
Mitglied des Programmkomitees der folgenden Tagungen:
• BPM 2016, 14th International Conference on Business Process Management, Rio de Janeiro, Brazil
• DFF 2016, 7. Workshop "Design for Future – Langlebige Softwaresysteme", Bad Honnef, Germany
• ICSE 2016, Doctoral Symposium of the 38th International Conference on Software Engineering, Austin, TX, USA
• IWPE 2016, 2nd International Workshop on Process Engineering, Rio de Janeiro, Brazil
• MKWI 2016, Multikonferenz Wirtschaftsinformatik, Ilmenau, Germany
• Modellierung 2016, Karlsruhe, Germany
• MODELS 2016, ACM/IEEE 19th International Conference on Model-Driven Engineering Languages and Systems, Saint-Malo, France
• MODELS 2016, Tutorials at ACM/IEEE 19th International Conference on Model-Driven Engineering Languages and Systems, Saint-Malo, France
• SE 2016, Software Engineering, Vienna, Austria
• SEAMS 2016, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Austin, TX, USA
• VL/HCC 2016, IEEE Symposium on Visual Languages and Human-Centric Computing, Cambridge, UK

Dr. Masud Fazal-Baqaie
Stellv. Sprecher des Leitungsgremiums der Fachgruppe Vorgehensmodelle für die betriebliche Anwendungsentwicklung (WI-VM) der Gesellschaft für Informatik e.V. (GI)
Mitglied im Leitungskreis des Fachausschusses Management der Anwendungsentwicklung und -wartung (MAW) der Gesellschaft für Informatik e.V. (GI)
Mitglied im Job Role Committee des Certified (SPI) Software System Service Process Improvement Manager der European Certification and Qualification Association (ECQA)
Organisator der Tagung Projektmanagement + Vorgehensmodelle 2016 (PVM 2016), Paderborn, Germany
Mitglied im Programmkomitee der Tagung Projektmanagement + Vorgehensmodelle 2016 (PVM 2016), Paderborn, Germany
Poster-Co-Chair der 17th International Conference on Product-Focused Software Process Improvement (PROFES 2016), Trondheim, Norway

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 2016, Usability Professionals, Aachen, Germany und Usability Challenge 2016, 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 2016), Stockholm, Sweden

Dr. Baris Güldali
Mitglied im Leitungsgremium der Fachgruppe Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik e.V. (GI)
Stellvertretender Sprecher des Arbeitskreises Testen von objektorientierten Programmen / Modellbasiertes Testen (TOOP/MBT) der Gesellschaft für Informatik e.V. (GI)
Mitglied des Organisationskomitees des Treffens der GI-Fachgruppe TAV (Test, Analyse und Verifikation von Software) 2016, Bremen, Germany

Florian Rittmeier
Mitglied der Kommission für Angelegenheiten des IMT (bis September 2016)

Dr. Stefan Sauer
Geschäftsführer des Software Innovation Lab (SI-Lab)
Geschäftsführer des s-lab – Software Quality Lab
Sprecher des Arbeitskreises Langlebige Softwaresysteme (L2S2) der Gesellschaft für Informatik e.V. (GI)
Mitglied und Sekretär 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)
Vertreter des s-lab – Software Quality Lab im Leitungskreis der Initiative „Paderborn ist Informatik“
Mitglied im Beirat der „Lernstatt Paderborn“ Gutachter des Spitzenclusters it’s owl – Intelligente Technische Systeme OstWestfalenLippe für Transferprojekte
Technical Program Chair der IFIP Joint Working Conferences 6th International Conference on Human-Centered Software Engineering & 8th International Conference on Human Error, Safety, and System Development (HCSE + HESSD 2016), Stockholm, Sweden
Mitglied der Jury der ACM Student Research Competition der 19th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France
Organisator der folgenden Workshops:
• DFF 2016, 7. Workshop Design for Future – Langlebige Softwaresysteme, Bad Honnef, Germany
• MMSM 2016, 3. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung, Karlsruhe, Germany
Mitglied des Programmkomitees der folgenden Tagungen:
• DFF 2016, 7. Workshop Design for Future – Langlebige Softwaresysteme, Bad Honnef, Germany
• HCSE 2016, 6th International Conference on Human-Centered Software Engineering, Stockholm, Sweden
• MMSM 2016, 3. Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung, Karlsruhe, Germany
• MODELS 2016, Student Research Competition at ACM/IEEE 19th International Conference on Model-Driven Engineering Languages and Systems, Saint-Malo, France
• VL/HCC 2016, IEEE Symposium on Visual Languages and Human-Centric Computing, Cambridge, UK
Gutachter der folgenden Zeitschriften:
• Engineering Applications of Artificial Intelligence
• Journal of Visual Languages and Computing
• Software Quality Journal

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

Dr. Katharina Stahl
Vertreterin der wissenschaftlichen Mitarbeiter(innen) im Vorstand des Software Innovation Lab (SI-Lab)
Vertreterin der wissenschaftlichen Mitarbeiter(innen) im Vorstand des s-lab – Software Quality Lab

Enes Yigitbas
Observer 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

AFAIQ – Entwicklung eines Werkzeugs zur automatisierten Akquisition, Filterung und Analyse von Internet-Quellen, Förderung durch BMWi
Arbeit 4.0 – Lösungen für die Arbeitswelt der Zukunft, Förderung durch MWEIMH NRW / EFRE Regio.NRW – Region OWL
Business 4.0 – Neue Geschäftsmodelle und Wertschöpfungsketten mit IKT, Förderung durch MWEIMH NRW / EFRE Regio.NRW – Region OWL
CPS.HUB NRW – Competence Center for Cyber-Physical Systems, Förderung durch MWEIMH NRW / EFRE
Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“, Förderung durch MIWF NRW
Forschungsschwerpunkt „Digitale Zukunft“, Förderung durch MIWF NRW
Gold for Experts – Professional Education Services im Rahmen des Atos Learning Management Systems, 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
IP45G – Innovationsplattform zum Forschungsschwerpunkt „5G: Industrielles Internet“, Begleitforschung der Forschungsinitiative „5G: Industrielles Internet“, Förderung durch BMBF
IPPS – Entwicklung eines intelligenten Planungssystems für parametrierbare Systemfassaden, in Kooperation mit Schüco International KG, Transferprojekt im Spitzencluster it’s owl, Förderung durch BMBF
IT-Plattformen für Smart Service Welten, Studie in Kooperation mit der Deutschen Akademie der Technikwissenschaften (acatech), UNITY AG und Atos IT Solutions and Services GmbH, Förderung durch ABB, SAP und Siemens
itsowl-Arbeit40 – Nachhaltigkeitsmaßnahme Arbeit 4.0 des Spitzenclusters it’s owl, in Kooperation mit der Wincor Nixdorf Manufacturing GmbH sowie der Weidmüller Interface GmbH & Co. KG, Förderung durch BMBF
KoMoS – Konzeption modellbasierter Benutzerschnittstellen für verteilte Selbstbedienungssysteme, in Kooperation mit Wincor Nixdorf International GmbH, Innovationsprojekt im Spitzencluster it’s owl, Förderung durch BMBF
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
MoSAiC – Model-Integrating Self-Adaptive Components, in Kooperation mit Universität Koblenz-Landau, Förderung durch DFG
PCK – PROFICLOUD-Konfigurator, in Kooperation mit Phoenix Contact Electronics GmbH
Projektidee K, in Kooperation mit Phoenix Contact Software GmbH
QMSE – Qualitätsmanagement in der Softwareentwicklung, in Kooperation mit S&N AG, GEFA Gesellschaft für Absatzfinanzierung mbH
SDL Hörmann – Verbesserung des Software Development Lifecycles, in Kooperation mit Hörmann KG Antriebstechnik
SeCoMo – Entwicklung eines Kommunikationsmoduls in Hard- und Software für Sensoren und Aktoren in Hausautomationssystemen zum Schutz vor Manipulation und Verkehrsdatenanalyse, in Kooperation mit ies GmbH, Universität des Saarlandes (Prof. Dr. Christoph Sorge), Förderung durch BMWi ZIM
SFB 901 „On-The-Fly Computing“, Teilprojekt B1: – Parameterized Service Specifications und Teilprojekt C5: Architecture Management of OTF Computing Markets, Förderung durch DFG
SFC – Securing the Financial Cloud, in Kooperation mit Wincor Nixdorf International GmbH, achelos GmbH, Escrypt GmbH, Janz IT AG, Utimaco IS GmbH, Universität des Saarlandes (Prof. Dr. Christoph Sorge), Technische Universität Chemnitz (Prof. Dr.-Ing. Steffen Becker), Förderung durch BMBF
Umsetzungsprojekt bei der Schaltanlagenbau GmbH H. Westermann als Teil des Dachprojekts Mittelstand 4.0 – Kompetenzzentrum Dortmund
Windkraft-RZ – Vorarbeiten zu Besiedlungs- und Betriebskonzepten für Rechenzentren in Windkraftanlagen, in Kooperation mit WestfalenWIND GmbH
ZenMEM – Kompetenzzentrum „Musik – Edition – Medien“, in Kooperation mit Hochschule für Musik Detmold und Hochschule Ostwestfalen-Lippe, Förderung durch BMBF

Unternehmensgründungen

S&N CQM Consulting & Services GmbH: Dr. Baris Güldali, Dr. Masud Fazal-Baqaie
Die S&N CQM Consulting & Services GmbH wurde aus einer langjährigen und erfolgreichen Zusammenarbeit der S&N AG mit dem s-lab (Software Quality Lab) der Universität Paderborn am 1.4.2016 unter dem Dach der S&N Invent GmbH gegründet. Dr. Baris Güldali und Dr. Masud Fazal-Baqaie wechselten vom s-lab zu S&N CQM. Bei dem Unternehmen stehen die besonderen Herausforderungen an das Qualitäts- und Anforderungsmanagement in dynamischen IT-Projekten im Zentrum der praktischen und der wissenschaftlichen Arbeit. Die Kunden der S&N CQM profitieren somit von den neuesten wissenschaftlichen Erkenntnissen zu Themen wie Testautomatisierung, agile Entwicklung oder Softwaremodernisierung.

Personal

Sekretariat

Petra Schäfermeyer

Wissenschaftliche Mitarbeiter/-innen

Mohammad Divband Soorati, M.Sc
Dr. Lorijn van Rooijen
Mostafa Wahby, M.Sc

Publikationen

van Rooijen, Lorijn; Hamann, Heiko: Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In: Third International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'16), 2016
Hamann, Heiko; Khaluf, Yara; Botev, Jean; Divband Soorati, Mohammad; Ferrante, Eliseo; Kosak, Oliver; Montanier, Jean-Marc; Mostaghim, Sanaz; Redpath, Richard; Timmis, Jon; Veenstra, Frank; Wahby, Mostafa; Zamuda, Ales: Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems. Frontiers in Robotics and AI, 3(14), Apr. 2016
Kühne, Thomas; Hamann, Heiko; Arifulina, Svetlana; Engels, Gregor: Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In: Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), LNCS, Band 9594 , S. 278-293, 30. Mrz. - 1. Apr. 2016, Springer, Heidelberg
Valentini, Gabriele; Brambilla, Davide; Hamann, Heiko; Dorigo, Marco: Collective Perception of Environmental Features in a Robot Swarm. In: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, LNCS, Band 9882 , S. 65-76, 2016, Springer
Hamann, Heiko; Valentini, Gabriele; Dorigo, Marco: Population Coding: A New Design Paradigm for Embodied Distributed Systems. In: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, LNCS, S. 173-184, 2016, Springer
Divband Soorati, Mohammad; Hamann, Heiko: Robot Self-Assembly as Adaptive Growth Process: Collective Selection of Seed Position and Self-Organizing Tree-Structures. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016), S. 5745-5750, 2016
Heider, Michael; Von Mammen, Sebastian; Hamann, Heiko: Robot Gardens: An Augmented Reality Prototype for Plant-Robot Biohybrid Systems. In: ACM Symposium on Virtual Reality Software and Technology (VRST), S. 139-142, 2016, ACM  
Heinrich, Mary Katherine; Wahby, Mostafa; Divband Soorati, Mohammad; Hofstadler, Daniel; Zahadat, Payam; Ayres, Phil; Stoy, Kasper; Hamann, Heiko: Self-Organized Construction with Continuous Building Material: Higher Flexibility based on Braided Structures. In: Proc. of the 1st International Workshop on Self-Organising Construction (SOCO) (accepted), 2016
Wahby, Mostafa; Hofstadler, Daniel; Heinrich, Mary Katherine; Zahadat, Payam; Hamann, Heiko: An Evolutionary Robotics Approach to the Control of Plant Growth and Motion: Modeling Plants and Crossing the Reality Gap. In: Proc. of the 10th International Conference on Self-Adaptive and Self-Organizing Systems, 2016, IEEE
Valentini, Gabriele; Ferrante, Eliseo; Hamann, Heiko; Dorigo, Marco: Collective Decision with 100 Kilobots: Speed vs Accuracy in Binary Discrimination Problems. Journal of Autonomous Agents and Multi-Agent Systems, 30(3): S. 553-580 2016
Rybar, Milan; Hamann, Heiko: Inspiration-Triggered Search: Towards Higher Complexities by Mimicking Creative Processes. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2016), S. 165-172, 2016
Khaluf, Yara; Hamann, Heiko: On the Definition of Self-organizing Systems: Relevance of Positive/Negative Feedback and Fluctuations. In: ANTS 2016, LNCS, Band 9882 , S. 298, 2016, Springer

Preise und Auszeichnungen

Weierstraß-Preis für ausgezeichnete Lehre der Fakultät für Elektrotechnik, Informatik und Mathematik

Weitere Funktionen

Associate Editor:
IROS 2016 – IEEE/RSJ International Conference on Intelligent Robots and Systems

Mitglied in Programmkomitees:
Alife 2016 – Int. Conf. on Artificial Life
EvoStar 2016 – European Conf. on Bio-Inspired Computation
GECCO 2016 – Genetic and Evolutionary Computation Conference
TAROS 2016 – Towards Autonomous Robotics Systems

Aktuelle Forschungsprojekte

flora robotica – Societies of Symbiotic Robot-Plant Bio-Hybrids as Social Architectural Artifacts, Förderung durch EU-Kommission Brüssel (Horizon 2020 FET)
DFG – SFB 901 „On-The-Fly Computing“, Teilprojekt B1: Parametrisierte Service-Spezifikationen

Personal

Sekretariat

Elisabeth Lengeling

Wissenschaftliche Mitarbeiter/-innen

Mohsen Ahmadi Fahandar, M.Sc.
Dr. Róbert Busa-Fekete
Sascha Henzgen, M.Sc.
Dr. Theodor Lettmann (ab 09/2016)
Dipl.-Inform. Vitaly Melnikov
Dr. Felix Mohr
Dipl.-Inform. Adil Paul
Karlson Pfannschmidt, M.Sc.
Dr. Ammar Shaker

Externe Promovenden

Amira Abdel-Aziz, M. Sc.
Dipl.-Math. Michael Bräuning
Dipl.-Inf. Dirk Schäfer

Technischer Mitarbeiter

Dipl.-Ing. Dipl-Inform. Bodo Blume

Publikationen

Kaminka, G.A.; Fox, M.; Bouquet, P.; Hüllermeier, E.; Dignum, V.; Dignum, F.; van Harmelen, F. (Eds.): ECAI 2016, 22nd European Conference on Artificial Intelligence, including PAIS 2016, Prestigious Applications of Artificial Intelligence, volume 285 of Frontiers in Artificial Intelligence and Applications, The Hague, The Netherlands, 2016. IOS Press
Hoffmann, F.; Hüllermeier, E.; Mikut, R. (Eds.): Proceedings 26. Workshop Computational Intelligence. KIT Scientific Publishing, Karlsruhe, Germany, 2016
Leinweber, M.; Fober, T.; Strickert, M.; Baumgärtner, L.; Klebe, G.; Freisleben, B.;Hüllermeier, E.; CavSimBase: A database for large scale comparison of protein binding sites. IEEE Transactions on Knowledge and Data Engineering, 28(6):1423–1434, 2016
Riemenschneider, M.; Senge, R.; Neumann, U.; Hüllermeier, E.; Heider, D.: Exploiting HIV-1 protease and reverse transcriptase cross-resistance information for improved drug resistance prediction by means of multi-label classification. BioData Mining, 9(10), 2016
Fürnkranz, J.; Hüllermeier, E.: Preference learning. In C. Sammut and G.I. Webb, editors, Encyclopedia of Machine Learning and Data Mining. Springer, 2016
Jasinska, K.; Dembczynski, K.; Busa-Fekete, R.; Klerx, T.; Hüllermeier, E.: Extreme F-measure maximization using sparse probability estimates. In M.F. Balcan and K.Q. Weinberger, editors, Proceedings ICML–2016, 33th International Conference on Machine Learning, New York, NY, USA, 2016
Melnikov, V.; Hüllermeier, E.: Learning to aggregate using uninorms. In Proceedings ECML/PKDD–2016, European Conference on Machine Learning and Knowledge Discovery in Databases, Part II, pages 756–771, Riva del Garda, Italy, 2016
Dembczynski, K.; Kotlowski, W.; Waegeman, W.; Busa-Fekete, R.; Hüllermeier, E.: Consistency of probabilistic classifier trees. In Proceedings ECML/PKDD, European Conference on Machine Learning and Knowledge Discovery in Databases, Part II, pages 511–526, Riva del Garda, Italy, 2016
Shabani, A.; Paul, A.; Platon, R.; Hüllermeier, E.: Predicting the electricity consumption of buildings: An improved CBR approach. In Proceedings ICCBR, 24th International Conference on Case-Based Reasoning, pages 356–369, Atlanta, GA, USA, 2016
Pfannschmidt, K.; Hüllermeier, E.; Held, S.; Neiger, R.: Evaluating tests in medical diagnosis: Combining machine learning with game-theoretical concepts. In Proc. IPMU, 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part I, pages 450–461, Eindhoven, The Netherlands, 2016. Springer
Labreuche, C.; Hüllermeier, E.; Vojtas, P.; Fallah Tehrani, A.: On the identifiability of models in multi-criteria preference learning. In Busa-Fekete, R.; Hüllermeier, E.; Mousseau, V.; Pfannschmidt, K. (Eds.):  Proceedings DA2PL’2016, EURO Mini Conference From Multiple Criteria Decision Aid to Preference Learning, Paderborn, Germany, 2016
Schäfer, D.; Hüllermeier, E.: Preference-based reinforcement learning using dyad ranking. In Busa-Fekete, R.; Hüllermeier, E.; Mousseau, V.; Pfannschmidt, K. (Eds.): Proceedings DA2PL’2016, EURO Mini Conference From Multiple Criteria Decision Aid to Preference Learning, Paderborn, Germany, 2016
Couso, I.; Ahmadi, M.; Hüllermeier, E.: Statistical inference for incomplete ranking data: A comparison of two likelihood-based estimators. In Busa-Fekete, R.;  Hüllermeier, E.; Mousseau, V.; Pfannschmidt, K. (Eds.): Proceedings DA2PL’2016, EURO Mini Conference From Multiple Criteria Decision Aid to Preference Learning, Paderborn, Germany, 2016
Lu, S.; Hüllermeier, E.: Support vector classification on noisy data using fuzzy superset losses. In Hoffmann, F.; Hüllermeier, E.; Mikut, R.; (Eds.): Proceedings 26. Workshop Computational Intelligence, pages 1–8, Dortmund, Germany, 2016. KIT Scientific Publishing
Schäfer, D.; Hüllermeier, E.: Plackett-Luce networks for dyad ranking. In Workshop LWDA, “Lernen, Wissen, Daten, Analysen”, Potsdam, Germany, 2016

Promotionen

Dr. rer. nat. Ammar Shaker

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
PC Co-Chair der Konferenz PAIS 2016, Conference on Prestigious Applications of Intelligent Systems, Den Haag, August 2016
General Chair der Konferenz DA2PL 2016, EURO Mini Conference From Multiple Criteria Decision Aid to Preference Learning, Paderborn, November 2016
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)

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
Interaktive Grammatikanalyse historischer Texte: Adaptive Annotationsverfahren zur Erschließung des Sprachausbaus im Mittelniederdeutschen, Förderung durch DFG
Online Preference Learning with Bandit Algorithms, Förderung durch DFG

Gastwissenschaftler

Prof. Dr. Inés Couso Blanco, Statistics and O.R., Universidad de Oviedo, Spain
Prof. Dr. Krzysztof Dembczynski, Institute of Computing Science, University of Technology, Poznan, Polen
Dr. Georg Krempl, Fakultät für Informatik, Otto-von-Guericke Universität Magdeburg
Prof. Dr. habil Jerzy Stefanowski, Institute of Computing Science, University of Technology, Poznan, Polen
Prof. Dr. Willem Waegeman, Department of Mathematical Modelling, Statistics and Bioinformatics, University of Ghent, Belgium

(seit 10/2016)

Personal

Sekretariat

Carmen Buschmeyer (seit 10/2016)

Wissenschaftliche Mitarbeiter/innen

Rafael Kurek, M.Sc. (seit 10/2016)

Publikationen

Publikationen der Arbeitsgruppe im Berichtsjahr (erschienene und akzeptierte Publikationen)!

Horst, M.,  Grothe, M., Jager, T., Schwenk J., Breaking PPTP VPNs via RADIUS Encryption, 15th International Conference on Cryptology and Network Security - CANS 2016
Hofheinz, D., Jager, T., Rupp, A.  Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts, Fourteenth IACR Theory of Cryptography Conference - TCC 2016-B
Hofheinz, D., Jager, T., Khurana, D., Sahai, A., Waters, B., Zhandry, M., How to Generate and use Universal Samplers, 22nd Annual International Conference on the Theory and Applications of Cryptology and Information Security - ASIACRYPT 2016
Bader, C., Jager, T., Li, Y., Schäge, S.,  On the Impossibility of Tight Cryptographic Reductions, 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques - EUROCRYPT 2016
Hofheinz, D., Jager, T., Verifiable Random Functions from Standard Assumptions, 13th IACR Theory of Cryptography Conference - TCC 2016-A
Jager, T., Kohlar, J., Schäge, S., Schwenk, J., Authenticated Confidential Channel Establishment and the Security of TLS-DHE, Journal of Cryptology, to appear
Heuer, F.,  Jager, T., Kiltz, E., Schäge, S., On the Selective Opening Security of Practical Public-Key Encryption Schemes, IET Information Security, to appear

Preise und Auszeichnungen

TLS 1.3, Ready or Not? - Best Cont¬ri¬bu¬ti¬on to IETF Award, in recognition of outstanding research contributions benefitting the IETF TLS working group efforts to develop TLS 1.3. Verliehen auf dem TLS 1.3, Ready or Not? Workshop, Network and Distributed Systems Security Symposium, 21. Februar 2016, San Diego, CA, USA.

Gastaufenthalte

Bristol University, UK, November 2016, Forschungsaufenthalt bei der Cryptography Research Group, Department of Computer Science

Weitere Funktionen

Mitglied des Crypto Review Panels der Internet Engineering Task Force (IETF), Crypto Forum Research Group (CFRG)
Mitglied in Programmkomitees:
- 20th International Conference on Practice and Theory of Public-Key Cryptography (PKC 2017)
- ACM Asia Conference on Computer and Communications Security (ASIACCS 2017)
- 15th International Conference on Applied Cryptography and Network Security (ACNS2017)
Mitglied im Editorial Board der Fachzeitschrift Applicable Algebra in Engineering, Communication and Computing (AAECC), Springer-Verlag

Aktuelle Forschungsprojekte

DFG Sachbeihilfe-Projekt Tight Reductions in Cryptography
DFG Sachbeihilfe-Projekt  Grundlegende Konstruktionen von Schlüsselaustauschprotokollen mit niedriger Latenz

Wissenschaftliche Kooperationen

University of Bristol, Dr. Stam, Dr. Warinschi
Ruhr-Universität Bochum, Prof. Faust, Prof. Kiltz, Prof. Schwenk
Karlsruher Institut für Technologie, Prof. Hofheinz
University of California, Los Angeles, Prof. Sahai
University of Texas at Austin, Prof. Waters
Stanford University, Prof. Zhandry

Personal

Sekretariat
Tanja Bürger

Wissenschaftliche Mitarbeiter/-innen
Sébastien Auroux, M.Sc.
Sevil Dräxler, M.Sc.
Asif Hasnain, M.Sc (ab 09/2016)
Donald Parruca, M.Sc.
Manuel Peuster, M.Sc.
Hadi Razzaghi Kouchaksaraei, M.Sc. (ab 05/2016)
Arne Schwabe, M.Sc.

Technischer Mitarbeiter
Bodo Blume

Publikationen
D. Parruca, J. Gross: Throughput Analysis of Proportional Fair Scheduling for Sparse and Ultra-Dense Interference-Limited OFDMA/LTE Network in IEEE Transactions on Wireless Communications, Vol. 15, No. 10, pp. 6857-6870, October 2016.
M. Keller, H. Karl.: Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximation Bivariate Mixed-integer Function in IEEE Transactions on Network and Service Management, August 2016.
H. Karl, S. Dräxler, M. Peuster, A. Galis, M. Bredel, A. Ramos, J. Martrat, M. S. Siddiqui, S. v. Rossem, W. Tavernier, G. Xilouris:  DevOps for Network Function Virtualisation: An Architectural Approach in Transactions on Emerging Telecommunications Technologies, July 2016.
M. Herlich, N. Bredenbals, H. Karl: Delayed (De-)Activation in Servers with a Sleep Mode in Sustainable Computing: Informatics and Systems, Vol. 10., pp. 48 - 55, June 2016.  
S. v. Rossem, W. Tavernier, M. Peuster, D. Colle, M. Pickavet and P. Demeester: Monitoring and debugging using an SDK for NFV-powered telecom applications. Accepted in IEEE Conference on Network Function Virtualization and Software Defined Network (NFV-SDN) (Demo), November 2016.
M. Peuster, H. Karl, and S. v. Rossem: MeDICINE: Rapid Prototyping of Production-Ready Network Services in Multi-PoP Environments. Accepted in IEEE Conference on Network Function Virtualization and Software Defined Network (NFV-SDN), November 2016.
M. Peuster, H. Karl: Understand Your Chains: Towards Performance Profile-based Network Service Management. Accepted in Fifth European Workshop on Software Defined Networks (EWSDN), IEEE, October 2016.
S. Auroux, D. Parruca, H. Karl: Joint real-time scheduling and interference coordination for wireless factory automation. In Proceedings of the 27th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), September 2016.
A. Schwabe, P. A. Aranda Gutiérrez, H. Karl: Composition of SDN applications: Options/challenges for real implementations., July 2016.
P. A. A. Gutiérrez, E. Rojas, A. Schwabe, C. Stritzke, R. Doriguzzi-Corin, A. Leckey, G. Petralia, A. Marsico, K. Phemius, S. Tamurejo: NetIDE: All-in-one framework for next generation, composed SDN applications. 2016 IEEE NetSoft Conference and Workshops (NetSoft), Seoul, 2016, pp. 355-356, June 2016.
M. Peuster, H. Karl: "E-State: Distributed State Management in Elastic Network Function Deployments". In IEEE 2nd Conference on Network Softwarization (NetSoft 2016), June 2016.
S. Mehraghdam, H. Karl: "Placement of Services with Flexible Structures Specified by a YANG Data Model". In IEEE 2nd Conference on Network Softwarization (NetSoft), June 2016. Best student paper award!
M. Peuster, H. Karl, A. Redondi, A. Capone: "Demonstrating On-Demand Cell Switching with a Two-Layer Mobile Network Testbed". In 2016 IEEE Conference on Computer Communications (INFOCOM) Demo Session, April 2016.
A. Marsico, R. Doriguzzi-Corin, M. Gerola, D. Siracusa, A. Schwabe: A non-disruptive automated approach to update SDN applications at runtime. In NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium, Istanbul, 2016, pp. 1007-1008, April 2016.
R. Doriguzzi-Corin, D. Siracusa, E. Salvador, A. Schwabe: Empowering network operating systems with memory management techniques. NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium, Istanbul, 2016, pp. 740-744, April 2016.

Promotionen
Dr. rer. nat. Matthias Keller

Preise und Auszeichnungen
Sevil Dräxler Best Paper Award - IEEE 2nd Conference on Network Softwarization (NetSoft 2016) für "Placement of Services with Flexible Structures Specifies by a YANG Data Model.

Weitere Funktionen
Vorsitzender des Vorstandes des PC2
Mitglied der „International Graduate School on Intelligent Systems“

Aktuelle Forschungsprojekte
NICCI - Netzgewahre Regelung & regelungsgewahre Netze, Förderung durch DFG
Sensornetzwerke - Akustische Sensornetzwerke, Förderung durch DFG
NetIDE – An integrated development environment for portable network applications, Förderung durch EU-Kommission, Brüssel (FP7)
SONATA – Service Programing and Orchestration for Virtualized Software Networks, Förderung durch EU-Kommission, Brüssel (Horizon 2010)
DFG – SFB 901 „On-the-Fly Computing“, Teilprojekt C4: On-the-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers
KoI – Koordinierte Industriekommunikation: Latenzarme und verlässliche Industriekommunikation, Teilvorhaben: Verteilte Koordination, Förderung durch BMBF

Personal

Sekretariat

Carmen Buschmeyer
Cornelia Wiederhold

Wissenschaftliche Mitarbeiter

Dipl.-Inform. Steven Christopher Lücker
Dipl.-Inform. Andreas Oberhoff
Dipl.-Wirt.-Inf. Christian Schild (bis 06/2016)
Dr. rer. nat. Harald Selke
Dipl.-Inform. Felix Winkelnkemper
Dipl.-Inform. Gero Zahn 

Publikationen

Keil, R.: Gestaltung virtueller Forschungsumgebungen für die philologische Detailarbeit. In: Richts, K.; Stadler, P. (Hrsg.) „Ei, dem alten Herrn, Zoll’ ich Achtung gern“. Festschrift für Joachim Veit zum 60. Geburtstag, Allitera München, S. 437-461 

Weitere Funktionen 
Wissenschaftlicher Beirat der „Forschungs- und Beratungsstelle Arbeitswelt (FORBA)“, Wien (seit 2000)
Mitglied des Beirats „Lernstatt Paderborn“ (seit 2005)
Mitglied im Programmkomitee „DeLFI 2016 – Deutsche eLearning Fachtagung Informatik“, Potsdam
Mitglied im Programmkomitee „HDI 2016 – Hochschuldidaktik der Informatik“, Potsdam
Mitglied im Programmkomitee „MuC 2016 – Mensch und Computer“, Aachen
Mitglied im Programmkomitee „GMW-Jahrestagung 2016“, Innsbruck
Mitglied im Programmkomitee „ICALT 2016 – 16th IEEE International Conference on Advanced Learning Technologies, Austin, TX

Aktuelle Forschungsprojekte 

Mobile virtuelle Lernräume zur individuellen Unterstützung von jungen Menschen mit schweren Erkrankungen (MoviLe); Förderung durch EU_Kommission Erasmus+
Dialog 2.0, Wissen teilen – Region stärken; Förderung durch InnoZent OWL
Wesersandstein als globales Kulturgut (WeSa); Förderung durch BMBF
Zentrum Musik – Edition – Medien (ZenMEM); Förderung durch 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.

(Senior-Professor seit 09/2016)

Personal

Sekretariat
Elisabeth Lengeling
Wissenschaftliche Mitarbeiter/innen
Timo Klerx, M.Sc. (bis 02/2016)
Dr. Theodor Lettmann (bis 08/2016)
Technischer Mitarbeiter/innen
Dipl.-Ing. Dipl.-Inform. Bodo Blume

Publikationen
Kleine Büning, H.; Wojciechowski, P.J.; Subramani, K.: On the computational complexity of read once resolution decidability in 2CNF formulas, in CoRR abs/1610.04523, 2016
Adaricheva, K.; Italiano, G.F.; Kleine Büning, H.; Turán, G. (Eds.): Horn formulas, directed hypergraphs, lattices and closure systems: related formalism and application, Special Issue, Theoretical Computer Science 658, 2017
Marie-Christine Jakobs, M.-Ch.; Krämer, J.; Lettmann, T.; van Straaten, D.: Certification Matters for Service Markets, in Proc. 9th Int. Conf. on
Advanced Service Computing (SERVICE COMPUTATION 2017), 2017

Promotionen
Dr. rer. nat. Felix Mohr

Gastaufenthalte
Sun Yat-sen University, Guangzhou, P. R. China, Oktober 2016, Forschungsaufenthalt am Institute of Logic and Cognition

Weitere Funktionen
Sprecher der International Graduate School „Intelligent Systems in Automation Technology“ (ISA) der Fakultät EIM und des inIT, Hochschule OWL
Mitglied des Vorstandes der International Graduate School „Dynamic Intelligent Systems“
Mitglied des Vorstandes des „Paderborn Institute for Advanced Studies in Computer Science and Engineering“ (PACE)
Mitglied des Vorstandes des „Software Quality Lab“ (s-lab)
Mitglied des Editorial Board des Journals „Studies in Logic“
Mitglied des Vorstandes des Vereins „Satisfiability: Applications and Theory (SAT) e. V.“

Aktuelle Forschungsprojekte
InverSa – Intelligente vernetzte Systeme für automatisierte Geldkreisläufe, Teilprojekt Informationsfusion zum Manipulationsschutz an SB Automaten, BMBF Spitzencluster Intelligente Technische Systeme Ost-Westfalen-Lippe (it’s OWL), Kooperation mit inIT Hochschule OWL, und Wincor Nixdorf International GmbH

Wissenschaftliche Kooperationen
Yeshiva University, Prof. Kira V. Adaricheva, USA
Università di Roma "Tor Vergata", Prof. Giuseppe F. Italiano, Italien
University of Illinois, Prof. György Turán, USA
Sun Yat-sen University, Prof. Dr. Xishun Zhao, P.R. China

Gastwissenschaftler
Prof. Dr. Xishun Zhao, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, P. R. China

(Seniorprofessor)

Personal

Sekretariat

Sigrid Gundelach (Prof. Dr. J. Magenheim)

Wissenschaftliche Mitarbeiter

Jonas Neugebauer (bis 7 / 2016)
Dipl. Inf. Laura Ohrndorf
Adrian Wilke, M. Sc.

Promotionen

Dr. rer. nat. Laura Ohrndorf

Weitere Funktionen

Mitglied im Leitungsgremium GI-Fachbereich IAD, GI-Fachgruppe Didaktik der Informatik, GI Fachgruppe ISH
Mitglied in der GI FG ‚e-learning’, GI-IFIP Beirat
Sprecher der GI-AG „Qualitätssicherung im E-Learning“
IFIP: Deutscher Vertreter im IFIP TC3, IFIP WG 3.1 „Informatics and ICT in Secondary Education“, IFIP WG 3.3 – „Research on Education Applications of Information Technologies“
Mitglied des Zentrumsrats des Paderborner Zentrums für Bildungsforschung und Lehrerbildung (PLAZ)
Mitglied der PLAZ PG „Neue Medien“, World Digital Solidarity Agency (UNESCO)
Experte der Schweizerischen Akademie der Technischen Wissenschaften (SATW)
Mitglied im Editorial Board der Zeitschrift ‚Education and Information Technologies’ (Springer)
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

IaG ‚Informatik an Grundschulen’ in NRW, Förderung durch MSWF
MoKom II (Modellierungskompetenz Modellierung), Förderung durch DFG
KUI (Kompetenzen zum Unterrichten in Informatik), Förderung durch BMBF
DUC (Diversity Management in großen Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content) – Kom-DiM, NRW
MeCoPflege (Mediencoaches für das Berufsfeld Pflege), Förderung durch BMBF
KETTI (Kompetenzerwerb von Tutorinnen und Tutoren in der Informatik), Förderung durch BMBF
MLS (Mobiles Lernen in Smart Factories), Förderung durch BMBF

Sekretariat
Petra Schäfermeyer

Geschäftsstelle Sonderforschungsbereich 901
Marion Rohloff (Sekretariat)
Dr. rer. nat. Ulf-Peter Schroeder

Wissenschaftliche Mitarbeiter/innen
Markus Benter, M. Sc.
Sascha Brandt, M. Sc.
Dipl.-Math. Andreas Cord-Landwehr, M. Sc. (bis 03/2016)
Björn Feldkord, M. Sc.
Dr. rer. nat. Matthias Fischer
Dipl.-Inform. Daniel Jung
Shouwei Li, M. Sc.
Manuel Malatyali, M. Sc.
Alexander Mäcker, M. Sc.
Dipl.-Inform. Pavel Podlipyan
Dipl.-Math. Sören Riechers
Johannes Sebastian Schaefer, M. Sc. (seit 05/2016)

Technische Mitarbeiter/innen
Dipl.-Math. Ulrich Ahlers
Dipl.-Inform. Heinz-Georg Wassing

Publikationen
Abu-Khzam, F. N.; Li, S.; Markarian, C.; Meyer auf der Heide, F.; Podlipyan, P.: On the Parameterized Parallel Complexity and the Vertex Cover Problem. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (accepted), LNCS, Band 10043 , 16. – 18. Dez. 2016, Springer, Heidelberg
Mäcker, A.; Malatyali, M.; Meyer auf der Heide, F.; Riechers, S.: Cost-efficient Scheduling on Machines from the Cloud. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (accepted), LNCS, Band 10043, 16. – 18. Dez. 2016, Springer, Heidelberg
Drees, M.; Feldkord, Björn; Skopalik, A.: Strategic Online Facility Location. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (accepted), LNCS, Band 10043 , 16. – 18. Dez. 2016, Springer, Heidelberg
König, J.; Mäcker, A.; Meyer auf der Heide, F.; Riechers, S.: Scheduling with Interjob Communication on Parallel Processors. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (accepted), LNCS, Band 10043 , 16. – 18. Dez. 2016, Springer, Heidelberg
Fischer, M.; Jähn, C.; Meyer auf der Heide, F.; Petring, R.: Algorithm Engineering Aspects of Real-Time Rendering Algorithms. In: Algorithm Engineering, S. 226-244, LNCS, Band 9220 , Dez. 2016, Springer, Heidelberg
Li, S.; Meyer auf der Heide, F.; Podlipyan, P.: The impact of the Gabriel subgraph of the visibility graph on the gathering of mobile autonomous robots. In: Algorithms for Sensor Systems, Proceedings of the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS 2016) (accepted), LNCS, 25. – 26. Aug. 2016, Springer-Verlag
Meyer auf der Heide, F.; Sanders, P.; Sitchinava, N.: Introduction to the Special Issue on SPAA 2014. ACM Transactions on Parallel Computing, 3: S. 1 – 2, Aug. 2016
Abu-Khzam, F. N.; Li, S.; Markarian, C.; Meyer auf der Heide, F.; Podlipyan, P.: The Monotone Circuit Value Problem with Bounded Genus Is in NC. In: Computing and Combinatorics, The 22nd International Computing and Combinatorics Conference, Band 9797 , S. 92 – 102, Aug. 2016, Springer Verlag LNCS
Cord-Landwehr, A.; Fischer, M.; Jung, D.; Meyer auf der Heide, F.: Asymptotically Optimal Gathering on a Grid. In: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), S. 301 – 312, Jul. 2016, ACM
Abshoff, S.; Cord-Landwehr, A.; Fischer, M.; Jung, D.; Meyer auf der Heide, F.: Gathering a Closed Chain of Robots on a Grid. In: Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS), S. 689 – 699, Mai 2016, IEEE
Mäcker, A.; Malatyali, M.; Meyer auf der Heide, F.: On Competitive Algorithms for Approximations of Top-k-Position Monitoring of Distributed Streams. In: Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS), S. 700 – 709, Mai 2016, IEEE
Abshoff, S.; Kling, P.; Markarian, C.; Meyer auf der Heide, F.; Pietrzyk, P.: Towards the price of leasing online. Journal of Combinatorial Optimization, 32: S. 1197 – 1216 2016

Promotionen
Dr. rer. nat. Andreas Cord-Landwehr

Habilitationen
- keine -

Preise und Auszeichnungen
- keine -

Gastaufenthalte
- keine -

Weitere Funktionen 
Mitglied des Hochschulrats der Universität Paderborn
Sprecher des DFG-Sonderforschungsbereich (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
DFG-Vertrauensdozent der Universität Paderborn
Mitglied im Vorstand des "Paderborn Institute for Scientific Computation (PaSCo)"
Editor der Zeitschrift "Journal of Interconnection Networks (JOIN)", World Scientific Publishing
Vorsitzender des Scientific Advisory Board des Leibniz-Zentrums für Informatik, Schloss Dagstuhl
Mitglied der Bundes-Jury des Bundeswettbewerb "Jugend Forscht", Koordinator der Sektion Mathematik/Informatik
Mitglied des Milner Award Committee, The Royal Society
Mitglied im Programmkomitee "23rd International Colloquium on Structural Information and Communication Complexity (SIROCCO 2016)"
Mitglied im Programmkomitee "Workshop Parallele Algorithmen, Rechnerstrukturen und Systemsoftware (PARS 2016)"
Vizevorsitzender im Organisationskomitee "17th International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc 2016)"
Vorsitzender im Organisationskomitee "10th International Heinz Nixdorf Symposium On-the-Fly Computing", 2016

Aktuelle Forschungsprojekte
DFG-Sonderforschungsbereich 901 "On- The-Fly Computing" (Sprecher des SFB)
-Teilprojekt A1 "Capabilities and limitations of local strategies in dynamic networks"
-Teilprojekt C4 "On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers"
-Teilprojekt Z “Organisation und Verwaltung” Förderung durch Deutsche Forschungsgemeinschaft (DFG)
Foundational Research on MULTIlevel comPLEX networks and systems (MULTIPLEX) Förderung durch EU-Kommission, Brüssel
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)

Graduiertenprogramme
DFG-Graduiertenkolleg "Research Training Group Automatisms – Emerging structures in information technology, media, and culture"

Wissenschaftliche Kooperationen
Universität Wien, Prof. Dr. Monika Henzinger, Austria
Sapienza University of Rome, Prof. Stefano Leonardi, Ph.D., Italy
IMT Alti Studi Lucca, Prof. Guido Caldarelli, Ph.D., Italy
University of Patras, CTI, Greece, and University of Liverpool, United Kingdom, Prof. Paul Spirakis

Gastwissenschaftler/innen
- keine -

Unternehmensgründungen
- keine -

Patente
- keine -

Personal

Sekretariat
Paraskewi Antoniou

Wissenschaftliche Mitarbeiter/-innen

Dipl.-Inf. Andreas Agne (bis 04/2016)
Jahanzeb Anwer, M. Sc. (bis 02/2016)
Muhammad Awais (ab 10/2016)
Dipl.-Inf. Alexander Boschmann
Dr. Hassan Ghasemzadeh Mohammadi (ab 08/2016)
Tobias Graf, M. Sc. (bis 09/2016)
Zakarya Guettatfi (ab 10/2016)
Nam Ho, M. Sc.
Dr. Paul Kaufmann
Achim Lösch, M. Sc.
Dipl.-Ing. Sebastian Meisner
Tobias Wiersema, M. Sc.

Publikationen

Lewis, P.R.; Platzner, M.; Rinner, B.; Torresen, J.; Yao X. (editors): Self-aware Computing Systems: An Engineering Approach. Springer. 2016
Platzner, M.: On-the-fly computing: self-aware heterogeneous multi-cores. In Proceedings of the International Conference on CODES+ISSS. IEEE, 2016
Anwer, J.; Platzner, M.: Boolean Difference Based Reliability Evaluation of Fault-Tolerant Circuit Structures on FPGAs. In Proceedings of the Euromicro Conference on Digital System Design (DSD). 2016
Mohammadi, H. G.; Gaillardon, P.-E.; De Micheli, G.: Efficient Statistical Parameter Selection for Nonlinear Modeling of Process/Performance Variation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, PP(99):1–1, 2016
Graf, T.; Platzner, M.: Using Deep Convolutional Neural Networks in Monte Carlo Tree Search. In Proceedings of the International Conference on Computers and Games (CG), Springer, 2016
Graf, T.; Platzner, M.: Monte-Carlo Simulation Balancing Revisited. In Proceedings of the Conference on Computational Intelligence and Games, IEEE, 2016
Meisner, S.; Platzner, M.: Thread Shadowing: On the Effectiveness of Error Detection at the Hardware Thread Level. In Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2016
Wiersema, T.; Bockhorn, A.; Platzner, M.: An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering, Elsevier, 2016
Andrews, D.; Platzner, M.: Programming models for reconfigurable manycore systems. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems on-Chip (ReCoSoC 2016), IEEE, 2016
Agne, A.; Platzner, M.; Plessl, C.; Happe, M.; Lübbers, E.: ReConOS, in Dirk Koch, Frank Hannig and Daniel Ziener (editors): FPGAs for Software Programmers. Springer, 2016
Lösch, A.; Beisel, T.; Kenter, T.; Plessl, C.; Platzner, M.: Performance-centric scheduling with task migration for a heterogeneous compute node in the data center. In Proceedings of Design, Automation and Test in Europe (DATE), IEEE, 2016
Boschmann, A.; Dosen, S.; Werner, A.; Raies, A.; Farina, D.: A novel immersive augmented reality system for prosthesis training and assessment. In Proceedings of the International Conference on Biomedical Health Informatics (BHI), IEEE, 2016
Wiersema, T.; Platzner, M.: Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems on-Chip (ReCoSoC 2016), IEEE, 2016
Ghribi, I.; Abdallah, R. B.; Khalgui, M.; Platzner, M.: RCo-Design: New Visual Environment for Reconfigurable Embedded Systems, In Proceedings of the 30th European Simulation and Modelling Conference (ESM), 2016

Preise und Auszeichnungen

Best Student Project: Georg Thombansen und Linus Witschen haben einen Preis für ihre Projektarbeit bei der Xilinx Open Hardware 2016 Competition gewonnen.
Tobias Graf hat 3 Medaillen (zwei mal Gold und ein mal Silber) an der Computer Olympiade 2016 in Leiden, Niederlande, gewonnen.

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
IEEE Transactions on Computers & Transactions on Emerging Topics in Computing Joint Special Section on Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (Gasteditor)
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

Aktuelle Forschungsprojekte

Innovative Hardware und Software Architekturen durch Industrial IT (itsowl-InnoArch-IT), Förderung durch BMBF.
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
Demonstrator für echtzeitfähige Simulation elektromagnetischer Transienten in Stromnetzen: Die Latency Insertion Methode

Gastwissenschaftler/-innen

Ines Ghribi, University of Karthage, Tunisia (05/16 - 07/16)

Personal

Sekretariat

Michaela Kemper

Wissenschaftliche Mitarbeiter/-innen

Dipl.-Inf. Bernard Bauer
Dr. Tobias Kenter
Heinrich Riebler, M.Sc.
Dr. Jens Simon
Gavin Vaz, M.Sc.

Externe Promovenden

Jörn Schumacher, M.Sc.

Technische Mitarbeiter

Dipl.-Inf. Axel Keller
Holger Nitsche
Dipl.-Ing. Andreas Krawinkel
Justin Amedick (bis 12/2016)
Auszubildende
Philip Borkowski
Claudia Mergard
Nils Winnwa

Publikationen

Agne, A., Happe, M., Lösch, A., Plessl, C. and Platzner, M.: Self-aware Computing Systems, chapter Self-aware Compute Nodes, pages 145--165. Springer, Switzerland, 2016.
Riebler, H., Vaz, G., Plessl,C., Trainiti, E. M. G., Durelli, G.C. and Bolchini, C.: Using just-in-time code generation for transparent resource management in heterogeneous systems. In Proc. HiPEAC Workshop on Reonfigurable Computing (WRC), Jan. 2016.
Lösch, A., Beisel, T., Kenter, T., Plessl, C. and Platzner, M.: Performance-centric scheduling with task migration for a heterogeneous compute node in the data center. In Proc. Design, Automation and Test in Europe Conf. (DATE). EDA Consortium, Mar. 2016.
Agne, A., Platzner, M., Plessl, C., Happe, M. and Lübbers, E.: FPGAs for Software Programmers, chapter ReConOS, pages 227--244. Springer, Switzerland, June 2016
Vaz, G., Riebler, H., Kenter, T. and Plessl, C.: Potential and methods for embedding dynamic offloading decisions into application code. Computers and Electrical Engineering, June 2016.
Durelli, G. C., Santambrogio, M. D., Vaz, G., Plessl,C., Riebler, H., Trainiti, E. M. G. and Bolchini,C.: Using just-in-time code generation for transparent resource management in heterogeneous systems. In Proc. Int. Forum on Research and Technologies for Society and Industry (RTSI), Sept. 2016.
Kenter, T., Vaz, G., Riebler, H. and Plessl,C.: Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract). In Workshop on Reconfigurable Computing, Sept. 2016
Schumacher, J., Plessl, C., and Vandelli, W.: High-throughput and low-latency network communication with NetIO. In Proc. Conf. on Computing in High Energy and Nuclear Physics (CHEP), Oct. 2016.

Promotionen

Dr. Tobias Kenter

Weitere Funktionen

Geschäftsführer des PC2
Vorsitzender des Vorstandes des PC2
Stellv. Vorsitzender der IMT Kommission
Mitglied des Fakultätsrat

Aktuelle Forschungsprojekte

SAVE – Self-Adaptive Virtualization-Aware High-Performance/Low-Energy Heterogeneous System Architectures, Förderung durch EU-Kommission, Brüssel (FP7)
DFG – SFB901 – „On-The-Fly Computing“, Teilprojekt C2: On-The-Fly Comput Centers I: Heterogeneous Execution Environments
Innovative Hardware und Software Architekturen durch Industrial IT (itsowl-InnoArch–IT), Förderung durch BMBF

PERSONAL

Sekretariat

Marion Hucke

Wissenschaftliche Mitarbeiter

Michael Feldmann, M.Sc. (seit 03/2016)
Dr. Rainer Feldmann
Robert Gmyr, M.Sc.
Kristian Hinnenthal, M.Sc. (seit 11/2016)
Dipl.-Math. Christina Kolb
Dr. Jonas Lefévre (bis 08/16)
Alexander Setzer, M.Sc.
Thim Frederik Strothmann, M.Sc.

Technische Mitarbeiter

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

PUBLIKATIONEN

Koutsopoulos, A.; Scheideler, C.; Strothmann, T.: Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. To appear in: Journal of Information and Computation.
Derakhshandeh, Z.; Gmyr, R.; Richa, A.; Scheideler, C.; Strothmann, T.: Universal Coating for Programmable Matter. To appear in: Theoretical Computer Science.
Scheideler, C.; Gilbert, S.: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016. ACM. ISBN 978-1-4503-4210-0
Richa, A.; Scheideler, C.: Jamming-Resistant MAC Protocols for Wireless Networks. In Ming-Yang Kao (Editor), Encyclopedia of Algorithms, Springer.
Schmid, S.; Avin, C.; Scheideler, C.;  Borokhovich, M.; Haeupler, B.; Lotker, Z.: SplayNet: Towards Locally Self-Adjusting Networks
IEEE/ACM Transactions on Networking, Volume 24, Issue 3.
Scheideler, C.; Setzer, A.; Strothmann, T.:Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71-84.  
Gmyr, R.; Scheideler, C.: Self-stabilizing Metric Graphs. In Stabilization, Safety and Security of Distributed Systems - 18th International Symposium (SSS), 2016, pp. 248-262.
Derakhshandeh, Z.; Gmyr, R.; Porter, A.; Richa, A.W.; Scheideler, C.; Strothmann, T.: On the Runtime of Universal Coating for Programmable Matter. DNA Computing and Molecular Programming - 22st International Conference (DNA), 2016, pp. 148-164.  
Drees, M.; Gmyr, R.;  Scheideler, C.: Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration. 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417-427.  
Derakhshandeh, Z.; Gmyr, R.; Richa, A.W.; Scheideler, C.; Strothmann, T.: Universal Shape Formation for Programmable Matter. 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 289-299.
Strothmann, T.: The impact of communication patterns on distributed locally self-adjusting binary search trees. Journal of Graph Algorithms and Applications, Volume 20, 2016, pp. 79-100.  

PROMOTIONEN

Dr. rer. nat. Martina Eikel

WEITERE FUNKTIONEN

Sekretär und General Chair des ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)
Mitglied des Steering Committees der SIROCCO Konferenz
Associate Editor, Journal of Computer and System Sciences
Managing Editor, Journal of Interconnection Networks

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
SCHE 1592/3-1 „Algorithmen für selbst-organisierende Partikelsysteme“, Förderung durch DFG

WISSENSCHAFTLICHE KOOPERATIONEN

Prof. Dr. Fabien Kuhn, Universität Freiburg, Deutschland
Prof. Dr. A.W. Richa, Arizona State University, USA
Prof. Dr. Peter Robinson, London School of Economics and Political Science, Großbritannien

Personal

Sekretariat

Cornelia Wiederhold

Wissenschaftliche Mitarbeiter

Lea Budde, M. Sc.
Jessica Krüger, M. Sc.
Kathrin Müller, M. Sc.
Melanie Margaritis-Kopecki, M. Sc.  
Dipl.-Inf. Laura Ohrndorf

Weitere Funktionen

Mitglied im Leistungsgremium „GI-Fachgruppe Didaktik der Informatik“ Programmkomitee „HDI - Hochschuldidaktik der Informatik“
Mitglied im Programmkomitee ICER
Mitglied im Programmkomitee „WiPSCE“, Münster
Mitglied im Programmkomitee „Koli Calling“, Finnland
Mitglied im Programmkomitee „ISSEP“, Münster

Aktuelle Forschungsprojekte

RETIBNE „Reparaturwissen als Element einer technischen und informatischen Bildung 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 Verbesserung der Studienbedingungen bei, Förderung durch BMBF
Informatik an Grundschulen in NRW, Förderung durch MSW

Personal

Sekretariat

Petra Schäfermeyer

Wissenschaftliche Mitarbeiter/-innen

Matthias Feldotto, M. Sc.

Publikationen

Feldotto, Matthias; Leder, Lennart; Skopalik, Alexander: Congestion Games with Mixed Objectives. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), LNCS, Band 10043 , 16. - 18. Dez. 2016, Springer, Heidelberg
Drees, Maximilian; Feldkord, Björn; Skopalik, Alexander: Strategic Online Facility Location. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), LNCS, Band 10043 , 16. - 18. Dez. 2016, Springer, Heidelberg
Harks, Tobias; Hoefer, Martin; Schewior, Kevin; Skopalik, Alexander: Routing Games With Progressive Filling. IEEE/ACM Transactions on Networking, 24(4): S. 2553 - 2562, Sep. 2016
Feldotto, Matthias; Graffi, Kalman: Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. Concurrency and Computation: Practice and Experience, 28(5): pp. 1655-1677, Apr 2016

Promotionen

Dr. rer. nat. Maximilan Drees

Aktuelle Forschungsprojekte

DFG – SFB 901 „On-The-Fly-Computing“, Teilprojekt A3: The market for services: Incentives, algorithms, implementation
MULTIPLEX – Foundational Research on MULTIlevel comPLEX networks and systems, Förderung durch EU-Kommission, Brüssel (FRP 7)

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

Aktuelle Forschungsprojekte

„Freischütz Digital – Paradigmatische Umsetzung eines genuin digitalen Editionskonzepts“, Förderung durch BMBF
Zentrum Musik – Edition – Medien, „Musik und nicht-textuelle Objekte im Kontext digitaler Editionen“, Förderung durch BMBF

PERSONAL

Sekretariat

Elisabeth Schlatt

Wissenschaftliche Mitarbeiter/-innen

Tobias Isenberg, M.Sc. (bis 31.03.2016)
Julia Krämer, M.Sc.
Marie-Christine Jakobs, M.Sc.
Jürgen König, M.Sc. (ab 15.07.2016)
Manuel Töws, M.Sc.
Oleg Travkin, M.Sc.
Dipl.-Inform. Sven Walther (bis 31.03.2016)

Externer Promovend

Steffen Beringer, M.Sc.
Technische Mitarbeiter
Dipl.-Ing./Dipl.-Inf. Bodo Blume 

PROMOTIONEN

Dr. rer. nat. Steffen Ziegert
Dr. rer. nat. Tobias Isenberg

PUBLIKATIONEN

Walther S.; Wehrheim, H.: On-the-fly construction of provably correct service compositions - templates and proofs. Sci. Comput. Program. 127: 2-23 (2016)
Krämer J; Wehrheim, H.: A Short Survey on Using Software Error Localization for Service Compositions. ESOCC 2016: 248-262
Beringer S.; Wehrheim, H.: Verification of AUTOSAR Software Architectures with Timed Automata. FMICS-AVoCS 2016: 189-204
Töws, M.; Wehrheim, H.: A CEGAR Scheme for Information Flow Analysis. ICFEM 2016: 466-483
Travkin, Oleg; Wehrheim, H.: Verification of Concurrent Programs on Weak Memory Models. ICTAC 2016: 3-24
Schellhorn, G.; Travkin, Oleg; Wehrheim, H.: Towards a Thread-Local Proof Technique for Starvation Freedom. IFM 2016: 193-209
Czech, M.; Jakobs, M.-C.; Wehrheim, H.: Just test what you cannot verify! Software Engineering 2016: 17-18
Jakobs, M. - C.; Pauck, F; Töws, M.: PAndA²: Analyzing Permission Use and Interplay in Android Apps (Tool Paper): Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (2016). , School of Computing Science Technical Report Series, no. 1503 (2016)
König, J.; Mäcker, A.; Meyer auf der Heide, F.; Riechers, S.: Scheduling with Interjob Communication on Parallel Processors. COCOA 2016, to appear
Doherty, S.; Dongol, B.; Derrick, J.; Schellhorn, G.; Wehrheim, H.: Proving Opacity of a Pessimistic STM. OPODIS 2016, to appear
Jakobs, M.-C.; Wehrheim, H.: Programs from Proofs - A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, to appear
H. Hermanns, J. Krämer, J. Krcal, M. Stoelinga: The Value of Attack-Defence Diagrams. In F. Piessens, L. Vigano (eds.): Principles of Security and Trust. Springer Berlin Heidelberg, LNCS, vol. 9635, pp. 163-185 (2016)
J. Krämer, H. Wehrheim: A Formal Approach to Error Localization and Correction in Service Compositions. STAF Workshops 2016: 445-457

GASTAUFENTHALTE

J. Krämer
Microsoft Research in Cambridge, UK, September bis November 2016

WEITERE FUNKTIONEN 

H. Wehrheim
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 2016, Integrated Formal Methods
· FM 2016, Formal Methods
· SETTA 2016, Dependable Software Engineering
· TASE 2016, Theoretical Aspects of Software Engineering
· AC 2016, Approximate Computing
· MORSE 2016, Model-Driven Robot Software Engineering
Gutachterin für diverse Zeitschriften und Konferenzen
Gutachterin für:
· Studienstiftung des Deutschen Volkes
· Alexander-von-Humboldt-Stiftung
· Niederländische Forschungsorganisation NWO
· European Research Council ERC
· Deutsche Forschungsgemeinschaft DFG
Stellvertretende Sprecherin des SFB 901

M.-C. Jakobs
Mentorin „perspEktIveM" (bis April 2016)

GRADUIERTENPROGRAMME

Forschungsschule NRW Graduate School on Dynamic Intelligent Systems (IGS)
International Graduate School of Intelligent Systems in Automation Technology (ISA)

AKTUELLE FORSCHUNGSPROJEKTE

LINA4 WM – Linearisierbarkeitsbeweise für schwache Speichermodelle, Förderung durch 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.

WISSENSCHAFTLICHE KOOPERATIONEN

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