( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Monitoring Hyperproperties with Circuits.

, , , и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 1-10. Springer, (2022)

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.

Adrian Francalanza

Adrian Gabriel

Adrian Bölingen

Nadine Adrian

Adrian Forke

 

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

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)Testing Equivalence vs. Runtime Monitoring., , , , и . Models, Languages, and Tools for Concurrent and Distributed Programming, том 11665 из Lecture Notes in Computer Science, стр. 28-44. Springer, (2019)Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)., , и . COORDINATION, том 14676 из Lecture Notes in Computer Science, стр. 295-313. Springer, (2024)The Cost of Monitoring Alone., , , , и . From Reactive Systems to Cyber-Physical Systems, том 11500 из Lecture Notes in Computer Science, стр. 259-275. Springer, (2019)On the Monitorability of Session Types, in Theory and Practice (Extended Version)., , и . CoRR, (2021)Towards Choreographic-Based Monitoring., , и . Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)Complexity through Translations for Modal Logic with Recursion., , , , и . GandALF, том 370 из EPTCS, стр. 34-48. (2022)Comparing Controlled System Synthesis and Suppression Enforcement., , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 148-164. Springer, (2019)COTS: Connected OpenAPI Test Synthesis for RESTful Applications., , , и . COORDINATION, том 14676 из Lecture Notes in Computer Science, стр. 75-92. Springer, (2024)Session types in Elixir., и . AGERE!@SPLASH, стр. 12-23. ACM, (2021)