Sidi Mohamed Beillahi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. | Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long |
| 2024 | ICSE | Safeguarding DeFi Smart Contracts against Oracle Deviations. | Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris, Fan Long |
| 2023 | OSDI | LVMT: An Efficient Authenticated Storage for Blockchain. | Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long |
| 2022 | SAS | Automated Synthesis of Asynchronizations. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
| 2021 | ESOP | Checking Robustness Between Weak Transactional Consistency Models. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2020 | PLDI | Behavioral simulation for smart contracts. | Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea |
| 2019 | CAV | Checking Robustness Against Snapshot Isolation. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2019 | CONCUR | Robustness Against Transactional Causal Consistency. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2016 | CAV | Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. | Sidi Mohamed Beillahi, Umair Siddique, Sofine Tahar |
| 2015 | FMICS | On the Formal Analysis of Photonic Signal Processing Systems. | Umair Siddique, Sidi Mohamed Beillahi, Sofine Tahar |
| 2015 | ICFEM | Formal Analysis of Power Electronic Systems. | Sidi Mohamed Beillahi, Umair Siddique, Sofine Tahar |