Sergiy Boroday

21 papers A* 2C 2Journal 6Unranked 11

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