6 citations · 23 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
Gustavo Quiros A., Yi Peng Zhu, Tao Cui +3
This report is a compilation of technical knowledge and concepts that were produced by the authors and additional contributors in the context of the collaboration projects "Abstrac…
cs.PL2025★ 1 cited
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Pei-Wei Chen, Shaokai Lin, Adwait Godbole +4
Several software systems are polyglot; that is, they comprise programs implemented in a combination of programming languages. Verifiers that directly run on mainstream programming…