| 2022 | ECOOP | Defining Corecursive Functions in Coq Using Approximations. | Vlad Rusu, David Nowak |
| 2022 | RTAS | A Formal Correctness Proof for an EDF Scheduler Implementation. | Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud |
| 2018 | TASE | Proving Partial-Correctness and Invariance Properties of Transition-System Models. | Vlad Rusu, Gilles Grimaud, Michal Hauspie |
| 2017 | SYNASC | A Certified Procedure for RL Verification. | Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu |
| 2014 | ICFEM | A Language-Independent Proof System for Mutual Program Equivalence. | Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu |
| 2013 | IFM | Program Equivalence by Circular Reasoning. | Dorel Lucanu, Vlad Rusu |
| 2013 | SLE | A Generic Framework for Symbolic Execution. | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu |
| 2010 | ISPDC | Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. | Abdoulaye Gamati, Vlad Rusu, ric Rutten |
| 2010 | TAP | Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. | Vlad Rusu |
| 2007 | IFM | Integrating Verification, Testing, and Learning for Cryptographic Protocols. | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, Ren G. de Vries, Tim A. C. Willemse |
| 2006 | FLOPS | Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. | Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu |
| 2005 | FM | Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. | Vlad Rusu, Herv Marchand, Thierry Jron |
| 2005 | TACAS | Symbolic Test Selection Based on Approximate Analysis. | Bertrand Jeannet, Thierry Jron, Vlad Rusu, Elena Zinovieva |
| 2004 | ESOP | Extracting a Data Flow Analyser in Constructive Logic. | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
| 2003 | FM | Compositional Verification of an ATM Protocol. | Vlad Rusu |
| 2002 | FM | Verification Using Test Generation Techniques. | Vlad Rusu |
| 2002 | TACAS | STG: A Symbolic Test Generation Tool. | Duncan Clarke, Thierry Jron, Vlad Rusu, Elena Zinovieva |
| 2001 | FORTE | Verifying a Sliding Window Protocol using PVS. | Vlad Rusu |
| 2000 | IFM | An Approach to Symbolic Test Generation. | Vlad Rusu, Lydie du Bousquet, Thierry Jron |
| 1999 | TACAS | On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. | Vlad Rusu, Eli Singerman |
| 1997 | EuroPar | Task-System Analysis Using Slope-Parametric Hybrid Automata. | Augusto Burgueo, Vlad Rusu |
| 1996 | SAS | Uniformity for the Decidability of Hybrid Automata. | Olivier F. Roux, Vlad Rusu |