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
- Nominiert für: – 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
- 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
Seminare
- Seminar: BA-Sem: Programmiersprachen [046065]
(zusammen mit Matthias Neugebauer) - Seminar: MA-CS: Compiler Construction [046064]
- 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, Jun.-Prof. Benedikt Berger)
Sonstige Lehrveranstaltungen
- Vertiefung: BA-VM Inf: Programmiersprachen [046046]
- Advanced Concepts in Software Engineering [046023]
(zusammen mit Matthias Neugebauer)
Vorlesung
- 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, Jun.-Prof. Benedikt Berger, Dr. Katrin Bergener, Prof. Dr. Jörg Becker, apl. Prof. Rolf Teubner)
Seminare
- Seminar: Anleitungen zum wissenschaftlichen Arbeiten
- Seminar: MA-CS: Software Testing [044075]
- 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, Prof. Dr. Jörg Becker)
Sonstige Lehrveranstaltungen
- Software Engineering [044005]
(zusammen mit Hendrik Winkelmann) - Logic Specification and Programming [044021]
(zusammen mit Jonathan Neugebauer)
Seminare
- Seminar: Anleitungen zum wissenschaftlichen Arbeiten [042055]
- Seminar: MA-CS: Parallel Programming [042082]
(zusammen mit Nina Herrmann) - Projektseminar: BA-PS: Entwicklung einer Projektverwaltung für die WWU Cloud [042094]
(zusammen mit Matthias Neugebauer) - Projektseminar: MA-PS: SCADA Level Data Ingestion into Cloud [042081]
(zusammen mit Matthias Neugebauer) - Doktorandenseminar: ERCIS - Lunchtime Seminar [042050]
(zusammen mit Jun.-Prof. Thomas Hupperich, Prof. Dr. Fabian Gieseke, Prof. Dr. Stefan Klein, Dr. Stephan Meisel, Prof. Dr. Heike Trautmann, Prof. Dr. Bernd Hellingrath, Prof. Dr. Gottfried Vossen, Prof. Dr. Jörg Becker, Dr. Rainer Böhme)
Sonstige Lehrveranstaltung
- Advanced Concepts in Software Engineering [042048]
(zusammen mit Matthias Neugebauer, Hendrik Winkelmann)
- Seminar: BA-Sem: Programmiersprachen [046065]
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 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
- Interdisziplinäre Zusammenarbeit mit dem Arbeitskreis Glorius des organisch-chemischen Instituts im Bereich maschinelles Lernen und Datenanalyse ( – )
Publikationen
- 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. Berlin: 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. Setúbal: SciTePress. doi: 10.5220/0012586200003687.
- Herrmann, Nina, Dieckmann, Justus, und Kuchen, Herbert. . „Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments.“ International Journal of Parallel Programming, Nr. 52 (4): 274–297. doi: 10.1007/s10766-024-00769-w.
- Schneid, Konrad, Thöne, Sebastian, und Kuchen, Herbert. im Druck. „Modification-Impact Based Test Prioritization for Process-Driven Applications.“ In Proceedings of 6th International Workshop on the Next Level of Test Automation Dublin, Ireland.
- 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. Setúbal: 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. Berlin: Springer Nature. doi: 10.1007/978-3-031-46587-1_6.
- 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. Setúbal: SciTePress. doi: 10.5220/0011849200003464.
- Troost, Laura, und 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 Setúbal: SciTePress. doi: 10.5220/0000149800003176.
- Gomes, Pereira de Lacerda M., de Andrade, Amorim Neto H., Ludermir, T.B., Kuchen, H., und Buarque, de Lima Neto F. im Druck. „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, Nr. 2022
- Neugebauer, Jonathan, und 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 Machinery. New York, NY: 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, Nr. 61 (29) e202204647. doi: 10.1002/anie.202204647.
- Dubbeldam, Rosemary, Neugebauer, Jonathan, Lee, Yu Yuan, Pham, My Linh, 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. New York City: 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, My Linh, Beser, Lokman, Gerlach, Luka, Lee, Yu Yuan, 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. Setúbal: SciTePress. doi: 10.5220/0011295800003266.
- Menezes, Breno, Kuchen, Herbert, und Buarque de Lima Neto, Fernando. . „Parallelization of Swarm Intelligence Algorithms.“ International Journal of Parallel Programming, Nr. 2022 doi: 10.1007/s10766-022-00736-3.
- Winkelmann, Hendrik, und Kuchen, Herbert. . „Constraint-Logic Object-Oriented Programming on the Java Virtual Machine.“ In 37th ACM/SIGAPP Symposium On Applied Computing, herausgegeben von Association Machinery. New York, NY: 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 Machinery. New York, NY: ACM Press. doi: 10.1145/3477314.3507015.
- de Lacerda, M G, de Araujo, Pessoa L F, Buarque, de Lima Neto F, Ludermir, T B, 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, P N Suganthan und M Ali. doi: 10.1016/j.swevo.2020.100777.
- Winkelmann, Hendrik, und 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: 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, und 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, und 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.
- 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 Heidelberg: Springer. doi: 10.1007/978-3-030-75333-7_8.
- Menezes Breno, Herrmann Nina, und Kuchen Herbert, 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 Heidelberg: Springer.
- Petra, Hofstedt, Salvador, Abreu, Ulrich, John, Herbert, Kuchen, und Dietmar, Seipel. . Lecture Notes in Computer Science, Bd. 12057, Declarative Programming and Knowledge Management ,, herausgegeben von Hofstedt Petra, Abreu Salvador, John Ulrich, Kuchen Herbert und Seipel Dietmar. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-46714-2.
- Menezes Breno, de Araujo Pessoa L F, und Kuchen H, Buarque de Lima Neto F. . „Parallelization Strategies for GPU- Based Ant Colony Optimization Applied to TSP.“ In Parallel Computing: Technology Trends, herausgegeben von Ian Foster, Gerhard R. Joubert, Luděk Kučera, Wolfgang E. Nagel und Frans Peters. Bristol: IOP Publishing. doi: 10.3233/APC200057.
- Rieger Christoph, Lucrédio Daniel, Pontin M. Fortes Renata, Kuchen Herbert, und Dias Felipe, 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, Nr. 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 Ghidini Chiara Fahland Dirk und Dumas Marlon Becker Joerg. Berlin: 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 Ghidini Chiara Fahland Dirk und Duma Marlon Becker Jörg. Heidelberg: Springer.
- Wrede, Fabian, und 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, Nr. 48 (4): 713–728. doi: 10.1007/s10766-020-00659-x.
- Abreu, S, Hofstedt, P, John, U, Kuchen, H, und Seipel, D. im Druck. „Pre-proceedings of the International Conference DECLARE.“ In Parallel Programming with Algorithmic Skeletons. The Art of Structuring, herausgegeben von H Kuchen. Heidelberg: Springer.
- 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, und Kuchen Herbert, 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.
- Lacerda, M, Buarque, de Lima Neto F, Amorim, Neto H, Kuchen, H, und Ludermir, T. im Druck. „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, Ecuador
- 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. Düren: Shaker Verlag.
- Rieger, Christoph, und 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 Mateos Cristian Majchrzak Tim A und Grønli Tor-Morten Poggi Francesco. Basel: Springer International Publishing. doi: 10.1007/978-3-030-28430-5_3.
- Beyer Lars, Dageförde Jan C., und 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, herausgegeben von H Fujita und A Selamat. Bristol: 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, Nr. 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, und 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 New York, NY: ACM Press. doi: 10.1145/3297280.3297520.
- Rieger, Christoph, und 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
- 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 Hung und George Angelos. New York, NY: ACM Press. doi: 10.1145/3297280.3297289.
- Rieger, Christoph, und Kuchen, Herbert. . „A process-oriented modeling approach for graphical development of mobile business apps.“ Computer Languages, Systems & Structures, Nr. 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. N/A: Selbstverlag / Eigenverlag.
- Rieger, Christoph, und Kuchen, Herbert. . „Towards Model-Driven Business Apps for Wearables.“ In Bd. 10995 aus Lecture Notes in Computer Science, herausgegeben von Awan Irfan Younas Muhammad und Catalan Cid Marisa Ghinea George. Basel: 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. Düsseldorf: 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: 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, und Kuchen, Herbert. . „Test-Case Generation for Web-Service Clients.“ Beitrag präsentiert auf der The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France
- Wrede, Fabian, Menezes, Breno, Pessoa Luis, F., Hellingrath, Bernd, Buarque, Fernando, und 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 Bassini Sanzio, Danelutto Marco, Dazzi Patrizio, Joubert R. und Peters Frans. Bristol: IOP Publishing.
- Gorlatch, S, und Kuchen, H. . „Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.“ International Journal of Parallel Programming, Nr. 46: 1–3. doi: 10.1007/s10766-017-0512-3.
- 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: 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, Nr. - (-): 1–19. doi: 10.1007/s10766-018-0564-z.
- Menezes Breno, Wrede Fabian, und Kuchen Herbert, 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.
- 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.
- Gorlatch, S, und Kuchen, H. . „Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications.“ Parallel Processing Letters, Nr. 27 (1): 1–2. doi: 10.1142/S0129626417020017.
- Fuchs, Andreas, und 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 Kajko-Mattsson Mira, Ellingsen Pål und Maresca Paolo.
- 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 Ferreira Luis, Hammoudi Slimane und Selic Bran. 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 Shin Y., Shin Dongwan und Lencastre Maria. New York, NY: ACM Press.
- 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, Nr. 2016 (9): 177–187.
- 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: 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. N/A: Selbstverlag / Eigenverlag.
- Ernsting, S, und Kuchen, H. . „Data Parallel Algorithmic Skeletons with Accelerator Support.“ International Journal of Parallel Programming, Nr. 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 Aachen: CEUR-WS.
- 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) Heidelberg: Springer. doi: 10.1007/978-3-319-27436-2_13.
- Ernsting, Steffen, und 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. Aachen: CEUR-WS.
- Henning, Heitkötter, Herbert, Kuchen, und A., Majchrzak . . „Extending a model-driven cross-platform development approach for business apps.“ Science of Computer Programming, Nr. 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) New York City: Wiley-IEEE Computer Society Press.
- Majchrzak Tim, A., Ernsting, Jan, und Kuchen, Herbert. . „Achieving Business Practicability of Model-Driven Cross-Platform Apps.“ Open Journal of Information Systems (OJIS), Nr. 2 (2): 3–14.
- Ernsting, Steffen, und Kuchen, Herbert. . „A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.“ International Journal of Parallel Programming, Nr. 42 (6): 968–987. doi: 10.1007/s10766-013-0269-2.
- Ernsting, Steffen, und 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, G R 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, Nr. 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: 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 New York, NY: ACM Press. doi: 10.1145/2480362.2480464.
- Heitkötter, H, Majchrzak, TA, Wolffgang, U, und Kuchen, H. . „Business Apps: Grundlagen und Status quo.“ Working paper Nr. 4. N/A: Selbstverlag / Eigenverlag.
- Ernsting, Marko, Majchrzak, Tim, A., und 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 Margaria Tiziana, Qiu Zongyan und Yang Hongli. New York City: Wiley-IEEE Press.
- Ernsting, Steffen, und Kuchen, Herbert. . „Algorithmic skeletons for multi-core, multi-GPU systems and clusters.“ International Journal of Oil, Gas and Coal Technology, Nr. 7 (2): 129–138. doi: 10.1504/IJHPCN.2012.046370.
- Ernsting, Steffen, und Kuchen, Herbert. . „Data Parallel Skeletons in Java.“ Procedia Computer Science, Nr. 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, Nr. 9 (1): 45–54. doi: 10.1108/17415651211228095.
- Ernsting, Steffen, und Kuchen, Herbert. . „Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.“ Beitrag präsentiert auf der Parallel Conference 2011 (ParCo11), Gent, Belgien
- 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 Wong W. Eric Chu William C. und Hung Chih-Cheng Palakal Mathew J.. New York, NY: 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 Escalona-Cuaresma José, Shishkov Boris und Cordeiro José. Setúbal: SciTePress.
- 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) n.a.: 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.
- Kuchen, Herbert, Hrsg. . Lecture Notes in Computer Science, Bd. 6816, Functional and Constraint Logic Programming, Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-642-22531-4.
- 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, Majchrzak Tim, A., und 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) New York City: Wiley-IEEE Computer Society Press.
- Ciechanowicz, Philipp, und Kuchen, Herbert. . „Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.“ In 12th IEEE International Conference on High Performance Computing and Communications New York City: Wiley-IEEE Press. doi: 10.1109/HPCC.2010.64.
- Majchrzak, T A, und Kuchen, H. . „Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen.“ Arbeitsberichte des Instituts für Wirtschaftsinformatik. Münster: Institut für Wirtschaftsinformatik.
- Majchrzak, T. A., und Kuchen, H. . „IHK-Projekt Softwaretests: Auswertung.“ Working Papers Nr. 2. N/A: 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. . „The Münster Skeleton Library Muesli - A Comprehensive Overview.“ ERCIS Working Papers Nr. 7. N/A: Selbstverlag / Eigenverlag.
- 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.
- 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
- 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(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, und Kuchen, Herbert. . „Web Application Modeling Language.“
- 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 N/A: Selbstverlag / Eigenverlag.
- 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
- Michael, Poldner, Kuchen, und Herbert. . „On Implementing the Farm Skeleton.“ Parallel Processing Letters, Nr. 18 (1): 117–131. doi: 10.1142/S0129626408003260.
- 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.
- 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
- 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.“
- Caballero, R, Hermanns, C, und Kuchen, H. . „Algorithmic Debugging of Java Programs.“ In Bd. 177 aus ENTCS
- Poldner, M, und Kuchen, H. . „Scalable Farms.“ Beitrag präsentiert auf der Parallel Computing (ParCo), Malaga
- Kuchen, H, und Striegnitz, J. . „Features from functional programming for a C++ skeleton library.“ Concurrency and Computation: Practice and Experience, Nr. 17 (7-8): 739–756. doi: 10.1002/cpe.844.
- Kuchen, H. . „Optimizing Sequences of Skeleton Calls.“ In Domain-Specific Program Generation Düsseldorf: Springer VDI Verlag.
- Jörg, Becker, Klaus, Backhaus, Lothar, Grob , Thomas, Hoeren, Stefan, Klein, Herbert, Kuchen, Ulrich, Müller-Funk, W, Thonemann , und Gottfied, Vossen. . „European Research Center for Information Systems (ERCIS) : Gründungsveranstaltung : Münster 12. Oktober 2004.“ Working Paper Nr. 1. N/A: Selbstverlag / Eigenverlag.
- 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
- 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, R A, 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 Heidelberg: 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, Nr. 12 (2): 141–155. doi: 10.1142/S0129626402000896.
- Kuchen, Herbert, und Ueda, Kazunori, Hrsg. . Lecture Notes in Computer Science, Bd. 2024, Functional and Logic Programming, Düsseldorf: 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.“ (2)
- Botorog, H G, und Kuchen, H. . „Efficient High-Level Parallel Programming.“ (196): 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, Düsseldorf: Springer VDI Verlag.
- Botorog, H G, und Kuchen, H. . „Using Algorithmic Skeletons with Dynamic Data Structures.“ In Bd. 1117 aus LNCS Heidelberg: Springer.
- Botorog, H G, und Kuchen, H. . „Efficient Parallel Programming with Algorithmic Skeletons.“ In Bd. 1123 aus LNCS Heidelberg: Springer.
- Brüll, A, und Kuchen, H. . „TPASCAL - A Language for Task Parallel Programming.“ In Bd. 1123 aus LNCS Heidelberg: Springer.
- Botorog, H G, 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, und Swierstra S., Doaitse, Hrsg. . Lecture Notes in Computer Science, Bd. 1140, Programming Languages: Implementations, Logics, and Programs, Düsseldorf: Springer VDI Verlag. doi: 10.1007/3-540-61756-6.
- 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 Heidelberg: Springer.
- Hanus, M, und Kuchen, H. . „Integration of Functional and Logic Programming.“ (2): 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 Heidelberg: Springer.
- Kuchen, H. . „Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher.“ In Software-Engineering im Scietific Computing Wiesbaden: Vieweg Verlag.
- Dimov, I, Karaivanova, A, Kuchen, H, und Stoltze, H. . „Monte Carlo Algorithms for Elliptic Differential Equations - a Data Parallel Functional Approach.“ (9): 39–65.
- Botorog, H G, 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) New York City: Wiley-IEEE Computer Society Press.
- 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) New York City: 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, H G, und Kuchen, H. . „Algorithmic Skeletons for Adaptive Multigrid Methods.“ In Bd. 980 aus LNCS Heidelberg: 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 Singapore: World Scientific Publishing.
- Kuchen, H, Plasmeijer, R, und Stoltze, H. . „Distributed Implementation of a Data Parallel Functional Language.“ In Bd. 817 aus LNCS Heidelberg: Springer.
- Kuchen, H, und Stoltze, H. . „Eine datenparallele funktionale Sprache für Multicomputer.“ Beitrag präsentiert auf der TAT'94 Bristol: 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 Singapore: 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 New York, NY: 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 Heidelberg: 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 Heidelberg: 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 Cambridge, MA: MIT Press.
- Kuchen, H, Moreno-Navarro, JJ, und Hermenegildo, M. . „Independent And-Parallel Implementation of Narrowing.“ In Bd. 631 aus LNCS Heidelberg: 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