( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.

, , и . NSV@CAV, том 10152 из Lecture Notes in Computer Science, стр. 31-46. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mohamed-Ahmed Mohamed-Sidi

Sidi Mohamed el Yousfi Alaoui

Charalambos Sidiropoulos

Maria Sidirelli

Melanie Sidiropoulos

 

Другие публикации лиц с тем же именем

Assessing Code Generation with Intermediate Languages., , , , , , и . CoRR, (2024)Checking Robustness Against Snapshot Isolation., , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 286-304. Springer, (2019)LVMT: An Efficient Authenticated Storage for Blockchain., , , , , и . OSDI, стр. 135-153. USENIX Association, (2023)Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts., , , , и . ICBC, стр. 1-6. IEEE, (2022)Comparing Causal Convergence Consistency Models., , и . NETYS, том 14067 из Lecture Notes in Computer Science, стр. 62-77. Springer, (2023)Smart Contracts Refinement for Gas Optimization., , , и . BRAINS, стр. 229-236. IEEE, (2021)Safeguarding DeFi Smart Contracts against Oracle Deviations., , , , , и . ICSE, стр. 171:1-171:12. ACM, (2024)Checking Robustness Between Weak Transactional Consistency Models., , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 87-117. Springer, (2021)Automated Synthesis of Asynchronizations., , , и . SAS, том 13790 из Lecture Notes in Computer Science, стр. 135-159. Springer, (2022)OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond., , , , и . CoRR, (2024)