Herbert Kuchen

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 63

Top Venues

SAC

Int. J. Parallel Program.

ENASE

PARCO

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Nina Herrmann, Justus Dieckmann, Herbert Kuchen
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments. Int. J. Parallel Program. 52 (4) (2024)
Laura Troost, Hendrik Winkelmann, Herbert Kuchen
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. ENASE (2024)
Laura Troost, Jonathan Neugebauer, Herbert Kuchen
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. ENASE (2023)
Marcelo Gomes Pereira de Lacerda, Fernando Buarque de Lima Neto, Teresa Bernarda Ludermir, Herbert Kuchen
Out-of-the-box parameter control for evolutionary and swarm-based algorithms with distributed reinforcement learning. Swarm Intell. 17 (3) (2023)
Jonathan Neugebauer, Jonas Hochstrat, Konrad Schneid, Daniel Sigge, Herbert Kuchen
A Model-Driven Approach to SAP S/4HANA Development. EDOC (2023)
Hendrik Winkelmann, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. ENASE (2023)
Nina Herrmann, Herbert Kuchen
Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. Int. J. Parallel Program. 51 (2) (2023)
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
Modification-Impact based Test Prioritization for Process-Driven Applications. ICSTW (2023)
Jan C. Dageförde, Herbert Kuchen
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Jonathan Neugebauer, Rosemary Dubbeldam, My Linh Pham, Lokman Beser, Luka Gerlach, Yu Yuan Lee, Herbert Kuchen
A Medical Information System for Personalized Rehabilitation after Ankle Inversion Trauma. ICSOFT (2022)
Hendrik Winkelmann, Laura Troost, Herbert Kuchen
Constraint-logic object-oriented programming for test case generation. SAC (2022)
Breno Augusto De Melo Menezes, Herbert Kuchen, Fernando Buarque de Lima Neto
Parallelization of Swarm Intelligence Algorithms: Literature Review. Int. J. Parallel Program. 50 (5-6) (2022)
Jonathan Neugebauer, Herbert Kuchen
Model-driven customizing of ERP systems: a case study. SAC (2022)
Hendrik Winkelmann, Herbert Kuchen
Constraint-logic object-oriented programming on the Java virtual machine. SAC (2022)
Nina Herrmann, Breno Augusto De Melo Menezes, Herbert Kuchen
Stencil Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. Int. J. Parallel Program. 50 (5-6) (2022)
Marcelo Gomes Pereira de Lacerda, Hugo de Andrade Amorim Neto, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto
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. Appl. Soft Comput. 123 (2022)
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
Semi-automated Test Migration for BPMN-Based Process-Driven Applications. EDOC (2022)
Laura Troost, Herbert Kuchen
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. ENASE (2022)
Konrad Schneid, Herbert Kuchen, Sebastian Thöne, Sascha Di Bernardo
Uncovering data-flow anomalies in BPMN-based process-driven applications. SAC (2021)
Marcelo Gomes Pereira de Lacerda, Luis Filipe de Araujo Pessoa, Fernando Buarque de Lima Neto, Teresa Bernarda Ludermir, Herbert Kuchen
A systematic literature review on general parameter control for evolutionary and swarm-based algorithms. Swarm Evol. Comput. 60 (2021)
Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen
Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications. EDOC (2021)
Hendrik Winkelmann, Herbert Kuchen
Symbolic execution of NoSQL applications using versioned schemas. SAC (2021)
Breno Augusto De Melo Menezes, Nina Herrmann, Herbert Kuchen, Fernando Buarque de Lima Neto
High-Level Parallel Ant Colony Optimization with Algorithmic Skeletons. Int. J. Parallel Program. 49 (6) (2021)
Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen
Free Objects in Constraint-logic Object-oriented Programming. PPDP (2021)
Christoph Rieger, Daniel Lucrédio, Renata P. M. Fortes, Herbert Kuchen, Felipe Dias, Lianna Duarte
A model-driven approach to cross-platform development of accessible business apps. SAC (2020)
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays. WFLP (2020)
Konrad Schneid, Sebastian Thöne, Herbert Kuchen
Feature Development in BPMN-Based Process-Driven Applications. BPM (Forum) (2020)
Fabian Wrede, Christoph Rieger, Herbert Kuchen
Generation of high-performance code based on a domain-specific language for algorithmic skeletons. J. Supercomput. 76 (7) (2020)
Jan C. Dageförde, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays. CoRR (2020)
Fabian Wrede, Herbert Kuchen
Towards High-Performance Code Generation for Multi-GPU Clusters Based on a Domain-Specific Language for Algorithmic Skeletons. Int. J. Parallel Program. 48 (4) (2020)
Breno Augusto De Melo Menezes, Luis Filipe de Araujo Pessoa, Herbert Kuchen, Fernando Buarque de Lima Neto
Parallelization Strategies for GPU-Based Ant Colony Optimization Applied to TSP. PARCO (2019)
Marcelo Gomes Pereira de Lacerda, Fernando Buarque de Lima Neto, Hugo de Andrade Amorim Neto, Herbert Kuchen, Teresa Bernarda Ludermir
On the Learning Properties of Dueling DDQN in Parameter Control for Evolutionary and Swarm-based Algorithms. LA-CCI (2019)
Fabian Wrede, Breno Augusto De Melo Menezes, Herbert Kuchen
Fish School Search with Algorithmic Skeletons. Int. J. Parallel Program. 47 (2) (2019)
Hendrik Bünder, Herbert Kuchen
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. MODELSWARD (Revised Selected Papers) (2019)
Hendrik Bünder, Herbert Kuchen
A model-driven approach for behavior-driven GUI testing. SAC (2019)
Christoph Rieger, Herbert Kuchen
A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes. HICSS (2019)
Jan C. Dageförde, Herbert Kuchen
Retrieval of individual solutions from encapsulated search with a potentially infinite search space. SAC (2019)
Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel
Pre-proceedings of the DECLARE 2019 Conference. CoRR (2019)
Lars Beyer, Jan C. Dageförde, Herbert Kuchen, Claus A. Usener
Automated Data-Flow Analysis and Validation in Process Automation Projects. SoMeT (2019)
Konrad Schneid, Claus A. Usener, Sebastian Thöne, Herbert Kuchen, Christian Tophinke
Static analysis of BPMN-based process-driven applications. SAC (2019)
Tobias Reischmann, Herbert Kuchen
A web-based e-assessment tool for design patterns in UML class diagrams. SAC (2019)
Jan C. Dageförde, Herbert Kuchen
A compiler and virtual machine for constraint-logic object-oriented programming with Muli. J. Comput. Lang. 53 (2019)
Christoph Rieger, Fabian Wrede, Herbert Kuchen
Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons. SAC (2019)
Breno Augusto De Melo Menezes, Herbert Kuchen, Hugo A. Amorim Neto, Fernando Buarque de Lima Neto
Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem. CEC (2019)
Tobias Reischmann, Herbert Kuchen
An Interactive Learning Environment for Software Engineering Design Patterns. Koli Calling (2018)
Christoph Rieger, Herbert Kuchen
A process-oriented modeling approach for graphical development of mobile business apps. Comput. Lang. Syst. Struct. 53 (2018)
Breno Augusto De Melo Menezes, Fabian Wrede, Herbert Kuchen, Fernando Buarque de Lima Neto
Parameter Selection for Swarm Intelligence Algorithms: Case Study on Parallel Implementation of FSS. Int. J. Swarm Intell. Res. 9 (4) (2018)
Andreas Fuchs, Herbert Kuchen
Test-case generation for web-service clients. SAC (2018)
Christoph Rieger, Herbert Kuchen
Towards Model-Driven Business Apps for Wearables. MobiWIS (2018)
Marcelo Gomes Pereira de Lacerda, Hugo Deandrade Amorim Neto, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto
Population Size Control for Efficiency and Efficacy Optimization in Population Based Metaheuristics. CEC (2018)
Jan C. Dageförde, Herbert Kuchen
A constraint-logic object-oriented language. SAC (2018)
Christoph Rieger, Martin Westerkamp, Herbert Kuchen
Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. MODELSWARD (2018)
Sergei Gorlatch, Herbert Kuchen
Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons. Int. J. Parallel Program. 46 (1) (2018)
Sergei Gorlatch, Herbert Kuchen
Guest Editors' Note. Parallel Process. Lett. 27 (1) (2017)
Steffen Ernsting, Herbert Kuchen
Data Parallel Algorithmic Skeletons with Accelerator Support. Int. J. Parallel Program. 45 (2) (2017)
Breno Augusto De Melo Menezes, Fabian Wrede, Herbert Kuchen, Fernando Buarque de Lima Neto
Parameter selection for swarm intelligence algorithms - Case study on parallel implementation of FSS. LA-CCI (2017)
Fabian Wrede, Breno Augusto De Melo Menezes, Luis Filipe de Araujo Pessoa, Bernd Hellingrath, Fernando Buarque de Lima Neto, Herbert Kuchen
High-Level Parallel Implementation of Swarm Intelligence-Based Optimization Algorithms with Algorithmic Skeletons. PARCO (2017)
Hendrik Bünder, Christoph Rieger, Herbert Kuchen
A Domain-specific Language for Configurable Traceability Analysis. MODELSWARD (2017)
Jan C. Dageförde, Herbert Kuchen
An Operational Semantics for Constraint-Logic Imperative Programming. DECLARE (2017)
Vincent von Hof, Konrad Fögen, Herbert Kuchen
Detecting spring configurations errors. SAC (2017)
Andreas Fuchs, Herbert Kuchen
Unit Testing of Database-Driven Java Enterprise Edition Applications. TAP@STAF (2017)
Vincent von Hof, Konrad Fögen, Herbert Kuchen
Compilezeit-Prüfung von Spring-Konfigurationen. Software Engineering (Workshops) (2016)
Tobias Reischmann, Herbert Kuchen
Towards an E-assessment tool for advanced software engineering skills. Koli Calling (2016)
Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen
Achieving Business Practicability of Model-Driven Cross-Platform Apps. Open J. Inf. Syst. 2 (2) (2015)
Sebastian Hanschke, Jan Ernsting, Herbert Kuchen
Integrating Agile Software Development and Enterprise Architecture Management. HICSS (2015)
Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
Checking Java Assertions Using Automated Test-Case Generation. LOPSTR (2015)
Steffen Ernsting, Herbert Kuchen
Java Implementation of Data Parallel Skeletons on GPUs. PARCO (2015)
Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen
Model-Driven Cross-Platform Apps: Towards Business Practicability. CAiSE Forum (2015)
Henning Heitkötter, Herbert Kuchen, Tim A. Majchrzak
Extending a model-driven cross-platform development approach for business apps. Sci. Comput. Program. 97 (2015)
Steffen Ernsting, Herbert Kuchen
A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. Int. J. Parallel Program. 42 (6) (2014)
Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen
MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen. Software Engineering (Workshops) (2013)
Steffen Ernsting, Herbert Kuchen
A Scalable Farm Skeleton for Heterogeneous Parallel Programming. PARCO (2013)
Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen
. SAC (2013)
Donghwi Lee, Chia-Chu Chiang, Mal-Rey Lee, Herbert Kuchen, Kenji Leibnitz
Introduction. Telecommun. Syst. 51 (2-3) (2012)
Claus A. Usener, Tim A. Majchrzak, Herbert Kuchen
E-assessment and software testing. Interact. Technol. Smart Educ. 9 (1) (2012)
Herbert Kuchen, Steffen Ernsting
Data Parallel Skeletons in Java. ICCS (2012)
Steffen Ernsting, Herbert Kuchen
Algorithmic skeletons for multi-core, multi-GPU systems and clusters. Int. J. High Perform. Comput. Netw. 7 (2) (2012)
Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen
Dynamic Solution of Linear Constraints for Test Case Generation. TASE (2012)
Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen
Efficiency evaluation of open source ETL tools. SAC (2011)
Christian Hermanns, Herbert Kuchen
Hybrid Debugging of Java Programs. ICSOFT (Selected Papers) (2011)
Steffen Ernsting, Herbert Kuchen
Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems. PARCO (2011)
Tim A. Majchrzak, Herbert Kuchen
Logic Java: Combining Object-Oriented and Logic Programming. WFLP (2011)
Christian Hermanns, Herbert Kuchen
JHyde - The Java Hybrid Debugger. ICSOFT (2) (2011)
Philipp Ciechanowicz, Herbert Kuchen
Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures. HPCC (2010)
Tim A. Majchrzak, Oliver Noack, Herbert Kuchen, Philipp Neuhaus, Frank Ückert
Towards a decision support system for the allocation of traumatized patients. ISCRAM (2010)
Philipp Ciechanowicz, Philipp Kegel, Maraike Schellmann, Sergei Gorlatch, Herbert Kuchen
Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters. PARCO (2009)
Tim A. Majchrzak, Herbert Kuchen
Automated Test Case Generation Based on Coverage Analysis. TASE (2009)
Sebastian Fischer, Herbert Kuchen
Data-flow testing of declarative programs. ICFP (2008)
Michael Poldner, Herbert Kuchen
On Implementing the Farm Skeleton. Parallel Process. Lett. 18 (1) (2008)
Susanne Johanna Gruttmann, Dominik Böhm, Herbert Kuchen
E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors. CSSE (5) (2008)
Michael Poldner, Herbert Kuchen
Optimizing Skeletal Stream Processing for Divide and Conquer. ICSOFT (PL/DPS/KE) (2008)
Sebastian Fischer, Herbert Kuchen
Systematic generation of glass-box test cases for functional logic programs. PPDP (2007)
Rafael Caballero, Christian Hermanns, Herbert Kuchen
Algorithmic Debugging of Java Programs. Electron. Notes Theor. Comput. Sci. 177 (2007)
Herbert Kuchen, Murray Cole
Editorial. Parallel Comput. 32 (7-8) (2006)
Herbert Kuchen, Christoph Lembeck, Roger A. Müller
Automatische Erzeugung von Testfällen. Softwaretechnik-Trends 26 (2) (2006)
Roger A. Müller, Björn Eilers, Christian Janiesch, Herbert Kuchen, Jörg Becker
XePtance: Supporting Distributed Acceptance Tests in Extreme Programming Projects. AMCIS (2006)
Michael Poldner, Herbert Kuchen
Algorithmic Skeletons for Branch and Bound. ICSOFT (Selected Papers) (2006)
Michael Poldner, Herbert Kuchen
Algorithmic skeletons for branch & bound. ICSOFT (1) (2006)
Herbert Kuchen, Jörg Striegnitz
Features from functional programming for a C++ skeleton library. Concurr. Pract. Exp. 17 (7-8) (2005)
Michael Poldner, Herbert Kuchen
Scalable Farms. PARCO (2005)

Herbert Kuchen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Herbert Kuchen