BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Finland
1 × Italy
1 × Japan
1 × The Netherlands
1 × USA
2 × France
2 × Germany
2 × Spain
5 × United Kingdom
Collaborated with:
T.Jéron D.Lucanu E.Zinovieva H.Marchand A.Arusoaie D.Pichardie D.Clarke E.Singerman O.F.Roux B.Jeannet B.Combemale L.Gonnord L.d.Bousquet G.Barthe J.Forest D.Cachera T.P.Jensen M.Oostdijk J.Tretmans R.G.d.Vries T.A.C.Willemse V.Tschaen T.Serbanuta A.Stefanescu G.Rosu
Talks about:
test (8) symbol (5) verif (5) generat (4) safeti (4) tool (4) prove (3) protocol (2) properti (2) theorem (2)

Person: Vlad Rusu

DBLP DBLP: Rusu:Vlad

Contributed to:

WRLA 20142014
IFM 20132013
SLE 20132013
ECMFA 20112011
TAP 20102010
IFM 20072007
FLOPS 20062006
FM 20052005
TACAS 20052005
ESOP 20042004
TestCom 20042004
FME 20032003
FME 20022002
TACAS 20022002
ESEC/FSE 20012001
IFM 20002000
TACAS 19991999
SAS 19961996

Wrote 18 papers:

WRLA-2014-ArusoaieLRSSR
Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.
IFM-2013-LucanuR #equivalence #reasoning
Program Equivalence by Circular Reasoning (DL, VR), pp. 362–377.
SLE-2013-ArusoaieLR #execution #framework #symbolic computation
A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
ECMFA-2011-CombemaleGR #domain-specific language #semantics
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.
TAP-2010-Rusu #proving #specification #theorem proving
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications (VR), pp. 135–150.
IFM-2007-OostdijkRTVW #encryption #learning #protocol #testing #verification
Integrating Verification, Testing, and Learning for Cryptographic Protocols (MO, VR, JT, RGdV, TACW), pp. 538–557.
FLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
FM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.
TACAS-2005-JeannetJRZ #analysis #approximate #testing
Symbolic Test Selection Based on Approximate Analysis (BJ, TJ, VR, EZ), pp. 349–364.
ESOP-2004-CacheraJPR #data flow #logic
Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.
TestCom-2004-RusuMTJJ #safety #testing #verification
From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.
FME-2003-Rusu #composition #protocol #verification
Compositional Verification of an ATM Protocol (VR), pp. 223–243.
FME-2002-Rusu #generative #testing #using #verification
Verification Using Test Generation Techniques (VR), pp. 252–271.
TACAS-2002-ClarkeJRZ #generative #named #testing
STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.
ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification
STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.
IFM-2000-RusuBJ #approach #generative #testing
An Approach to Symbolic Test Generation (VR, LdB, TJ), pp. 338–357.
TACAS-1999-RusuS #abstraction #on the #proving #safety #static analysis #theorem proving
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (VR, ES), pp. 178–192.
SAS-1996-RouxR #automaton #decidability #hybrid
Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.