Sergiy Boroday

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 1

Top Topics

Information Processing

Top Venues

Frontiers Neuroinformatics

Publications

Darius Valevicius, Natacha Beck, Lars Kasper, Sergiy Boroday, Johanna Bayer, Pierre Rioux, Bryan Caron, Reza Adalat, Alan C. Evans, Najmeh Khalili-Mahani
Web-based processing of physiological noise in fMRI: addition of the PhysIO toolbox to CBRAIN. Frontiers Neuroinformatics 17 (2023)
May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui
A formal approach for run-time verification of web applications using scope-extended LTL. Inf. Softw. Technol. 55 (12) (2013)
Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran
Prioritizing test cases with string distances. Autom. Softw. Eng. 19 (1) (2012)
Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday
From Scenarios to Test Implementations Via Promela. ICTSS (2010)
Yves Ledru, Alexandre Petrenko, Sergiy Boroday
Using String Distances for Test Case Prioritisation. ASE (2009)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Implementing MSC Tests with Quiescence Observation. TestCom/FATES (2009)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Test suite consistency verification. EWDTS (2008)
Sergiy Boroday, Alexandre Petrenko, Roland Groz
Can a Model Checker Generate Tests for Non-Deterministic Systems? Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz
Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE (2007)
Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18 (1) (2006)
Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal
Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui
Properties and scopes in web model checking. ASE (2005)
Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC (2004)
Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30 (1) (2004)
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
An Automata-Based Approach to Property Testing in Event Traces. TestCom (2003)
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
Formal Modeling of Communication Traces. ISTA (2003)
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS (2003)
Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
Techniques for Abstracting SDL Specifications. SAM (2002)
Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom (2002)
Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming configurations in EFSM. FORTE (1999)
Sergiy Boroday
Distinguishing Tests for Nondeterministic Finite State Machines. IWTCS (1998)