Vlad Rusu

	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
28		Martijn 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
27		Camille 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
26		Gilles 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
25		Bertrand Jeannet, Thierry Jéron, Vlad Rusu: Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69
24		Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212
23		Vlad Rusu: Verifying an ATM Protocol Using a Combination of Formal Techniques. Comput. J. 49(6): 710-730 (2006)
	2005
22		Vlad Rusu, Hervé Marchand, Thierry Jéron: Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204
21		Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364
20		David 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
19		David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
18		Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
	2003
17		Vlad Rusu: Compositional Verification of an ATM Protocol. FME 2003: 223-243
16		Vlad Rusu: Combining formal verification and conformance testing for validating reactive systems. Softw. Test., Verif. Reliab. 13(3): 157-180 (2003)
	2002
15		Vlad Rusu: Verification Using Test Generation Techniques. FME 2002: 252-271
14		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475
	2001
13		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70
12		Duncan 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
10		Vlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electr. Notes Theor. Comput. Sci. 50(4): (2001)
	2000
9		Vlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357
	1999
8		Vlad Rusu, Eli Singerman: On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. TACAS 1999: 178-192
7		Olivier 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
5		Augusto 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

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

Colors in the list of coauthors