Sergiy Boroday

According to our database, Sergiy Boroday authored at least 21 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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, March, 2023

2013

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

2012

Prioritizing test cases with string distances.

Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran

Autom. Softw. Eng., 2012

2010

From Scenarios to Test Implementations Via Promela.

Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday

Proceedings of the Testing Software and Systems, 2010

2009

Implementing MSC Tests with Quiescence Observation.

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Proceedings of the Testing of Software and Communication Systems, 2009

Using String Distances for Test Case Prioritisation.

Yves Ledru, Alexandre Petrenko, Sergiy Boroday

Proceedings of the ASE 2009, 2009

2008

Test suite consistency verification.

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Proceedings of the 2008 East-West Design & Test Symposium, 2008

2007

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Sergiy Boroday, Alexandre Petrenko, Roland Groz

Proceedings of the Third Workshop on Model Based Testing, 2007

Formal Verification of Business Workflows and Role Based Access Control Systems.

Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz

Proceedings of the First International Conference on Emerging Security Information, 2007

2006

A formal approach to property testing in causally consistent distributed traces.

Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Formal Aspects Comput., 2006

2005

Dynamic analysis of java applications for multithreaded antipatterns.

Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal

ACM SIGSOFT Softw. Eng. Notes, 2005

Properties and scopes in web model checking.

May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Confirming Configurations in EFSM Testing.

Alexandre Petrenko, Sergiy Boroday, Roland Groz

IEEE Trans. Software Eng., 2004

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software.

Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003

An Automata-Based Approach to Property Testing in Event Traces.

Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Formal Modeling of Communication Traces.

Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich

Proceedings of the Information Systems Technology and its Applications, 2003

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.

Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

Techniques for Abstracting SDL Specifications.

Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Test Generation for CEFSM Combining Specification and Fault Coverage.

Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

1999

Confirming configurations in EFSM.

Alexandre Petrenko, Sergiy Boroday, Roland Groz

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

Distinguishing Tests for Nondeterministic Finite State Machines.

Sergiy Boroday

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998