Publications - Author: Samira Akili
2022
[10] Predicate-based push-pull communication for distributed CEP (, , and ), 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, . [bibtex] [pdf] [doi]
2021
[9] Creating Trust in Collaborative Embedded Systems (, , , and ), 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, . [bibtex] [url] [doi]
[8] MuSE Graphs for Flexible Distribution of Event Stream Processing in Networks ( and ), 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, . [bibtex] [pdf] [doi]
[7] Reasoning on the Efficiency of Distributed Complex Event Processing ( and ), In Fundam. Informaticae, volume 179, . [bibtex] [url] [doi]
2019
[6] On the Need for Distributed Complex Event Processing with Multiple Sinks (), In Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, DEBS 2019, Darmstadt, Germany, June 24-28, 2019, ACM, . [bibtex] [url] [doi]
[5] Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness (), 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, . [bibtex] [url] [doi]
[4] From Distributed Sources to Distributed Sinks: Towards Truly Decentralized Event Stream Processing (), 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, . [bibtex] [pdf]
[3] Towards runtime verification of collaborative embedded systems ( and ), In SICS Softw.-Intensive Cyber Phys. Syst., volume 34, . [bibtex] [url] [doi]
2018
[2] On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency ( and ), 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, . [bibtex] [url] [doi]
2017
[1] Verifying a Class of Certifying Distributed Programs ( and ), 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, . [bibtex] [url] [doi]
Powered by bibtexbrowser