( en | de | ru )

 

Disambiguierung von "Burckhardt, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Predictable and Progressive Testing of Multi-threaded Code

, , , , und . IEEE Software, (5555)
DOI: 10.1109/MS.2010.64,

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.

Gerhard Burckhardt

Gerhard Burckhardt

Gerhard Burckhardt

Burckhardt Kietzmann

Herbert Burckhardt

 

Weitere Publikationen von Autoren mit dem selben Namen

Predictable and Progressive Testing of Multi-threaded Code, , , , und . IEEE Software, (5555)DARQ Matter Binds Everything: Performant and Composable Cloud Programming via Resilient Steps., , , und . Proc. ACM Manag. Data, 1 (2): 117:1-117:27 (2023)What's Decidable about Weak Memory Models?, , , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 26-46. Springer, (2012)Deconstructing concurrency heisenbugs., , , , und . ICSE Companion, Seite 403-404. IEEE, (2009)Eventually Consistent Transactions., , , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 67-86. Springer, (2012)Verifying Local Transformations on Relaxed Memory Models., , und . CC, Volume 6011 von Lecture Notes in Computer Science, Seite 104-123. Springer, (2010)TouchDevelop: app development on mobile devices., , , , und . SIGSOFT FSE, Seite 39. ACM, (2012)GAMBIT: effective unit testing for concurrency libraries., , und . PPoPP, Seite 15-24. ACM, (2010)Predictable and Progressive Testing of Multithreaded Code., , , , und . IEEE Softw., 28 (3): 75-83 (2011)Serializable eventual consistency: consistency through object method replay., , und . PaPoC@EuroSys, Seite 3:1-3:3. ACM, (2016)