Distinguishing Tests for Nondeterministic Finite State Machines. - Sergiy Boroday (IWTCS, 1998)

Confirming configurations in EFSM. - Alexandre Petrenko; Sergiy Boroday; Roland Groz (FORTE, 1999)

Test Generation for CEFSM Combining Specification and Fault Coverage. - Sergiy Boroday; Alexandre Petrenko; Roland Groz; Yves-Marie Quemener (TestCom, 2002)

Techniques for Abstracting SDL Specifications. - Sergiy Boroday; Roland Groz; Alexandre Petrenko; Yves-Marie Quemener (SAM, 2002)

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. - Andreas Ulrich; Hesham Hallal; Alexandre Petrenko; Sergiy Boroday (HICSS, 2003)

Formal Modeling of Communication Traces. - Sergiy Boroday; Hesham Hallal; Alexandre Petrenko; Andreas Ulrich (ISTA, 2003)

An Automata-Based Approach to Property Testing in Event Traces. - Hesham Hallal; Sergiy Boroday; Andreas Ulrich; Alexandre Petrenko (TestCom, 2003)

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. - Hesham Hallal; El Hachemi Alikacem; W. P. Tunney; Sergiy Boroday; Alexandre Petrenko (QSIC, 2004)

Confirming Configurations in EFSM Testing. - Alexandre Petrenko; Sergiy Boroday; Roland Groz (IEEE Trans. Software Eng., 2004)

Properties and scopes in web model checking. - May Haydar; Sergiy Boroday; Alexandre Petrenko; Houari A. Sahraoui (ASE, 2005)

Dynamic analysis of java applications for multithreaded antipatterns. - Sergiy Boroday; Alexandre Petrenko; J. Singh; Hesham Hallal (ACM SIGSOFT Softw. Eng. Notes, 2005)

A formal approach to property testing in causally consistent distributed traces. - Hesham Hallal; Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (Formal Aspects Comput., 2006)

Formal Verification of Business Workflows and Role Based Access Control Systems. - Arnaud Dury; Sergiy Boroday; Alexandre Petrenko; Volkmar Lotz (SECURWARE, 2007)

Can a Model Checker Generate Tests for Non-Deterministic Systems? - Sergiy Boroday; Alexandre Petrenko; Roland Groz (MBT, 2007)

Test suite consistency verification. - Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (EWDTS, 2008)

Using String Distances for Test Case Prioritisation. - Yves Ledru; Alexandre Petrenko; Sergiy Boroday (ASE, 2009)

Implementing MSC Tests with Quiescence Observation. - Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (TestCom/FATES, 2009)

From Scenarios to Test Implementations Via Promela. - Andreas Ulrich; El Hachemi Alikacem; Hesham Hallal; Sergiy Boroday (ICTSS, 2010)

Prioritizing test cases with string distances. - Yves Ledru; Alexandre Petrenko; Sergiy Boroday; Nadine Mandran (Autom. Softw. Eng., 2012)

A formal approach for run-time verification of web applications using scope-extended LTL. - May Haydar; Alexandre Petrenko; Sergiy Boroday; Houari A. Sahraoui (Inf. Softw. Technol., 2013)

Web-based processing of physiological noise in fMRI: addition of the PhysIO toolbox to CBRAIN. - Darius Valevicius; Natacha Beck; Lars Kasper; Sergiy Boroday; Johanna Bayer; Pierre Rioux; Bryan Caron; Reza Adalat; Alan C. Evans; Najmeh Khalili-Mahani (Frontiers Neuroinformatics, 2023)