( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bridging the semantic gap between qualitative and quantitative models of distributed systems.

, , , , и . Proc. ACM Program. Lang., 6 (OOPSLA2): 315-344 (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.

Stesia Basina

Sobha Rani Basineni

Christiane Basiner

David A Traill

lin A David

 

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

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence., , и . RTA, том 10 из LIPIcs, стр. 11-20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A Calculus for and Termination of Rippling., и . J. Autom. Reason., 16 (1-2): 147-180 (1996)Scalable Online Monitoring of Distributed Systems., , , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 197-220. Springer, (2020)Multi-head Monitoring of Metric Dynamic Logic., , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 233-250. Springer, (2020)Model-driven Privacy., , и . Proc. Priv. Enhancing Technol., 2024 (1): 314-329 (января 2024)User-Controlled Privacy: Taint, Track, and Control., , и . Proc. Priv. Enhancing Technol., 2024 (1): 597-616 (января 2024)Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification., , , , , , и . CoRR, (2020)Efficient Evaluation of Arbitrary Relational Calculus Queries., , , и . CoRR, (2022)IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)., , , и . CoRR, (2022)From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries., и . IACR Cryptol. ePrint Arch., (2009)