( en | de | ru )

 

Disambiguierung von "Aldrich, Jonathan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Empirical Studies on the Security and Usability Impact of Immutability.

, , , , und . SecDev, Seite 50-53. IEEE Computer Society, (2017)

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.

Aldrich Kalähne

Jonathan Roth

Jonathan Cavanagh

Jonathan Burmeister

Jonathan Dörr

 

Weitere Publikationen von Autoren mit dem selben Namen

Discovering Architectures from Running Systems, , , , und . Transactions on Software Engineering, 32 (7): 454--466 (2006)Modules in wyvern: advanced control over security and privacy., , und . HotSoS, Seite 68. ACM, (2016)A Capability-Based Module System for Authority Control (Artifact)., , , und . Dagstuhl Artifacts Ser., 3 (2): 02:1-02:2 (2017)Sound Gradual Verification with Symbolic Execution., , und . CoRR, (2023)Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures., , , , , , , , , und 1 andere Autor(en). ACM Trans. Cyber Phys. Syst., 6 (3): 21:1-21:39 (2022)Verifying correct usage of atomic blocks and typestate., , und . OOPSLA, Seite 227-244. ACM, (2008)Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture., und . OOPSLA Companion, Seite 741-742. ACM, (2008)Young guns/object orientation: the next generation., , , , , , , , , und 1 andere Autor(en). OOPSLA Companion, Seite 940-942. ACM, (2006)Checking framework plugins., und . OOPSLA Companion, Seite 795-796. ACM, (2007)Assuring Object-Oriented Architecture.. ECOOP, Volume 4609 von Lecture Notes in Computer Science, Seite 450. Springer, (2007)