Vlad Rusu Member Status: Collaborator Institution: Inria Lille, France E-mail: vlad.rusu@inria.fr Publications 2018 A Certified Procedure for RL Verification (SYNASC 2017 post-proceedings, to appear in IEEE Conference Publishing Service ) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu BIB 2017 Executing and verifying higher-order functional-imperative programs in Maude. Vlad Rusu and Andrei Arusoaie ScienceDirect BIB A Certified Procedure for RL Verification (SYNASC 2017 pre-proceedings) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PDF BIB A generic framework for symbolic execution: A coinductive approach Vlad Rusu and Andrei Arusoaie and Dorel Lucanu ScienceDirect BIB 2016 Language definitions as rewrite theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu Elsevier BIB Proving Reachability-Logic Formulas Incrementally Vlad Rusu and Andrei Arusoaie LNCS BIB 2015 Program equivalence by circular reasoning Vlad Rusu and Dorel Lucanu DOI BIB Verifying Reachability-Logic Properties on Rewriting-Logic Specifications David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu LRC BIB Symbolic execution based on language transformation Vlad Rusu and Andrei Arusoaie and Dorel Lucanu DOI BIB Symbolic execution based on language transformation Vlad Rusu and Andrei Arusoaie and Dorel Lucanu Elsevier BIB Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Extended Version) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu TR15-01 BIB 2014 Language Definitions as Rewrite Theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu WRLA14 BIB Program equivalence by circular reasoning Vlad Rusu and Dorel Lucanu DOI BIB A Language-Independent Proof System for Mutual Program Equivalence Stefan Ciobaca and Vlad Rusu and Grigore Rosu and Dorel Lucanu ICFEM2014 BIB 2013 A Generic Framework for Symbolic Execution Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PDF SLE2013 BIB Language-Independent Program Verification Using Symbolic Execution Vlad Rusu and Andrei Arusoaie and Dorel Lucanu INRIA RR-8369 BIB Symbolic Execution in the K Framework: Support and Applications Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PAS 2013 BIB Program Equivalence by Circular Reasoning Vlad Rusu and Dorel Lucanu IFM2013 BIB 2012 A K-Based Formal Framework for Domain-Specific Modelling Languages Vlad Rusu and Dorel Lucanu FoVeOOS BIB Program Equivalence by Circular Coinduction Vlad Rusu and Dorel Lucanu PDF INRIA RR-8116 BIB A Generic Approach to Symbolic Execution Vlad Rusu and Andrei Arusoaie and Dorel Lucanu INRIA RR-8189 BIB 2011 K Semantics for OCL – a Proposal for a Formal Definition for OCL Vlad Rusu and Dorel Lucanu PDF K11 BIB K Semantics for Domain Specific Modelling Languages Vlad Rusu and Dorel Lucanu KEPT 2011 BIB
A Certified Procedure for RL Verification (SYNASC 2017 post-proceedings, to appear in IEEE Conference Publishing Service ) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu BIB
Executing and verifying higher-order functional-imperative programs in Maude. Vlad Rusu and Andrei Arusoaie ScienceDirect BIB
A Certified Procedure for RL Verification (SYNASC 2017 pre-proceedings) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PDF BIB
A generic framework for symbolic execution: A coinductive approach Vlad Rusu and Andrei Arusoaie and Dorel Lucanu ScienceDirect BIB
Language definitions as rewrite theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu Elsevier BIB
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu LRC BIB
Symbolic execution based on language transformation Vlad Rusu and Andrei Arusoaie and Dorel Lucanu DOI BIB
Symbolic execution based on language transformation Vlad Rusu and Andrei Arusoaie and Dorel Lucanu Elsevier BIB
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Extended Version) David Nowak and Vlad Rusu and Andrei Arusoaie and Dorel Lucanu TR15-01 BIB
Language Definitions as Rewrite Theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu WRLA14 BIB
A Language-Independent Proof System for Mutual Program Equivalence Stefan Ciobaca and Vlad Rusu and Grigore Rosu and Dorel Lucanu ICFEM2014 BIB
A Generic Framework for Symbolic Execution Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PDF SLE2013 BIB
Language-Independent Program Verification Using Symbolic Execution Vlad Rusu and Andrei Arusoaie and Dorel Lucanu INRIA RR-8369 BIB
Symbolic Execution in the K Framework: Support and Applications Vlad Rusu and Andrei Arusoaie and Dorel Lucanu PAS 2013 BIB
A K-Based Formal Framework for Domain-Specific Modelling Languages Vlad Rusu and Dorel Lucanu FoVeOOS BIB
A Generic Approach to Symbolic Execution Vlad Rusu and Andrei Arusoaie and Dorel Lucanu INRIA RR-8189 BIB
K Semantics for OCL – a Proposal for a Formal Definition for OCL Vlad Rusu and Dorel Lucanu PDF K11 BIB
