( 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 Cardozo

Miguel Cruset

Miguel Astner

Miguel Beato

Miguel Coelho

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Generation of Initial Contexts for Effective Deadlock Detection., , und . CoRR, (2017)Deadlock-Guided Testing., und . IEEE Access, (2021)Distilling Constraints in Zero-Knowledge Protocols., , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 430-443. Springer, (2022)Generation of Initial Contexts for Effective Deadlock Detection., , und . LOPSTR, Volume 10855 von Lecture Notes in Computer Science, Seite 3-19. Springer, (2017)Optimal dynamic partial order reduction with context-sensitive independence and observers., , , , und . J. Syst. Softw., (August 2023)Conditional dynamic partial order reduction and optimality results.. ISSTA, Seite 433-437. ACM, (2019)Actor-based model checking for Software-Defined Networks., , , , , und . J. Log. Algebraic Methods Program., (2021)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)Testing of Concurrent Programs.. ICLP (Technical Communications), Volume 52 von OASIcs, Seite 18:1-18:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)