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: Rusu:Vlad
Contributed to:
2014
2013
2013
2011
20102007
2006
2005
2005
2004
2004200320022002
200120001999
1996Wrote 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.