An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution

Troost, L.; Winkelmann, H.; Kuchen, H. (2024)
In: SciTePress (eds.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering . Angers, France: .
Type of Publication: Research article in edited proceedings (conference)

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing

Winkelmann, Hendrik; Kuchen, Herbert (2023)
In: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Prague, Czech Republic: .
Type of Publication: Research article in edited proceedings (conference)

Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol

Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2023)
In: SciTePress (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Prague, Czech Republic: .
Type of Publication: Research article in edited proceedings (conference)

Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments

Nina Herrmann, Herbert Kuchen (2023)
In: International Journal of Parallel Programming, 51(2)
Type of Publication: Research article (journal)

Towards a Parameterless Out-of-the-box Population Size Control for Evolutionary and Swarm-based Algorithms for Single Objective Bound Constrained Real-Parameter Numerical…

Gomes Pereira de Lacerda M., de Andrade Amorim Neto H., Ludermir T.B., Kuchen H., Buarque de Lima Neto F. (2022)
In: Applied Soft Computing Journal, Elsevier, 2022
Type of Publication: Research article (journal)

Publications

Contact

Top-Links

Dynamic Data-Flow Analysis With Dacite: Evaluating an Integrated Data-Flow Visualization Approach Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2024) In: Kaindl, Hermann; Mannion, Mike; Maciaszek, Leszek A. (eds.), Evaluation of Novel Approaches to Software Engineering. Cham: . Type of Publication: Research article in edited proceedings (conference)
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution Troost, L.; Winkelmann, H.; Kuchen, H. (2024) In: SciTePress (eds.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering . Angers, France: . Type of Publication: Research article in edited proceedings (conference)
Optimizing Three-Dimensional Stencil-Operations on Heterogeneous Computing Environments Herrmann, Nina; Dieckmann, Justus; Kuchen, Herbert (2024) In: International Journal of Parallel Programming, 52(4) Type of Publication: Research article (journal)
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing Winkelmann, Hendrik; Kuchen, Herbert (2023) In: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Prague, Czech Republic: . Type of Publication: Research article in edited proceedings (conference)
Modification-Impact Based Test Prioritization for Process-Driven Applications Schneid, Konrad; Thöne, Sebastian; Kuchen, Herbert (2023) In: (eds.), Proceedings of 6th International Workshop on the Next Level of Test Automation. Dublin, Ireland: . Type of Publication: Research article in edited proceedings (conference)
Visualizing Dynamic Data-Flow Analysis of Object-Oriented Programs Based on the Language Server Protocol Troost, Laura; Neugebauer, Jonathan; Kuchen, Herbert (2023) In: SciTePress (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Prague, Czech Republic: . Type of Publication: Research article in edited proceedings (conference)
A Model-Driven Approach to SAP S/4HANA Development Neugebauer, Jonathan; Hochstrat, Jonas; Schneid, Konrad; Sigge, Daniel; Kuchen, Herbert (2023) In: Proper, Henderik A.; Pufahl, Luise; Karastoyanova, Dimka; van Sinderen, Marten; Moreira, João (eds.), Enterprise Design, Operations, and Computing. Cham: . Type of Publication: Research article in edited proceedings (conference)
Distributed Calculations with Algorithmic Skeletons for Heterogeneous Computing Environments Nina Herrmann, Herbert Kuchen (2023) In: International Journal of Parallel Programming, 51(2) Type of Publication: Research article (journal)
A Comprehensive Dynamic Data Flow Analysis of Object-Oriented Programs Troost Laura, Kuchen Herbert (2022) In: (eds.), Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering.. Type of Publication: Research article in edited proceedings (conference)
Towards a Parameterless Out-of-the-box Population Size Control for Evolutionary and Swarm-based Algorithms for Single Objective Bound Constrained Real-Parameter Numerical… Gomes Pereira de Lacerda M., de Andrade Amorim Neto H., Ludermir T.B., Kuchen H., Buarque de Lima Neto F. (2022) In: Applied Soft Computing Journal, Elsevier, 2022 Type of Publication: Research article (journal)