Alexandre Petrenko

	2009
66		Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko: Creating Open Educational Environment based on Open-source Software Projects. CSEDU (2) 2009: 235-238
65		Jiale Huo, Alexandre Petrenko: Transition covering tests for systems with queues. Softw. Test., Verif. Reliab. 19(1): 55-83 (2009)
	2008
64		May Haydar, Houari A. Sahraoui, Alexandre Petrenko: Specification Patterns for Formal Web Verification. ICWE 2008: 240-246
63		Adenilso da Silva Simão, Alexandre Petrenko: Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168
62		Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz: Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES 2008: 216-233
61		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)
	2007
60		Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings Springer 2007
59		Andreas Ulrich, Alexandre Petrenko: Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA 2007: 184-193
58		Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz: Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210
57		Sergiy Boroday, Alexandre Petrenko, Roland Groz: Can a Model Checker Generate Tests for Non-Deterministic Systems? Electr. Notes Theor. Comput. Sci. 190(2): 3-19 (2007)
	2006
56		Alexandre Petrenko: Why Automata Models Are Sexy for Testers? (Invited Talk). Ershov Memorial Conference 2006: 26
55		Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466
54		Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258
53		Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput. 18(1): 63-83 (2006)
	2005
52		May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404
51		Alexandre Petrenko, Nina Yevtushenko: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133
50		Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko: Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83
49		Jiale Huo, Alexandre Petrenko: Covering Transitions of Concurrent Systems through Queues. ISSRE 2005: 335-345
48		Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko: Multiplexing of Partially Ordered Events. TestCom 2005: 97-110
47		Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal: Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
46		Alexandre Petrenko, Nina Yevtushenko: Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005)
	2004
45		Alexandre Petrenko, Andreas Ulrich: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 Springer 2004
44		May Haydar, Alexandre Petrenko, Houari A. Sahraoui: Formal Verification of Web Applications Modeled by Communicating Automata. FORTE 2004: 115-132
43		Hesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko: Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC 2004: 258-267
42		Jiale Huo, Alexandre Petrenko: On Testing Partially Specified IOTS through Lossless Queues. TestCom 2004: 76-94
41		Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30(1): 29-42 (2004)
	2003
40		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155
39		Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov: Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference 2003: 450-461
38		Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337
37		Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108
36		Alexandre Petrenko, Nina Yevtushenko, Jiale Huo: Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145
35		Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196
34		Alexandre Petrenko: Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. Programming and Computer Software 29(6): 296-297 (2003)
	2002
33		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50
32		Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener: Techniques for Abstracting SDL Specifications. SAM 2002: 141-157
31		Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener: Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom 2002: 355-372
	2001
30		Alexandre Petrenko: Specification Based Testing: Towards Practice. Ershov Memorial Conference 2001: 287-300
29		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-
	2000
28		Alexandre Petrenko, Nina Yevtushenko: On Test Derivation from Partial Specifications. FORTE 2000: 85-102
27		Alexandre Petrenko: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. MOVEP 2000: 196-205
26		Alexandre Petrenko, Andreas Ulrich: Verification and Testing of Concurrent Systems with Action Races. TestCom 2000: 261-280
	1999
25		Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming configurations in EFSM. FORTE 1999: 5-24
24		I. Koufareva, Alexandre Petrenko, Nina Yevtushenko: Test Generation Driven by User-defined Fault Models. IWTCS 1999: 215-236
23		Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter: KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods 1999: 608-621
	1998
22		Alexandre Petrenko, Nina Yevtushenko: Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia Kluwer 1998
21		Alexandre Petrenko, Nina Yevtushenko: Solving Asynchronous Equations. FORTE 1998: 231-247
20		Alexandre Petrenko, Andreas Ulrich, V. Chapenko: Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS 1998: 175-190
19		Q. M. Tan, Alexandre Petrenko: Test Generation for Specifications Modeled by Input/Output Automata. IWTCS 1998: 83-100
	1997
18		Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga: Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276
17		Alexandre Petrenko: Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". ACM Trans. Softw. Eng. Methodol. 6(3): 329-331 (1997)
	1996
16		Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. FORTE 1996: 163-178
15		Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238
14		Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)
13		Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao: On Fault Coverage of Tests for Finite State Specifications. Computer Networks and ISDN Systems 29(1): 81-106 (1996)
	1995
12		Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152
	1994
11		Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. FORTE 1994: 399-414
10		Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM 1994: 768-775
9		Gregor von Bochmann, Alexandre Petrenko: Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA 1994: 109-124
8		Gang Luo, Gregor von Bochmann, Alexandre Petrenko: Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. IEEE Trans. Software Eng. 20(2): 149-162 (1994)
	1993
7		Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256
6		Alexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124
5		Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli: Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178
4		Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378
	1992
3		Alexandre Petrenko, Nina Yevtushenko: Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243
	1991
2		Alexandre Petrenko: Checking Experiments with Protocol Machines. Protocol Test Systems 1991: 83-94
	1986
1		Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko: A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. ICCC 1986: 508-513

Coauthor Index

1	E. Alikacem	[43]
2	O. Bellal	[18]
3	Gregor von Bochmann	[5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18]
4	Sergiy Boroday	[25] [31] [32] [35] [37] [38] [41] [43] [47] [52] [53] [57] [58]
5	Igor B. Bourdonov	[39]
6	Robert K. Brayton	[29] [33] [40] [61]
7	Igor B. Burdonov	[23]
8	Colin Campbell	[48]
9	V. Chapenko	[20]
10	Anindya Das	[4]
11	Rachida Dssouli	[5] [6] [14]
12	Arnaud Dury	[58]
13	Khaled El-Fakih	[54]
14	Dmitri Galter	[23]
15	Wolfgang Grieskamp	[60]
16	Alexey Grinevich	[55]
17	Roland Groz	[25] [31] [32] [41] [57] [62]
18	Hesham Hallal	[35] [37] [38] [43] [47] [53]
19	May Haydar	[44] [52] [64]
20	Jiale Huo	[36] [42] [48] [49] [65]
21	Alexey V. Khoroshilov	[55]
22	Hartmut König	[6]
23	Alexander Kossatchev	[23] [39]
24	I. Koufareva	[24]
25	Victor V. Kuliamin	[39] [50] [55]
26	Alexandre Lebedev	[4]
27	Keqin Li	[62]
28	Alfio Lombardo	[1]
29	Volkmar Lotz	[58]
30	Gang Luo	[8]
31	S. Maguiraga	[18]
32	Denis Markovtsev	[55]
33	Nick V. Pakoulin	[39] [50]
34	Sergio Palazzo	[1]
35	Olga Petrenko	[66]
36	Yves-Marie Quemener	[31] [32]
37	Vladimir V. Rubanov	[55] [66]
38	Houari A. Sahraoui	[44] [52] [64]
39	Alberto L. Sangiovanni-Vincentelli	[29] [33] [40] [61]
40	Muzammil Shahbaz	[62]
41	Adenilso da Silva Simão	[63]
42	J. Singh	[47]
43	Q. M. Tan	[12] [15] [19]
44	Jan Tretmans	[60]
45	W. P. Tunney	[43]
46	Andreas Ulrich	[20] [26] [35] [37] [38] [45] [53] [59]
47	Margus Veanes	[48] [60]
48	Tiziano Villa	[29] [33] [40] [61]
49	Ming Yu Yao	[7] [10] [11] [13]
50	Nina Yevtushenko	[3] [4] [14] [16] [21] [22] [24] [28] [29] [33] [36] [40] [46] [51] [54] [61]

Colors in the list of coauthors