[10] | Predicate-based push-pull communication for distributed CEP (Steven Purtzel, Samira Akili, and Matthias Weidlich), In 16th ACM International Conference on Distributed and Event-based Systems, DEBS 2022, Copenhagen, Denmark, June 27 - 30, 2022 (Yongluan Zhou, Panos K. Chrysanthis, Vincenzo Gulisano, Eleni Tzirita Zacharatou, eds.), ACM, 2022. |
[9] | Creating Trust in Collaborative Embedded Systems (Samira Akili, Emilia Cioroaica, Thomas Kuhn, and Holger Schlingloff), Chapter in Model-Based Engineering of Collaborative Embedded Systems (Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, eds.), Springer, 2021. |
[8] | MuSE Graphs for Flexible Distribution of Event Stream Processing in Networks (Samira Akili and Matthias Weidlich), In SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021 (Guoliang Li, Zhanhuai Li, Stratos Idreos, Divesh Srivastava, eds.), ACM, 2021. |
[7] | Reasoning on the Efficiency of Distributed Complex Event Processing (Samira Akili and Matthias Weidlich), In Fundam. Informaticae, volume 179, 2021. |
[6] | On the Need for Distributed Complex Event Processing with Multiple Sinks (Samira Akili), In Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, DEBS 2019, Darmstadt, Germany, June 24-28, 2019, ACM, 2019. |
[5] | Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness (Samira Akili), In Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Hossein Hojjat, Mieke Massink, eds.), Springer, volume 11761, 2019. |
[4] | From Distributed Sources to Distributed Sinks: Towards Truly Decentralized Event Stream Processing (Samira Akili), In Proceedings of the VLDB 2019 PhD Workshop, co-located with the 45th International Conference on Very Large Databases (VLDB 2019), Los Angeles, California, USA, August 26-30, 2019 (Ilaria Bartolini, Feifei Li, eds.), CEUR-WS.org, volume 2399, 2019. |
[3] | Towards runtime verification of collaborative embedded systems (Samira Akili and Felix Lorenz), In SICS Softw.-Intensive Cyber Phys. Syst., volume 34, 2019. |
[2] | On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Kim Völlinger and Samira Akili), In Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Christel Baier, Luís Caires, eds.), Springer, volume 10854, 2018. |
[1] | Verifying a Class of Certifying Distributed Programs (Kim Völlinger and Samira Akili), In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Clark W. Barrett, Misty Davies, Temesghen Kahsai, eds.), volume 10227, 2017. |