( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Collaborative infrastructure for test-driven scientific model validation.

, , и . ICSE Companion, стр. 524-527. ACM, (2014)

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

Jonathan Roericht

Jonathan Burmeister

Jonathan Dörr

 

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

Discovering Architectures from Running Systems, , , , и . Transactions on Software Engineering, 32 (7): 454--466 (2006)Modules in wyvern: advanced control over security and privacy., , и . HotSoS, стр. 68. ACM, (2016)Cooperative Exceptions for Concurrent Objects., , , и . PRDC, стр. 21-31. IEEE Computer Society, (2015)Statically checking API protocol conformance with mined multi-object specifications., , , и . ICSE, стр. 925-935. IEEE Computer Society, (2012)Glacier: transitive class immutability for Java., , , , и . ICSE, стр. 496-506. IEEE / ACM, (2017)Assuring Object-Oriented Architecture.. ECOOP, том 4609 из Lecture Notes in Computer Science, стр. 450. Springer, (2007)Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming., , и . ECOOP, том 8586 из Lecture Notes in Computer Science, стр. 157-181. Springer, (2014)A Capability-Based Module System for Authority Control., , , и . ECOOP, том 74 из LIPIcs, стр. 20:1-20:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Sound Gradual Verification with Symbolic Execution., , и . CoRR, (2023)A Capability-Based Module System for Authority Control (Artifact)., , , и . Dagstuhl Artifacts Ser., 3 (2): 02:1-02:2 (2017)