Æȷοì
Vlad Rusu
Vlad Rusu
inria.frÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rue©¬, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2552000
STG: A symbolic test generation tool
D Clarke, T Jéron, V Rusu, E Zinovieva
Tools and Algorithms for the Construction and Analysis of Systems: 8th ¡¦, 2002
1662002
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
Integrated Formal Methods: Second International Conference, IFM 2000 ¡¦, 2000
1662000
Symbolic test selection based on approximate analysis
B Jeannet, T Jéron, V Rusu, E Zinovieva
Tools and Algorithms for the Construction and Analysis of Systems: 11th ¡¦, 2005
1042005
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
812007
Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant
G Barthe, J Forest, D Pichardie, V Rusu
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 ¡¦, 2006
802006
Reachability verification for hybrid automata
TA Henzinger, V Rusu
Hybrid Systems: Computation and Control: First International Workshop, HSCC ¡¦, 1998
741998
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
Theoretical Computer Science 342 (1), 56-78, 2005
712005
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
512010
Automated test and oracle generation for smart-card applications
D Clarke, T Jéron, V Rusu, E Zinovieva
Smart Card Programming and Security: International Conference on Research in ¡¦, 2001
462001
A language-independent proof system for full program equivalence
Ş Ciobâcă, D Lucanu, V Rusu, G Roşu
Formal Aspects of Computing 28, 469-497, 2016
452016
Automatic verification and conformance testing for validating safety properties of reactive systems
V Rusu, H Marchand, T Jéron
FM 2005: Formal Methods: International Symposium of Formal Methods Europe ¡¦, 2005
452005
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
European Symposium on Programming, 385-400, 2004
412004
Program equivalence by circular reasoning
D Lucanu, V Rusu
Formal Aspects of Computing 27, 701-726, 2015
382015
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
International Conference on Software Language Engineering, 281-301, 2013
38*2013
A generic framework for symbolic execution: A coinductive approach
D Lucanu, V Rusu, A Arusoaie
Journal of Symbolic Computation 80, 125-163, 2017
332017
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
322001
From safety verification to safety testing
V Rusu, H Marchand, V Tschaen, T Jéron, B Jeannet
Testing of Communicating Systems: 16th IFIP International Conference ¡¦, 2004
312004
Verifying reachability-logic properties on rewriting-logic specifications
D Lucanu, V Rusu, A Arusoaie, D Nowak
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the ¡¦, 2015
282015
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20