| 2022 | Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. | Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng |
| 2022 | Practical Theory of Computation on Structures. | Klaus-Dieter Schewe |
| 2022 | Machine-Assisted Proofs for Institutions in Coq. | Conor Reynolds, Rosemary Monahan |
| 2022 | Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. | Francesco Parolini, Antoine Min |
| 2022 | A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. | Nicholas Moore, Mark Lawford |
| 2022 | Automatic Classification of Bug Reports Based on Multiple Text Information and Reports' Intention. | Fanqi Meng, Xuesong Wang, Jingdong Wang, Peifang Wang |
| 2022 | Equivalence of Denotational and Operational Semantics for Interaction Languages. | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
| 2022 | AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. | Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jir Srba |
| 2022 | Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. | Harald Knig, Uwe Wolter |
| 2022 | Security Vulnerabilities Detection Through Assertion-Based Approach. | Salim Yahia Kissi, Raba Ameur-Boulifa, Yassamine Seladji |
| 2022 | The Complexity of Evaluating Nfer. | Sean Kauffman, Martin Zimmermann |
| 2022 | Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. | Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz |
| 2022 | Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. | Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif |
| 2022 | End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2022 | Dynamic Specification Mining Based on Transformer. | Ying Gao, Meng Wang, Bin Yu |
| 2022 | Collaborative Verification of Uninterpreted Programs. | Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2022 | Repairing Adversarial Texts Through Perturbation. | Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong |
| 2022 | Complexity of Distributed Petri Net Synthesis. | Raymond Devillers, Ronny Tredup |
| 2022 | MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning. | Baijun Cheng, Yanhui Guo, Yan Ren, Gang Yang, Guosheng Xu |
| 2022 | Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2022 | A Language-Based Causal Model for Safety. | Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hnkar Can Tun |
| 2022 | Formal Verification of a Keystore. | Jaap Boender, Goran Badevic |
| 2022 | On Verification of Smart Contracts via Model Checking. | Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao |
| 2022 | Extending Process Algebra with an Undefined Action. | S. Arun-Kumar |
| 2022 | Supporting Algorithm Analysis with Symbolic Execution in Alk. | Alexandru-Ioan Lungu, Dorel Lucanu |