Author of the publication

P4b: A Translator from P4 Programs to Boogie.

, and . ESEC/SIGSOFT FSE, page 2172-2176. ACM, (2023)

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.

 

Other publications of authors with the same name

On Array Theory of Bounded Elements., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 570-584. Springer, (2010)Robust experimental design and feature selection in signal transduction pathway modeling., , , and . IJCNN, page 1544-1551. IEEE, (2008)Data mining based decomposition for assume-guarantee reasoning., , , , and . FMCAD, page 116-119. IEEE, (2009)Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 247-262. Springer, (2007)Assertion Recommendation for Formal Program Verification., , , , , and . COMPSAC (1), page 154-159. IEEE Computer Society, (2017)Translation-Based Model Checking for PLC Programs., , , and . COMPSAC (1), page 553-562. IEEE Computer Society, (2009)A Rule-Based Approach for Generating Synthetic Biological Pathways., , , , , and . CIBB, volume 13483 of Lecture Notes in Computer Science, page 105-116. Springer, (2021)基于模糊质心的混合属性数据模糊加权聚类算法 (Fuzzy Weighted Clustering Algorithm with Fuzzy Centroid for Mixed Data)., , , , , and . 计算机科学, 45 (2): 109-113 (2018)A Multi-View Clustering Algorithm for Mixed Numeric and Categorical Data., , , , , and . IEEE Access, (2021)Mobile computing and communications-driven fog-assisted disaster evacuation techniques for context-aware guidance support: A survey., , , and . Comput. Commun., (2021)