All Stories

  1. Introducing Interactions in Multi-Objective Optimization of Software Architectures

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

    Daniele Di Pompeo, Sebastian Frank

  2. Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns

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

    Sebastian Frank

  3. dqualizer: Domain-Centric Runtime Quality Analysis of Business-Critical Application Systems

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

    Sebastian Frank

  4. How is Transient Behavior Addressed in Practice?

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

    Samuel Beck, Sebastian Frank