Emailfmse.info.uaic.roStatusCollaboratorPublications2018A Certified Procedure for RL Verification (SYNASC 2017 post-proceedings, to appear in IEEE Conference Publishing Service )Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu Unpublished2017A Certified Procedure for RL Verification (SYNASC 2017 pre-proceedings)Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu Conference2015Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Extended Version)Andrei Arusoaie, Dorel Lucanu, David Nowak, Vlad Rusu ReportVerifying Reachability-Logic Properties on Rewriting-Logic SpecificationsDorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak Conference