All Stories

  1. Can Formal Specifications Be Synthesized from Tests Alone?

    Article • October 2026, ACM (Association for Computing Machinery)

    Anne Koziolek, Tianhai Liu

  2. The EVerest Dataset for Secure Software Engineering

    Article • October 2026, ACM (Association for Computing Machinery)

    Anne Koziolek

  3. Uncertainty Interaction in Software-Intensive Systems: A Community Roadmap

    Article • ACM Transactions on Autonomous and Adaptive Systems, September 2026, ACM (Association for Computing Machinery)

    Fuyuki Ishikawa, Anne Koziolek, Livia Lestingi, Sumona Mukhopadhyay, Alessandro Vittorio Papadopoulos, Danilo Pianini, Karthik Vaidhyanathan

  4. A Roadmap for Tamed Interactions with Large Language Models

    Article • ACM Transactions on Software Engineering and Methodology, July 2026, ACM (Association for Computing Machinery)

    Andreas Metzger, Anne Koziolek

  5. Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses

    Article • July 2026, ACM (Association for Computing Machinery)

    Anne Koziolek

  6. Who’s Who? LLM-assisted Software Traceability with Architecture Entity Recognition

    Article • ACM Transactions on Autonomous and Adaptive Systems, April 2026, ACM (Association for Computing Machinery)

    Anne Koziolek

  7. LiSSA: Toward Generic Traceability Link Recovery Through Retrieval- Augmented Generation

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Anne Koziolek

  8. SeBS-Flow: Benchmarking Serverless Cloud Function Workflows

    Article • March 2025, ACM (Association for Computing Machinery)

    Anne Koziolek

  9. Modeling Languages for Automotive Digital Twins: A Survey Among the German Automotive Industry

    Article • September 2024, ACM (Association for Computing Machinery)

    Anne Koziolek

  10. Recovering Trace Links Between Software Documentation And Code

    Article • April 2024, ACM (Association for Computing Machinery)

    Anne Koziolek

  11. Uncertainty in coupled models of cyber-physical systems

    Article • October 2022, ACM (Association for Computing Machinery)

    Anne Koziolek

  12. Software Qualities and their Dependencies Report on two editions of the workshop

    Article • ACM SIGSOFT Software Engineering Notes, January 2020, ACM (Association for Computing Machinery)

    Catia trubiani, Anne Koziolek

  13. Modeling and Simulation of Load Balancing Strategies for Computing in High Energy Physics

    Article • EPJ Web of Conferences, January 2019, EDP Sciences

    Anne Koziolek

  14. Special Issue

    Article • ACM Transactions on Modeling and Performance Evaluation of Computing Systems, April 2018, ACM (Association for Computing Machinery)

    Anne Koziolek

  15. Session details: Special Issue on Challenges in Software Performance

    Article • ACM SIGMETRICS Performance Evaluation Review, February 2016, ACM (Association for Computing Machinery)

    Anne Koziolek

  16. Automated Workload Characterization for I/O Performance Analysis in Virtualized Environments

    Article • January 2015, ACM (Association for Computing Machinery)

    Anne Koziolek