The SCEAS System
Navigation Menu

Search the dblp DataBase


Sergiy Boroday: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexandre Petrenko, Sergiy Boroday, Roland Groz
    Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:5-24 [Conf]
  2. Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
    Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:337- [Conf]
  3. Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
    Formal Modeling of Communication Traces. [Citation Graph (0, 0)][DBLP]
    ISTA, 2003, pp:97-108 [Conf]
  4. May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui
    Properties and scopes in web model checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:400-404 [Conf]
  5. Sergiy Boroday
    Distinguishing Tests for Nondeterministic Finite State Machines. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:101-108 [Conf]
  6. Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
    Test Generation for CEFSM Combining Specification and Fault Coverage. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:355-372 [Conf]
  7. Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
    An Automata-Based Approach to Property Testing in Event Traces. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:180-196 [Conf]
  8. Hesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko
    Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:258-267 [Conf]
  9. Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
    Techniques for Abstracting SDL Specifications. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:141-157 [Conf]
  10. Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
    A formal approach to property testing in causally consistent distributed traces. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:63-83 [Journal]
  11. Alexandre Petrenko, Sergiy Boroday, Roland Groz
    Confirming Configurations in EFSM Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:1, pp:29-42 [Journal]
  12. Sergiy Boroday, Alexandre Petrenko, Roland Groz
    Can a Model Checker Generate Tests for Non-Deterministic Systems? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:3-19 [Journal]

  13. Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP]

  14. Implementing MSC Tests with Quiescence Observation. [Citation Graph (, )][DBLP]

  15. Formal Verification of Business Workflows and Role Based Access Control Systems. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002