Prof. Dr. Herbert Kuchen

Kontakt

Portrait

Forschungsschwerpunkte

  • Modell-getriebene Software-Entwicklung
  • Parallele Programmierung
  • Testen
  • Funktional-logische Programmierung
  • Elektronische Prüfungen

Vita

Akademische Ausbildung

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

Beruflicher Werdegang

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

Preise

04/2017Best Paper Award for the Third International Conference on Advances and Trends in Software Engineering - IARIA
11/2015Best Paper Award for the Seventh International Conference on Advances in System Testing and Validation Lifecycle - IARIA

Mitgliedschaften und Aktivitäten in Gremien

seit 2013Herausgeber von Open Journal of Web Technologies, 2013
seit 2007Mitglied des wissenschaftlichen Beirats der IMDEA-Software
2018Mitglied im Programmkomitee der SBD 2018, Houston, Texas, USA
2018Mitglied im Programmkomitee der SOFTENG 2018, Athen, Griechenland
2018Mitglied im Programmkomitee der SAC 2018, Track PAPP, Pau, Frankreich
2018Mitglied im Programmkomitee der HLPGPU 2018, Manchester, England
2018Mitglied im Programmkomitee der SAC 2018, Track SE, Pau, Frankreich
2018Mitglied im Programmkomitee der INFOCOMP 2018, Barcelona, Spanien
2017Programme committee member of ParCo 2017, Bologna, Italy
2017Mitglied im Programmkomitee der HLPP 2017, Valladolid, Spanien
2017Mitglied im Programmkomitee der SBD 2017, Raleigh, USA
2017Mitglied im Programmkomitee der LA-CCI 2017, Arequipa, Peru
2017Mitglied im Programmkomitee der SOFTENG 2017, Venedig, Italien
2017Mitglied im Programmkomitee der HLPGPU 2017, Stockholm, Schweden
2017Mitglied im Programmkomitee der SACLA 2017, Magaliesburg, Südafrika
2017Gastredakteur des International Journal of Parallel Computation, Special Issue on High-Level Parallel Programming with Algorithmic Skeletons, 2017
2017Gastredakteur der Parallel Processing Letters 27(1), 2017
2017Mitglied im Programmkomitee der PASCO 2017, Kaiserslautern, Deutschland
2017Mitglied im Programmkomitee der INFOCOMP 2017, Venedig, Italien
2017Mitglied im Programmkomitee der WFLP 2017, Kiel, Deutschland
2013 - 2017Berufung zum DAAD-Auswahlkommissionsmitglied
2010Mitglied der Jury des Innovationspreises IT 2010 der Initiative Mittelstand
2001 - 2010Mitglied des Steering Commitee des International Symposium on Functional and Logic Programming (FLOPS)
1995 - 2010Stellvertretender Vorsitzender der Fachgruppe "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik e.V.
2003 - 2008Mitglied des Vorstands der Regionalgruppe Münsterland der Gesellschaft für Informatik e.V.
2001 - 2006Mitglied im Vorstand der European Association for Programming Languages and Systems (EAPLS)
1997 - 2003Mitglied des Steering Commitee der ACM Conference on Principles and Practice of Declarative Programming (PPDP)

Rufe

2005Ruf an die Universität der Bundeswehr München (abgelehnt)
1998Ruf an die Martin Luther Universität Halle-Wittenberg (abgelehnt)

Lehre

Wintersemester 2018/19

Vorlesungen

Seminare

Übungen

Sommersemester 2018

Vorlesungen

Seminare

Wintersemester 2017/18

Vorlesungen

Seminare

Übung

Sonstige Lehrveranstaltung

Sommersemester 2017

Vorlesung

Seminare

Sonstige Lehrveranstaltung

Wintersemester 2016/17

Vorlesungen

Seminare

Übungen

