Vlad Rusu
Vlad Rusu
E-mail confirmado em inria.fr - Página inicial
Título
Citado por
Citado por
Ano
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2382000
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
International Conference on Integrated Formal Methods, 338-357, 2000
1492000
STG: A symbolic test generation tool
D Clarke, T Jéron, V Rusu, E Zinovieva
International Conference on Tools and Algorithms for the Construction and …, 2002
1422002
Symbolic test selection based on approximate analysis
B Jeannet, T Jéron, V Rusu, E Zinovieva
International Conference on Tools and Algorithms for the Construction and …, 2005
982005
Reachability verification for hybrid automata
TA Henzinger, V Rusu
International Workshop on Hybrid Systems: Computation and Control, 190-204, 1998
711998
Integrating formal verification and conformance testing for reactive systems
C Constant, T Jéron, H Marchand, V Rusu
IEEE Transactions on Software Engineering 33 (8), 558-574, 2007
692007
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
Theoretical Computer Science 342 (1), 56-78, 2005
692005
Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant
G Barthe, J Forest, D Pichardie, V Rusu
International Symposium on Functional and Logic Programming, 114-129, 2006
672006
On proving safety properties by integrating static analysis, theorem proving and abstraction
V Rusu, E Singerman
International Conference on Tools and Algorithms for the Construction and …, 1999
561999
Equational approximations for tree automata completion
T Genet, V Rusu
Journal of Symbolic Computation 45 (5), 574-597, 2010
482010
Automated test and oracle generation for smart-card applications
D Clarke, T Jéron, V Rusu, E Zinovieva
International Conference on Research in Smart Cards, 58-70, 2001
442001
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
European Symposium on Programming, 385-400, 2004
382004
Automatic verification and conformance testing for validating safety properties of reactive systems
V Rusu, H Marchand, T Jéron
International Symposium on Formal Methods, 189-204, 2005
372005
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
International Conference on Software Language Engineering, 281-301, 2013
342013
A language-independent proof system for mutual program equivalence
Ş Ciobâcă, D Lucanu, V Rusu, G Roşu
International Conference on Formal Engineering Methods, 75-90, 2014
332014
STG: a tool for generating symbolic test programs and oracles from operational specifications
D Clarke, T Jéron, V Rusu, E Zinovieva
Proceedings of the 8th European software engineering conference held jointly …, 2001
282001
Program equivalence by circular reasoning
D Lucanu, V Rusu
Formal Aspects of Computing 27 (4), 701-726, 2015
272015
Formal executable semantics for conformance in the MDE framework
M Egea, V Rusu
Innovations in Systems and Software Engineering 6 (1-2), 73-81, 2010
272010
Verifying reachability-logic properties on rewriting-logic specifications
D Lucanu, V Rusu, A Arusoaie, D Nowak
Logic, Rewriting, and Concurrency, 451-474, 2015
252015
A generic tool for tracing executions back to a DSML’s operational semantics
B Combemale, L Gonnord, V Rusu
European Conference on Modelling Foundations and Applications, 35-51, 2011
252011
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20