( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks.

, , , , и . IEEE Trans. Dependable Secur. Comput., 19 (6): 4082-4098 (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.

Silvio Bischoff

Miniaturisierte Hochdrehzahl-Kühlmittelpumpen für Kfz-Motoren. TU Braunschweig, (2009)

Silvio Scheel

Silvio Peritore

Silvio Schulze

Silvio Hering

 

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

Presheaf semantics and independence results for some non-classical first-order logics.. Arch. Math. Log., 29 (2): 125-136 (1989)SAFARI: SMT-Based Abstraction for Arrays with Interpolants., , , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 679-685. Springer, (2012)Goal-Directed Invariant Synthesis for Model Checking Modulo Theories., и . TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 173-188. Springer, (2009)A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints., , и . FroCoS, том 6989 из Lecture Notes in Computer Science, стр. 103-118. Springer, (2011)Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems., и . J. Autom. Reason., 65 (3): 425-460 (2021)Lazy Abstraction with Interpolants for Arrays., , , , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 46-61. Springer, (2012)Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations., , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 67-81. CEUR-WS.org, (2020)Multiple-conclusion Rules, Hypersequents Syntax and Step Frames., и . Advances in Modal Logic, стр. 54-73. College Publications, (2014)Ruitenburg's Theorem via Duality and Bounded Bisimulations., и . Advances in Modal Logic, стр. 277-290. College Publications, (2018)Model Completeness for Rational Trees., и . IJCAR (1), том 14739 из Lecture Notes in Computer Science, стр. 265-283. Springer, (2024)