| 2026 | ENASE | Domain-Driven Modeling of Combinatorial Constraint Satisfaction Problems for Quantum Solvers. | Marc Uphues, Sebastian Thne, Herbert Kuchen |
| 2026 | SAC | A Reference Architecture for Embedding Quantum Software into Enterprise Systems. | Marc Uphues, Sebastian Thne, Herbert Kuchen |
| 2025 | ENASE | Mutation Operators for Mutation Testing of Angular Web Applications. | Sarah Augustin, Hendrik Winkelmann, Herbert Kuchen |
| 2024 | ENASE | An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. | Laura Troost, Hendrik Winkelmann, Herbert Kuchen |
| 2023 | EDOC | A Model-Driven Approach to SAP S/4HANA Development. | Jonathan Neugebauer, Jonas Hochstrat, Konrad Schneid, Daniel Sigge, Herbert Kuchen |
| 2023 | ENASE | Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. | Laura Troost, Jonathan Neugebauer, Herbert Kuchen |
| 2023 | ENASE | Dynamic Data-Flow Analysis with Dacite: Evaluating an Integrated Data-Flow Visualization Approach. | Laura Troost, Jonathan Neugebauer, Herbert Kuchen |
| 2023 | ENASE | Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. | Hendrik Winkelmann, Herbert Kuchen |
| 2023 | ICST | Modification-Impact based Test Prioritization for Process-Driven Applications. | Konrad Schneid, Sebastian Thne, Herbert Kuchen |
| 2022 | EDOC | Semi-automated Test Migration for BPMN-Based Process-Driven Applications. | Konrad Schneid, Sebastian Thne, Herbert Kuchen |
| 2022 | ENASE | A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. | Laura Troost, Herbert Kuchen |
| 2022 | ICSoft | A Medical Information System for Personalized Rehabilitation after Ankle Inversion Trauma. | Jonathan Neugebauer, Rosemary Dubbeldam, My Linh Pham, Lokman Beser, Luka Gerlach, Yu Yuan Lee, Herbert Kuchen |
| 2022 | SAC | Model-driven customizing of ERP systems: a case study. | Jonathan Neugebauer, Herbert Kuchen |
| 2022 | SAC | Constraint-logic object-oriented programming on the Java virtual machine. | Hendrik Winkelmann, Herbert Kuchen |
| 2022 | SAC | Constraint-logic object-oriented programming for test case generation. | Hendrik Winkelmann, Laura Troost, Herbert Kuchen |
| 2021 | EDOC | Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications. | Konrad Schneid, Leon Stapper, Sebastian Thne, Herbert Kuchen |
| 2021 | PPDP | Free Objects in Constraint-logic Object-oriented Programming. | Jan C. Dagefrde, Hendrik Winkelmann, Herbert Kuchen |
| 2021 | SAC | Uncovering data-flow anomalies in BPMN-based process-driven applications. | Konrad Schneid, Herbert Kuchen, Sebastian Thne, Sascha Di Bernardo |
| 2021 | SAC | Symbolic execution of NoSQL applications using versioned schemas. | Hendrik Winkelmann, Herbert Kuchen |
| 2020 | BPM | Feature Development in BPMN-Based Process-Driven Applications. | Konrad Schneid, Sebastian Thne, Herbert Kuchen |
| 2020 | SAC | A model-driven approach to cross-platform development of accessible business apps. | Christoph Rieger, Daniel Lucrdio, Renata P. M. Fortes, Herbert Kuchen, Felipe Silva Dias, Lianna Duarte |
| 2019 | CEC | Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem. | Breno Augusto De Melo Menezes, Herbert Kuchen, Hugo de Andrade Amorim Neto, Fernando Buarque de Lima Neto |
| 2019 | MODELSWARD | Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. | Hendrik Bnder, Herbert Kuchen |
| 2019 | SAC | A model-driven approach for behavior-driven GUI testing. | Hendrik Bnder, Herbert Kuchen |
| 2019 | SAC | Retrieval of individual solutions from encapsulated search with a potentially infinite search space. | Jan C. Dagefrde, Herbert Kuchen |
| 2019 | SAC | A web-based e-assessment tool for design patterns in UML class diagrams. | Tobias Reischmann, Herbert Kuchen |
| 2019 | SAC | Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons. | Christoph Rieger, Fabian Wrede, Herbert Kuchen |
| 2019 | SAC | Static analysis of BPMN-based process-driven applications. | Konrad Schneid, Claus A. Usener, Sebastian Thne, Herbert Kuchen, Christian Tophinke |
| 2019 | SoMeT | Automated Data-Flow Analysis and Validation in Process Automation Projects. | Lars Beyer, Jan C. Dagefrde, Herbert Kuchen, Claus A. Usener |
| 2018 | CEC | Population Size Control for Efficiency and Efficacy Optimization in Population Based Metaheuristics. | Marcelo Gomes Pereira de Lacerda, Hugo Deandrade Amorim Neto, Teresa Bernarda Ludermir, Herbert Kuchen, Fernando Buarque de Lima Neto |
| 2018 | MODELSWARD | Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. | Christoph Rieger, Martin Westerkamp, Herbert Kuchen |
| 2018 | SAC | A constraint-logic object-oriented language. | Jan C. Dagefrde, Herbert Kuchen |
| 2018 | SAC | Test-case generation for web-service clients. | Andreas Fuchs, Herbert Kuchen |
| 2017 | MODELSWARD | A Domain-specific Language for Configurable Traceability Analysis. | Hendrik Bnder, Christoph Rieger, Herbert Kuchen |
| 2017 | SAC | Detecting spring configurations errors. | Vincent von Hof, Konrad Fgen, Herbert Kuchen |
| 2017 | TAP | Unit Testing of Database-Driven Java Enterprise Edition Applications. | Andreas Fuchs, Herbert Kuchen |
| 2015 | CaiSE | Model-Driven Cross-Platform Apps: Towards Business Practicability. | Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen |
| 2015 | LOPSTR | Checking Java Assertions Using Automated Test-Case Generation. | Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
| 2013 | SAC | Cross-platform model-driven development of mobile applications with md | Henning Heitktter, Tim A. Majchrzak, Herbert Kuchen |
| 2012 | TASE | Dynamic Solution of Linear Constraints for Test Case Generation. | Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen |
| 2011 | ICSoft | JHyde - The Java Hybrid Debugger. | Christian Hermanns, Herbert Kuchen |
| 2011 | ICSoft | Hybrid Debugging of Java Programs. | Christian Hermanns, Herbert Kuchen |
| 2011 | SAC | Efficiency evaluation of open source ETL tools. | Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen |
| 2010 | HPCC | Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures. | Philipp Ciechanowicz, Herbert Kuchen |
| 2009 | TASE | Automated Test Case Generation Based on Coverage Analysis. | Tim A. Majchrzak, Herbert Kuchen |
| 2008 | ICFP | Data-flow testing of declarative programs. | Sebastian Fischer, Herbert Kuchen |
| 2008 | ICSoft | Optimizing Skeletal Stream Processing for Divide and Conquer. | Michael Poldner, Herbert Kuchen |
| 2007 | PPDP | Systematic generation of glass-box test cases for functional logic programs. | Sebastian Fischer, Herbert Kuchen |
| 2006 | ICSoft | Algorithmic skeletons for branch & bound. | Michael Poldner, Herbert Kuchen |
| 2006 | ICSoft | Algorithmic Skeletons for Branch and Bound. | Michael Poldner, Herbert Kuchen |
| 2004 | GI | Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. | Christoph Lembeck, Roger A. Mller, Herbert Kuchen |
| 2002 | EuroPar | A Skeleton Library. | Herbert Kuchen |
| 1999 | GI | An Efficient Abstract Machine for Curry. | Wolfgang Lux, Herbert Kuchen |
| 1996 | EuroPar | Efficient Parallel Programming with Algorithmic Skeletons. | George Horatiu Botorog, Herbert Kuchen |
| 1996 | EuroPar | TPascal - A Language for Task Parallel Programming. | Ansgar Brll, Herbert Kuchen |
| 1996 | HPDC | Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming. | George Horatiu Botorog, Herbert Kuchen |
| 1992 | ICLP | Implementing a Lazy Functional Logic Language with Disequality Constraints. | Herbert Kuchen, Francisco Javier Lpez-Fraguas, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |
| 1990 | ESOP | Graph-based Implementation of a Functional Logic Langugage. | Herbert Kuchen, Rita Loogen, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |