dblp.uni-trier.dewww.uni-trier.de

Sergiy Boroday

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
14EEArnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz: Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210
13EESergiy Boroday, Alexandre Petrenko, Roland Groz: Can a Model Checker Generate Tests for Non-Deterministic Systems? Electr. Notes Theor. Comput. Sci. 190(2): 3-19 (2007)
2006
12EEHesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput. 18(1): 63-83 (2006)
2005
11EEMay Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404
10EESergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal: Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
2004
9EEHesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko: Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC 2004: 258-267
8EEAlexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30(1): 29-42 (2004)
2003
7EEAndreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337
6 Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108
5EEHesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196
2002
4EESergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener: Techniques for Abstracting SDL Specifications. SAM 2002: 141-157
3 Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener: Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom 2002: 355-372
1999
2 Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming configurations in EFSM. FORTE 1999: 5-24
1998
1 Sergiy Boroday: Distinguishing Tests for Nondeterministic Finite State Machines. IWTCS 1998: 101-108

Coauthor Index

1E. Alikacem [9]
2Arnaud Dury [14]
3Roland Groz [2] [3] [4] [8] [13]
4Hesham Hallal [5] [6] [7] [9] [10] [12]
5May Haydar [11]
6Volkmar Lotz [14]
7Alexandre Petrenko [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
8Yves-Marie Quemener [3] [4]
9Houari A. Sahraoui [11]
10J. Singh [10]
11W. P. Tunney [9]
12Andreas Ulrich [5] [6] [7] [12]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)