Projekte

  • Muli - Muli – The Münster Logic-Imperative Language (seit 2015)
    Eigenmittel
  • MD² - Model-driven Mobile Development (2012 - 2025)
    Eigenmittel
  • Muggl - Der Münster-Generator für Glass-box-Testfälle (2003 - 2025)
    Eigenmittel
  • Muesli - Algorithmic Skeletons - The Muenster Skeleton Library (Muesli) (2002 - 2025)
    Eigenmittel
  • ProLeap - EXIST-Gründerstipendium (2017 - 2018)
    Drittmittel: BMWi - Existenzgründungen aus der Wissenschaft | Förderkennzeichen: 03EGSNW489
  • Kunden-Verwaltungs-System (2017)
    Drittmittel: matchInn UG (haftungsbeschränkt)
  • 9th International Symposium on High-Level Parallel Programming and Applications (2016)
    Drittmittel: Teilnehmerbeiträge
  • DAAD Austauschprogramm: PPP Spanien - Testfallgenerierung mit kooperierenden Constraint-Solvern (2014 - 2015)
    Drittmittel: Deutscher Akademischer Austausch Dienst | Förderkennzeichen: 57049954
  • Wirtschaftliche und plattformübergreifende Entwicklung von Business Apps (2011 - 2012)
    Drittmittel: Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e. V.
  • Testen von Software (2008 - 2010)
    Drittmittel: Wirtschaft
  • cHL-hybrid - Computergestützte Hochschullehre in hybriden Systemen (2005 - 2010)
    Drittmittel: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
  • cHL-hybrid - Integration von Forschungs- und Lehrprozessen (2006 - 2008)
    Drittmittel: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
  • cHL-hybrid - Referenztechnologien (2005 - 2008)
    Drittmittel: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003
  • cHL-hybrid - Integration der Lehr- und Lernprozesse mit administrativen Prozessen (2005 - 2007)
    Drittmittel: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01PI05003

