Prof. Dr. Herbert Kuchen

Prof. Dr. Herbert Kuchen

Leonardo Campus 3, Raum 339
48149 Münster

T: +49 251 83-38251
F: +49 251 83-38259

  • Forschungsschwerpunkte

    Modell-getriebene Software-Entwicklung

    Modell-getriebene Techniken werden zur plattformübergreifenden Entwicklung von Apps für mobile Endgeräte genutzt.

    Parallele Programmierung

    Typische parallele Programmiermuster, so genannte algorithmische Skelette, werden als parallel implementierte Funktionen höherer Ordnung zur Verfügung gestellt. Sie ermöglichen die einfache Entwicklung effizienter paralleler Programme und unterstützen mehrere Rechenknoten in einem Cluster mit ggf. mehreren Cores und GPUs pro Knoten.

    Testen

    Durch symbolische Auswertung von Java-Bytecode zu einem System von Java-Klassen werden systematisch Testfälle erzeugt, die eine überdeckung des Kontroll; und Datenflusses sicherstellen können.

    Funktional-logische Programmierung

    Ein Compiler für die funktional-logische Programmiersprache Curry wurde entwickelt. Curry ist eine Erweiterung der funktionalen Sprache Haskell um Features von logischen Sprachen wie logische Variablen und Suchmechanismen.

    Elektronische Prüfungen

    Java-Programme und mathematische Beweise werden automatisch überprüft.

  • Weitere Zugehörigkeit an der Universität Münster

  • Vita

    Akademische Ausbildung

    Habilitation, Erlangung der Venia legendi für Informatik an der RWTH Aachen
    Promotion zum Dr. rer. nat. an der RWTH Aachen, Dissertationsthema: "Parallele Implementierung funktionaler Sprachen", Betreuer: Prof. Dr. Klaus Indermark
    Studium der Informatik an der RWTH Aachen
    Abschluss des Studiums als Diplom-Informatiker an der RWTH Aachen

    Beruflicher Werdegang

    Direktor des European Research Center for Information Systems (ERCIS), WWU Münster
    Professor für Praktische Informatik an der Westfälischen Wilhelms-Universität Münster (zunächst C3, ab 2005 W2)
    Vertretung einer C3-Professur an der Westfälischen Wilhelms-Universität Münster
    Vertretung einer C4-Professur an der RWTH Aachen
    Vertretungsprofessur an der Universität Gießen (C4-Vertretung)
    Akademischer Oberrat an der RWTH Aachen
    Akademischer Rat an der RWTH Aachen
    Forschungsaufenthalt an der Chalmers University of Technology, Göteborg, Schweden
    Lehrauftrag an der Universität Ulm
    Profesor asociado an der Universidad Politécnica de Madrid, Spanien
    Wissenschaftlicher Assistent am Lehrstuhl für Informatik II der RWTH Aachen
    Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik II (Leitung: Prof. Dr. Klaus Indermark) der RWTH Aachen

    Preise

    Best Paper Award – Association for Computing Machinery (ACM)
    Best Student Paper Award – IEEE EDOC
    Best paper award – Hawaii International Conference on System Sciences (HICSS) Committee
    Best Paper Award for the Third International Conference on Advances and Trends in Software Engineering – IARIA
    Best Paper Award for the Seventh International Conference on Advances in System Testing and Validation Lifecycle – IARIA

    Mitgliedschaften und Aktivitäten in Gremien

    15th International Symposium on High-level Parallel Programming and Applications (HLPP 2022), Porto, Portugal. (Mitglied im Programmkomitee der)
    DSAI 2022, Lisbon, Portugal. (Mitglied im Programmkomitee der)
    ACM SAC 2022, SE track, Brno, Czech Republic. (Mitglied im Programmkomitee der)
    28th International European Conference on Parallel and Distributed Computing (Euro-Par 2022), Glasgow, UK. (Mitglied im Programmkomittee,)
    17th International Conference on Software Technologies (ICSOFT 2022), Lisbon, Portugal. (Mitglied im Programmkomitee,)
    SACLA 2022, Cape Town, South Africa. (Mitglied im Programmkomitee,)
    International Conference on Managed Programming Languages & Runtimes (MPLR). (Mitglied im Programmkomitee,)
    International Symposium on High-Level Parallel Programming and Applications (HLPP). (Mitglied im Programmkomitee der)
    Mitglied im Programmkomitee der SOFTENG 2020, Lissabon, Portugal
    Mitglied im Programmkomitee der SOFTENG 2019, Valenzia, Spanien
    Mitglied im Programmkomitee der SBD 2019 (ACM SIGMOD), Amsterdam, Niederlande
    Mitglied im Programmkomitee der INFOCOMP 2019, Nizza, Frankreich
    Mitglied im Programmkomitee der HLPGPU 2019, HiPEAC, Valenzia, Spanien
    Mitglied im Programmkomitee der ScalCom 2019, Leicester, UK
    Mitglied im Programmkomitee der VALID 2019, Valencia, Spanien
    Mitglied im Programmkomitee der 6th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD), 2019, Dublin, Irland
    Mitglied im Programmkomitee der ParCo 2019, Prag, Tschechien
    Mitglied im Programmkomitee der HLPP 2019, Linköping, Schweden
    Mitglied im Programmkomitee der LA-CCI 2019, Guayaquil, Ecuador
    Mitglied im Programmkomitee der LOPSTR 2019, Porto, Portugal
    Mitglied im Programmkomitee der WFLP 2019, Cottbus, Deutschland
    Gastautor "International Journal of Parallel Computation", Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2018
    Mitglied der Programmkomitee der VALID 2018, Nizza, Frankreich
    Mitglied im Programmkomitee der SACLA 2018, Cape Town, Südafrika
    Mitglied im Programmkomitee der HLPP 2018, Orléans, Frankreich
    Mitglied im Programmkomitee der ScalCom 2018, Guangzhou, China
    Mitglied im Programmkomitee der WFLP 2018, Frankfurt a.M., Deutschland
    Mitglied im Programmkomitee der SBD 2018, Houston, Texas, USA
    Mitglied im Programmkomitee der INFOCOMP 2018, Barcelona, Spanien
    Mitglied im Programmkomitee der SOFTENG 2018, Athen, Griechenland
    Mitglied im Programmkomitee der SAC 2018, Track PAPP, Pau, Frankreich
    Mitglied im Programmkomitee der SAC 2018, Track SE, Pau, Frankreich
    Mitglied im Programmkomitee der HLPGPU 2018, Manchester, England
    Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
    Gastredakteur der Parallel Processing Letters 27(1), 2017
    Gastredakteur des International Journal of Parallel Computation, Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2017
    Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
    Mitglied im Programmkomitee der SOFTENG 2017, Venedig, Italien
    Mitglied im Programmkomitee der SBD 2017, Raleigh, USA
    Mitglied im Programmkomitee der HLPGPU 2017, Stockholm, Schweden
    Mitglied im Programmkomitee der INFOCOMP 2017, Venedig, Italien
    Mitglied im Programmkomitee der PASCO 2017, Kaiserslautern, Deutschland
    Mitglied im Programmkomitee der ParCo 2017, Bologna, Italien
    Mitglied im Programmkomitee der HLPP 2017, Valladolid, Spanien
    Mitglied im Programmkomitee der WFLP 2017, Kiel, Deutschland
    Mitglied im Programmkomitee der LA-CCI 2017, Arequipa, Peru
    HLPP 2016, Münster, Deutschland (Organisator und Mitglied im Programmkomitee)
    Mitglied im Programmkomitee der SOFTENG 2016, Lissabon, Portugal
    Mitglied im Programmkomitee der HLPGPU 2016, Prag, Tschechien
    Mitglied im Programmkomitee der SACLA 2016, Pretoria, Südafrika
    Mitglied im Programmkomitee der SBD 2016, San Francisco, USA
    Mitglied im Programmkomitee der ACM SAC 2016, Track SE, Pisa, Italien
    Mitglied im Programmkomitee der QRS 2016, Wien, Österreich
    Herausgeber von Open Journal of Web Technologies, 2013
    Berufung zum DAAD-Auswahlkommissionsmitglied
    Mitglied des wissenschaftlichen Beirats der IMDEA-Software
    Mitglied des Steering Commitee des International Symposium on Functional and Logic Programming (FLOPS)
    Stellvertretender Vorsitzender der Fachgruppe "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik e.V.
    Mitglied der Jury des Innovationspreises IT 2010 der Initiative Mittelstand
    Mitglied des Vorstands der Regionalgruppe Münsterland der Gesellschaft für Informatik e.V.
    Mitglied im Vorstand der European Association for Programming Languages and Systems (EAPLS)
    Mitglied des Steering Commitee der ACM Conference on Principles and Practice of Declarative Programming (PPDP)

    Rufe

    Universität der Bundeswehr München – abgelehnt
    Martin-Luther-Universität Halle-Wittenberg – abgelehnt
  • Lehre

     

    Vorlesung
    Seminar

    Vorlesungen
    Seminare

    Vorlesung
    Seminare

    Vorlesungen
    Seminare
    Sonstige Lehrveranstaltung

    Vorlesungen
    Seminare
    Übungen
  • Projekte

    • Interdisziplinäre Zusammenarbeit mit dem Arbeitskreis Glorius des organisch-chemischen Instituts im Bereich maschinelles Lernen und Datenanalyse ()
      Eigenmittelprojekt
    • Muesli – Algorithmic Skeletons - The Muenster Skeleton Library (Muesli) ()
      Eigenmittelprojekt
    • Digitale Gesundheitsanwendung für die personalisierte Rehabilitation nach einem Knöchelinversionstrauma ()
      Eigenmittelprojekt
    • Autonomic Computing in Cloud-Native Environments (seit )
      Eigenmittelprojekt
    • Spieltheoretische Marktmechanismen zur automatischen Verteilung von Kitaplätzen ()
      Eigenmittelprojekt
    • E-Assessment Tool für UML Klassendiagramme ()
      Eigenmittelprojekt
    • MD² – Model-driven Mobile Development ()
      Eigenmittelprojekt
    • MPLR – International Conference on Managed Programming Languages & Runtimes in Münster 2021 ()
      Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren
    • Musket - Muenster Skeleton Tool for High-Performance Code Generation (seit )
      Eigenmittelprojekt
    • EXIST-Gründerstipendium "ProLeap" ()
      Gefördertes Einzelprojekt: BMWK - EXIST-Gründerstipendium | Förderkennzeichen: 03EGSNW489
    • Kunden-Verwaltungs-System ()
      Gefördertes Einzelprojekt: matchInn UG (haftungsbeschränkt)
    • 9th International Symposium on High-Level Parallel Programming and Applications ()
      Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren
    • Muli – Muli – The Münster Logic-Imperative Language (seit )
      Eigenmittelprojekt
    • DAAD Austauschprogramm: PPP Spanien - Testfallgenerierung mit kooperierenden Constraint-Solvern ()
      Gefördertes Einzelprojekt: Deutscher Akademischer Austauschdienst | Förderkennzeichen: 57049954
    • Wirtschaftliche und plattformübergreifende Entwicklung von Business Apps ()
      Gefördertes Einzelprojekt: Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e. V.
    • Testen von Software ()
      Gefördertes Einzelprojekt: Wirtschaft
    • cHL-hybrid – Computergestützte Hochschullehre in hybriden Systemen ()
      Hauptprojekt eines BMBF-Verbundes: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • cHL-hybrid - Referenztechnologien ()
      participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • cHL-hybrid - Integration von Forschungs- und Lehrprozessen ()
      participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • cHL-hybrid - Integration der Lehr- und Lernprozesse mit administrativen Prozessen ()
      participations in bmbf-joint project: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
    • Muggl – Der Münster-Generator für Glass-box-Testfälle (seit )
      Eigenmittelprojekt
  • Publikationen

    • Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert. . ‘Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach.’ In Evaluation of Novel Approaches to Software Engineering. Cham: Springer Nature. [accepted / in Press (not yet published)]
    • Winkelmann, Hendrik; Kuchen, Herbert. . ‘Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.’ In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, edited by Kaindl, Hermann Mannion, Mike Maciaszek, Leszek, 412–419. Prague, Czech Republic: SciTePress. doi: 10.5220/0011849200003464.
    • Schneid, Konrad; Thöne, Sebastian; Kuchen, Herbert. . ‘Modification-Impact Based Test Prioritization for Process-Driven Applications.’ In Proceedings of 6th International Workshop on the Next Level of Test Automation. Dublin, Ireland. [accepted / in Press (not yet published)]
    • Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert. . ‘Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol.’ In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, edited by SciTePress, 77–88. Prague, Czech Republic: SciTePress. doi: 10.5220/0011743500003464.
    • Neugebauer, Jonathan; Hochstrat, Jonas; Schneid, Konrad; Sigge, Daniel; Kuchen, Herbert. . ‘A Model-Driven Approach to SAP S/4HANA Development.’ In Enterprise Design, Operations, and Computing, edited by Proper, Henderik A.; Pufahl, Luise; Karastoyanova, Dimka; van Sinderen, Marten; Moreira, João, 97–113. Cham: Springer Nature. doi: 10.1007/978-3-031-46587-1_6.
    • Menezes, Breno; Kuchen, Herbert; Buarque de Lima Neto, Fernando. . ‘Parallelization of Swarm Intelligence Algorithms.’ International Journal of Parallel Programming 2022. doi: 10.1007/s10766-022-00736-3.
    • Winkelmann Hendrik, Kuchen Herbert. . ‘Constraint-Logic Object-Oriented Programming on the Java Virtual Machine.’ In 37th ACM/SIGAPP Symposium On Applied Computing, edited by Association for Computing Machinery, 1258–1267. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3477314.3507058.
    • Winkelmann Hendrik, Troost Laura, Kuchen Herbert. . ‘Constraint-Logic Object-Oriented Programming for Test Case Generation.’ In 37th ACM/SIGAPP Symposium On Applied Computing, edited by Association for Computing Machinery, 1499–1508. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3477314.3507015.
    • Troost Laura, Kuchen Herbert. . ‘A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs.’ In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 267–274.: SCITEPRESS. doi: 10.5220/0000149800003176. [online first]
    • Gomes Pereira de Lacerda M., de Andrade Amorim Neto H., Ludermir T.B., Kuchen H., Buarque de Lima Neto F. . ‘Towards a Parameterless Out-of-the-box Population Size Control for Evolutionary and Swarm-based Algorithms for Single Objective Bound Constrained Real-Parameter Numerical Optimization .’ Applied Soft Computing Journal, Elsevier 2022. [accepted / in Press (not yet published)]
    • Neugebauer Jonathan, Kuchen Herbert. . ‘Model-Driven Customizing of ERP Systems: A Case Study.’ In The 37th ACM/SIGAPP Symposium on Applied Computing (SAC '22), April 25--29, 2022, Virtual Event, edited by Association for Computing Machinery, 1276–1279. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3477314.3507166.
    • Strieth-Kalthoff, Felix; Sandfort,Frederik; Kühnemund,Marius; Schäfer,Felix R.; Kuchen,Herbert; Glorius,Frank. . ‘Machine Learning for Chemical Reactivity: The Importance of Failed Experiments.’ Angewandte Chemie - International Edition . doi: 10.1002/anie.202204647. [accepted / in Press (not yet published)]
    • Dubbeldam, Rosemary; Neugebauer, Jonathan; Lee, Yu Yuan; Pham, My Linh; Beser, Lokman; Gerlach, Luka; Kuchen, Herbert. . ‘Digital Health System for Individualised Rehabilitation After Ankle Inversion Trauma.’ In 2022 International Conference on Technology Innovations for Healthcare (ICTIH), edited by IEEE, 78–84. Magdeburg, Germany: Wiley-IEEE Press. doi: 10.1109/ICTIH57289.2022.10112118.
    • Dubbeldam, Rosemary; Neugebauer, Jonathan; Kuchen, Herbert. . „A-146: Digitale Applikation für individuellen Rehabilitation nach Sprunggelenksinversionstrauma.“ Beitrag präsentiert auf der 27. Jahrestagung der Deutschen Assoziation für Fuß und Sprunggelenk e.V. (D.A.F.), Wiesbaden. doi: 10.1016/j.fuspru.2022.06.037.
    • Neugebauer, Jonathan; Dubbeldam, Rosemary; Pham, My Linh; Beser, Lokman; Gerlach, Luka; Lee, Yu Yuan; Kuchen, Herbert. . ‘A medical information system for personalized rehabilitation after ankle inversion trauma.In Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, edited by Fill, Hans-Georg; van Sinderen, Marten; Maciaszek, Leszek A., 319–330. 17. Aufl. Lisbon: SciTePress. doi: 10.5220/0011295800003266.
    • Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert. . ‘Constraint-Logic Object-Oriented Programming with Free Arrays.’ Contributed to the 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, Bologna, Italien. doi: 10.1007/978-3-030-75333-7_8.
    • Menezes Breno, Herrmann Nina, Kuchen Herbert, Neto Fernando Buarque de Lima. . ‘High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons.’ Contributed to the 13th International Symposium on High-Level Parallel Programming and Applications (HLPP 2020), Porto, Portugal.
    • de Lacerda M G, de Araujo Pessoa L F, Buarque de Lima Neto F, Ludermir T B, Kuchen H. . ‘A Systematic Literature Review on General Parameter Control for Evolutionary and Swarm-based Algorithms.’ In Swarm and Evolutionary Computation, edited by Das S, Suganthan P N, Ali M, 100777. doi: 10.1016/j.swevo.2020.100777.
    • Winkelmann Hendrik, Kuchen Herbert. . ‘Symbolic execution of NoSQL applications using versioned schemas.’ In Proceedings of the 36th Annual ACM Symposium on Applied Computing, edited by Association for Computing Machinery, 1778–1787. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3412841.3442050.
    • Schneid K, Kuchen H, Thöne S, Di Bernado S. . ‘Uncovering data-flow anomalies in BPMN-based process-driven applications.In Proceedings of the 36th Annual ACM Symposium on Applied Computing , 1504–1512. doi: 10.1145/3412841.3442025.
    • Schneid Konrad, Di Bernardo Sascha, Kuchen Herbert, Thöne Sebastian. . Data-Flow Analysis of BPMN-Based Process-Driven Applications: Detecting Anomalies across Model and Code , Nr. 38, .
    • Schneid Konrad, Stapper Leon, Thöne Sebastian, Kuchen Herbert. . ‘Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications.’ Contributed to the IEEE EDOC 2021, Gold Coast, Australia. doi: 10.1109/EDOC52215.2021.00014.
    • Hofstedt Petra, Abreu Salvador, John Ulrich, Kuchen Herbert, Seipel Dietmar (Eds.): . Declarative Programming and Knowledge Management . : Springer VDI Verlag. doi: 10.1007/978-3-030-46714-2.
    • Menezes Breno, de Araujo Pessoa L F, Kuchen H, Buarque de Lima Neto F. . ‘Parallelization Strategies for GPU- Based Ant Colony Optimization Applied to TSP.’ In Parallel Computing: Technology Trends, edited by Ian Foster, Gerhard R. Joubert, Luděk Kučera, Wolfgang E. Nagel, Frans Peters, 321–330.: IOS Press. doi: 10.3233/APC200057.
    • Rieger Christoph, Lucrédio Daniel, Pontin M. Fortes Renata, Kuchen Herbert, Dias Felipe, Duarte Lianna. . ‘A Model-Driven Approach to Cross-Platform Development of Accessible Business Apps.’ Contributed to the The 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Brno, Czech Republic. doi: 10.1145/3341105.3375765.
    • Wrede Fabian, Rieger Christoph, Kuchen Herbert. . ‘Generation of high-performance code based on a domain-specific language for algorithmic skeletons.’ The Journal of Supercomputing 75: 1–19. doi: 10.1007/s11227-019-02825-6.
    • Dageförde Jan C., Kuchen Herbert. . ‘Constraint-Logic Object-Oriented Programming with Free Arrays.’ Contributed to the WFLP 2020, Bologna, Italy.
    • Schneid Konrad, Thöne Sebastian, Kuchen Herbert. . ‘Feature Development in BPMN-Based Process-Driven Applications.’ In Business Process Management Forum, edited by Fahland Dirk, Ghidini Chiara, Becker Joerg, Dumas Marlon, 35–50. Springer Nature.
    • Dageförde Jan C., Kuchen Herbert. . Free Objects in Constraint-logic Object-oriented Programming Working Papers, European Research Center for Information Systems, Nr. 32. Münster, .
    • Schneid Konrad, Thöne Sebastian, Kuchen Herbert. . ‘Feature Development in BPMN-Based Process-Driven Applications.’ In Business Process Management Forum, edited by Fahland Dirk, Ghidini Chiara, Becker Jörg, Duma Marlon, 35–50.: Springer.
    • Wrede Fabian, Kuchen Herbert. . ‘Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons.’ International Journal of Parallel Programming 48, Nr. 4: 713–728. doi: 10.1007/s10766-020-00659-x.
    • Schneid, Konrad; Usener, Claus A.; Thöne, Sebastian; Kuchen, Herbert; Tophinke, Christian. . ‘Static Analysis of BPMN-Based Process-Driven Applications.’ In SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, edited by Hung, Chihcheng, Papadopoulos; George Angelos, 66–74. Limassol Cyprus: Association for Computing Machinery. doi: 10.1145/3297280.3297289.
    • Abreu S, Hofstedt P, John U, Kuchen H, Seipel D. . ‘Pre-proceedings of the International Conference DECLARE.’ In Parallel Programming with Algorithmic Skeletons. The Art of Structuring, edited by Kuchen H, 527–536.: Springer Verlag. [accepted / in Press (not yet published)]
    • Menezes B, Pessoa L, Kuchen H, Buarque F. . ‘Parallelization Strategies for GPU-based Ant Colony Optimization Applied to TSP.’ Contributed to the The International Conference on Parallel Computing ParCo2019, Prag. doi: 10.1109/CEC.2019.8790073.
    • Menezes Breno, Amorim Hugo, Kuchen Herbert, Buarque Fernando. . ‘Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem.’ Contributed to the 2019 IEEE Congress on Evolutionary Computation (CEC), Wellington, New Zealand. doi: 10.1109/CEC.2019.8790073.
    • Lacerda M, Buarque de Lima Neto F, Amorim Neto H, Kuchen H, Ludermir T. . ‘On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms.’ Contributed to the 6th IEEE Latin American Conference on Computational Intelligence (LA-CCI '19), Guayaquil, Ecuador. [accepted / in Press (not yet published)]
    • Dageförde Jan C., Kuchen Herbert. . „Muli: Constraint-Logic Object-Oriented Programming mit freien Objekten.“ Beitrag präsentiert auf der 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Baiersbronn-Schwarzenberg.
    • Rieger Christoph, Kuchen Herbert. . ‘Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development Across Device Classes.’ In Towards Integrated Web, Mobile, and IoT Technology, edited by Majchrzak Tim A, Mateos Cristian, Poggi Francesco, Grønli Tor-Morten, 36–66. Cham: Springer International Publishing. doi: 10.1007/978-3-030-28430-5_3.
    • Beyer Lars, Dageförde Jan C., Kuchen Herbert, Usener Claus A. . ‘Automated Data-flow Analysis and Validation in Process Automation Projects.’ In Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, edited by Fujita H, Selamat A, 333–346.: IOS Press. doi: 10.3233/FAIA190061.
    • Dageförde Jan C., Kuchen Herbert. . ‘A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli.’ Journal of Computer Languages 53: 63–78. doi: 10.1016/j.cola.2019.05.001.
    • Rieger Christoph, Wrede Fabian, Kuchen Herbert. . ‘Musket: A Domain-Specific Language for High-Level Parallel Programming with Algorithmic Skeletons.’ Contributed to the 34nd Annual ACM Symposium on Applied Computing (SAC), Limassol, Cyprus. doi: 10.1145/3297280.3297434.
    • Reischmann Tobias, Kuchen Herbert. . ‘A Web-Based E-Assessment Tool for Design Patterns in UML Class Diagrams.’ In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing . ACM New York, NY, USA: ACM. doi: 10.1145/3297280.3297520.
    • Rieger Christoph, Kuchen Herbert. . ‘A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes.’ Contributed to the 52nd Hawaii International Conference on System Sciences, Maui, Hawaii, USA.
    • Buender, Hendrik; Kuchen, Herbert. . ‘A Model-Driven Approach for Behavior-Driven GUI Testing .’ In Proceeding SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1742–1751. doi: 10.1145/3297280.3297450.
    • Dageförde Jan C., Kuchen Herbert. . ‘Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space.’ Contributed to the 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus. doi: 10.1145/3297280.3298912.
    • Buender, Hendrik, Kuchen Herbert. . ‘Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. Contributed to the 7th MODELSWARD 2019: Prague, Czech Republic: Revised Selected Papers, Prag, Czechische Republik.
    • Reischmann T, Kuchen H. . ‘An Interactive Learning Environment for Software Engineering Design Patterns.’ In Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 35:1–35:2. New York, NY, USA: ACM. doi: 10.1145/3279720.3279896.
    • Wrede Fabian, Menezes Breno, Kuchen Herbert. . ‘Fish School Search with Algorithmic Skeletons.’ International Journal of Parallel Programming -, Nr. -: 1–19. doi: 10.1007/s10766-018-0564-z.
    • Menezes Breno, Wrede Fabian, Kuchen Herbert, Buarque Fernando. . ‘Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS.’ Contributed to the 4th IEEE Latin American Conference on Computational Intelligence (LA-CCI '17), Arequipa, Peru. doi: 10.1109/LA-CCI.2017.8285694.
    • Fuchs Andreas, Kuchen Herbert. . ‘Test-Case Generation for Web-Service Clients.’ Contributed to the The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France.
    • Wrede Fabian, Menezes Breno, Pessoa Luis F., Hellingrath Bernd, Buarque Fernando, Kuchen Herbert. . ‘High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons.’ In Parallel Computing is Everywhere, edited by Bassini Sanzio, Danelutto Marco, Dazzi Patrizio, Joubert Gerhard R., Peters Frans, 573–582. Amsterdam, Berlin, Washington DC: IOS Press.
    • Gorlatch S, Kuchen H. . ‘Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.’ International Journal of Parallel Programming 46: 1–3. doi: 10.1007/s10766-017-0512-3.
    • Rieger Christoph, Kuchen Herbert. . ‘A process-oriented modeling approach for graphical development of mobile business apps.’ Computer Languages, Systems & Structures 53: 43–58. doi: 10.1016/j.cl.2018.01.001.
    • Rieger Christoph, Westerkamp Martin, Kuchen Herbert. . ‘Challenges and Opportunities of Modularizing Textual Domain-Specific Languages.’ Contributed to the Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Funchal, Madeira, Portugal. doi: 10.5220/0006601903870395.
    • Dageförde Jan C., Kuchen Herbert. . Muli: Constraint-Programmierung in Java auf symbolischer JVM Research report, Nr. 482. Oslo, Norway: Selbstverlag / Eigenverlag / Self-publishing , .
    • Rieger Christoph, Kuchen Herbert. . ‘Towards Model-Driven Business Apps for Wearables.’ Contributed to the Mobile Web and Intelligent Information Systems (MobiWis), Barcelona, Spain. doi: 10.1007/978-3-319-97163-6_1.
    • Dageförde Jan C., Kuchen Herbert. . ‘An Operational Semantics for Constraint-logic Imperative Programming.’ In Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017., edited by Seipel D, Hanus M, Abreu S, 64–80. Cham: Springer VDI Verlag. doi: 10.1007/978-3-030-00801-7_5.
    • Dageförde Jan C., Kuchen Herbert. . ‘A Constraint-logic Object-oriented Language.’ Contributed to the 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, Frankreich. doi: 10.1145/3167132.3167260.
    • Wrede Fabian, Rieger Christoph, Kuchen Herbert. . ‘Generation of High-Performance Code Based on a Domain-Specific Language for Algorithmic Skeletons.’ Contributed to the High-Level Parallel Programming and Applications (HLPP '18), Orléans, France.
    • Gorlatch S, Kuchen H. . ‘Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications .’ Parallel Processing Letters 27, Nr. 1: 1–2. doi: 10.1142/S0129626417020017.
    • Fuchs Andreas, Kuchen Herbert. . ‘Unit Testing of Database-Driven Java Enterprise Edition Applications.’ Contributed to the 11th International Conference on Tests & Proofs, Marburg, Deutschland.
    • Bünder Hendrik, Rieger Christoph, Kuchen Herbert. . ‘A Model-Driven Approach for Evaluating Traceability Information.’ In The Third International Conference on Advances and Trends in Software Engineering (SOFTENG), edited by Kajko-Mattsson Mira, Ellingsen Pål, Maresca Paolo, 59–65.
    • Bünder Hendrik, Rieger Christoph, Kuchen Herbert. . ‘A Domain-specific Language for Configurable Traceability Analysis.’ In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), edited by Ferreira Pires Luis, Hammoudi Slimane, Selic Bran, 374–381. doi: 10.5220/0006138503740381.
    • von Hof V, Fögen K, Kuchen H. . ‘Detecting Spring Configurations Errors.’ In SAC '17 Proceedings of the Symposium on Applied Computing, edited by Shin Sung Y., Shin Dongwan, Lencastre Maria. New York, NY, USA: ACM.
    • Dageförde Jan C., Kuchen Herbert. . „Muli: Constraint-Programmierung in Java auf symbolischer JVM.“ Beitrag präsentiert auf der 19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Weimar.
    • Dageförde Jan C., Kuchen Herbert. . ‘An Operational Semantics for Constraint-logic Imperative Programming.’ In Declare 2017 – Conference on Declarative Programming, edited by Seipel D, Hanus M, Abreu S. Würzburg.
    • Caballero R, Montenegro M, Kuchen H, von Hof V. . ‘Falsification of Java Assertions Using Automatic Test-Case Generators.’ International Journal On Advances in Systems and Measurements 2016, Nr. 9: 177–187.
    • Reischmann T, Kuchen H. . ‘Towards an E-assessment Tool for Advanced Software Engineering Skills.’ In Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 81–90. New York, NY, USA: ACM. doi: 10.1145/2999541.2999550.
    • Caballero R, Von Hof V, Montenegro M, Kuchen H. . A Program Transformation for Converting Java Assertions into Control-flow Statements ERCIS Working Papers, Nr. 25, .
    • Fögen K, Von Hof V, Kuchen H. . Attributed Grammars for Detecting Spring Configuration Errors ERCIS Working Papers, Nr. 26. Münster: Selbstverlag / Eigenverlag / Self-publishing , .
    • Ernsting S, Kuchen H. . ‘Data Parallel Algorithmic Skeletons with Accelerator Support.’ International Journal of Parallel Programming 2016: 1–17. doi: 10.1007/s10766-016-0416-7.
    • Von Hof V, Fögen K, Kuchen H. . „Compilezeit-Prüfung von Spring-Konfigurationen.“ Beitrag präsentiert auf der Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016, Wien, Österreich.
    • Majchrzak Tim A., Ernsting Jan, Kuchen Herbert. . ‘Achieving Business Practicability of Model-Driven Cross-Platform Apps.’ Open Journal of Information Systems (OJIS) 2, Nr. 2: 3–14.
    • Caballero R, Montenegro M, Kuchen H, von Hof V. . ‘Checking Java Assertions Using Automated Test-Case Generation.’ Contributed to the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, Sienna, Italien. doi: 10.1007/978-3-319-27436-2_13.
    • Ernsting Steffen, Kuchen Herbert. . ‘Java Implementation of Data Parallel Skeletons on GPUs.’ Contributed to the ParCo 2015, Edinburgh.
    • Caballero R, Montenegro M, Kuchen H, von Hof V. . ‘Automatic Falsification of Java Assertions.’ Contributed to the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain.
    • Majchrzak TA, Ernsting J, Kuchen H. . ‘Model-Driven Cross-Platform Apps: Towards Business Practicability.’ In Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, 2015., edited by Grabis, Janis; Sankuhl, Kurt, 129–136.: CEUR-WS.org.
    • Heitkötter Henning, Kuchen Herbert, Majchrzak Tim A. . ‘Extending a model-driven cross-platform development approach for business apps.’ Science of Computer Programming 97, Nr. 1: 31–36. doi: 10.1016/j.scico.2013.11.013.
    • Hanschke S, Ernsting J, Kuchen H. . ‘Integrating Agile Software Development and Enterprise Architecture Management.’ In Proceedings of the 48th Annual Hawaii International Conference on System Sciences (HICSS-48), 4099–4108.: IEEE Computer Society.
    • Ernsting Steffen, Kuchen Herbert. . ‘A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.’ International Journal of Parallel Programming 42, Nr. 6: 968–987. doi: 10.1007/s10766-013-0269-2.
    • Ernsting Steffen, Kuchen Herbert. . ‘A Scalable Farm Skeleton for Heterogeneous Parallel Programming.’ In Parallel Computing: Accelerating Computational Science and Engineering (CSE) , edited by Bader, M, Bode A, Bungartz H-J, Gerndt M, Joubert G R, Peters F, 72–81. doi: 10.3233/978-1-61499-381-0-72.
    • Ernsting S, Kuchen H. . ‘A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.’ International Journal of Parallel Programming Special Issue. doi: 10.1007/s10766-013-0269-2.
    • Heitkötter H, Majchrzak TA, Kuchen H. . „MD²-DSL – eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen.“ In Software Engineering 2013 – Workshopband, herausgegeben von Wagner S, Lichter H, 91–106. Bonn, Deutschland: Gesellschaft für Informatik.
    • Heitkötter H, Majchrzak TA, Kuchen H. . ‘Cross-Platform Model-Driven Development of Mobile Applications with MD².’ Contributed to the 28th Annual ACM Symposium on Applied Computing (SAC), Coimbra, Portugal. doi: 10.1145/2480362.2480464.
    • Heitkötter H, Majchrzak TA, Wolffgang U, Kuchen H. . Business Apps: Grundlagen und Status quo Working paper, Nr. 4. Münster: Selbstverlag / Eigenverlag / Self-publishing , .
    • Ernsting Marko, Majchrzak, Tim A., Kuchen Herbert. . ‘Test Case Generation and Dynamic Mixed-Integer Linear Arithmetic Constraint Solving.’ In Functional and (Constraint) Logic Programming.
    • Ernsting Marko, Majchrzak Tim A., Kuchen Herbert. . ‘Dynamic Solution of Linear Constraints for Test Case Generation.’ In 2012 Sixth International Conference on Theoretical Aspects of Software Engineering, edited by Margaria Tiziana, Qiu Zongyan, Yang Hongli, 271–274.: IEEE.
    • Ernsting Steffen, Kuchen Herbert. . ‘Algorithmic skeletons for multi-core, multi-GPU systems and clusters.’ International Journal of Oil, Gas and Coal Technology 7, Nr. 2: 129–138. doi: 10.1504/IJHPCN.2012.046370.
    • Ernsting Steffen, Kuchen Herbert. . ‘Data Parallel Skeletons in Java.’ Procedia Computer Science 9: 1817–1826. doi: 10.1016/j.procs.2012.04.200.
    • Usener Claus A., Majchrzak Tim A., Kuchen Herbert. . ‘E-assessment and software testing.’ Interactive Technology and Smart Education 9, Nr. 1: 45–54. doi: 10.1108/17415651211228095.
    • Ernsting Steffen, Kuchen Herbert. . ‘Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.’ Contributed to the Parallel Conference 2011 (ParCo11), Gent, Belgien.
    • Majchrzak TA, Jansen T, Kuchen H. . ‘Efficiency evaluation of open source ETL tools.’ In Proceedings of the 2011 ACM Symposium on Applied Computing, edited by Chu William C. , Wong W. Eric, Palakal Mathew J., Hung Chih-Cheng, 287–294.: ACM. doi: 10.1145/1982185.1982251.
    • Hermanns C, Kuchen H. . ‘Jhyde - The java hybrid debugger.’ In Proceedings of the 6th International Conference on Software and Data Technologies, edited by Escalona-Cuaresma María José, Shishkov Boris, Cordeiro José, 25–35.: SciTePress.
    • Usener Claus A., Majchrzak Tim A., Kuchen Herbert. . ‘Combining State of the Art Software Engineering and E-Assessment.’ In Proc. of the IADIS Int. Conf. e-Learning 2011 (eL2011), 377–385.: IADIS Press (2011).
    • Majchrzak Tim A., Kuchen Herbert. . ‘Logic Java: Combining Object-Oriented and Logic Programming.’ In Functional and Constraint Logic Programming - 20th International Workshop, edited by Kuchen Herbert, 122–137. Heidelberg: Springer. doi: 10.1007/978-3-642-22531-4.
    • Kuchen Herbert (Ed.): . Functional and Constraint Logic Programming. Heidelberg: Springer VDI Verlag. doi: 10.1007/978-3-642-22531-4.
    • Gruttmann S, Kuchen H. . ‘Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.’ Zeitschrift für e-Learning : 23–35.
    • Usener Claus A., Gruttmann Susanne, Majchrzak Tim A., Kuchen Herbert. . ‘Computer-Supported Assessment of Software Verification Proofs - Towards High-Quality E-Assessments in Computer Science Education.’ In Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT).: IEEE Computer Society.
    • Ciechanowicz Philipp, Kuchen Herbert. . ‘Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.’ In 12th IEEE International Conference on High Performance Computing and Communications, 108–113.: IEEE. doi: 10.1109/HPCC.2010.64.
    • Majchrzak T A, Kuchen H. . Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen Arbeitsberichte des Instituts für Wirtschaftsinformatik: Institut für Wirtschaftsinformatik, .
    • Majchrzak T. A., Kuchen H. . IHK-Projekt Softwaretests: Auswertung Working Papers, Nr. 2. Münster: Selbstverlag / Eigenverlag / Self-publishing , .
    • Gruttmann S, Usener C, Kuchen H. . „ Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium.“.
    • Gruttmann S, Kuchen H. . „ Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.“.
    • Gruttmann S, Usener C, Majchrzak T, Kuchen H. . ‘ Formative E-Assessment of Software Verification Skills in Higher Education.’ Contributed to the IADIS e-Learning Conference 2010 (EL 2010).
    • Kuchen H, Hermanns C. . ‘Implementation and Evaluation of a Declarative Debugger for Java.’ Contributed to the WFLP 2010, Madrid, Spain.
    • Ciechanowicz P, Poldner M, Kuchen H. . Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.
    • Ciechanowicz Philipp, Kegel Philipp, Schellmann Maraike, Gorlatch Sergei, Kuchen Herbert. . ‘Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.’ Contributed to the International Conference ParCo, Lyon, France.
    • Majchrzak T, Kuchen H. . ‘Automated Test Case Generation based on Coverage Analysis.’ Contributed to the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering.
    • Arndt C, Hermanns C, Kuchen H, Poldner M. . Best Practices in der Softwareentwicklung Arbeitsberichte des Förderkreis der Angewandten Informatik an der WWU Münster, Nr. 1, .
    • Majchrzak,A T, Kuchen H. . „Automatische Testfallerzeugung auf Basis der Überdeckungsanalyse.“ Beitrag präsentiert auf der 26th Workshop of the GI Woking Group Programmng Languages and Computing Concepts, Bad Honnef.
    • Ciechanowicz P, Poldner M, Kuchen H. . The Münster Skeleton Library Muesli - A Comprehensive Overview ERCIS Working Papers, Nr. 7. Münster: Selbstverlag / Eigenverlag / Self-publishing , .
    • Poldner Michael, Kuchen,Herbert. . ‘On Implementing the Farm Skeleton.’ Parallel Processing Letters 18, Nr. 1: 117–131. doi: 10.1142/S0129626408003260.
    • Polder M, Kuchen H. . ‘On Implementing the Farm Skeleton.’ Parallel Processing Letters , Nr. 18: 117–131.
    • Fischer S, Kuchen H. . ‘Data-Flow Testing of Declarative Programs.’ Contributed to the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP).
    • Gruttmann S, Böhm D, Kuchen H. . ‘E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.’ Contributed to the 2008 International Conference on Information Technology in Education.
    • Wolffgang Ulrich, Kuchen Herbert. . Web Application Modeling Language , .
    • Eilers B, Gruttmann S, Kuchen H. . „Konzeption eines integrierbaren Systems zur computergestützten Lernfortschrittskontrolle.“ In E-Learning-Management, herausgegeben von Grob HL, vom Brocke J, Buddendick C, 213–232. München: Vahlen Verlag.
    • Buddendick C, Gruttmann S, Düppe I, Grob HL, Kuchen H. . „ E-Learning in kollaborativen Softwareentwicklungsprojekten - Potenziale und Fallstricke auf Basis eines Action Research Projekts.“ Beitrag präsentiert auf der GML^2 2008 - Grundfragen Multimedialen Lehrens und Lernens.
    • Grob HL, Kuchen H, Buddendick C, Gruttmann S, Düppe I. . „Kollaborative Entwicklung von E-Learning Plattformen in Projektseminaren - Neue Potenziale für das E-Learning? .“ Beitrag präsentiert auf der logOS, Osnabrück, Germay.
    • Gruttmann S, Böhm D, Kuchen H. . ‘ E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.’ Contributed to the 2008 International Conference on Information Technology in Education, Wuhan,China.
    • Gruttmann S, Böhm D, Kuchen H. . ‘ Conceptual Design, Implementation and Evaluation of an E-Assessment System for Mathematical Proofs.’ Contributed to the 11th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008), Crete, Greece.
    • Gruttmann S, Kuchen H. . ‘ A Framework for Formative E-Assessments of Mathematical Proofs.’ Contributed to the 2008 Symposium on e-Assessment in Practice, Shrivenham.
    • Poldner M, Kuchen H. . ‘Skeletons for Divide and Conquer Algorithms.’ Contributed to the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2008), Innsbruck,Austria.
    • Poldner M, Kuchen H. . ‘ Task Parallel Skeletons for Divide and Conquer.’ Contributed to the Workshop of the Working Group Programming Languages and Computing Concepts of the German Computer Science Association GI, Bad Honnef.
    • Poldner M, Kuchen H. . ‘Optimizing Skeletal Stream Processing for Divide and Conquer.’ Contributed to the 3rd International Conference on Software and Data Technology (ICSOFT).
    • Fischer S, Kuchen H. . ‘Systematic Generation of Glass-Box Test Cases for Functional Logic Programs.’ Contributed to the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming.
    • Kuchen H, Hermanns C, Poldner M. . „ Technische Filter.“ In Recht und Neue Medien. Stuttgart: Boorberg Verlag.
    • Fischer S, Kuchen H. . ‘ Glass-Box Testing of Functional Logic Programs .’ Contributed to the 24th Workshop of GI Working Group ""Programming Languages and Computing Concepts"", Bad Honnef.
    • Müller R, Eilers B, Janiesch C, Kuchen H, Becker J. . ‘XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects.’.
    • Caballero R, Hermanns C, Kuchen H. . ‘Algorithmic Debugging of Java Programs.’ Contributed to the 15th International Workshop on Functional and Logic Programming (WFLP), Madrid.
    • Poldner M, Kuchen H. . ‘Algorithmic Skeletons for Branch & Bound.’ Contributed to the 1st International Conference on Software and Data Technology (ICSOFT), Sebtual,Portugal.
    • Kuchen H, Striegnitz J. . ‘Features from functional programming for a C++ skeleton library.’ Concurrency and Computation: Practice and Experience 17, Nr. 7-8: 739–756. doi: 10.1002/cpe.844.
    • Poldner M, Kuchen H. . ‘Scalable Farms.’ Contributed to the Parallel Computing (ParCo), Malaga.
    • Becker Jörg, Backhaus Klaus, Grob Heinz Lothar, Hoeren Thomas, Klein Stefan, Kuchen Herbert, Müller-Funk Ulrich, Thonemann Ulrich W, Vossen Gottfied. . European Research Center for Information Systems (ERCIS) : Gründungsveranstaltung : Münster 12. Oktober 2004 Working Paper, Nr. 1. Münster: Selbstverlag / Eigenverlag / Self-publishing , .
    • Müller R, Lembeck C, Kuchen H. . ‘A Symbolic Java Vitual Machine for Test-Case Generation.’ Contributed to the IASTED.
    • Lembeck C, Caballero R, Müller R, Kuchen H. . ‘Constraint Solving for Generating Glass-Box Test Cases.’ Contributed to the International Workshop on Functional and (Constraint) Logic Programming (WFLP), Aachen.
    • Lembeck C, Müller R, Kuchen H. . „Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern.“ Beitrag präsentiert auf der 34. Jahrestagung der Gesellschaft für Informatik, Ulm.
    • Kuchen H. . ‘Optimizing Sequences of Skeleton Calls.’ In Domain-Specific Program Generation, 254–273. Springer VDI Verlag.
    • Lechtenbörger J, Vossen G, Kuchen H. . „Sichten-Wartung in Datenlagern - Controlling aus datenbanktechnischer Sicht.“ In Trendberichte zum Controlling, herausgegeben von Physica-Verlag, 495–510. Heidelberg: Physica-Verlag.
    • Müller R A, Lembeck C, Kuchen H. . GlassTT - A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation Arbeitsberichte des Instituts für Wirtschaftsinformatik, Nr. 102. Münster: Institut für Wirtschaftsinformatik, .
    • Kuchen H, Cole M. . ‘The Integration of Task and Data Parallel Skeletons.’ Parallel Processing Letters 12, Nr. 2: 141–155. doi: 10.1142/S0129626402000896.
    • Kuchen H. . A Skeleton Library Arbeitsberichte Angewandte Mathematik und Informatik, Nr. 6/02-I, .
    • Kuchen H. . ‘A Skeleton Library.’ Contributed to the Euro-Par.
    • Kuchen H, Striegnitz J. . ‘Higher-Order Functions and Partial Applications for a C++ Skeleton Library.’ Contributed to the ISCOPE, ACM.
    • Kuchen Herbert, Ueda Kazunori (Eds.): . Functional and Logic Programming. : Springer VDI Verlag.
    • Kuchen H. . ‘ Implementing an Object Oriented Design in Curry.’ Contributed to the 9th International Workshop on Functional and Logic Programming, Valencia.
    • Lux W, Kuchen H. . ‘ An Efficient Abstract Machine for Curry.’ Contributed to the Arbeitstagung Programmiersprachen, Paderborn.
    • Kuchen H, Nietsch M. . „Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster.“, Nr. 2.
    • Kuchen H. . Workshop on Functional and Logic Programming, Proceedings Arbeitsberichte des Instituts für Wirtschaftsinformatik, Nr. 63. Münster: Institut für Wirtschaftsinformatik, .
    • Botorog H G, Kuchen H. . ‘ Efficient High-Level Parallel Programming .’, Nr. 196: 71–107.
    • Kuchen H. . Arbeitstagung Programmiersprachen, Tagungsband Arbeitsberichte des Instituts für Wirtschaftsinformatik, Nr. 58. Münster: Institut für Wirtschaftsinformatik, .
    • Glaser Hugh, Hartel Pieter, Kuchen Herbert (Eds.): . Programming Languages: Implementations, Logics, and Programs. : Springer VDI Verlag.
    • Kuchen Herbert, Swierstra S. Doaitse (Eds.): . Programming Languages: Implementations, Logics, and Programs. : Springer VDI Verlag. doi: 10.1007/3-540-61756-6.
    • Gladitz K, Kuchen H. . ‘ Shared Memory Implementation of the Gamma-Operation.’.
    • Kuchen H. . ‘ A Functional Logic Language Based on Higher Order Narrowing.’ Contributed to the Glasgow Functional Programming Workshop 1995, Glasgow.
    • Hanus M, Kuchen H. . ‘ Integration of Functional and Logic Programming.’, Nr. 2: 306–308.
    • Kuchen H, Loogen R, Moreno-Navarro JJ, Rodriguez-Artalejo M. . ‘ The Functional Logic Language BABEL and its Implementation on a Graph Machine.’.
    • Kuchen H, Anastasiadis J. . ‘ Higher Order Babel -- Language and Implementation.’ Contributed to the Extensions of Logic Programming.
    • Kuchen H. . „ Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher.“ In Software-Engineering im Scietific Computing, 142–149. Vieweg Verlag.
    • Dimov I, Karaivanova A, Kuchen H, Stoltze H. . ‘ Monte Carlo Algorithms for Elliptic Differential Equations - a Data Parallel Functional Approach.’, Nr. 9: 39–65.
    • Botorog H G, Kuchen H. . ‘Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.’ Contributed to the Fifth International Symposium on High Performance Distributed Computing (HPDC-5).
    • Botorog H G, Kuchen H. . ‘Using Algorithmic Skeletons with Dynamic Data Structures.’ Contributed to the Irregular '96.
    • Botorog H G, Kuchen H. . ‘Efficient Parallel Programming with Algorithmic Skeletons.’ Contributed to the EuroPar '96.
    • Brüll A, Kuchen H. . ‘TPASCAL - A Language for Task Parallel Programming.’ Contributed to the EuroPar'96.
    • Botorog H G, Kuchen H.Translation by Instantiation: Integrating Functional Features into an Imperative Language.“ contributed to the Poster Session of CC '96, Technical Report LiTH-IDA-R-96-12, University of Linköping, .
    • Hanus M, Kuchen H, Moreno-Navarro JJ. . ‘ Curry: A Truly Functional Logic Language.’ Contributed to the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland,USA.
    • Kuchen H. . ‘ Skeletons versus C - A Case Study.’ Contributed to the International Workshop on the Implementation of Functional Languages, Baastad,Sweden.
    • Kuchen H, Stoltze H, Dimov I, Karaivanova A. . ‘ Distributed Memory Implementation of Elliptic Partial Differential Equations in a Dataparallel Functional Langugage.’ Contributed to the Programming Models for Massively Parallel Computers (MPPM'95).
    • Botorog G, Kuchen H. . Algorithmic Skeletons in an Imperative Language for Distributed Programming Technical Reports of the University of Giessen, Nr. 9504, .
    • Botorog H G, Kuchen H. . ‘Algorithmic Skeletons for Adaptive Multigrid Methods.’ Contributed to the Irregular '95.
    • Kuchen H, Stoltze H. . ‘ Candela -- A Topology Description Language.’.
    • Gladitz K, Kuchen H. . ‘ Parallel Implementation of the Gamma-Operation.’ Contributed to the Conference on Parallel Symbolic Computation (PaSCo).
    • Kuchen H, Plasmeijer R, Stoltze H. . ‘ Distributed Implementation of a Data Parallel Functional Language.’ Contributed to the 6th International Conference on Parallel Architectures and Languages Europe (PARLE'94).
    • Kuchen H, Stoltze H. . „Eine datenparallele funktionale Sprache für Multicomputer.“ Beitrag präsentiert auf der TAT'94.
    • Kuchen H, Stoltze H. . ‘A Data Parallel Functional Language for Distributed Memory Machines.’ Contributed to the Conference on Numerical Methods and Applications.
    • Kuchen H, Gladitz K. . ‘ Parallel Implementation of Bags.’ Contributed to the Conference on Functional Languages and Computer Architecture, Kopenhagen.
    • Moreno-Navarro JJ, Kuchen H, Mariño-Carballo J, Winkler S, Hans W. . ‘ Efficient Lazy Narrowing using Demandedness Analysis.’ Contributed to the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93).
    • Hans W, Kuchen H, Winkler St. . Full Indexing for Lazy Narrowing Aachener Informatik-Berichte (AIB). Aachen, .
    • Kuchen H. . Distributed Memory Implementation of a Data Parallel Functional Language PMG Report of the Chalmers University of Technology, Nr. 76, .
    • Stoltze H, Kuchen H. . ‘Parallel Functional Programming using Algorithmic Skeletons.’ Contributed to the Int. Conf. on Parallel Computing (ParCo), Grenoble, North-Holland.
    • Kuchen H, Stoltze H, Lücking F. . „ Candela -- Eine Sprache zur Beschreibung von Topologien.“ Beitrag präsentiert auf der Transputer-Anwender-Treffen, Aachen.
    • Kuchen H, Lopez-Fraguas F, Moreno-Navarro JJ, Rodriguez-Artalejo M. . ‘ Implementing a Lazy Functional Logic Language with Disequality Constraints.’ Contributed to the Joint International Conference and Symposium on Logic Programming.
    • Kuchen H, Moreno-Navarro JJ, Hermenegildo M. . ‘ Independent And-Parallel Implementation of Narrowing.’ Contributed to the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP).
    • Kuchen H, Moreno-Navarro JJ, Hermenegildo M. . Independent And-Parallel Narrowing Aachener Informatik-Berichte (AIB). Aachen, .
    • Kuchen H, Lopez-Fraguas F. . Result Directed Computing in a Functional Logic Language Aachener Informatik-Berichte (AIB). Aachen, .
    • Kuchen H, Lopez-Fraguas F, Moreno-Navarro JJ, Rodriguez-Artalejo M. . Implementing Disequality in a Lazy Functional Logic Language Aachener Informatik-Berichte (AIB). Aachen, .
    • Kuchen H, Loogen R, Moreno-Navarro JJ, Rodriguez-Artalejo M. . Graph Narrowing to Implement a Functional Logic Language Reports of the Universidad Politecnica de Madrid. Madrid, .
    • Kuchen H, Stoltze H, Lücking F. . The Topology Description Language TDL Aachener Informatik-Berichte (AIB). Aachen, .
    • Kuchen H, Geiler G. . Distributed Applicative Arrays Aachener Informatik-Berichte (AIB), Nr. 91-5, .
    • Moreno-Navarro JJ, Kuchen H, Loogen R, Rodriguez-Artalejo M. . Lazy Narrowing in a Graph Machine Aachener Informatik-Berichte (AIB). Aachen, .
    • Kuchen H, Wagener A. . Comparison of Dynamic Load Balancing Strategies Aachener Informatik-Berichte (AIB), Nr. 90-5, .
    • Kuchen H, Loogen R, Moreno-Navarro JJ, Rodriguez-Artalejo M. . Graph-Based Implementation of a Functional Logic Language Aachener Informatik-Berichte (AIB). Aachen, .
  • Betreute Arbeiten

    Promotionen

    Hagedorn, BastianHigh-Performance Domain-Specific Compilation without Domain-Specific Compilers
    An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language
    Automated Test-Case Generation with Symbolic Execution
    Humernbrum, TimEnforcing Quality of Service in Real-Time Applications Using Software-Defined Networking
    von Hoffen, MoritzDeveloping Sharing Economy Services - Artifacts for Peer-to-Peer Sharing and Collaborative Consumption Services
    Klör, BenjaminBuilding a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries - Design and Evaluation
    Facilitating Information System Development
    Data Parallel Algorithmic Skeletons with Accelerator Support.
    icebricks. Konstruktion und Anwendung eines Prozessmodellierungswerkzeugs
    Graph-based Conceptual Model Analysis - Design, Implementation, Demonstration and Evaluation of Model Query Languages
    Groß, StephanEin konfiguratives Vorgehensmodell für die Einführung von ERP-Systemen
    Plattformübergreifende Entwicklung mobiler Business Apps
    Konstruktion und Anwendung eines multizweckorientierten hierarchischen Metamodellierungswerkzeugs
    Datenparallele algorithmische Skelette - Erweiterungen und Anwendungen der Münster Skelettbibliothek Muesli
    Entwicklung und Implementierung eines hybriden Debuggers für Java
    Gruttmann, SusanneFormatives E-Assessment in der Hochschullehre - Computerunterstützte Lernfortschrittkontrollen im Informatikstudium
    Poldner, MichaelTask Parallel Algorithmic Skeletons
    Technische und Organisatorische Aspekte von Softwaretests
    Modellgetriebene Entwicklung daten- und prozessbasierter Webapplikationen

    Habilitationen

    Analyzing and Predicting Performances of Business Processes
    Interaction Routines in Service Systems: Analysis, Design, Emergence