( en | de | ru )

 

Disambiguierung von "Isabel, Miguel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal dynamic partial order reduction with context-sensitive independence and observers.

, , , , und . J. Syst. Softw., (August 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Miguel Beato

Miguel Cardozo

Miguel Cruset

Miguel Coelho

Miguel Astner

 

Weitere Publikationen von Autoren mit dem selben Namen

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