( en | de | ru )

 

Disambiguierung von "Attie, Paul C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model and program repair via SAT solving.

, , , , und . MEMOCODE, Seite 148-157. IEEE, (2015)

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.

Raphael Attie

Paul C Shields

C L Paul Trüb

Guido C C Clinckspoor

Thomas C C Knöbig

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs., und . VMCAI, Volume 3385 von Lecture Notes in Computer Science, Seite 465-481. Springer, (2005)Scheduling workflows by enforcing intertask dependencies., , , , und . Distributed Systems Engineering, 3 (4): 222-238 (1996)Synthesis of fault-tolerant concurrent programs., , und . ACM Trans. Program. Lang. Syst., 26 (1): 125-185 (2004)Convergence of Iteration Systems., , , und . Distributed Comput., 7 (1): 43-53 (1993)Automating the refinement of specifications for distributed systems via syntactic transformations., und . Int. J. Systems Science, 28 (11): 1129-1144 (1997)Model and Program Repair via SAT Solvers, und . CoRR, (2007)Model and Program Repair via SAT Solving., , und . ACM Trans. Embed. Comput. Syst., 17 (2): 32:1-32:25 (2018)The impossibility of boosting distributed service resilience., , , , und . Inf. Comput., 209 (6): 927-950 (2011)Task Scheduling Using Intertask Dependencies in Carot., , , , , , und . SIGMOD Conference, Seite 491-494. ACM Press, (1993)Fairness and Hyperfairness in Multi-Party Interactions., , und . POPL, Seite 292-305. ACM Press, (1990)