dblp.uni-trier.dewww.uni-trier.de

Vlad Rusu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
29 Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350
2007
28EEMartijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557
27EECamille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu: Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33(8): 558-574 (2007)
2006
26EEGilles Barthe, Julien Forest, David Pichardie, Vlad Rusu: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. FLOPS 2006: 114-129
25EEBertrand Jeannet, Thierry Jéron, Vlad Rusu: Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69
24EEThierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212
23EEVlad Rusu: Verifying an ATM Protocol Using a Combination of Formal Techniques. Comput. J. 49(6): 710-730 (2006)
2005
22EEVlad Rusu, Hervé Marchand, Thierry Jéron: Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204
21EEBertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364
20EEDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1): 56-78 (2005)
2004
19EEDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
18EEVlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
2003
17EEVlad Rusu: Compositional Verification of an ATM Protocol. FME 2003: 223-243
16EEVlad Rusu: Combining formal verification and conformance testing for validating reactive systems. Softw. Test., Verif. Reliab. 13(3): 157-180 (2003)
2002
15EEVlad Rusu: Verification Using Test Generation Techniques. FME 2002: 252-271
14EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475
2001
13EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70
12EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE 2001: 301-302
11 Vlad Rusu: Verifying a Sliding Window Protocol using PVS. FORTE 2001: 251-268
10EEVlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electr. Notes Theor. Comput. Sci. 50(4): (2001)
2000
9EEVlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357
1999
8EEVlad Rusu, Eli Singerman: On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. TACAS 1999: 178-192
7EEOlivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)
1998
6 Thomas A. Henzinger, Vlad Rusu: Reachability Verification for Hybrid Automata. HSCC 1998: 190-204
1997
5EEAugusto Burgueño, Vlad Rusu: Task-System Analysis Using Slope-Parametric Hybrid Automata. Euro-Par 1997: 1262-1273
4 Vlad Rusu: Verifying Periodic Task-Control Systems. HART 1997: 63-68
3 Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80
1996
2 Olivier Roux, Vlad Rusu: Uniformity for the Decidability of Hybrid Automata. SAS 1996: 301-316
1994
1 Olivier Roux, Vlad Rusu: Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. Hybrid Systems 1994: 405-416

Coauthor Index

1Gilles Barthe [26]
2Frédéric Boniol [3]
3Lydie du Bousquet [9]
4Augusto Burgueño [3] [5]
5David Cachera [19] [20]
6Franck Cassez [7]
7Duncan Clarke [12] [13] [14]
8Manuel Clavel [29]
9Camille Constant [27]
10Julien Forest [26]
11Thomas A. Henzinger [6]
12Bertrand Jeannet [18] [21] [25]
13Thomas P. Jensen [19] [20]
14Thierry Jéron [9] [12] [13] [14] [18] [21] [22] [24] [25] [27]
15Hervé Marchand [18] [22] [24] [27]
16Martijn Oostdijk [28]
17David Pichardie [19] [20] [26]
18Olivier H. Roux (Olivier Roux) [1] [2] [3] [7]
19Eli Singerman [8]
20Jan Tretmans [28]
21Valéry Tschaen [18]
22René G. de Vries [28]
23Tim A. C. Willemse [28]
24Elena Zinovieva [10] [12] [13] [14] [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)