Publikationen

  • Wrede Fabian, Menezes Breno, Kuchen Herbert. 2018. ‘Fish School Search with Algorithmic Skeletons.’ International Journal of Parallel Programming -, Nr. -: 1-19. doi: 10.1007/s10766-018-0564-z.
  • Menezes Breno, Wrede Fabian, Kuchen Herbert, Buarque Fernando. 2018. ‘Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS.’Contributed to the 4th IEEE Latin American Conference on Computational Intelligence (LA-CCI '17), Arequipa, Peru. doi: 10.1109/LA-CCI.2017.8285694.
  • Wrede Fabian, Menezes Breno, Pessoa Luis F., Hellingrath Bernd, Buarque Fernando, Kuchen Herbert. 2018. ‘High-level Parallel Implementation of Swarm Intelligence-based Optimization Algorithms with Algorithmic Skeletons.’Contributed to the International Conference on Parallel Computing (ParCo '17), Bologna, Italy. [Im Druck]
  • Fuchs Andreas, Kuchen Herbert. 2018. ‘Test-Case Generation for Web-Service Clients.’Contributed to the The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France. [Akzeptiert]
  • Rieger Christoph, Westerkamp Martin, Kuchen Herbert. 2018. ‘Challenges and Opportunities of Modularizing Textual Domain-Specific Languages.’Contributed to the Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Funchal, Madeira, Portugal. doi: 10.5220/0006601903870395.
  • Rieger Christoph, Kuchen Herbert. 2018. ‘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.
  • Dageförde Jan C., Kuchen Herbert. 2018. ‘A Constraint-logic Object-oriented Language.’Contributed to the SAC 2018: Symposium on Applied Computing, Pau, Frankreich. doi: 10.1145/3167132.3167260. [Im Druck]
  • Dageförde Jan C., Kuchen Herbert. 2018. ‘An Operational Semantics for Constraint-logic Imperative Programming.’Contributed to the Declare 2017 – Conference on Declarative Programming, Würzburg, Deutschland. [Akzeptiert]
  • Gorlatch S, Kuchen H. 2017. ‘Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications.’ Parallel Processing Letters 27, Nr. 1: 1-2. doi: 10.1142/S0129626417020017.
  • von Hof V, Fögen K, Kuchen H. 2017. ‘Detecting Spring Configurations Errors.’ In SAC '17 Proceedings of the Symposium on Applied Computing, edited by Shin Sung Y., Shin Dongwan, Lencastre Maria. New York, NY, USA: ACM.
  • Bünder Hendrik, Rieger Christoph, Kuchen Herbert. 2017. ‘A Domain-specific Language for Configurable Traceability Analysis.’ In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), edited by Ferreira Pires Luis, Hammoudi Slimane, Selic Bran, 374-381. doi: 10.5220/0006138503740381.
  • Bünder Hendrik, Rieger Christoph, Kuchen Herbert. 2017. ‘A Model-Driven Approach for Evaluating Traceability Information.’ In The Third International Conference on Advances and Trends in Software Engineering (SOFTENG), edited by Kajko-Mattsson Mira, Ellingsen Pål, Maresca Paolo, 59-65.
  • Dageförde Jan C., Kuchen Herbert. 2017. An Operational Semantics for Constraint-logic Imperative Programming. Würzburg.
  • Gorlatch S, Kuchen H. 2017. ‘Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.’ International Journal of Parallel Programming 2017. doi: 10.1007/s10766-017-0512-3. [Im Druck]
  • Fuchs Andreas, Kuchen Herbert. 2017. ‘Unit Testing of Database-Driven Java Enterprise Edition Applications.’Contributed to the 11th International Conference on Tests & Proofs, Marburg, Deutschland.
  • Caballero R, Montenegro M, Kuchen H, von Hof V. 2016. ‘Falsification of Java Assertions Using Automatic Test-Case Generators.’ International Journal On Advances in Systems and Measurements 2016, Nr. 9: 177-187.
  • Fögen K, Von Hof V, Kuchen H. 2016. Attributed Grammars for Detecting Spring Configuration Errors , Nr. 26. Münster: European Research Center for Information Systems, 2016. [Akzeptiert]
  • Ernsting S, Kuchen H. 2016. ‘Data Parallel Algorithmic Skeletons with Accelerator Support.’ International Journal of Parallel Programming 2016: 1-17. doi: 10.1007/s10766-016-0416-7.
  • Von Hof V, Fögen K, Kuchen H. 2016. „Compilezeit-Prüfung von Spring-Konfigurationen.“Beitrag präsentiert auf der Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016, Wien, Österreich.
  • Reischmann T, Kuchen H. 2016. ‘Towards an E-assessment Tool for Advanced Software Engineering Skills.’ In Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 81-90. New York, NY, USA: ACM. doi: 10.1145/2999541.2999550.
  • Caballero R, Von Hof V, Montenegro M, Kuchen H. 2016. A Program Transformation for Converting Java Assertions into Control-flow Statements , Nr. 25, 2016.
  • Majchrzak Tim A., Ernsting Jan, Kuchen Herbert. 2015. ‘Achieving Business Practicability of Model-Driven Cross-Platform Apps.’ Open Journal of Information Systems (OJIS) 2, Nr. 2: 3-14.
  • Heitkötter Henning, Kuchen Herbert, Majchrzak Tim A. 2015. ‘Extending a model-driven cross-platform development approach for business apps.’ Science of Computer Programming 97, Nr. 1: 31-36. doi: 10.1016/j.scico.2013.11.013.
  • Caballero R, Montenegro M, Kuchen H, von Hof V. 2015. ‘Checking Java Assertions Using Automated Test-Case Generation.’Contributed to the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, Sienna, Italien. doi: 10.1007/978-3-319-27436-2_13.
  • Caballero R, Montenegro M, Kuchen H, von Hof V. 2015. ‘Automatic Falsification of Java Assertions.’Contributed to the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain.
  • Hanschke S, Ernsting J, Kuchen H. 2015. ‘Integrating Agile Software Development and Enterprise Architecture Management.’ In Proceedings of the 48th Annual Hawaii International Conference on System Sciences (HICSS-48), 4099-4108.: IEEE Computer Society.
  • Ernsting Steffen, Kuchen Herbert. 2015. ‘Java Implementation of Data Parallel Skeletons on GPUs.’Contributed to the ParCo 2015, Edinburgh.
  • Majchrzak TA, Ernsting J, Kuchen H. 2015. ‘Model-Driven Cross-Platform Apps: Towards Business Practicability.’ In Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, 2015., edited by Grabis, Janis; Sankuhl, Kurt, 129-136.: CEUR-WS.org.
  • Ernsting Steffen, Kuchen Herbert. 2014. ‘A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.’ International Journal of Parallel Programming 42, Nr. 6: 968-987. doi: 10.1007/s10766-013-0269-2.
  • Ernsting S, Kuchen H. 2013. ‘A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming.’ International Journal of Parallel Programming Special Issue. doi: 10.1007/s10766-013-0269-2.
  • Heitkötter H, Majchrzak TA, Kuchen H. 2013. ‘Cross-Platform Model-Driven Development of Mobile Applications with MD².’Contributed to the 28th Annual ACM Symposium on Applied Computing (SAC), Coimbra, Portugal. doi: 10.1145/2480362.2480464.
  • Heitkötter H, Majchrzak TA, Kuchen H. 2013. „MD²-DSL – eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen.“ In Software Engineering 2013 – Workshopband, herausgegeben von Wagner S, Lichter H, 91-106. Bonn, Deutschland: Gesellschaft für Informatik.
  • Ernsting Steffen, Kuchen Herbert. 2013. ‘A Scalable Farm Skeleton for Heterogeneous Parallel Programming.’ In Parallel Computing: Accelerating Computational Science and Engineering (CSE), edited by Bader, M, Bode A, Bungartz H-J, Gerndt M, Joubert G R, Peters F, 72-81. doi: 10.3233/978-1-61499-381-0-72.
  • Ernsting Steffen, Kuchen Herbert. 2012. ‘Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems.’Contributed to the Parallel Conference 2011 (ParCo11), Gent, Belgien.
  • Heitkötter H, Majchrzak TA, Wolffgang U, Kuchen H. 2012. Business Apps: Grundlagen und Status quo. Münster: Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e.V.
  • Ernsting Steffen, Kuchen Herbert. 2012. ‘Algorithmic skeletons for multi-core, multi-GPU systems and clusters.’ International Journal of High Performance Computing and Networking 7, Nr. 2: 129-138. doi: 10.1504/IJHPCN.2012.046370.
  • Ernsting Marko, Majchrzak, Tim A., Kuchen Herbert. 2012. ‘Test Case Generation and Dynamic Mixed-Integer Linear Arithmetic Constraint Solving.’ In Functional and (Constraint) Logic Programming.
  • Ernsting Marko, Majchrzak Tim A., Kuchen Herbert. 2012. ‘Dynamic Solution of Linear Constraints for Test Case Generation.’ In 2012 Sixth International Conference on Theoretical Aspects of Software Engineering, edited by Margaria Tiziana, Qiu Zongyan, Yang Hongli, 271-274.: IEEE.
  • Ernsting Steffen, Kuchen Herbert. 2012. ‘Data Parallel Skeletons in Java.’ Procedia Computer Science 9: 1817-1826. doi: 10.1016/j.procs.2012.04.200.
  • Usener Claus A., Majchrzak Tim A., Kuchen Herbert. 2012. ‘E-assessment and software testing.’ Interactive Technology and Smart Education 9, Nr. 1: 45-54. doi: 10.1108/17415651211228095.
  • Majchrzak TA, Jansen T, Kuchen H. 2011. ‘Efficiency evaluation of open source ETL tools.’ In Proceedings of the 2011 ACM Symposium on Applied Computing, edited by Chu William C. , Wong W. Eric, Palakal Mathew J., Hung Chih-Cheng, 287-294.: ACM. doi: 10.1145/1982185.1982251.
  • Hermanns C, Kuchen H. 2011. ‘Jhyde - The java hybrid debugger.’ In Proceedings of the 6th International Conference on Software and Data Technologies, edited by Escalona-Cuaresma María José, Shishkov Boris, Cordeiro José, 25-35.: SciTePress.
  • Kuchen Herbert, Ed. 2011. Functional and Constraint Logic Programming. Heidelberg: Springer. doi: 10.1007/978-3-642-22531-4.
  • Majchrzak Tim A., Kuchen Herbert. 2011. ‘Logic Java: Combining Object-Oriented and Logic Programming.’ In Functional and Constraint Logic Programming - 20th International Workshop, edited by Kuchen Herbert, 122-137. Heidelberg: Springer. doi: 10.1007/978-3-642-22531-4.
  • Usener Claus A., Majchrzak Tim A., Kuchen Herbert. 2011. ‘Combining State of the Art Software Engineering and E-Assessment.’ In Proc. of the IADIS Int. Conf. e-Learning 2011 (eL2011), 377-385.: IADIS Press (2011).
  • Kuchen H, Hermanns C. 2010. ‘Implementation and Evaluation of a Declarative Debugger for Java.’Contributed to the WFLP 2010, Madrid, Spain.
  • Gruttmann S, Kuchen H. 2010. ‘Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.’ Zeitschrift für e-Learning : 23-35.
  • Gruttmann S, Usener C, Kuchen H. 2010. „Das E-Assessment-System EASy: Computerunterstützer Übungsbetrieb im Informatikstudium.“.
  • Gruttmann S, Kuchen H. 2010. „Computerunterstützter Übungsbetrieb im Informatikstudium - Prozessoptimierung durch E-Assessment-Systeme.“.
  • Gruttmann S, Usener C, Majchrzak T, Kuchen H. 2010. ‘Formative E-Assessment of Software Verification Skills in Higher Education.’Contributed to the IADIS e-Learning Conference 2010 (EL 2010).
  • Majchrzak T A, Kuchen H. 2010. Handlungsempfehlungen für erfolgreiches Testen von Software in Unternehmen : Institut für Wirtschaftsinformatik, WWU Münster, 2010.
  • Usener Claus A., Gruttmann Susanne, Majchrzak Tim A., Kuchen Herbert. 2010. ‘Computer-Supported Assessment of Software Verification Proofs - Towards High-Quality E-Assessments in Computer Science Education.’ In Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT).: IEEE Computer Society.
  • Ciechanowicz Philipp, Kuchen Herbert. 2010. ‘Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.’ In 12th IEEE International Conference on High Performance Computing and Communications, 108-113.: IEEE. doi: 10.1109/HPCC.2010.64.
  • Ciechanowicz P, Poldner M, Kuchen H. 2010. Enhancing Muesli's Data Parallel Skeletons for Multi-Core Computer Architectures.
  • Majchrzak,A T, Kuchen H. 2009. „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 Philipp, Kegel Philipp, Schellmann Maraike, Gorlatch Sergei, Kuchen Herbert. 2009. ‘Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.’Contributed to the International Conference ParCo, Lyon, France.
  • Majchrzak T, Kuchen H. 2009. ‘Automated Test Case Generation based on Coverage Analysis.’Contributed to the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering.
  • Ciechanowicz P, Poldner M, Kuchen H. 2009. The Münster Skeleton Library Muesli - A Comprehensive Overview , Nr. 7. Münster: ERCIS - European Research Center for Information Systems, 2009.
  • Arndt C, Hermanns C, Kuchen H, Poldner M. 2009. Best Practices in der Softwareentwicklung , Nr. 1, 2009.
  • Poldner Michael, Kuchen,Herbert. 2008. ‘On Implementing the Farm Skeleton.’ Parallel Processing Letters 18, Nr. 1: 117-131. doi: 10.1142/S0129626408003260.
  • Eilers B, Gruttmann S, Kuchen H. 2008. „Konzeption eines integrierbaren Systems zur computergestützten Lernfortschrittskontrolle.“ In E-Learning-Management, herausgegeben von Grob HL, vom Brocke J, Buddendick C, 213-232. München: Vahlen Verlag.
  • Gruttmann S, Böhm D, Kuchen H. 2008. ‘E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.’Contributed to the 2008 International Conference on Information Technology in Education.
  • Grob HL, Kuchen H, Buddendick C, Gruttmann S, Düppe I. 2008. „Kollaborative Entwicklung von E-Learning Plattformen in Projektseminaren - Neue Potenziale für das E-Learning?.“Beitrag präsentiert auf der logOS, Osnabrück, Germay.
  • Buddendick C, Gruttmann S, Düppe I, Grob HL, Kuchen H. 2008. „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.
  • Gruttmann S, Böhm D, Kuchen H. 2008. ‘Conceptual Design, Implementation and Evaluation of an E-Assessment System for Mathematical Proofs.’Contributed to the 11th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2008), Crete, Greece.
  • Gruttmann S, Böhm D, Kuchen H. 2008. ‘E-Assessment of Mathematical Proofs - Chances and Challenges for Students and Tutors.’Contributed to the 2008 International Conference on Information Technology in Education, Wuhan,China.
  • Gruttmann S, Kuchen H. 2008. ‘A Framework for Formative E-Assessments of Mathematical Proofs.’Contributed to the 2008 Symposium on e-Assessment in Practice, Shrivenham.
  • Poldner M, Kuchen H. 2008. ‘Task Parallel Skeletons for Divide and Conquer.’Contributed to the Workshop of the Working Group Programming Languages and Computing Concepts of the German Computer Science Association GI, Bad Honnef.
  • Poldner M, Kuchen H. 2008. ‘Optimizing Skeletal Stream Processing for Divide and Conquer.’Contributed to the 3rd International Conference on Software and Data Technology (ICSOFT).
  • Fischer S, Kuchen H. 2008. ‘Data-Flow Testing of Declarative Programs.’Contributed to the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP).
  • Wolffgang Ulrich, Kuchen Herbert. 2008. Web Application Modeling Language , 2008.
  • Polder M, Kuchen H. 2008. ‘On Implementing the Farm Skeleton.’ Parallel Processing Letters , Nr. 18: 117-131.
  • Ciechanowicz P, Dlugosz S, Kuchen H, Müller-Funk U. 2008. ‘Exploiting Training Example Parallelism with a Batch Variant of the ART2 Classification Algorithm.’Contributed to the 7th IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN), Innsbruck, Austria.
  • Poldner M, Kuchen H. 2008. ‘Skeletons for Divide and Conquer Algorithms.’Contributed to the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2008), Innsbruck,Austria.
  • Fischer S, Kuchen H. 2007. ‘Glass-Box Testing of Functional Logic Programs.’Contributed to the 24th Workshop of GI Working Group ""Programming Languages and Computing Concepts"", Bad Honnef.
  • Kuchen H, Hermanns C, Poldner M. 2007. „Technische Filter.“ In Recht und Neue Medien. Stuttgart: Boorberg Verlag.
  • Fischer S, Kuchen H. 2007. ‘Systematic Generation of Glass-Box Test Cases for Functional Logic Programs.’Contributed to the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming.
  • Müller R, Eilers B, Janiesch C, Kuchen H, Becker J. 2006. ‘XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects.’.
  • Caballero R, Hermanns C, Kuchen H. 2006. ‘Algorithmic Debugging of Java Programs.’Contributed to the 15th International Workshop on Functional and Logic Programming (WFLP), Madrid.
  • Poldner M, Kuchen H. 2006. ‘Algorithmic Skeletons for Branch & Bound.’Contributed to the 1st International Conference on Software and Data Technology (ICSOFT), Sebtual,Portugal.
  • Poldner M, Kuchen H. 2005. ‘Scalable Farms.’Contributed to the Parallel Computing (ParCo), Malaga.
  • Kuchen H, Striegnitz J. 2005. ‘Features from functional programming for a C++ skeleton library.’ Concurrency and Computation: Practice and Experience 17, Nr. 7-8: 739-756. doi: 10.1002/cpe.844.
  • Kuchen H. 2004. ‘Optimizing Sequences of Skeleton Calls.’ In Domain-Specific Program Generation, 254-273.: Springer Verlag.
  • Müller R, Lembeck C, Kuchen H. 2004. ‘A Symbolic Java Vitual Machine for Test-Case Generation.’Contributed to the IASTED.
  • Lembeck C, Caballero R, Müller R, Kuchen H. 2004. ‘Constraint Solving for Generating Glass-Box Test Cases.’Contributed to the International Workshop on Functional and (Constraint) Logic Programming (WFLP), Aachen.
  • Lembeck C, Müller R, Kuchen H. 2004. „Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern.“Beitrag präsentiert auf der 34. Jahrestagung der Gesellschaft für Informatik, Ulm.
  • Becker J, Backhaus K, Grob HL, Hoeren T, Klein S, Kuchen H, Müller-Funk U, Thonemann UW, Vossen G. 2004. European Research Center for Information Systems (ERCIS). Arbeitsbericht zur Gründung des ERCIS , Nr. 1. Münster: ERCIS - European Research Center for Information Systems, 2004.
  • Lechtenbörger J, Vossen G, Kuchen H. 2003. „Sichten-Wartung in Datenlagern - Controlling aus datenbanktechnischer Sicht.“ In Trendberichte zum Controlling, herausgegeben von Physica-Verlag, 495-510. Heidelberg: Physica-Verlag.
  • Müller R A, Lembeck C, Kuchen H. 2003. GlassTT - A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation , Nr. 102. Münster: Institut für Wirtschaftsinformatik, WWU Münster, 2003.
  • Kuchen H, Cole M. 2002. ‘The Integration of Task and Data Parallel Skeletons.’ Parallel Processing Letters 12, Nr. 2: 141-155. doi: 10.1142/S0129626402000896.
  • Kuchen H. 2002. A Skeleton Library , Nr. 6/02-I, 2002.
  • Kuchen H, Striegnitz J. 2002. ‘Higher-Order Functions and Partial Applications for a C++ Skeleton Library.’Contributed to the ISCOPE, ACM.
  • Kuchen H. 2002. ‘A Skeleton Library.’Contributed to the Euro-Par.
  • Kuchen Herbert, Ueda Kazunori, Ed. 2001. Functional and Logic Programming. : Springer.
  • Kuchen H. 2000. ‘Implementing an Object Oriented Design in Curry.’Contributed to the 9th International Workshop on Functional and Logic Programming, Valencia.
  • Kuchen H, Nietsch M. 1999. „Die Softwaretechnik-Ausbildung in der Wirtschaftsinformatik an der WWU Münster.“, Nr. 2.
  • Lux W, Kuchen H. 1999. ‘An Efficient Abstract Machine for Curry.’Contributed to the Arbeitstagung Programmiersprachen, Paderborn.
  • Kuchen H. 1998. Workshop on Functional and Logic Programming, Proceedings , Nr. 63. Münster: Institut für Wirtschaftsinformatik, WWU Münster, 1998.
  • Botorog H G, Kuchen H. 1998. ‘Efficient High-Level Parallel Programming.’, Nr. 196: 71-107.
  • Kuchen H. 1997. Arbeitstagung Programmiersprachen, Tagungsband , Nr. 58. Münster: Institut für Wirtschaftsinformatik, WWU Münster, 1997.
  • Glaser Hugh, Hartel Pieter, Kuchen Herbert, Ed. 1997. Programming Languages: Implementations, Logics, and Programs. : Springer.
  • Botorog H G, Kuchen H. 1996. ‘Using Algorithmic Skeletons with Dynamic Data Structures.’Contributed to the Irregular '96.
  • Botorog H G, Kuchen H. 1996. ‘Efficient Parallel Programming with Algorithmic Skeletons.’Contributed to the EuroPar '96.
  • Kuchen H. 1996. ‘A Functional Logic Language Based on Higher Order Narrowing.’Contributed to the Glasgow Functional Programming Workshop 1995, Glasgow.
  • Botorog H G, Kuchen H.Translation by Instantiation: Integrating Functional Features into an Imperative Language.“Poster contributed to the Poster Session of CC '96, Technical Report LiTH-IDA-R-96-12, University of Linköping, 1996.
  • Kuchen Herbert, Swierstra S. Doaitse, Ed. 1996. Programming Languages: Implementations, Logics, and Programs. : Springer. doi: DOI: 10.1007/3-540-61756-6.
  • Brüll A, Kuchen H. 1996. ‘TPASCAL - A Language for Task Parallel Programming.’Contributed to the EuroPar'96.
  • Kuchen H, Loogen R, Moreno-Navarro JJ, Rodriguez-Artalejo M. 1996. ‘The Functional Logic Language BABEL and its Implementation on a Graph Machine.’: 391-427.
  • Hanus M, Kuchen H. 1996. ‘Integration of Functional and Logic Programming.’, Nr. 2: 306-308.
  • Dimov I, Karaivanova A, Kuchen H, Stoltze H. 1996. ‘Monte Carlo Algorithms for Elliptic Differential Equations - a Data Parallel Functional Approach.’, Nr. 9: 39-65.
  • Kuchen H. 1996. „Eine datenparallele funktionale Sprache für Rechner mit verteiltem Speicher.“ In Software-Engineering im Scietific Computing, 142-149.: Vieweg Verlag.
  • Kuchen H, Anastasiadis J. 1996. ‘Higher Order Babel -- Language and Implementation.’Contributed to the Extensions of Logic Programming.
  • Botorog H G, Kuchen H. 1996. ‘Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming.’Contributed to the Fifth International Symposium on High Performance Distributed Computing (HPDC-5).
  • Gladitz K, Kuchen H. 1996. ‘Shared Memory Implementation of the Gamma-Operation.’: 577-591.
  • Hanus M, Kuchen H, Moreno-Navarro JJ. 1995. ‘Curry: A Truly Functional Logic Language.’Contributed to the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland,USA.
  • Kuchen H. 1995. ‘Skeletons versus C - A Case Study.’Contributed to the International Workshop on the Implementation of Functional Languages, Baastad,Sweden.
  • Kuchen H, Stoltze H, Dimov I, Karaivanova A. 1995. ‘Distributed Memory Implementation of Elliptic Partial Differential Equations in a Dataparallel Functional Langugage.’Contributed to the Programming Models for Massively Parallel Computers (MPPM'95).
  • Botorog H G, Kuchen H. 1995. ‘Algorithmic Skeletons for Adaptive Multigrid Methods.’Contributed to the Irregular '95.
  • Botorog G, Kuchen H. 1995. Algorithmic Skeletons in an Imperative Language for Distributed Programming , Nr. 9504, 1995.
  • Kuchen H, Stoltze H. 1994. ‘Candela -- A Topology Description Language.’: 557-676.
  • Gladitz K, Kuchen H. 1994. ‘Parallel Implementation of the Gamma-Operation.’Contributed to the Conference on Parallel Symbolic Computation (PaSCo).
  • Kuchen H, Plasmeijer R, Stoltze H. 1994. ‘Distributed Implementation of a Data Parallel Functional Language.’Contributed to the 6th International Conference on Parallel Architectures and Languages Europe (PARLE'94).
  • Kuchen H, Stoltze H. 1994. „Eine datenparallele funktionale Sprache für Multicomputer.“Beitrag präsentiert auf der TAT'94.
  • Kuchen H, Stoltze H. 1994. ‘A Data Parallel Functional Language for Distributed Memory Machines.’Contributed to the Conference on Numerical Methods and Applications.
  • Kuchen H, Gladitz K. 1993. ‘Parallel Implementation of Bags.’Contributed to the Conference on Functional Languages and Computer Architecture, Kopenhagen.
  • Stoltze H, Kuchen H. 1993. ‘Parallel Functional Programming using Algorithmic Skeletons.’Contributed to the Int. Conf. on Parallel Computing (ParCo), Grenoble, North-Holland.
  • Kuchen H. 1993. Distributed Memory Implementation of a Data Parallel Functional Language , Nr. 76, 1993.
  • Moreno-Navarro JJ, Kuchen H, Mariño-Carballo J, Winkler S, Hans W. 1993. ‘Efficient Lazy Narrowing using Demandedness Analysis.’Contributed to the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93).
  • Hans W, Kuchen H, Winkler St. 1993. Full Indexing for Lazy Narrowing . Aachen, 1993.
  • Kuchen H, Lopez-Fraguas F. 1992. Result Directed Computing in a Functional Logic Language . Aachen, 1992.
  • Kuchen H, Loogen R, Moreno-Navarro JJ, Rodriguez-Artalejo M. 1992. Graph Narrowing to Implement a Functional Logic Language . Madrid, 1992.
  • Kuchen H, Moreno-Navarro JJ, Hermenegildo M. 1992. Independent And-Parallel Narrowing . Aachen, 1992.
  • Kuchen H, Moreno-Navarro JJ, Hermenegildo M. 1992. ‘Independent And-Parallel Implementation of Narrowing.’Contributed to the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP).
  • Kuchen H, Lopez-Fraguas F, Moreno-Navarro JJ, Rodriguez-Artalejo M. 1992. Implementing Disequality in a Lazy Functional Logic Language . Aachen, 1992.
  • Kuchen H, Lopez-Fraguas F, Moreno-Navarro JJ, Rodriguez-Artalejo M. 1992. ‘Implementing a Lazy Functional Logic Language with Disequality Constraints.’Contributed to the Joint International Conference and Symposium on Logic Programming.
  • Kuchen H, Stoltze H, Lücking F. 1992. „Candela -- Eine Sprache zur Beschreibung von Topologien.“Beitrag präsentiert auf der Transputer-Anwender-Treffen, Aachen.
  • Kuchen H, Stoltze H, Lücking F. 1991. The Topology Description Language TDL . Aachen, 1991.
  • Kuchen H, Geiler G. 1991. Distributed Applicative Arrays , Nr. 91-5, 1991.
  • Moreno-Navarro JJ, Kuchen H, Loogen R, Rodriguez-Artalejo M. 1990. Lazy Narrowing in a Graph Machine . Aachen, 1990.
  • Kuchen H, Wagener A. 1990. Comparison of Dynamic Load Balancing Strategies , Nr. 90-5, 1990.
  • Kuchen H, Loogen R, Moreno-Navarro JJ, Rodriguez-Artalejo M. 1989. Graph-Based Implementation of a Functional Logic Language . Aachen, 1989.

