( en | de | ru )

 

Disambiguierung von "Aldrich, Jonathan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Differencing and merging of architectural views.

, , , , und . Autom. Softw. Eng., 15 (1): 35-74 (2008)

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 Roericht

Jonathan Burmeister

Jonathan Rother

Jonathan Vöglein

 

Weitere Publikationen von Autoren mit dem selben Namen

Discovering Architectures from Running Systems, , , , und . Transactions on Software Engineering, 32 (7): 454--466 (2006)A Capability-Based Module System for Authority Control (Artifact)., , , und . 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., und . OOPSLA Companion, Seite 741-742. ACM, (2008)Verifying correct usage of atomic blocks and typestate., , und . OOPSLA, Seite 227-244. 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)Modules in wyvern: advanced control over security and privacy., , und . HotSoS, Seite 68. ACM, (2016)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)A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language., , , , , und . PLATEAU@UIST, Volume 76 von OASIcs, Seite 2:1-2:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)