Samira Akili

According to our database, Samira Akili authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient multi-query evaluation for distributed CEP through predicate-based push-pull plans.

Steven Purtzel, Samira Akili, Matthias Weidlich

Inf. Syst., February, 2024

2023

INEv: In-Network Evaluation for Event Stream Processing.

Samira Akili, Steven Purtzel, Matthias Weidlich

Proc. ACM Manag. Data, 2023

2022

Predicate-based push-pull communication for distributed CEP.

Steven Purtzel, Samira Akili, Matthias Weidlich

Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems, 2022

2021

Reasoning on the Efficiency of Distributed Complex Event Processing.

Samira Akili, Matthias Weidlich

Fundam. Informaticae, 2021

MuSE Graphs for Flexible Distribution of Event Stream Processing in Networks.

Samira Akili, Matthias Weidlich

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Creating Trust in Collaborative Embedded Systems.

Samira Akili, Emilia Cioroaica, Thomas Kuhn, Holger Schlingloff

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2019

Towards runtime verification of collaborative embedded systems.

Samira Akili, Felix Lorenz

SICS Softw.-Intensive Cyber Phys. Syst., 2019

From Distributed Sources to Distributed Sinks: Towards Truly Decentralized Event Stream Processing.

Samira Akili

Proceedings of the VLDB 2019 PhD Workshop, 2019

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness.

Samira Akili, Kim Völlinger

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

On the Need for Distributed Complex Event Processing with Multiple Sinks.

Samira Akili

Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

2018

On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency.

Kim Völlinger, Samira Akili

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Verifying a Class of Certifying Distributed Programs.

Kim Völlinger, Samira Akili

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017