Verifying a Class of Certifying Distributed Programs. - Kim Völlinger; Samira Akili (NFM, 2017)

On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. - Kim Völlinger; Samira Akili (FORTE, 2018)

On the Need for Distributed Complex Event Processing with Multiple Sinks. - Samira Akili (DEBS, 2019)

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness. - Samira Akili; Kim Völlinger (FSEN, 2019)

From Distributed Sources to Distributed Sinks: Towards Truly Decentralized Event Stream Processing. - Samira Akili (PhD@VLDB, 2019)

Towards runtime verification of collaborative embedded systems. - Samira Akili; Felix Lorenz (SICS Softw.-Intensive Cyber Phys. Syst., 2019)

Creating Trust in Collaborative Embedded Systems. - Samira Akili; Emilia Cioroaica; Thomas Kuhn 001; Holger Schlingloff (Model-Based Engineering of Collaborative Embedded Systems, 2021)

MuSE Graphs for Flexible Distribution of Event Stream Processing in Networks. - Samira Akili; Matthias Weidlich 001 (SIGMOD Conference, 2021)

Reasoning on the Efficiency of Distributed Complex Event Processing. - Samira Akili; Matthias Weidlich 001 (Fundam. Informaticae, 2021)

Predicate-based push-pull communication for distributed CEP. - Steven Purtzel; Samira Akili; Matthias Weidlich 001 (DEBS, 2022)

INEv: In-Network Evaluation for Event Stream Processing. - Samira Akili; Steven Purtzel; Matthias Weidlich 001 (Proc. ACM Manag. Data, 2023)

On-Demand Pattern Aggregation in Event Networks. - Steven Purtzel; Samira Akili; Matthias Weidlich 001 (BiDEDE@SIGMOD, 2024)

Local Self-Adaptation for Distributed Complex Event Processing. - Samira Akili (DEBS, 2024)

Detect and Conquer: Template-Based Analysis of Processes Using Complex Event Processing. - Christian Imenkamp; Samira Akili; Matthias Weidlich 001; Agnes Koschmider (ICPM Workshops, 2024)

DecoPa: Query Decomposition for Parallel Complex Event Processing. - Samira Akili; Steven Purtzel; Matthias Weidlich 001 (Proc. ACM Manag. Data, 2024)

Efficient multi-query evaluation for distributed CEP through predicate-based push-pull plans. - Steven Purtzel; Samira Akili; Matthias Weidlich 001 (Inf. Syst., 2024)

DIPSUM: Distributed Pattern Summaries for Efficient CEP Aggregates. - Steven Purtzel; Samira Akili; Marc Sebastian Kühne; Matthias Weidlich 001 (DEBS, 2025)

Enabling Complex Event Processing in NebulaStream. - Ariane Ziehn; Lily Seidl; Samira Akili; Steffen Zeuch; Volker Markl (EDBT, 2025)

Process Mining on Distributed Data Sources. - Maximilian Weisenseel; Julia Andersen; Samira Akili; Christian Imenkamp; Hendrik Reiter; Christoffer Rubensson; Wilhelm Hasselbring; Olaf Landsiedel; Xixi Lu 001; Jan Mendling; Florian Tschorsch; Matthias Weidlich 001; et al. (CoRR, 2025)