• 2024

    Forschungsartikel in Sammelband (Konferenz)

    Troost, L., Winkelmann, H., & Kuchen, H. (2024). An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. In SciTePress, (Ed.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 39–50). Angers, France: SciTePress.
    Mehr Details BibTeX DOI

    Arbeitspapier / Working Paper

    Winkelmann, H. (2024). An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming. In Becker, J., vom Brocke, J., Brandt, T., Gieseke, F., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., & Varghese, J. (Eds.), Working Papers: Vol. 39. Münster, Germany: European Research Center for Information Systems.
    Mehr Details BibTeX Gesamter Text

  • 2023

    Forschungsartikel in Sammelband (Konferenz)

    Grimme, B., Pohl, J., Winkelmann, H., Stampe, L., & Grimme, C. (2023). Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media. In Ceolin, D., Caselli, T., & Tulin, M. (Eds.), Disinformation in Open Online Media (pp. 72–87). Lecture Notes in Computer Science: Vol. 14397. Amsterdam, Niederlande: Springer.
    Mehr Details BibTeX DOI

    Winkelmann, H., & Kuchen, H. (2023). Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. In Kaindl, H. M., & Mike, M. L. (Eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering — ENASE (pp. 412–419). Prague, Czech Republic: SciTePress.
    Mehr Details BibTeX DOI

  • 2022

    Forschungsartikel in Sammelband (Konferenz)

    Winkelmann, H., & Kuchen, H. (2022). Constraint-Logic Object-Oriented Programming on the Java Virtual Machine. In Association, f. C. M. (Ed.), 37th ACM/SIGAPP Symposium On Applied Computing (pp. 1258–1267). New York, NY, USA: Association for Computing Machinery.
    Mehr Details BibTeX Gesamter Text DOI

    Winkelmann, H., Troost, L., & Kuchen, H. (2022). Constraint-Logic Object-Oriented Programming for Test Case Generation. In Association, f. C. M. (Ed.), 37th ACM/SIGAPP Symposium On Applied Computing (pp. 1499–1508). New York, NY, USA: Association for Computing Machinery.
    Mehr Details BibTeX Gesamter Text DOI

  • 2021

    Forschungsartikel in Sammelband (Konferenz)

    Dageförde, J., Winkelmann, H., & Kuchen, H. (2021). Free Objects in Constraint-logic Object-oriented Programming. In Veltri, N., Benton, N., & Ghilezan, S. (Eds.), 23rd International Symposium on Principles and Practice of Declarative Programming (pp. 14:1-14:13). New York, NY, USA: ACM.
    Mehr Details BibTeX DOI

    Winkelmann, H. (2021). Constraint-Logische Objektorientierte Programmierung mit Muli. In Hanus, M., & Prott, K.-O. (Eds.), Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 115–125). Kiel Computer Science Series: Vol. 2021/7. Kiel: Department of Computer Science, Kiel University.
    Mehr Details BibTeX

    Winkelmann, H., Dagefoerde, J. C., & Kuchen, H. (2021). Constraint-Logic Object-Oriented Programming with Free Arrays. In Proceedings of the 28 th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, Bologna, Italien, 129–144.
    Mehr Details BibTeX DOI

    Winkelmann, H., & Kuchen, H. (2021). Symbolic execution of NoSQL applications using versioned schemas. In Association, f. C. M. (Ed.), Proceedings of the 36th Annual ACM Symposium on Applied Computing (pp. 1778–1787). New York, NY, USA: Association for Computing Machinery.
    Mehr Details BibTeX DOI