( en | de | ru )

 

Disambiguation of "Basin, David A."

Author of the publication

copydeleteadd this publication to your clipboard
Bridging the semantic gap between qualitative and quantitative models of distributed systems.

, , , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Stesia Basina

Sobha Rani Basineni

Christiane Basiner

lin A David

David A Traill

 

Other publications of authors with the same name

User-Controlled Privacy: Taint, Track, and Control., , and . Proc. Priv. Enhancing Technol., 2024 (1): 597-616 (January 2024)Model-driven Privacy., , and . Proc. Priv. Enhancing Technol., 2024 (1): 314-329 (January 2024)Almost event-rate independent monitoring., , , and . Formal Methods Syst. Des., 54 (3): 449-478 (2019)A Calculus for and Termination of Rippling., and . J. Autom. Reason., 16 (1-2): 147-180 (1996)Scalable Online Monitoring of Distributed Systems., , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 197-220. Springer, (2020)Multi-head Monitoring of Metric Dynamic Logic., , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 233-250. Springer, (2020)Verifying Table-Based Elections., , , and . CCS, page 2632-2652. ACM, (2021)Determining an Economic Value of High Assurance for Commodity Software Security., , and . Security Protocols Workshop, volume 14186 of Lecture Notes in Computer Science, page 228-242. Springer, (2023)From Nondeterministic to Multi-Head Deterministic Finite-State Transducers., , and . ICALP, volume 132 of LIPIcs, page 127:1-127:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Scalable Online First-Order Monitoring., , , , and . RV, volume 11237 of Lecture Notes in Computer Science, page 353-371. Springer, (2018)