Betreute Arbeiten

Betreute Dissertationen

Majchrzak, Tim AlexanderTechnische und Organisatorische Aspekte von Softwaretests
Wolffgang, UlrichModellgetriebene Entwicklung daten- und prozessbasierter Webapplikationen
von Hoffen, MoritzDeveloping Sharing Economy Services - Artifacts for Peer-to-Peer Sharing and Collaborative Consumption Services2014 - 2018
Klör, BenjaminBuilding a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries - Design and Evaluation2017
Ernsting, JanFacilitating Information System Development2016
Ernsting, SteffenData Parallel Algorithmic Skeletons with Accelerator Support.2016
Clever, Nicoicebricks. Konstruktion und Anwendung eines Prozessmodellierungswerkzeugs2016
Dietrich, Hanns-AlexanderGraph-based Conceptual Model Analysis - Design, Implementation, Demonstration and Evaluation of Model Query Languages 2010 - 2014
Groß, StephanEin konfiguratives Vorgehensmodell für die Einführung von ERP-Systemen 2008 - 2013
Heitkötter, HenningPlattformübergreifende Entwicklung mobiler Business Apps2009 - 2013
Fleischer, StefanKonstruktion und Anwendung eines multizweckorientierten hierarchischen Metamodellierungswerkzeugs2007 - 2013
Ciechanowicz, PhilippDatenparallele algorithmische Skelette - Erweiterungen und Anwendungen der Münster Skelettbibliothek Muesli2006 - 2010
Hermanns, ChristianEntwicklung und Implementierung eines hybriden Debuggers für Java 2006 - 2010
Gruttmann, SusanneFormatives E-Assessment in der Hochschullehre - Computerunterstützte Lernfortschrittkontrollen im Informatikstudium2006 - 2010
Poldner, MichaelTask Parallel Algorithmic Skeletons2008

Betreute Habilitationen

Matzner, MartinAnalyzing and Predicting Performances of Business Processes2015 - 2016
Beverungen, DanielInteraction Routines in Service Systems: Analysis, Design, Emergence2010 - 2014


Impressum | Datenschutzhinweis | © 2018 Institut
Institut
Beispielstr. 1
· 48155 Münster
Tel: +49 251 83-22223 · Fax: 0251 - 83 22 22 4
E-Mail: