Vlad Rusu

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

Colors in the list of coauthors