| 2019 | ICST | Using Imprecise Test Oracles Modelled by FSM. | Omer Nguena Timo, Alexandre Petrenko, S. Ramesh |
| 2019 | QRS | Learning and Adaptive Testing of Nondeterministic State Machines. | Alexandre Petrenko, Florent Avellaneda |
| 2019 | SEFM | Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. | Florent Avellaneda, Alexandre Petrenko |
| 2019 | TAP | Learning Communicating State Machines. | Alexandre Petrenko, Florent Avellaneda |
| 2018 | FM | FSM Inference from Long Traces. | Florent Avellaneda, Alexandre Petrenko |
| 2018 | ICTAC | Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. | Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh |
| 2018 | MODELS | Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. | Alexandre Petrenko |
| 2016 | FORTE | Multiple Mutation Testing from FSM. | Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh |
| 2016 | ICST | Checking Experiments for Symbolic Input/Output Finite State Machines. | Alexandre Petrenko |
| 2015 | DAC | Model-based testing of automotive software: some challenges and solutions. | Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh |
| 2014 | IRI | Reachability in hierarchical machines. | Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh |
| 2013 | ICST | A Method and Tool for Test Optimization for Automotive Controllers. | Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik |
| 2012 | ICST | Generating Checking Sequences for Nondeterministic Finite State Machines. | Alexandre Petrenko, Adenilso da Silva Simo, Nina Yevtushenko |
| 2009 | CSEDU | Creating Open Educational Environment based on Open-source Software Projects. | Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko |
| 2009 | ICST | Checking Sequence Generation Using State Distinguishing Subsequences. | Adenilso da Silva Simo, Alexandre Petrenko |
| 2009 | ICWS | Inferring Behavioural Models from Traces of Business Applications. | Arnaud Dury, Hesham Hallal, Alexandre Petrenko |
| 2009 | SERVICES | Web-FIM: Automated Framework for the Inference of Business Software Models. | Hesham Hallal, Arnaud Dury, Alexandre Petrenko |
| 2008 | ICWE | Specification Patterns for Formal Web Verification. | May Haydar, Houari A. Sahraoui, Alexandre Petrenko |
| 2005 | ISSRE | Covering Transitions of Concurrent Systems through Queues. | Jiale Huo, Alexandre Petrenko |
| 2004 | FORTE | Formal Verification of Web Applications Modeled by Communicating Automata. | May Haydar, Alexandre Petrenko, Houari A. Sahraoui |
| 2003 | DATE | Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2001 | ICCAD | Solution of Parallel Language Equations for Logic Synthesis. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2000 | FORTE | On Test Derivation from Partial Specifications. | Alexandre Petrenko, Nina Yevtushenko |
| 1999 | FORTE | Confirming configurations in EFSM. | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
| 1998 | FORTE | Solving Asynchronous Equations. | Alexandre Petrenko, Nina Yevtushenko |
| 1996 | FORTE | Fault Models for Testing in Context. | Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann |
| 1994 | FORTE | A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
| 1994 | INFOCOM | Fault Coverage Analysis in Respect to an FSM Specification. | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
| 1994 | ISSTA | Protocol Testing: Review of Methods and Relevance for Software Testing. | Gregor von Bochmann, Alexandre Petrenko |
| 1986 | ICCC | A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. | Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko |