default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHerbert Kuchen
Person information
- affiliation: Westfälische Wilhelms-Universität Münster
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Nina Herrmann, Justus Dieckmann, Herbert Kuchen:
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments. Int. J. Parallel Program. 52(4): 274-297 (2024)- [c101]Laura Troost, Hendrik Winkelmann, Herbert Kuchen:
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. ENASE 2024: 39-50 - 2023
- [j34]Nina Herrmann, Herbert Kuchen:
Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments. Int. J. Parallel Program. 51(2-3): 172-185 (2023) - [j33]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): 173-217 (2023) - [c100]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: 97-112 - [c99]Jonathan Neugebauer, Jonas Hochstrat, Konrad Schneid, Daniel Sigge, Herbert Kuchen:
A Model-Driven Approach to SAP S/4HANA Development. EDOC 2023: 97-113 - [c98]Laura Troost, Jonathan Neugebauer, Herbert Kuchen:
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol. ENASE 2023: 77-88 - [c97]Hendrik Winkelmann, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. ENASE 2023: 412-419 - [c96]Konrad Schneid, Sebastian Thöne, Herbert Kuchen:
Modification-Impact based Test Prioritization for Process-Driven Applications. ICSTW 2023: 365-372 - 2022
- [j32]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: 108920 (2022) - [j31]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): 433-453 (2022) - [j30]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): 486-514 (2022) - [c95]Konrad Schneid, Sebastian Thöne, Herbert Kuchen:
Semi-automated Test Migration for BPMN-Based Process-Driven Applications. EDOC 2022: 237-254 - [c94]Laura Troost, Herbert Kuchen:
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs. ENASE 2022: 267-274 - [c93]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: 319-330 - [c92]Hendrik Winkelmann, Herbert Kuchen:
Constraint-logic object-oriented programming on the Java virtual machine. SAC 2022: 1258-1267 - [c91]Jonathan Neugebauer, Herbert Kuchen:
Model-driven customizing of ERP systems: a case study. SAC 2022: 1276-1279 - [c90]Hendrik Winkelmann, Laura Troost, Herbert Kuchen:
Constraint-logic object-oriented programming for test case generation. SAC 2022: 1499-1508 - 2021
- [j29]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): 776-801 (2021) - [j28]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: 100777 (2021) - [c89]Konrad Schneid, Leon Stapper, Sebastian Thöne, Herbert Kuchen:
Automated Regression Tests: A No-Code Approach for BPMN-based Process-Driven Applications. EDOC 2021: 31-40 - [c88]Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen:
Free Objects in Constraint-logic Object-oriented Programming. PPDP 2021: 14:1-14:13 - [c87]Konrad Schneid, Herbert Kuchen, Sebastian Thöne, Sascha Di Bernardo:
Uncovering data-flow anomalies in BPMN-based process-driven applications. SAC 2021: 1504-1512 - [c86]Hendrik Winkelmann, Herbert Kuchen:
Symbolic execution of NoSQL applications using versioned schemas. SAC 2021: 1778-1787 - [e6]Herbert Kuchen, Jeremy Singer:
MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Münster, Germany, September 29-30, 2021. ACM 2021, ISBN 978-1-4503-8675-3 [contents] - 2020
- [j27]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): 713-728 (2020) - [j26]Fabian Wrede, Christoph Rieger, Herbert Kuchen:
Generation of high-performance code based on a domain-specific language for algorithmic skeletons. J. Supercomput. 76(7): 5098-5116 (2020) - [c85]Konrad Schneid, Sebastian Thöne, Herbert Kuchen:
Feature Development in BPMN-Based Process-Driven Applications. BPM (Forum) 2020: 35-50 - [c84]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: 984-993 - [c83]Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays. WFLP 2020: 129-144 - [e5]Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel:
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12057, Springer 2020, ISBN 978-3-030-46713-5 [contents] - [i2]Jan C. Dageförde, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays. CoRR abs/2008.13460 (2020)
2010 – 2019
- 2019
- [j25]Fabian Wrede, Breno Augusto De Melo Menezes, Herbert Kuchen:
Fish School Search with Algorithmic Skeletons. Int. J. Parallel Program. 47(2): 234-252 (2019) - [j24]Jan C. Dageförde, Herbert Kuchen:
A compiler and virtual machine for constraint-logic object-oriented programming with Muli. J. Comput. Lang. 53: 63-78 (2019) - [c82]Breno Augusto De Melo Menezes, Herbert Kuchen, Hugo de Andrade Amorim Neto, Fernando Buarque de Lima Neto:
Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem. CEC 2019: 3094-3101 - [c81]Christoph Rieger, Herbert Kuchen:
A Model-Driven Cross-Platform App Development Process for Heterogeneous Device Classes. HICSS 2019: 1-10 - [c80]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: 1-6 - [c79]Hendrik Bünder, Herbert Kuchen:
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol. MODELSWARD (Revised Selected Papers) 2019: 225-245 - [c78]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: 321-330 - [c77]Konrad Schneid, Claus A. Usener, Sebastian Thöne, Herbert Kuchen, Christian Tophinke:
Static analysis of BPMN-based process-driven applications. SAC 2019: 66-74 - [c76]Christoph Rieger, Fabian Wrede, Herbert Kuchen:
Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons. SAC 2019: 1534-1543 - [c75]Jan C. Dageförde, Herbert Kuchen:
Retrieval of individual solutions from encapsulated search with a potentially infinite search space. SAC 2019: 1552-1561 - [c74]Hendrik Bünder, Herbert Kuchen:
A model-driven approach for behavior-driven GUI testing. SAC 2019: 1742-1751 - [c73]Tobias Reischmann, Herbert Kuchen:
A web-based e-assessment tool for design patterns in UML class diagrams. SAC 2019: 2435-2444 - [c72]Lars Beyer, Jan C. Dageförde, Herbert Kuchen, Claus A. Usener:
Automated Data-Flow Analysis and Validation in Process Automation Projects. SoMeT 2019: 333-346 - [p1]Herbert Kuchen:
Parallel Programming with Algorithmic Skeletons. The Art of Structuring 2019: 527-536 - [i1]Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel:
Pre-proceedings of the DECLARE 2019 Conference. CoRR abs/1909.04870 (2019) - 2018
- [j23]Christoph Rieger, Herbert Kuchen:
A process-oriented modeling approach for graphical development of mobile business apps. Comput. Lang. Syst. Struct. 53: 43-58 (2018) - [j22]Sergei Gorlatch, Herbert Kuchen:
Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons. Int. J. Parallel Program. 46(1): 1-3 (2018) - [j21]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): 1-20 (2018) - [c71]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: 1-8 - [c70]Tobias Reischmann, Herbert Kuchen:
An Interactive Learning Environment for Software Engineering Design Patterns. Koli Calling 2018: 35:1-35:2 - [c69]Christoph Rieger, Herbert Kuchen:
Towards Model-Driven Business Apps for Wearables. MobiWIS 2018: 3-17 - [c68]Christoph Rieger, Martin Westerkamp, Herbert Kuchen:
Challenges and Opportunities of Modularizing Textual Domain-Specific Languages. MODELSWARD 2018: 387-395 - [c67]Jan C. Dageförde, Herbert Kuchen:
A constraint-logic object-oriented language. SAC 2018: 1185-1194 - [c66]Andreas Fuchs, Herbert Kuchen:
Test-case generation for web-service clients. SAC 2018: 1518-1527 - 2017
- [j20]Steffen Ernsting, Herbert Kuchen:
Data Parallel Algorithmic Skeletons with Accelerator Support. Int. J. Parallel Program. 45(2): 283-299 (2017) - [j19]Sergei Gorlatch, Herbert Kuchen:
Guest Editors' Note. Parallel Process. Lett. 27(1): 1702001:1-1702001:2 (2017) - [c65]Jan C. Dageförde, Herbert Kuchen:
An Operational Semantics for Constraint-Logic Imperative Programming. DECLARE 2017: 64-80 - [c64]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: 1-6 - [c63]Hendrik Bünder, Christoph Rieger, Herbert Kuchen:
A Domain-specific Language for Configurable Traceability Analysis. MODELSWARD 2017: 374-381 - [c62]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: 573-582 - [c61]Vincent von Hof, Konrad Fögen, Herbert Kuchen:
Detecting spring configurations errors. SAC 2017: 1505-1512 - [c60]Andreas Fuchs, Herbert Kuchen:
Unit Testing of Database-Driven Java Enterprise Edition Applications. TAP@STAF 2017: 59-76 - 2016
- [c59]Tobias Reischmann, Herbert Kuchen:
Towards an E-assessment tool for advanced software engineering skills. Koli Calling 2016: 81-90 - [c58]Vincent von Hof, Konrad Fögen, Herbert Kuchen:
Compilezeit-Prüfung von Spring-Konfigurationen. Software Engineering (Workshops) 2016: 96-108 - 2015
- [j18]Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen:
Achieving Business Practicability of Model-Driven Cross-Platform Apps. Open J. Inf. Syst. 2(2): 4-15 (2015) - [j17]Henning Heitkötter, Herbert Kuchen, Tim A. Majchrzak:
Extending a model-driven cross-platform development approach for business apps. Sci. Comput. Program. 97: 31-36 (2015) - [c57]Tim A. Majchrzak, Jan Ernsting, Herbert Kuchen:
Model-Driven Cross-Platform Apps: Towards Business Practicability. CAiSE Forum 2015: 129-136 - [c56]Sebastian Hanschke, Jan Ernsting, Herbert Kuchen:
Integrating Agile Software Development and Enterprise Architecture Management. HICSS 2015: 4099-4108 - [c55]Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof:
Checking Java Assertions Using Automated Test-Case Generation. LOPSTR 2015: 221-226 - [c54]Steffen Ernsting, Herbert Kuchen:
Java Implementation of Data Parallel Skeletons on GPUs. PARCO 2015: 155-164 - 2014
- [j16]Steffen Ernsting, Herbert Kuchen:
A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming. Int. J. Parallel Program. 42(6): 968-987 (2014) - 2013
- [c53]Steffen Ernsting, Herbert Kuchen:
A Scalable Farm Skeleton for Heterogeneous Parallel Programming. PARCO 2013: 72-81 - [c52]Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen:
Cross-platform model-driven development of mobile applications with md2. SAC 2013: 526-533 - [c51]Henning Heitkötter, Tim A. Majchrzak, Herbert Kuchen:
MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen. Software Engineering (Workshops) 2013: 91-106 - 2012
- [j15]Steffen Ernsting, Herbert Kuchen:
Algorithmic skeletons for multi-core, multi-GPU systems and clusters. Int. J. High Perform. Comput. Netw. 7(2): 129-138 (2012) - [j14]Claus A. Usener, Tim A. Majchrzak, Herbert Kuchen:
E-assessment and software testing. Interact. Technol. Smart Educ. 9(1): 46-56 (2012) - [j13]Donghwi Lee, Chia-Chu Chiang, Mal-Rey Lee, Herbert Kuchen, Kenji Leibnitz:
Introduction. Telecommun. Syst. 51(2-3): 93 (2012) - [c50]Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen:
Dynamic Solution of Linear Constraints for Test Case Generation. TASE 2012: 271-274 - [c49]Herbert Kuchen, Steffen Ernsting:
Data Parallel Skeletons in Java. ICCS 2012: 1817-1826 - 2011
- [c48]Christian Hermanns, Herbert Kuchen:
JHyde - The Java Hybrid Debugger. ICSOFT (2) 2011: 25-35 - [c47]Christian Hermanns, Herbert Kuchen:
Hybrid Debugging of Java Programs. ICSOFT (Selected Papers) 2011: 91-107 - [c46]Steffen Ernsting, Herbert Kuchen:
Data Parallel Skeletons for GPU Clusters and Multi-GPU Systems. PARCO 2011: 509-518 - [c45]Tim A. Majchrzak, Tobias Jansen, Herbert Kuchen:
Efficiency evaluation of open source ETL tools. SAC 2011: 287-294 - [c44]Tim A. Majchrzak, Herbert Kuchen:
Logic Java: Combining Object-Oriented and Logic Programming. WFLP 2011: 122-137 - [e4]Herbert Kuchen:
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. Lecture Notes in Computer Science 6816, Springer 2011, ISBN 978-3-642-22530-7 [contents] - 2010
- [c43]Philipp Ciechanowicz, Herbert Kuchen:
Enhancing Muesli's Data Parallel Skeletons for Multi-core Computer Architectures. HPCC 2010: 108-113 - [c42]Tim A. Majchrzak, Oliver Noack, Herbert Kuchen, Philipp Neuhaus, Frank Ückert:
Towards a decision support system for the allocation of traumatized patients. ISCRAM 2010
2000 – 2009
- 2009
- [c41]Philipp Ciechanowicz, Philipp Kegel, Maraike Schellmann, Sergei Gorlatch, Herbert Kuchen:
Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters. PARCO 2009: 169-176 - [c40]Tim A. Majchrzak, Herbert Kuchen:
Automated Test Case Generation Based on Coverage Analysis. TASE 2009: 259-266 - 2008
- [j12]Michael Poldner, Herbert Kuchen:
On Implementing the Farm Skeleton. Parallel Process. Lett. 18(1): 117-131 (2008) - [c39]Susanne Johanna Gruttmann, Dominik Böhm, Herbert Kuchen:
E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors. CSSE (5) 2008: 612-615 - [c38]Sebastian Fischer, Herbert Kuchen:
Data-flow testing of declarative programs. ICFP 2008: 201-212 - [c37]Michael Poldner, Herbert Kuchen:
Optimizing Skeletal Stream Processing for Divide and Conquer. ICSOFT (PL/DPS/KE) 2008: 181-189 - 2007
- [c36]Sebastian Fischer, Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs. PPDP 2007: 63-74 - 2006
- [j11]Herbert Kuchen, Murray Cole:
Editorial. Parallel Comput. 32(7-8): 447-448 (2006) - [j10]Herbert Kuchen, Christoph Lembeck, Roger A. Müller:
Automatische Erzeugung von Testfällen. Softwaretechnik-Trends 26(2) (2006) - [c35]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: 443 - [c34]Michael Poldner, Herbert Kuchen:
Algorithmic Skeletons for Branch and Bound. ICSOFT (Selected Papers) 2006: 204-219 - [c33]Michael Poldner, Herbert Kuchen:
Algorithmic skeletons for branch & bound. ICSOFT (1) 2006: 291-300 - [c32]Rafael Caballero, Christian Hermanns, Herbert Kuchen:
Algorithmic Debugging of Java Programs. WFLP 2006: 75-89 - 2005
- [j9]Herbert Kuchen, Jörg Striegnitz:
Features from functional programming for a C++ skeleton library. Concurr. Pract. Exp. 17(7-8): 739-756 (2005) - [c31]Michael Poldner, Herbert Kuchen:
Scalable Farms. PARCO 2005: 795-802 - 2004
- [c30]Christoph Lembeck, Roger A. Müller, Herbert Kuchen:
Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern. GI Jahrestagung (2) 2004: 418-427 - [c29]Roger A. Müller, Christoph Lembeck, Herbert Kuchen:
A symbolic Java virtual machine for test case generation. IASTED Conf. on Software Engineering 2004: 365-371 - 2003
- [c28]Herbert Kuchen:
Optimizing Sequences of Skeleton Calls. Domain-Specific Program Generation 2003: 254-273 - 2002
- [j8]Herbert Kuchen, Kazunori Ueda:
Editorial: Functional and Logic Programming. J. Funct. Log. Program. 2002 (2002) - [j7]Herbert Kuchen, Murray Cole:
The Integration of Task and Data Parallel Skeletons. Parallel Process. Lett. 12(2): 141-155 (2002) - [c27]Herbert Kuchen:
A Skeleton Library. Euro-Par 2002: 620-629 - [c26]Herbert Kuchen, Jörg Striegnitz:
Higher-order functions and partial applications for a C++ skeleton library. Java Grande 2002: 122-130 - 2001
- [e3]Herbert Kuchen, Kazunori Ueda:
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Lecture Notes in Computer Science 2024, Springer 2001, ISBN 3-540-41739-7 [contents] - 2000
- [c25]Herbert Kuchen:
Implementing an Object Oriented Design in Curry. WFLP 2000: 499-509
1990 – 1999
- 1999
- [c24]Wolfgang Lux, Herbert Kuchen:
An Efficient Abstract Machine for Curry. GI Jahrestagung 1999: 390-399 - 1998
- [j6]George Horatiu Botorog, Herbert Kuchen:
Efficient High-Level Parallel Programming. Theor. Comput. Sci. 196(1-2): 71-107 (1998) - 1997
- [e2]Hugh Glaser, Pieter H. Hartel, Herbert Kuchen:
Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1292, Springer 1997, ISBN 3-540-63398-7 [contents] - 1996
- [j5]Michael Hanus, Herbert Kuchen:
Integration of Functional and Logic Programming. ACM Comput. Surv. 28(2): 306-308 (1996) - [j4]Katia Gladitz, Herbert Kuchen:
Shared Memory Implementation of the Gamma-Operation. J. Symb. Comput. 21(4): 577-591 (1996) - [j3]