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
- Abschluss des Studiums als Diplom-Informatiker an der RWTH Aachen
- Studium der Informatik an der RWTH Aachen
Beruflicher Werdegang
- Direktor des European Research Center for Information Systems (ERCIS), WWU Münster
- Vertretung einer C4-Professur an der RWTH Aachen
- Vertretung einer C3-Professur an der Westfälischen Wilhelms-Universität Münster
- Professor für Praktische Informatik an der Westfälischen Wilhelms-Universität Münster (zunächst C3, ab 2005 W2)
- Vertretungsprofessur an der Universität Gießen (C4-Vertretung)
- Akademischer Oberrat an der RWTH Aachen
- Akademischer Rat an der RWTH Aachen
- Lehrauftrag an der Universität Ulm
- Forschungsaufenthalt an der Chalmers University of Technology, Göteborg, Schweden
- 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
- Nominiert für: 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
- SACLA 2022, Cape Town, South Africa. (Mitglied im Programmkomitee,)
- 17th International Conference on Software Technologies (ICSOFT 2022), Lisbon, Portugal. (Mitglied im Programmkomitee,)
- 28th International European Conference on Parallel and Distributed Computing (Euro-Par 2022), Glasgow, UK. (Mitglied im Programmkomittee,)
- ACM SAC 2022, SE track, Brno, Czech Republic. (Mitglied im Programmkomitee der)
- DSAI 2022, Lisbon, Portugal. (Mitglied im Programmkomitee der)
- 15th International Symposium on High-level Parallel Programming and Applications (HLPP 2022), Porto, Portugal. (Mitglied im Programmkomitee der)
- International Symposium on High-Level Parallel Programming and Applications (HLPP). (Mitglied im Programmkomitee der)
- International Conference on Managed Programming Languages & Runtimes (MPLR). (Mitglied im Programmkomitee,)
- Mitglied im Programmkomitee der SOFTENG 2020, Lissabon, Portugal
- Mitglied im Programmkomitee der WFLP 2019, Cottbus, Deutschland
- Mitglied im Programmkomitee der LOPSTR 2019, Porto, Portugal
- Mitglied im Programmkomitee der LA-CCI 2019, Guayaquil, Ecuador
- Mitglied im Programmkomitee der HLPP 2019, Linköping, Schweden
- Mitglied im Programmkomitee der ParCo 2019, Prag, Tschechien
- Mitglied im Programmkomitee der 6th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD), 2019, Dublin, Irland
- Mitglied im Programmkomitee der VALID 2019, Valencia, Spanien
- Mitglied im Programmkomitee der ScalCom 2019, Leicester, UK
- Mitglied im Programmkomitee der HLPGPU 2019, HiPEAC, Valenzia, Spanien
- Mitglied im Programmkomitee der INFOCOMP 2019, Nizza, Frankreich
- Mitglied im Programmkomitee der SBD 2019 (ACM SIGMOD), Amsterdam, Niederlande
- Mitglied im Programmkomitee der SOFTENG 2019, Valenzia, Spanien
- Mitglied im Programmkomitee der HLPGPU 2018, Manchester, England
- Mitglied im Programmkomitee der SAC 2018, Track SE, Pau, Frankreich
- Mitglied im Programmkomitee der SAC 2018, Track PAPP, Pau, Frankreich
- Mitglied im Programmkomitee der SOFTENG 2018, Athen, Griechenland
- Mitglied im Programmkomitee der INFOCOMP 2018, Barcelona, Spanien
- Mitglied im Programmkomitee der SBD 2018, Houston, Texas, USA
- Mitglied im Programmkomitee der WFLP 2018, Frankfurt a.M., Deutschland
- Mitglied im Programmkomitee der ScalCom 2018, Guangzhou, China
- Mitglied im Programmkomitee der HLPP 2018, Orléans, Frankreich
- Mitglied im Programmkomitee der SACLA 2018, Cape Town, Südafrika
- Mitglied der Programmkomitee der VALID 2018, Nizza, Frankreich
- Gastautor "International Journal of Parallel Computation", Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2018
- Berufung zum DAAD-Auswahlkommissionsmitglied
- Mitglied im Programmkomitee der LA-CCI 2017, Arequipa, Peru
- Mitglied im Programmkomitee der WFLP 2017, Kiel, Deutschland
- Mitglied im Programmkomitee der HLPP 2017, Valladolid, Spanien
- Mitglied im Programmkomitee der ParCo 2017, Bologna, Italien
- Mitglied im Programmkomitee der PASCO 2017, Kaiserslautern, Deutschland
- Mitglied im Programmkomitee der INFOCOMP 2017, Venedig, Italien
- Mitglied im Programmkomitee der HLPGPU 2017, Stockholm, Schweden
- Mitglied im Programmkomitee der SBD 2017, Raleigh, USA
- Mitglied im Programmkomitee der SOFTENG 2017, Venedig, Italien
- Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
- Gastredakteur des International Journal of Parallel Computation, Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2017
- Gastredakteur der Parallel Processing Letters 27(1), 2017
- Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
- Mitglied im Programmkomitee der QRS 2016, Wien, Österreich
- Mitglied im Programmkomitee der ACM SAC 2016, Track SE, Pisa, Italien
- Mitglied im Programmkomitee der SBD 2016, San Francisco, USA
- Mitglied im Programmkomitee der SACLA 2016, Pretoria, Südafrika
- Mitglied im Programmkomitee der HLPGPU 2016, Prag, Tschechien
- Mitglied im Programmkomitee der SOFTENG 2016, Lissabon, Portugal
- HLPP 2016, Münster, Deutschland (Organisator und Mitglied im Programmkomitee)
- Herausgeber von Open Journal of Web Technologies, 2013
- Mitglied der Jury des Innovationspreises IT 2010 der Initiative Mittelstand
- Mitglied des wissenschaftlichen Beirats der IMDEA-Software
- Stellvertretender Vorsitzender der Fachgruppe "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik e.V.
- Mitglied des Steering Commitee des International Symposium on Functional and Logic Programming (FLOPS)
- 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
- Ruf an die Universität der Bundeswehr München (abgelehnt)
Universität der Bundeswehr München – abgelehnt - Ruf an die Martin Luther Universität Halle-Wittenberg (abgelehnt)
Martin-Luther-Universität Halle-Wittenberg – abgelehnt
Lehre
Vorlesung
- V/Ü: Advanced Concepts in Software Engineering [046023]
(zusammen mit Matthias Neugebauer)
Seminare
- Seminar: MA-CS: Compiler Construction [046064]
- Seminar: BA-Sem: Programmiersprachen [046065]
(zusammen mit Matthias Neugebauer)- Doktorandenseminar: ERCIS - Lunchtime Seminar [046025]
(zusammen mit Jun.-Prof. Thomas Hupperich, Prof. Dr. Fabian Gieseke, Prof. Dr. Stefan Klein, Prof. Dr. Heike Trautmann, Prof. Dr. Tobias Brandt, Prof. Dr. Bernd Hellingrath, Prof. Dr. Gottfried Vossen, apl. Prof. Christian Grimme, Prof. Dr. Jörg Becker, Dr. Rainer Böhme und Jun.-Prof. Benedikt Berger) - Seminar: BA-Sem: Programmiersprachen [046065]
Sonstige Lehrveranstaltung
- Vertiefung: BA-VM Inf: Programmiersprachen [046046]
Vorlesungen
- Vorlesung: Einführung in die Wirtschaftsinformatik [044000]
(zusammen mit Dr. Armin Stein, Jun.-Prof. Thomas Hupperich, Prof. Dr. Jan vom Brocke, Prof. Dr. Fabian Gieseke, Prof. Dr. Stefan Klein, Prof. Dr. Tobias Brandt, apl. Prof. Christian Grimme, Prof. Dr. Bernd Hellingrath, Dr. Bettina Distel, Helene Müller, Jun.-Prof. Benedikt Berger, Dr. Katrin Bergener, Prof. Dr. Jörg Becker und apl. Prof. Rolf Teubner)- V/Ü: Logic Specification and Programming [044021]
(zusammen mit Dr. Jonathan Neugebauer)- V/Ü: Software Engineering [044005]
(zusammen mit Hendrik Winkelmann, Roman Lakenbrink und Prof. Dr. Markus Müller-Olm) - V/Ü: Logic Specification and Programming [044021]
Seminare
- Seminar: MA-CS: Software Testing [044075]
- Seminar: Anleitungen zum wissenschaftlichen Arbeiten
- Doktorandenseminar: ERCIS - Lunchtime Seminar
(zusammen mit Jun.-Prof. Thomas Hupperich, Dr. Stephan Meisel, Prof. Dr. Stefan Klein, Prof. Dr. Fabian Gieseke, Prof. Dr. Heike Trautmann, Prof. Dr. Gottfried Vossen, Prof. Dr. Bernd Hellingrath, Dr. Rainer Böhme und Prof. Dr. Jörg Becker)
- V/Ü: Advanced Concepts in Software Engineering [046023]
Projekte
- Spieltheoretische Marktmechanismen zur automatischen Verteilung von Kitaplätzen ()
Eigenmittelprojekt - Interdisziplinäre Zusammenarbeit mit dem Arbeitskreis Glorius des organisch-chemischen Instituts im Bereich maschinelles Lernen und Datenanalyse ()
Eigenmittelprojekt - E-Assessment Tool für UML Klassendiagramme ()
Eigenmittelprojekt - Model-driven Mobile Development – MD² ()
Eigenmittelprojekt - Algorithmic Skeletons - The Muenster Skeleton Library (Muesli) – Muesli ()
Eigenmittelprojekt - Digitale Gesundheitsanwendung für die personalisierte Rehabilitation nach einem Knöchelinversionstrauma ()
Eigenmittelprojekt - International Conference on Managed Programming Languages & Runtimes in Münster 2021 – MPLR ()
Wissenschaftliche Veranstaltung: | Teilnahmebeiträge/Tagungsgebühren - Musket - Muenster Skeleton Tool for High-Performance Code Generation ()
Eigenmittelprojekt - EXIST-Gründerstipendium "ProLeap" ()
Beteiligung an einem bundesgeförderten Verbund: | BMWE - 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 – The Münster Logic-Imperative Language – Muli ()
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 Universität Münster e. V. - Testen von Software ()
Gefördertes Einzelprojekt: | Wirtschaft - Computergestützte Hochschullehre in hybriden Systemen – cHL-hybrid ()
Hauptprojekt eines bundesgeförderten Verbundes: | Bundesministerium für Forschung, Technologie und Raumfahrt | Förderkennzeichen: 01PI05003 - cHL-hybrid - Referenztechnologien ()
Beteiligung an einem bundesgeförderten Verbund: | Bundesministerium für Forschung, Technologie und Raumfahrt | Förderkennzeichen: 01PI05003 - cHL-hybrid - Integration von Forschungs- und Lehrprozessen ()
Beteiligung an einem bundesgeförderten Verbund: | Bundesministerium für Forschung, Technologie und Raumfahrt | Förderkennzeichen: 01PI05003 - cHL-hybrid - Integration der Lehr- und Lernprozesse mit administrativen Prozessen ()
Beteiligung an einem bundesgeförderten Verbund: | Bundesministerium für Forschung, Technologie und Raumfahrt | Förderkennzeichen: 01PI05003 - Der Münster-Generator für Glass-box-Testfälle – Muggl ()
Eigenmittelprojekt
- Spieltheoretische Marktmechanismen zur automatischen Verteilung von Kitaplätzen ()
Publikationen
- Augustin, Sarah, Winkelmann, Hendrik, und Kuchen, Herbert. . „Mutation Operators for Mutation Testing of Angular Web Applications Mutation Operators für Mutationstests von eckigen Webanwendungen.“ In Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik, herausgegeben von Mike Mannion, Tomi Mannisto und Leszek Maciaszek. Porto: SciTePress. doi: 10.5220/0000189300003928.
- Pflüger, Philipp M., Kühnemund, Marius, Katzenburg, Felix, Kuchen, Herbert, und Glorius, Frank. . „An evolutionary algorithm for interpretable molecular representations.“ Chem 10 (5): 1391–1405. doi: 10.1016/j.chempr.2024.02.004.
- Herrmann, Nina, Dieckmann, Justus, und Kuchen, Herbert. . „Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments.“ International Journal of Parallel Programming 52 (4): 274–297. doi: 10.1007/s10766-024-00769-w.
- Troost, Laura, Neugebauer, Jonathan, und Kuchen, Herbert. . „Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach.“ In Evaluation of Novel Approaches to Software Engineering, Bd. 2028 aus Communications in Computer and Information Science, herausgegeben von Hermann Kaindl, Mike Mannion und Leszek A. Maciaszek. Cham: Springer Nature. doi: 10.1007/978-3-031-64182-4_12.
- Troost, L., Winkelmann, H., und Kuchen, H. . „An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.“ In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering , herausgegeben von SciTePress. Angers, France: SciTePress. doi: 10.5220/0012586200003687.
- Kuchen, Robert, und Kuchen, Herbert. . „Modelle zur Ergebnisvorhersage von Sumo-Kämpfen.“ In Digitalisierung und Innovation im Sport und in der Sportwissenschaft: Handbuch Sport und Sportwissenschaft, herausgegeben von Daniel Memmert. Deutschland: Springer Spektrum. doi: 10.1007/978-3-662-68241-8_28-1.
- Schneid, Konrad, Thöne, Sebastian, und Kuchen, Herbert. . „Modification-Impact Based Test Prioritization for Process-Driven Applications.“ In Proceedings of 6th International Workshop on the Next Level of Test Automation, herausgegeben von IEEE. Dublin, Ireland: Wiley-IEEE Computer Society Press. doi: 10.1109/ICSTW58534.2023.00068.
- Dageförde, Jan C., und Kuchen, Herbert. . „Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.“ In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Bd. 13160 aus Lecture Notes in Computer Science, herausgegeben von Pedro Lopez-Garcia, John P. Gallagher und Roberto Giacobazzi. Cham: Springer. doi: 10.1007/978-3-031-31476-6_5.
- Winkelmann, Hendrik, und 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, herausgegeben von Hermann Mannion Kaindl und Leszek Mike Maciaszek. Prague, Czech Republic: SciTePress. doi: 10.5220/0011849200003464.
- Troost, Laura, Neugebauer, Jonathan, und 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, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, herausgegeben von SciTePress. Prague, Czech Republic: SciTePress. doi: 10.5220/0011743500003464.
- Neugebauer, Jonathan, Hochstrat, Jonas, Schneid, Konrad, Sigge, Daniel, und Kuchen, Herbert. . „A Model-Driven Approach to SAP S/4HANA Development.“ In Enterprise Design, Operations, and Computing, Bd. 14367 aus Lecture Notes in Computer Science, herausgegeben von Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen und João Moreira. Cham: Springer Nature. doi: 10.1007/978-3-031-46587-1_6.
- Schneid, Konrad, Thöne, Sebastian, und Kuchen, Herbert. . „Semi-automated Test Migration for BPMN-Based Process-Driven Applications.“ In Enterprise Design, Operations, and Computing : 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3–7, 2022, Proceedings, Bd. 13585 aus Lecture Notes in Computer Science, herausgegeben von João Paulo A. Almeida, Dimka Karastoyanova, Giancarlo Guizzardi, Marco Montali, Fabrizio Maria Maggi und Claudenir M. Fonseca. Cham: Springer. doi: 10.1007/978-3-031-17604-3_14.
- Menezes, Breno, Kuchen, Herbert, und 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, herausgegeben von Association for Computing Machinery. New York, NY, USA: ACM Press. doi: 10.1145/3477314.3507058.
- Winkelmann, Hendrik, Troost, Laura, und Kuchen, Herbert. . „Constraint-Logic Object-Oriented Programming for Test Case Generation.“ In 37th ACM/SIGAPP Symposium On Applied Computing, herausgegeben von Association for Computing Machinery. New York, NY, USA: ACM Press. doi: 10.1145/3477314.3507015.
- Gomes, Pereira de Lacerda M., de Andrade, Amorim Neto H., Ludermir, T.B., Kuchen, H., und 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 123 108920. doi: 10.1016/j.asoc.2022.108920.
- 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 SciTePress. doi: 10.5220/0000149800003176.
- 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, herausgegeben von Association for Computing Machinery. New York, NY, USA: ACM Press. doi: 10.1145/3477314.3507166.
- Strieth-Kalthoff, Felix, Sandfort, Frederik, Kühnemund, Marius, Schäfer, Felix R., Kuchen, Herbert, und Glorius, Frank. . „Machine Learning for Chemical Reactivity: The Importance of Failed Experiments.“ Angewandte Chemie International Edition 61 (29) e202204647. doi: 10.1002/anie.202204647.
- Dubbeldam, Rosemary, Neugebauer, Jonathan, Lee, YuYuan, Pham, MyLinh, Beser, Lokman, Gerlach, Luka, und Kuchen, Herbert. . „Digital Health System for Individualised Rehabilitation After Ankle Inversion Trauma.“ In 2022 International Conference on Technology Innovations for Healthcare (ICTIH), herausgegeben von IEEE. Magdeburg, Germany: Wiley-IEEE Press. doi: 10.1109/ICTIH57289.2022.10112118.
- Dubbeldam, Rosemary, Neugebauer, Jonathan, und 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, MyLinh, Beser, Lokman, Gerlach, Luka, Lee, YuYuan, und 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, herausgegeben von Hans-Georg Fill, Marten van Sinderen und Leszek A. Maciaszek. Lisbon: SciTePress. doi: 10.5220/0011295800003266.
- Winkelmann, Hendrik, Dagefoerde, Jan C, und Kuchen, Herbert. . „Constraint-Logic Object-Oriented Programming with Free Arrays.“ Beitrag präsentiert auf der 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, Bologna, Italien Springer. doi: 10.1007/978-3-030-75333-7_8.
- Menezes, Breno, Herrmann, Nina, Kuchen, Herbert, und Neto, Fernando Buarque de Lima. . „High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons.“ Beitrag präsentiert auf der 13th International Symposium on High-Level Parallel Programming and Applications (HLPP 2020), Porto, Portugal Springer.
- de Lacerda, MG, de Araujo, Pessoa L F, Buarque, de Lima Neto F, Ludermir, TB, und Kuchen, H. . „A Systematic Literature Review on General Parameter Control for Evolutionary and Swarm-based Algorithms.“ In Swarm and Evolutionary Computation, herausgegeben von S Das, PN Suganthan und M Ali. 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, herausgegeben von Association for Computing Machinery. New York, NY, USA: ACM Press. doi: 10.1145/3412841.3442050.
- Schneid, K, Kuchen, H, Thöne, S, und Di Bernado, S. . „Uncovering data-flow anomalies in BPMN-based process-driven applications.“ In Proceedings of the 36th Annual ACM Symposium on Applied Computing doi: 10.1145/3412841.3442025.
- Schneid, Konrad, Di, Bernardo Sascha, Kuchen, Herbert, und Thöne, Sebastian. . „Data-Flow Analysis of BPMN-Based Process-Driven Applications: Detecting Anomalies across Model and Code.“ Nr. 38.
- Schneid, Konrad Stapper Leon, und Thöne, Sebastian Kuchen Herbert. . „Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications.“ Beitrag präsentiert auf der IEEE EDOC 2021, Gold Coast, Australia doi: 10.1109/EDOC52215.2021.00014.
- Lacerda, M, Buarque, de Lima Neto F, Amorim, Neto H, Kuchen, H, und Ludermir, T. . „On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms.“ Beitrag präsentiert auf der 6th IEEE Latin American Conference on Computational Intelligence (LA-CCI '19), Guayaquil doi: 10.1109/LA-CCI47412.2019.9036764.
- Hofstedt, Petra, Abreu, Salvador, John, Ulrich, Kuchen, Herbert, und Seipel, Dietmar. . Lecture Notes in Computer Science, Bd. 12057, Declarative Programming and Knowledge Management , herausgegeben von Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen und Dietmar Seipel. Springer VDI Verlag. doi: 10.1007/978-3-030-46714-2.
- Menezes, Breno, de, Araujo Pessoa L F, Kuchen, H, und Buarque, de Lima Neto F. . „Parallelization Strategies for GPU- Based Ant Colony Optimization Applied to TSP.“ In Parallel Computing: Technology Trends, herausgegeben von Foster Ian, R.Joubert Gerhard, Kučera Luděk, E.Nagel Wolfgang und Peters Frans. IOP Publishing. doi: 10.3233/APC200057.
- Rieger, Christoph, Lucrédio, Daniel, Pontin, M.Fortes Renata, Kuchen, Herbert, Dias, Felipe, und Duarte, Lianna. . „A Model-Driven Approach to Cross-Platform Development of Accessible Business Apps.“ Beitrag präsentiert auf der The 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Brno, Czech Republic doi: 10.1145/3341105.3375765.
- Wrede, Fabian, Rieger, Christoph, und 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., und Kuchen, Herbert. . „Constraint-Logic Object-Oriented Programming with Free Arrays.“ Beitrag präsentiert auf der WFLP 2020, Bologna, Italy
- Schneid, Konrad, Thöne, Sebastian, und Kuchen, Herbert. . „Feature Development in BPMN-Based Process-Driven Applications.“ In Business Process Management Forum, herausgegeben von Dirk Fahland, Chiara Ghidini, Joerg Becker und Marlon Dumas. Springer Nature.
- Dageförde, Jan C., und 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, und Kuchen, Herbert. . „Feature Development in BPMN-Based Process-Driven Applications.“ In Business Process Management Forum, herausgegeben von Dirk Fahland, Chiara Ghidini, Jörg Becker und Marlon Duma. 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 (4): 713–728. doi: 10.1007/s10766-020-00659-x.
- Abreu, S, Hofstedt, P, John, U, Kuchen, H, und Seipel, D. . „Pre-proceedings of the International Conference DECLARE.“ In Parallel Programming with Algorithmic Skeletons. The Art of Structuring, herausgegeben von H Kuchen. CottbusPro: Springer. doi: 10.48550/arXiv.1909.04870.
- Schneid, Konrad, Usener, Claus A., Thöne, Sebastian, Kuchen, Herbert, und Tophinke, Christian. . „Static Analysis of BPMN-Based Process-Driven Applications.“ In SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, herausgegeben von Chihcheng Papadopoulos Hung und George Angelos. Limassol Cyprus: ACM Press. doi: 10.1145/3297280.3297289.
- Menezes, B, Pessoa, L, Kuchen, H, und Buarque, F. . „Parallelization Strategies for GPU-based Ant Colony Optimization Applied to TSP.“ Beitrag präsentiert auf der The International Conference on Parallel Computing ParCo2019, Prag doi: 10.1109/CEC.2019.8790073.
- Menezes, Breno, Amorim, Hugo, Kuchen, Herbert, und Buarque, Fernando. . „Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem.“ Beitrag präsentiert auf der 2019 IEEE Congress on Evolutionary Computation (CEC), Wellington, New Zealand doi: 10.1109/CEC.2019.8790073.
- Dageförde, Jan C., und 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 , herausgegeben von M Plümicke und Alia F Abu. Shaker Verlag.
- 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, Bd. 347 aus Lecture Notes in Business Information Processing, herausgegeben von Tim A Majchrzak, Cristian Mateos, Francesco Poggi und Tor-Morten Grønli. Cham: Springer International Publishing. doi: 10.1007/978-3-030-28430-5_3.
- Beyer, Lars, Dageförde, Jan C., Kuchen, Herbert, und Usener, Claus A. . „Automated Data-flow Analysis and Validation in Process Automation Projects.“ In Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, herausgegeben von H Fujita und A Selamat. IOP Publishing. doi: 10.3233/FAIA190061.
- Dageförde, Jan C., und 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, und Kuchen, Herbert. . „Musket: A Domain-Specific Language for High-Level Parallel Programming with Algorithmic Skeletons.“ Beitrag präsentiert auf der 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 Press. doi: 10.1145/3297280.3297520.
- Rieger, Christoph Kuchen Herbert. . „A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes.“ Beitrag präsentiert auf der 52nd Hawaii International Conference on System Sciences, Maui, Hawaii, USA
- Buender, Hendrik, und 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 doi: 10.1145/3297280.3297450.
- Dageförde, Jan C., und Kuchen, Herbert. . „Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space.“ Beitrag präsentiert auf der 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus doi: 10.1145/3297280.3298912.
- Buender, Hendrik, und Kuchen, Herbert. . „Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol.“ Beitrag präsentiert auf der 7th MODELSWARD 2019: Prague, Czech Republic: Revised Selected Papers, Prag, Czechische Republik
- Reischmann, T, und Kuchen, H. . „An Interactive Learning Environment for Software Engineering Design Patterns.“ In Proceedings of the 18th Koli Calling International Conference on Computing Education Research New York, NY, USA: ACM Press. doi: 10.1145/3279720.3279896.
- Wrede, Fabian, Menezes, Breno, und Kuchen, Herbert. . „Fish School Search with Algorithmic Skeletons.“ International Journal of Parallel Programming - (-): 1–19. doi: 10.1007/s10766-018-0564-z.
- Menezes, Breno, Wrede, Fabian, Kuchen, Herbert, und Buarque, Fernando. . „Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS.“ Beitrag präsentiert auf der 4th IEEE Latin American Conference on Computational Intelligence (LA-CCI '17), Arequipa, Peru doi: 10.1109/LA-CCI.2017.8285694.
- Wrede, Fabian Menezes Breno, Pessoa, Luis F Hellingrath Bernd, und Buarque, Fernando Kuchen Herbert. . „High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons.“ In Parallel Computing is Everywhere, Bd. 32 aus Advances In Parallel Computing, herausgegeben von Sanzio Bassini, Marco Danelutto, Patrizio Dazzi, Gerhard R. Joubert und Frans Peters. Amsterdam, Berlin, Washington DC: IOP Publishing.
- Gorlatch, S, und 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, und Kuchen, Herbert. . „Challenges and Opportunities of Modularizing Textual Domain-Specific Languages.“ Beitrag präsentiert auf der 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., und Kuchen, Herbert. . „Muli: Constraint-Programmierung in Java auf symbolischer JVM.“ Research report Nr. 482. Oslo, Norway: Selbstverlag / Eigenverlag.
- Rieger, Christoph Kuchen Herbert. . „Towards Model-Driven Business Apps for Wearables.“ In Bd. 10995 aus Lecture Notes in Computer Science, herausgegeben von Muhammad Younas, Irfan Awan, George Ghinea und Cid Marisa Catalan. Springer International Publishing. doi: 10.1007/978-3-319-97163-6_1.
- Dageförde, Jan C., und Kuchen, Herbert. . „An Operational Semantics for Constraint-logic Imperative Programming.“ In Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017., Bd. 10997 aus Lecture Notes in Artificial Intelligence, herausgegeben von D Seipel, M Hanus und S Abreu. Cham: Springer VDI Verlag. doi: 10.1007/978-3-030-00801-7_5.
- Dageförde, Jan C., und Kuchen, Herbert. . „A Constraint-logic Object-oriented Language.“ Beitrag präsentiert auf der 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, Frankreich New York, NY, USA: ACM Press. doi: 10.1145/3167132.3167260.
- Wrede, Fabian, Rieger, Christoph, und Kuchen, Herbert. . „Generation of High-Performance Code Based on a Domain-Specific Language for Algorithmic Skeletons.“ Beitrag präsentiert auf der High-Level Parallel Programming and Applications (HLPP '18), Orléans, France
- Fuchs, Andreas Kuchen Herbert. . „Test-Case Generation for Web-Service Clients.“ Beitrag präsentiert auf der The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France
- Gorlatch, S, und Kuchen, H. . „Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications.“ Parallel Processing Letters 27 (1): 1–2. doi: 10.1142/S0129626417020017.
- Fuchs, Andreas Kuchen Herbert. . „Unit Testing of Database-Driven Java Enterprise Edition Applications.“ Beitrag präsentiert auf der 11th International Conference on Tests & Proofs, Marburg, Deutschland
- Bünder, Hendrik, Rieger, Christoph, und Kuchen, Herbert. . „A Model-Driven Approach for Evaluating Traceability Information.“ In The Third International Conference on Advances and Trends in Software Engineering (SOFTENG), herausgegeben von Mira Kajko-Mattsson, Pål Ellingsen und Paolo Maresca.
- Bünder, Hendrik, Rieger, Christoph, und 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), herausgegeben von Pires Luis Ferreira, Slimane Hammoudi und Bran Selic. doi: 10.5220/0006138503740381.
- von Hof, V, Fögen, K, und Kuchen, H. . „Detecting Spring Configurations Errors.“ In SAC '17 Proceedings of the Symposium on Applied Computing, herausgegeben von Sung Y. Shin, Dongwan Shin und Maria Lencastre. New York, NY, USA: ACM Press.
- Dageförde, Jan C., und Kuchen, Herbert. . „Muli: Constraint-Programmierung in Java auf symbolischer JVM.“ In Bd. Math/Inf/02/2017 aus Jenaer Schriften zur Mathematik und Informatik, herausgegeben von W Amme und TS Heinze.
- Dageförde, Jan C., und Kuchen, Herbert. . „An Operational Semantics for Constraint-logic Imperative Programming.“ In Declare 2017 – Conference on Declarative Programming, Bd. 499 aus Technical Report, herausgegeben von D Seipel, M Hanus und S Abreu. Würzburg.
- Reischmann, T, und 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, Koli Calling '16 New York, NY, USA: ACM Press. doi: 10.1145/2999541.2999550.
- Caballero, R, Von Hof, V, Montenegro, M, und Kuchen, H. . „A Program Transformation for Converting Java Assertions into Control-flow Statements.“ ERCIS Working Papers Nr. 25.
- Fögen, K, Von Hof, V, und Kuchen, H. . „Attributed Grammars for Detecting Spring Configuration Errors.“ ERCIS Working Papers Nr. 26. Münster: Selbstverlag / Eigenverlag.
- Ernsting, S, und 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, und Kuchen, H. . „Compilezeit-Prüfung von Spring-Konfigurationen.“ In Bd. 1559 aus Workshops of the Conference on Software Engineering CEUR-WS.
- Caballero, R, Montenegro, M, Kuchen, H, und von Hof, V. . „Falsification of Java Assertions Using Automatic Test-Case Generators.“ International Journal On Advances in Systems and Measurements 2016 (9): 177–187.
- Majchrzak, Tim A., Ernsting, Jan, und Kuchen, Herbert. . „Achieving Business Practicability of Model-Driven Cross-Platform Apps.“ Open Journal of Information Systems (OJIS) 2 (2): 3–14.
- Caballero, R, Montenegro, M, Kuchen, H, und von Hof, V. . „Checking Java Assertions Using Automated Test-Case Generation.“ In Bd. 9527 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-27436-2_13.
- Ernsting, Steffen Kuchen Herbert. . „Java Implementation of Data Parallel Skeletons on GPUs.“ Beitrag präsentiert auf der ParCo 2015, Edinburgh
- Caballero, R, Montenegro, M, Kuchen, H, und von Hof, V. . „Automatic Falsification of Java Assertions.“ Beitrag präsentiert auf der VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain
- Majchrzak, TA, Ernsting, J, und 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., Bd. 1367 aus CEUR Workshop Proceedings, herausgegeben von Janis Grabis und Kurt Sankuhl. CEUR-WS.
- Heitkötter, Henning, Kuchen, Herbert, und Majchrzak, Tim A. . „Extending a model-driven cross-platform development approach for business apps.“ Science of Computer Programming 97 (1): 31–36. doi: 10.1016/j.scico.2013.11.013.
- Hanschke, S, Ernsting, J, und Kuchen, H. . „Integrating Agile Software Development and Enterprise Architecture Management.“ In Proceedings of the 48th Annual Hawaii International Conference on System Sciences (HICSS-48) Wiley-IEEE Computer Society Press.
- Ernsting, Steffen Kuchen Herbert. . „A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.“ International Journal of Parallel Programming 42 (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) , Bd. 25 aus Advances in Parallel Computing, herausgegeben von M Bader, A Bode, H-J Bungartz, M Gerndt, GR Joubert und F Peters. doi: 10.3233/978-1-61499-381-0-72.
- Ernsting, S, und 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, und Kuchen, H. . „MD²-DSL – eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen.“ In Software Engineering 2013 – Workshopband, Bd. 215 aus Lecture Notes in Informatics (LNI), herausgegeben von S Wagner und H Lichter. Bonn, Deutschland: Gesellschaft für Informatik.
- Heitkötter, H, Majchrzak, TA, und Kuchen, H. . „Cross-Platform Model-Driven Development of Mobile Applications with MD².“ Beitrag präsentiert auf der 28th Annual ACM Symposium on Applied Computing (SAC), Coimbra, Portugal ACM Press. doi: 10.1145/2480362.2480464.
- Ernsting, Steffen Kuchen Herbert. . „Algorithmic skeletons for multi-core, multi-GPU systems and clusters.“ International Journal of Oil, Gas and Coal Technology 7 (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., und Kuchen, Herbert. . „E-assessment and software testing.“ Interactive Technology and Smart Education 9 (1): 45–54. doi: 10.1108/17415651211228095.
- Ernsting, Steffen Kuchen Herbert. . „Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.“ Beitrag präsentiert auf der Parallel Conference 2011 (ParCo11), Gent, Belgien
- Heitkötter, H, Majchrzak, TA, Wolffgang, U, und Kuchen, H. . „Business Apps: Grundlagen und Status quo.“ Working paper Nr. 4. Münster: Selbstverlag / Eigenverlag.
- Ernsting, Marko Majchrzak, und 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, und Kuchen, Herbert. . „Dynamic Solution of Linear Constraints for Test Case Generation.“ In 2012 Sixth International Conference on Theoretical Aspects of Software Engineering, herausgegeben von Tiziana Margaria, Zongyan Qiu und Hongli Yang. Wiley-IEEE Press.
- Majchrzak, TA, Jansen, T, und Kuchen, H. . „Efficiency evaluation of open source ETL tools.“ In Proceedings of the 2011 ACM Symposium on Applied Computing, herausgegeben von William C. Chu, W.Eric Wong, Mathew J. Palakal und Chih-Cheng Hung. ACM Press. doi: 10.1145/1982185.1982251.
- Hermanns, C, und Kuchen, H. . „Jhyde - The java hybrid debugger.“ In Proceedings of the 6th International Conference on Software and Data Technologies, herausgegeben von María José Escalona-Cuaresma, Boris Shishkov und José Cordeiro. SciTePress.
- Kuchen, Herbert, Hrsg. . Lecture Notes in Computer Science, Bd. 6816, Functional and Constraint Logic Programming Heidelberg: Springer VDI Verlag. doi: 10.1007/978-3-642-22531-4.
- Usener, Claus A., Majchrzak, Tim A., und Kuchen, Herbert. . „Combining State of the Art Software Engineering and E-Assessment.“ In Proc. of the IADIS Int. Conf. e-Learning 2011 (eL2011) IADIS Press.
- Majchrzak, Tim A., und Kuchen, Herbert. . „Logic Java: Combining Object-Oriented and Logic Programming.“ In Functional and Constraint Logic Programming - 20th International Workshop, Bd. 6816 aus Lecture Notes in Computer Science, herausgegeben von Herbert Kuchen. Heidelberg: Springer. doi: 10.1007/978-3-642-22531-4.
- 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 Wiley-IEEE Press. doi: 10.1109/HPCC.2010.64.
- Majchrzak, TA, und Kuchen, H. . „Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen.“ Arbeitsberichte des Instituts für Wirtschaftsinformatik. Institut für Wirtschaftsinformatik.
- Majchrzak, T.A., und Kuchen, H. . „IHK-Projekt Softwaretests: Auswertung.“ Working Papers Nr. 2. Münster: Selbstverlag / Eigenverlag.
- Gruttmann, S, Usener, C, und Kuchen, H. . „Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium.“ .
- Gruttmann, S, und Kuchen, H. . „Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.“ .
- Gruttmann, S, Usener, C, Majchrzak, T, und Kuchen, H. . „Formative E-Assessment of Software Verification Skills in Higher Education.“ Beitrag präsentiert auf der IADIS e-Learning Conference 2010 (EL 2010)
- Kuchen, H, und Hermanns, C. . „Implementation and Evaluation of a Declarative Debugger for Java.“ Beitrag präsentiert auf der WFLP 2010, Madrid, Spain
- Ciechanowicz, P, Poldner, M, und Kuchen, H. . Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures
- Gruttmann, S, und Kuchen, H. . „Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.“ Zeitschrift für e-Learning: 23–35.
- Usener, Claus A Gruttmann Susanne, und 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) Wiley-IEEE Computer Society Press.
- Arndt, C, Hermanns, C, Kuchen, H, und Poldner, M. . „Best Practices in der Softwareentwicklung.“ Arbeitsberichte des Förderkreis der Angewandten Informatik an der WWU Münster Nr. 1.
- Majchrzak, T, A, und H, Kuchen. . „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, und Kuchen, H. . „The Münster Skeleton Library Muesli - A Comprehensive Overview.“ ERCIS Working Papers Nr. 7. Münster: ERCIS - European Research Center for Information Systems.
- Ciechanowicz, Philipp, Kegel, Philipp, Schellmann, Maraike, Gorlatch, Sergei, und Kuchen, Herbert. . „Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.“ Beitrag präsentiert auf der International Conference ParCo, Lyon, France
- Majchrzak, T, und Kuchen, H. . „Automated Test Case Generation based on Coverage Analysis.“ Beitrag präsentiert auf der 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering Tianjin, China.
- Michael, Poldner, Kuchen, und Herbert. . „On Implementing the Farm Skeleton.“ Parallel Processing Letters 18 (1): 117–131. doi: 10.1142/S0129626408003260.
- Eilers, B, Gruttmann, S, und Kuchen, H. . „Konzeption eines integrierbaren Systems zur computergestützten Lernfortschrittskontrolle.“ In E-Learning-Management, herausgegeben von HL Grob, Brocke J vom und C Buddendick. München: Verlag Franz Vahlen.
- Buddendick, C, Gruttmann, S, Düppe, I, Grob, HL, und 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 Alcatel SEL Stiftung für Kommunikationsforschung.
- Grob, HL, Kuchen, H, Buddendick, C, Gruttmann, S, und 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, und Kuchen, H. . „E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.“ Beitrag präsentiert auf der 2008 International Conference on Information Technology in Education, Wuhan,China
- Gruttmann, S, Böhm, D, und Kuchen, H. . „Conceptual Design, Implementation and Evaluation of an E-Assessment System for Mathematical Proofs.“ Beitrag präsentiert auf der 11th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008), Crete, Greece
- Gruttmann, S, und Kuchen, H. . „A Framework for Formative E-Assessments of Mathematical Proofs.“ Beitrag präsentiert auf der 2008 Symposium on e-Assessment in Practice, Shrivenham
- Poldner, M, und Kuchen, H. . „Skeletons for Divide and Conquer Algorithms.“ Beitrag präsentiert auf der IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2008), Innsbruck,Austria
- Poldner, M, und Kuchen, H. . „Task Parallel Skeletons for Divide and Conquer.“ Beitrag präsentiert auf der Workshop of the Working Group Programming Languages and Computing Concepts of the German Computer Science Association GI, Bad Honnef
- Poldner, M, und Kuchen, H. . „Optimizing Skeletal Stream Processing for Divide and Conquer.“ Beitrag präsentiert auf der 3rd International Conference on Software and Data Technology (ICSOFT)
- Polder, M, und Kuchen, H. . „On Implementing the Farm Skeleton.“ Parallel Processing Letters, Nr. 18: 117–131.
- Fischer, S, und Kuchen, H. . „Data-Flow Testing of Declarative Programs.“ Beitrag präsentiert auf der 13th ACM SIGPLAN International Conference on Functional Programming (ICFP) Victoria (BC), Canada.
- Gruttmann, S, Böhm, D, und Kuchen, H. . „E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.“ Beitrag präsentiert auf der 2008 International Conference on Information Technology in Education Wuhan, China.
- Wolffgang, Ulrich Kuchen Herbert. . „Web Application Modeling Language.“
- Kuchen, H, Hermanns, C, und Poldner, M. . „Technische Filter.“ In Recht und Neue Medien, Bd. 12 Stuttgart: Richard Boorberg Verlag.
- Fischer, S, und Kuchen, H. . „Glass-Box Testing of Functional Logic Programs.“ Beitrag präsentiert auf der 24th Workshop of GI Working Group ""Programming Languages and Computing Concepts"", Bad Honnef
- Fischer, S, und Kuchen, H. . „Systematic Generation of Glass-Box Test Cases for Functional Logic Programs.“ Beitrag präsentiert auf der 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming Wroclaw, Poland.
- Caballero, R, Hermanns, C, und Kuchen, H. . „Algorithmic Debugging of Java Programs.“ In Bd. 177 aus ENTCS
- Poldner, M, und Kuchen, H. . „Algorithmic Skeletons for Branch & Bound.“ Beitrag präsentiert auf der 1st International Conference on Software and Data Technology (ICSOFT), Sebtual,Portugal
- Müller, R, Eilers, B, Janiesch, C, Kuchen, H, und Becker, J. . „XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects.“
- Kuchen, H, und Striegnitz, J. . „Features from functional programming for a C++ skeleton library.“ Concurrency and Computation: Practice and Experience 17 (7-8): 739–756. doi: 10.1002/cpe.844.
- Poldner, M, und Kuchen, H. . „Scalable Farms.“ Beitrag präsentiert auf der Parallel Computing (ParCo), Malaga
- Müller, R, Lembeck, C, und Kuchen, H. . „A Symbolic Java Vitual Machine for Test-Case Generation.“ Beitrag präsentiert auf der IASTED
- Lembeck, C, Caballero, R, Müller, R, und Kuchen, H. . „Constraint Solving for Generating Glass-Box Test Cases.“ Beitrag präsentiert auf der International Workshop on Functional and (Constraint) Logic Programming (WFLP), Aachen
- Lembeck, C, Müller, R, und Kuchen, H. . „Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern.“ In Bd. P-51 aus Lecture Notes in Informatics
- Kuchen, H. . „Optimizing Sequences of Skeleton Calls.“ In Domain-Specific Program Generation Springer VDI Verlag.
- Becker, Jörg, Backhaus, Klaus, Grob, Heinz Lothar, Hoeren, Thomas, Klein, Stefan, Kuchen, Herbert, Müller-Funk, Ulrich, Thonemann, Ulrich W, und Vossen, Gottfied. . „European Research Center for Information Systems (ERCIS) : Gründungsveranstaltung : Münster 12. Oktober 2004.“ Working Paper Nr. 1. Münster: ERCIS - European Research Center for Information Systems.
- Lechtenbörger, J, Vossen, G, und Kuchen, H. . „Sichten-Wartung in Datenlagern - Controlling aus datenbanktechnischer Sicht.“ In Trendberichte zum Controlling, herausgegeben von Physica-Verlag. Heidelberg: Physica-Verlag.
- Müller, RA, Lembeck, C, und 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. . „A Skeleton Library.“ Arbeitsberichte Angewandte Mathematik und Informatik Nr. 6/02-I.
- Kuchen, H. . „A Skeleton Library.“ In Bd. 2400 aus LNCS Springer.
- Kuchen, H, und Striegnitz, J. . „Higher-Order Functions and Partial Applications for a C++ Skeleton Library.“ Beitrag präsentiert auf der ISCOPE, ACM
- Kuchen, H, und Cole, M. . „The Integration of Task and Data Parallel Skeletons.“ Parallel Processing Letters 12 (2): 141–155. doi: 10.1142/S0129626402000896.
- Kuchen, Herbert Ueda Kazunori, Hrsg. . Lecture Notes in Computer Science, Bd. 2024, Functional and Logic Programming Springer VDI Verlag.
- Kuchen, H. . „Implementing an Object Oriented Design in Curry.“ Beitrag präsentiert auf der 9th International Workshop on Functional and Logic Programming, Valencia
- Lux, W, und Kuchen, H. . „An Efficient Abstract Machine for Curry.“ Beitrag präsentiert auf der Arbeitstagung Programmiersprachen, Paderborn
- Kuchen, H, und Nietsch, M. . „Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster.“ .
- Botorog, HG, und Kuchen, H. . „Efficient High-Level Parallel Programming.“ : 71–107.
- Kuchen, H. . „Workshop on Functional and Logic Programming, Proceedings.“ Arbeitsberichte des Instituts für Wirtschaftsinformatik Nr. 63. Münster: Institut für Wirtschaftsinformatik.
- Kuchen, H. . „Arbeitstagung Programmiersprachen, Tagungsband.“ Arbeitsberichte des Instituts für Wirtschaftsinformatik Nr. 58. Münster: Institut für Wirtschaftsinformatik.
- Glaser, Hugh, Hartel, Pieter, und Kuchen, Herbert, Hrsg. . Lecture Notes in Computer Science, Bd. 1292, Programming Languages: Implementations, Logics, and Programs Springer VDI Verlag.
- Gladitz, K, und Kuchen, H. . „Shared Memory Implementation of the Gamma-Operation.“ : 577–591.
- Kuchen, H. . „A Functional Logic Language Based on Higher Order Narrowing.“ In Workshops in Computing Springer.
- Hanus, M, und Kuchen, H. . „Integration of Functional and Logic Programming.“ : 306–308.
- Kuchen, H, Loogen, R, Moreno-Navarro, JJ, und Rodriguez-Artalejo, M. . „The Functional Logic Language BABEL and its Implementation on a Graph Machine.“ : 391–427.
- Kuchen, H, und Anastasiadis, J. . „Higher Order Babel -- Language and Implementation.“ In Bd. 1050 aus LNAI Springer.
- Kuchen, H. . „Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher.“ In Software-Engineering im Scietific Computing Vieweg Verlag.
- Dimov, I, Karaivanova, A, Kuchen, H, und Stoltze, H. . „Monte Carlo Algorithms for Elliptic Differential Equations - a Data Parallel Functional Approach.“ : 39–65.
- Botorog, HG, und Kuchen, H. . „Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.“ Beitrag präsentiert auf der Fifth International Symposium on High Performance Distributed Computing (HPDC-5) Wiley-IEEE Computer Society Press.
- Botorog, HG, und Kuchen, H. . „Using Algorithmic Skeletons with Dynamic Data Structures.“ In Bd. 1117 aus LNCS Springer.
- Botorog, HG, und Kuchen, H. . „Efficient Parallel Programming with Algorithmic Skeletons.“ In Bd. 1123 aus LNCS Springer.
- Brüll, A, und Kuchen, H. . „TPASCAL - A Language for Task Parallel Programming.“ In Bd. 1123 aus LNCS Springer.
- Botorog, HG, und Kuchen, H. . „Translation by Instantiation: Integrating Functional Features into an Imperative Language.“ Beitrag präsentiert auf der Poster Session of CC '96, Technical Report LiTH-IDA-R-96-12, University of Linköping
- Kuchen, Herbert Swierstra S. Doaitse, Hrsg. . Lecture Notes in Computer Science, Bd. 1140, Programming Languages: Implementations, Logics, and Programs Springer VDI Verlag. doi: 10.1007/3-540-61756-6.
- Hanus, M, Kuchen, H, und Moreno-Navarro, JJ. . „Curry: A Truly Functional Logic Language.“ Beitrag präsentiert auf der ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland,USA
- Kuchen, H. . „Skeletons versus C - A Case Study.“ Beitrag präsentiert auf der International Workshop on the Implementation of Functional Languages, Baastad,Sweden
- Kuchen, H, Stoltze, H, Dimov, I, und Karaivanova, A. . „Distributed Memory Implementation of Elliptic Partial Differential Equations in a Dataparallel Functional Langugage.“ Beitrag präsentiert auf der Programming Models for Massively Parallel Computers (MPPM'95) Wiley-IEEE Computer Society Press.
- Botorog, G, und Kuchen, H. . „Algorithmic Skeletons in an Imperative Language for Distributed Programming.“ Technical Reports of the University of Giessen Nr. 9504.
- Botorog, HG, und Kuchen, H. . „Algorithmic Skeletons for Adaptive Multigrid Methods.“ In Bd. 980 aus LNCS Springer.
- Kuchen, H, und Stoltze, H. . „Candela -- A Topology Description Language.“ : 557–676.
- Gladitz, K, und Kuchen, H. . „Parallel Implementation of the Gamma-Operation.“ In Bd. 5 aus Lecture Notes Series on Computing World Scientific Publishing.
- Kuchen, H, Plasmeijer, R, und Stoltze, H. . „Distributed Implementation of a Data Parallel Functional Language.“ In Bd. 817 aus LNCS Springer.
- Kuchen, H, und Stoltze, H. . „Eine datenparallele funktionale Sprache für Multicomputer.“ Beitrag präsentiert auf der TAT'94 IOP Publishing.
- Kuchen, H, und Stoltze, H. . „A Data Parallel Functional Language for Distributed Memory Machines.“ Beitrag präsentiert auf der Conference on Numerical Methods and Applications World Scientific Publishing.
- Kuchen, H, und Gladitz, K. . „Parallel Implementation of Bags.“ Beitrag präsentiert auf der Conference on Functional Languages and Computer Architecture, Kopenhagen ACM Press.
- Moreno-Navarro, JJ, Kuchen, H, Mariño-Carballo, J, Winkler, S, und Hans, W. . „Efficient Lazy Narrowing using Demandedness Analysis.“ In Bd. 714 aus LNCS Springer.
- Hans, W, Kuchen, H, und 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, und Kuchen, H. . „Parallel Functional Programming using Algorithmic Skeletons.“ Beitrag präsentiert auf der Int. Conf. on Parallel Computing (ParCo), Grenoble, North-Holland
- Kuchen, H, Stoltze, H, und Lücking, F. . „Candela -- Eine Sprache zur Beschreibung von Topologien.“ Beitrag präsentiert auf der Transputer-Anwender-Treffen, Aachen Springer.
- Kuchen, H, Lopez-Fraguas, F, Moreno-Navarro, JJ, und Rodriguez-Artalejo, M. . „Implementing a Lazy Functional Logic Language with Disequality Constraints.“ Beitrag präsentiert auf der Joint International Conference and Symposium on Logic Programming MIT Press.
- Kuchen, H, Moreno-Navarro, JJ, und Hermenegildo, M. . „Independent And-Parallel Implementation of Narrowing.“ In Bd. 631 aus LNCS Springer.
- Kuchen, H, Moreno-Navarro, JJ, und Hermenegildo, M. . „Independent And-Parallel Narrowing.“ Aachener Informatik-Berichte (AIB). Aachen.
- Kuchen, H, und Lopez-Fraguas, F. . „Result Directed Computing in a Functional Logic Language.“ Aachener Informatik-Berichte (AIB). Aachen.
- Kuchen, H, Lopez-Fraguas, F, Moreno-Navarro, JJ, und Rodriguez-Artalejo, M. . „Implementing Disequality in a Lazy Functional Logic Language.“ Aachener Informatik-Berichte (AIB). Aachen.
- Kuchen, H, Loogen, R, Moreno-Navarro, JJ, und Rodriguez-Artalejo, M. . „Graph Narrowing to Implement a Functional Logic Language.“ Reports of the Universidad Politecnica de Madrid. Madrid.
- Kuchen, H, Stoltze, H, und Lücking, F. . „The Topology Description Language TDL.“ Aachener Informatik-Berichte (AIB). Aachen.
- Kuchen, H, und Geiler, G. . „Distributed Applicative Arrays.“ Aachener Informatik-Berichte (AIB) Nr. 91-5.
- Moreno-Navarro, JJ, Kuchen, H, Loogen, R, und Rodriguez-Artalejo, M. . „Lazy Narrowing in a Graph Machine.“ Aachener Informatik-Berichte (AIB). Aachen.
- Kuchen, H, und Wagener, A. . „Comparison of Dynamic Load Balancing Strategies.“ Aachener Informatik-Berichte (AIB) Nr. 90-5.
- Kuchen, H, Loogen, R, Moreno-Navarro, JJ, und Rodriguez-Artalejo, M. . „Graph-Based Implementation of a Functional Logic Language.“ Aachener Informatik-Berichte (AIB). Aachen.
Betreute Arbeiten
Promotionen
Hagedorn, Bastian High-Performance Domain-Specific Compilation without Domain-Specific Compilers Dageförde, Jan An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Fuchs, Andreas Automated Test-Case Generation with Symbolic Execution Humernbrum, Tim Enforcing Quality of Service in Real-Time Applications Using Software-Defined Networking von Hoffen, Moritz Developing Sharing Economy Services - Artifacts for Peer-to-Peer Sharing and Collaborative Consumption Services Klör, Benjamin Building a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries - Design and Evaluation Ernsting, Jan Facilitating Information System Development Ernsting, Steffen Data Parallel Algorithmic Skeletons with Accelerator Support. Clever, Nico icebricks. Konstruktion und Anwendung eines Prozessmodellierungswerkzeugs Dietrich, Hanns-Alexander Graph-based Conceptual Model Analysis - Design, Implementation, Demonstration and Evaluation of Model Query Languages Groß, Stephan Ein konfiguratives Vorgehensmodell für die Einführung von ERP-Systemen Heitkötter, Henning Plattformübergreifende Entwicklung mobiler Business Apps Fleischer, Stefan Konstruktion und Anwendung eines multizweckorientierten hierarchischen Metamodellierungswerkzeugs Ciechanowicz, Philipp Datenparallele algorithmische Skelette - Erweiterungen und Anwendungen der Münster Skelettbibliothek Muesli Hermanns, Christian Entwicklung und Implementierung eines hybriden Debuggers für Java Gruttmann, Susanne Formatives E-Assessment in der Hochschullehre - Computerunterstützte Lernfortschrittkontrollen im Informatikstudium Poldner, Michael Task Parallel Algorithmic Skeletons Habilitationen
Matzner, Martin Analyzing and Predicting Performances of Business Processes Beverungen, Daniel Interaction Routines in Service Systems: Analysis, Design, Emergence
Prof. Dr. Herbert Kuchen
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen)
