Alexandre Petrenko - Publications antérieures
(1992-1998)

Livres
Articles
Actes de conférence

Livres

A. Petrenko and N. Yevtushenko (Eds.), "Testing of Communicating Systems", In Proceedings of the 11th IFIP International Workshop on Testing of Communicating Systems (IWTCS'98), Kluwer, 1998.

Articles

A. Petrenko, A. Ulrich, V. P. Chapenko, and E. A. Timokhovich, "Partial-order Model for Testing of Concurrent Systems", Automatic Control and Computer Sciences, Allerton Press Inc., USA, No. 6, 1998.
I. Kufareva, N. Yevtushenko, and A. Petrenko, "Design of Tests for Nondeterministic Machines with Respect to Reduction", Automatic Control and Computer Sciences, Allerton Press Inc., USA, No. 3, 1998.
A. Petrenko, "Comments on "A Reduced Test Suite for Protocol Conformance Testing", ACM Transactions on Software Engineering and Methodology, July 1997.
A. Petrenko, N. Yevtushenko, G. v. Bochmann, R. Dssouli, "Testing in Context: Framework and Test Derivation", a special issue on Protocol Engineering of Computer Communications, 19, 1996.
A. Petrenko, G. v. Bochmann, and M. Yao, "On Fault Coverage of Tests for Finite State Specifications", Computer Networks and ISDN Systems (special issue on Protocol Testing), 29, December 1996.
V. Trenkaev, N. Yevtushenko, A. Petrenko, "A Method of Testing Automata Networks Based on a Testable Component Behavior", Automatic Control and Computer Sciences, Allerton Press, Inc., USA, No. 2, 1996.
G. Luo, G. v. Bochmann, A. Petrenko, "Test Selection Based On Communicating Nondeterministic Finite State Machines Using a Generalized Wp-Method", IEEE Transactions on Software Engineering, February 1994.
A. Lebedev, N. Yevtushenko, A. Petrenko, "Test Suite Design for a Component in an Automata Composition", Automation and Remote Control, Moscow, Russia, No. 8, 1994.

Actes de conférence

A. Petrenko, "Formal Methods for Design and testing of Composite Reactive Systems", the Proceedings of the 4th International conference on Information Systems Analysis and Synthesis, in the context of the World Multiconference on Systemics, Cybernetics and Informatics, SCI'98, USA, 1998.
N. Yevtushenko, I. Kufareva, A. Petrenko, " Recognizing finite-state-machine properties " In Proceedings of the Third Siberian Congress on Industrial and Applied Mathematics (INPRIM-98). Novosibirsk, June 1998.
A. Petrenko, N. Yevtushenko, " Solving Asynchronous Equations " In Proceedings of FORTE'98, the Eleventh IFIP International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols. France, November 1998.
A. Petrenko, A. Ulrich, V. Chapenko, " Using Partial-Orders for Detecting Faults in Concurrent Systems " In Proceedings of the 11th International Workshop on Testing of Communicating Systems (IWTCS'98). Russia, September 1998.
Q.M. Tan, A. Petrenko, " Test generation for specifications modeled by input/output automata " In Proceedings of the 11th International Workshop on Testing of Communicating Systems (IWTCS'98). Russia, September 1998.
A. Petrenko, "Some Recent Developments on Formal Methods for Test Generation from State-Oriented Specifications", the Proceedings of the XXIV Congress of the Brazilian Computer Society, SEMISH, Brasilia, Brazil, 1997.
Q. Tan, A. Petrenko, and G. v. Bochmann, "Checking Experiments with Labeled Transition Systems for Trace Equivalence", the Proceedings of the 10th International Workshop on Testing of Communicating Systems (IWTCS'97), Korea, 1997.
A. Petrenko, N. Yevtushenko, "Fault Detection in Embedded Components", the Proceedings of 10th International Workshop on Testing of Communicating Systems (IWTCS'97), Korea, 1997.
G. v. Bochmann, A. Petrenko, O. Bellal, and S. Maguiraga, "Automating the Process of Test Derivation from SDL Specifications", the Proceedings of 8th SDL FORUM, Evry, France, 1997.
Q. M. Tan, A. Petrenko, and G. v. Bochmann, "A Framework for Conformance Testing of Systems Communicating through Rendezvous", the Proceedings of the 26th IEEE International Symposium on Fault-Tolerant Computing (FTCS'26), Japan, 1996.
A. Petrenko, N. Yevtushenko, and G. v. Bochmann, "Fault Models for Testing in Context", the Proceedings of IFIP Joint International Conference on Formal Description Techniques (IX) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (XVI), Germany, 1996.
V. Trenkaev, N. Yevtushenko, and A. Petrenko, "A Testing Strategy for Interacting Finite State Machines", the Proceedings of the 5th Biennial Conference on Electronics and Microsystems Technology, Baltic Electronic Conference (BEC'96), Estonia, 1996.
A. Petrenko, N. Yevtushenko, and G. v. Bochmann, "Testing Deterministic Implementations from Nondeterministic FSM Specifications", the IFIP Ninth International Workshop on Testing of Communicating Systems (IWTCS'96), Germany, 1996.
[ Full text]
Q. M. Tan, A. Petrenko, and G. v. Bochmann, "A Test Generation Tool for Specifications in the Form of State Machines", International Communications Conference ICC'96, Advanced Tools and Technologies for Developing High Integrity Software Systems, USA, 1996.
R. Dssouli, K. Karoui, A. Petrenko, and O. Rafiq, "Towards Testable Communication Software", the IFIP Eighth International Workshop on Protocol Test Systems, France, 1995.
A. Petrenko, T. Higashino, and T. Kaji, "Handling Redundant and Additional States in Protocol Testing", the IFIP Eighth International Workshop on Protocol Test Systems, France, 1995.
N. Yevtushenko, A. Petrenko, R. Dssouli, K. Karoui, and S. Prokopenko, "On the Design for Testability of Communication Protocols", the IFIP Eighth International Workshop on Protocol Test Systems, France, 1995.
M. Yao, A. Petrenko, G. v. Bochmann, "A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing", Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques, FORTE'94, Switzerland, 1995.
Q. M. Tan, A. Petrenko, G. v. Bochmann, "Modeling Basic LOTOS by FSMs for Conformance Testing", the 15th International IFIP Symposium on Protocol Specification, Testing and Verification, Poland, 1995.
G. v. Bochmann, A. Petrenko, M. Yao, "Fault Coverage of Tests Based on Finite State Models", the IFIP Seventh International Workshop on Protocol Test Systems, Japan, 1994.
A. Petrenko, N. Yevtushenko, R. Dssouli, "Testing Strategies for Communicating FSMs", the IFIP Seventh International Workshop on Protocol Test Systems, Japan, 1994.
G. Luo, A. Petrenko, G. v. Bochmann, "Selecting Test Sequences for Partially Specified Nondeterministic Finite State Machines", the IFIP Seventh International Workshop on Protocol Test Systems, Japan, 1994.
G. v. Bochmann, A. Petrenko, "Protocol Testing: Review of Methods and Relevance for Software Testing", ACM International Symposium on Software Testing and Analysis (ISSTA'94), USA, 1994.
M. Yao, A. Petrenko, G. v. Bochmann, "Fault Coverage Analysis in Respect to an FSM Specification", IEEE INFOCOM'94, Canada, 1994.
A. Petrenko, G. v. Bochmann and R. Dssouli, "Conformance Relations and Test Derivation", the IFIP Sixth International Workshop on Protocol Test Systems, France, 1993.
A. Petrenko, R. Dssouli and H. Konig, "On Evaluation of Testability of Protocol Structures", the IFIP Sixth International Workshop on Protocol Test Systems, France, 1993.
A. Petrenko, N. Yevtushenko, A. Lebedev, A. Das, "Nondeterministic State Machines in Protocol Conformance Testing", the IFIP Sixth International Workshop on Protocol Test Systems, France, 1993.
M. Yao, A. Petrenko, G. v. Bochmann, "Conformance Testing of Protocol Machines without Reset", Proceedings of the 13th International IFIP Symposium on Protocol Specification, Testing and Verification, Belgium, 1993.
A. Petrenko, N. Yevtushenko, "Test Suite Generation for a FSM with a Given Type of Implementation Errors", Proceedings of the IFIP 12th International Symposium on Protocol Specification, Testing, and Verification, USA, 1992.
A. Petrenko, "Checking Experiments with Protocol Machines", the IFIP Fourth International Workshop on Protocol Test Systems, the Netherlands, 1992.