( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of Message Passing Programs Using SMT-Solvers.

, , и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 272-286. Springer, (2013)

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.

Faouzi Najia

Faouzi Koudsi

Abolghassem Atighetchi

Gholam-Ali Atighetchi

Faouzi Bouachir

 

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

Model-Checking of Ordered Multi-Pushdown Automata. Logical Methods in Computer Science, (2012)Context-Bounded Analysis of TSO Systems., , и . FPS@ETAPS, том 8415 из Lecture Notes in Computer Science, стр. 21-38. Springer, (2014)Replacing Store Buffers by Load Buffers in TSO., , , и . VECoS, том 11181 из Lecture Notes in Computer Science, стр. 22-28. Springer, (2018)Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding., , , и . ATVA, том 7561 из Lecture Notes in Computer Science, стр. 152-166. Springer, (2012)MPass: An Efficient Tool for the Analysis of Message-Passing Programs., , , , , и . FACS, том 8997 из Lecture Notes in Computer Science, стр. 198-206. Springer, (2014)Optimal SMC for Transactional Programs., , , , и . CoRR, (2022)Solving Not-Substring Constraint withFlat Abstraction., , , , , , , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2021)Adjacent Ordered Multi-Pushdown Systems., , и . Developments in Language Theory, том 7907 из Lecture Notes in Computer Science, стр. 58-69. Springer, (2013)What's Decidable about Availability Languages?., , , и . FSTTCS, том 45 из LIPIcs, стр. 192-205. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)The Benefits of Duality in Verifying Concurrent Programs under TSO., , , и . CONCUR, том 59 из LIPIcs, стр. 5:1-5:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)