Vlad Rusu

Publications

449

Citations

H-Index

2000

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Centre Inria de l'Université de Lille

Alexandru Ioan Cuza University

Université de Rennes

Vlad Rusu is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, automated reasoning, and engineering.

ORCID

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceProgram AnalysisSoftware AnalysisVerificationFormal SpecificationSoftware Engineering

Publications per year

2000–2016

Publications

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech et al. · Formal Methods · 2000 · 167 citations

Engineering, Verification, Invariant Generation +20

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Wiben Jensen, David Pichardie et al. · Theoretical Computer Science · 2005 · 61 citations · Full text

Applied Logic, Engineering, Data Flow +7

Integrating formal verification and conformance testing for reactive systems

Camille Constant, Thierry Jéron, Hervé Marchand et al. · IEEE Transactions on Software Engineering · 2007 · 54 citations · Full text

Engineering, Verification, Computer-aided Verification +17

A generic framework for symbolic execution: A coinductive approach

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie · Journal of Symbolic Computation · 2016 · 27 citations · Full text

Coinductive Approach, Engineering, Operational Semantics +9

Equational approximations for tree automata completion

Thomas Genet, Vlad Rusu · Journal of Symbolic Computation · 2010 · 25 citations

Tree Language, Engineering, Automated Reasoning +5

Rows per page

1–5 of 13