The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexandre Petrenko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
    Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:11154-11155 [Conf]
  2. Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov
    Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:450-461 [Conf]
  3. Alexandre Petrenko
    Specification Based Testing: Towards Practice. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:287-300 [Conf]
  4. Alexandre Petrenko, Nina Yevtushenko
    Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:118-133 [Conf]
  5. Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter
    KVEST: Automated Generation of Test Suites from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:608-621 [Conf]
  6. May Haydar, Alexandre Petrenko, Houari A. Sahraoui
    Formal Verification of Web Applications Modeled by Communicating Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:115-132 [Conf]
  7. Alexandre Petrenko, Sergiy Boroday, Roland Groz
    Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:5-24 [Conf]
  8. Alexandre Petrenko, Nina Yevtushenko
    On Test Derivation from Partial Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:85-102 [Conf]
  9. Alexandre Petrenko, Nina Yevtushenko
    Solving Asynchronous Equations. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:231-247 [Conf]
  10. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
    Fault Models for Testing in Context. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:163-178 [Conf]
  11. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:399-414 [Conf]
  12. Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
    A Framework for Conformance Testing of Systems Communicating through Rendezvous. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:230-238 [Conf]
  13. 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]
  14. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
    Solution of Parallel Language Equations for Logic Synthesis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2001, pp:103-0 [Conf]
  15. Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko
    A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. [Citation Graph (0, 0)][DBLP]
    ICCC, 1986, pp:508-513 [Conf]
  16. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    Fault Coverage Analysis in Respect to an FSM Specification. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1994, pp:768-775 [Conf]
  17. Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko
    Practical Approach to Specification and Conformance Testing of Distributed Network Applications. [Citation Graph (0, 0)][DBLP]
    ISAS, 2005, pp:68-83 [Conf]
  18. Jiale Huo, Alexandre Petrenko
    Covering Transitions of Concurrent Systems through Queues. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2005, pp:335-345 [Conf]
  19. Gregor von Bochmann, Alexandre Petrenko
    Protocol Testing: Review of Methods and Relevance for Software Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:109-124 [Conf]
  20. Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
    Formal Modeling of Communication Traces. [Citation Graph (0, 0)][DBLP]
    ISTA, 2003, pp:97-108 [Conf]
  21. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
    Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. [Citation Graph (0, 0)][DBLP]
    IWLS, 2002, pp:45-50 [Conf]
  22. 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]
  23. Alexandre Petrenko
    Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:196-205 [Conf]
  24. Alexandre Petrenko, Nina Yevtushenko
    Test Suite Generation from a FSM with a Given Type of Implementation Errors. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:229-243 [Conf]
  25. Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
    Modeling basic LOTOS by FSMs for conformance testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:137-152 [Conf]
  26. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    Conformance Testing of Protocol Machines without Reset. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:241-256 [Conf]
  27. Jiale Huo, Alexandre Petrenko
    On Testing Partially Specified IOTS through Lossless Queues. [Citation Graph (0, 0)][DBLP]
    TestCom, 2004, pp:76-94 [Conf]
  28. Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
    FSM Test Translation Through Context. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:245-258 [Conf]
  29. 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]
  30. Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
    Multiplexing of Partially Ordered Events. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:97-110 [Conf]
  31. 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]
  32. I. Koufareva, Alexandre Petrenko, Nina Yevtushenko
    Test Generation Driven by User-defined Fault Models. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:215-236 [Conf]
  33. Alexandre Petrenko
    Checking Experiments with Protocol Machines. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1991, pp:83-94 [Conf]
  34. Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli
    Conformance Relations and Test Derivation. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:157-178 [Conf]
  35. Alexandre Petrenko, Rachida Dssouli, Hartmut König
    On Evaluation of Testability of Protocol Structures. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:111-124 [Conf]
  36. Alexandre Petrenko, Andreas Ulrich
    Verification and Testing of Concurrent Systems with Action Races. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:261-280 [Conf]
  37. Alexandre Petrenko, Andreas Ulrich, V. Chapenko
    Using Partial-Orders for Detecting Faults in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:175-190 [Conf]
  38. Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
    Testing Transition Systems with Input and Output Testers. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:129-145 [Conf]
  39. Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
    Nondeterministic State Machines in Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:363-378 [Conf]
  40. Q. M. Tan, Alexandre Petrenko
    Test Generation for Specifications Modeled by Input/Output Automata. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:83-100 [Conf]
  41. 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]
  42. 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]
  43. Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga
    Automating the process of test derivation from SDL specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:261-276 [Conf]
  44. Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao
    On Fault Coverage of Tests for Finite State Specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:81-106 [Journal]
  45. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
    Testing in context: framework and test derivation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1236-1249 [Journal]
  46. 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]
  47. Victor V. Kuliamin, Alexandre Petrenko, Alexander Kossatchev, Igor B. Burdonov
    The UniTesK Approach to Designing Test Suites. [Citation Graph (0, 0)][DBLP]
    Programming and Computer Software, 2003, v:29, n:6, pp:310-322 [Journal]
  48. Alexandre Petrenko
    Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. [Citation Graph (0, 0)][DBLP]
    Programming and Computer Software, 2003, v:29, n:6, pp:296-297 [Journal]
  49. Sergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexandre Petrenko
    Test Generation for Compilers and Other Formal Text Processors. [Citation Graph (0, 0)][DBLP]
    Programming and Computer Software, 2003, v:29, n:2, pp:104-111 [Journal]
  50. Alexandre Petrenko, Nina Yevtushenko
    Testing from Partial Deterministic FSM Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2005, v:54, n:9, pp:1154-1165 [Journal]
  51. Alexandre Petrenko
    Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:3, pp:329-331 [Journal]
  52. Gang Luo, Gregor von Bochmann, Alexandre Petrenko
    Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:2, pp:149-162 [Journal]
  53. 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]
  54. Andreas Ulrich, Alexandre Petrenko
    Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2007, pp:184-193 [Conf]
  55. Alexey Grinevich, Alexey Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir Rubanov
    Formal Methods in Industrial Software Standards Enforcement. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:456-466 [Conf]
  56. Alexandre Petrenko
    Why Automata Models Are Sexy for Testers? (Invited Talk). [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:26- [Conf]
  57. 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]

  58. Establishing Linux Driver Verification Process. [Citation Graph (, )][DBLP]


  59. Specification Patterns for Formal Web Verification. [Citation Graph (, )][DBLP]


  60. Inferring Behavioural Models from Traces of Business Applications. [Citation Graph (, )][DBLP]


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


  62. Generating Checking Sequences for Partial Reduced Finite State Machines. [Citation Graph (, )][DBLP]


  63. Modular System Verification by Inference, Testing and Reachability Analysis. [Citation Graph (, )][DBLP]


  64. Generating Reduced Tests for FSMs with Extra States. [Citation Graph (, )][DBLP]


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


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


  67. Creating Open Educational Environment based on Open-source Software Projects. [Citation Graph (, )][DBLP]


  68. Web-FIM: Automated Framework for the Inference of Business Software Models. [Citation Graph (, )][DBLP]


Search in 0.262secs, Finished in 0.264secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002