( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimal dynamic partial order reduction with context-sensitive independence and observers.

, , , , и . J. Syst. Softw., (августа 2023)

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.

Miguel Beato

Miguel Cardozo

Miguel Cruset

Miguel Astner

Miguel Coelho

 

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

Deadlock-Guided Testing., и . IEEE Access, (2021)On the Generation of Initial Contexts for Effective Deadlock Detection., , и . CoRR, (2017)Distilling Constraints in Zero-Knowledge Protocols., , , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 430-443. Springer, (2022)Generation of Initial Contexts for Effective Deadlock Detection., , и . LOPSTR, том 10855 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2017)Optimal dynamic partial order reduction with context-sensitive independence and observers., , , , и . J. Syst. Softw., (августа 2023)Actor-based model checking for Software-Defined Networks., , , , , и . J. Log. Algebraic Methods Program., (2021)Conditional dynamic partial order reduction and optimality results.. ISSTA, стр. 433-437. ACM, (2019)Actor-Based Model Checking for SDN Networks., , , , , и . CoRR, (2020)Constrained Dynamic Partial Order Reduction., , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 392-410. Springer, (2018)Optimal context-sensitive dynamic partial order reduction with observers., , , , и . ISSTA, стр. 352-362. ACM, (2019)