( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Capability-Based Module System for Authority Control (Artifact).

, , , и . Dagstuhl Artifacts Ser., 3 (2): 02:1-02:2 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Aldrich Kalähne

Jonathan Roericht

Jonathan Burmeister

Jonathan Rother

Jonathan Vöglein

 

Другие публикации лиц с тем же именем

Discovering Architectures from Running Systems, , , , и . Transactions on Software Engineering, 32 (7): 454--466 (2006)A Capability-Based Module System for Authority Control (Artifact)., , , и . Dagstuhl Artifacts Ser., 3 (2): 02:1-02:2 (2017)Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture., и . OOPSLA Companion, стр. 741-742. ACM, (2008)Verifying correct usage of atomic blocks and typestate., , и . OOPSLA, стр. 227-244. ACM, (2008)Young guns/object orientation: the next generation., , , , , , , , , и 1 other автор(ы). OOPSLA Companion, стр. 940-942. ACM, (2006)Checking framework plugins., и . OOPSLA Companion, стр. 795-796. ACM, (2007)Modules in wyvern: advanced control over security and privacy., , и . HotSoS, стр. 68. ACM, (2016)Sound Gradual Verification with Symbolic Execution., , и . CoRR, (2023)Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures., , , , , , , , , и 1 other автор(ы). ACM Trans. Cyber Phys. Syst., 6 (3): 21:1-21:39 (2022)A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language., , , , , и . PLATEAU@UIST, том 76 из OASIcs, стр. 2:1-2:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)