( en | de | ru )

 

Disambiguierung von "Groce, Alex"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Slither: a static analysis framework for smart contracts.

, , und . WETSEB@ICSE, Seite 8-15. IEEE / ACM, (2019)

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.

Maria Alexopoulou

Ethnic Foreign Policy und Identitätsbildung: die Griechisch-Amerikaner (1964 - 1978). FU Berlin, (2007)

Alex Mueller

Alex Niemoeller

Michael Alex

Alex Brakhage

 

Weitere Publikationen von Autoren mit dem selben Namen

One test to rule them all., , und . ISSTA, Seite 1-11. ACM, (2017)Slither: a static analysis framework for smart contracts., , und . WETSEB@ICSE, Seite 8-15. IEEE / ACM, (2019)Rule Systems for Runtime Verification: A Short Tutorial., , , und . RV, Volume 5779 von Lecture Notes in Computer Science, Seite 1-24. Springer, (2009)Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study., , , , , , und . VL/HCC, Seite 47-54. IEEE, (2011)Heuristics for model checking Java programs., und . STTT, 6 (4): 260-276 (2004)JPF.Swarm Verification., , und . ASE, Seite 1-6. IEEE Computer Society, (2008)How Verified is My Code? Falsification-Driven Verification (T)., , , und . ASE, Seite 737-748. IEEE Computer Society, (2015)How hard does mutation analysis have to be, anyway?, , , , und . ISSRE, Seite 216-227. IEEE Computer Society, (2015)What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?, , , und . Financial Cryptography, Volume 12059 von Lecture Notes in Computer Science, Seite 634-653. Springer, (2020)Echidna: effective, usable, and fast fuzzing for smart contracts., , , , und . ISSTA, Seite 557-560. ACM, (2020)