The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Florentin Ipate: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu
    Testing Using X-Machine Translations. [Citation Graph (0, 0)][DBLP]
    Words, Semigroups, and Transductions, 2001, pp:211-229 [Conf]
  2. Florentin Ipate, Mike Holcombe
    Testing Non-Deterministic X-Machines. [Citation Graph (0, 0)][DBLP]
    Grammars and Automata for String Processing, 2003, pp:151-162 [Conf]
  3. Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
    Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. [Citation Graph (0, 0)][DBLP]
    ECAL, 2001, pp:296-305 [Conf]
  4. Florentin Ipate
    Bounded Sequence Testing from Non-deterministic Finite State Machines. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:55-70 [Conf]
  5. Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
    Eilenberg P Systems. [Citation Graph (0, 0)][DBLP]
    WMC-CdeA, 2002, pp:43-57 [Conf]
  6. Mike Holcombe, Florentin Ipate
    Complete Test Generation for Extreme Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2004, pp:274-277 [Conf]
  7. Florentin Ipate, Mike Holcombe
    Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    XP, 2005, pp:214-217 [Conf]
  8. Florentin Ipate, Marian Gheorghe, Mike Holcombe
    Testing (Stream) X-machines. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2003, v:14, n:3, pp:217-237 [Journal]
  9. Florentin Ipate, Mike Holcombe
    An Integrated Refinement and Testing Method for Stream X-machines. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2002, v:13, n:2, pp:67-91 [Journal]
  10. Florentin Ipate
    On the Minimality of Stream X-machines. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2003, v:46, n:3, pp:295-306 [Journal]
  11. Florentin Ipate
    On the Minimality of Finite Automata and Stream X-machines for Finite Languages. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:2, pp:157-167 [Journal]
  12. Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak
    Testing methods for X-machines: a review. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:3-30 [Journal]
  13. Florentin Ipate
    Complete deterministic stream X-machine testing. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:4, pp:374-386 [Journal]
  14. Florentin Ipate, Mike Holcombe
    Generating Test Sets from Non-Deterministic Stream X-Machines. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:6, pp:443-458 [Journal]
  15. Florentin Ipate, Mike Holcombe
    Testing Conditions for Communicating Stream X-machine Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:6, pp:431-446 [Journal]
  16. Joaquin Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate
    P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:49, n:1-3, pp:17-33 [Journal]
  17. Florentin Ipate, Tudor Balanescu
    Refinement in Finite State Machine Testing. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:64, n:1-4, pp:191-203 [Journal]
  18. Florentin Ipate, Mike Holcombe
    Complete Testing from a Stream X-Machine Specification. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:64, n:1-4, pp:205-216 [Journal]
  19. Florentin Ipate, Mike Holcombe
    Another Look at Computability. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1996, v:20, n:3, pp:- [Journal]
  20. Florentin Ipate, Mike Holcombe
    Specification and Testing Using Generalised Machines: A Presentation and a Case Study. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1998, v:8, n:2, pp:61-81 [Journal]
  21. Florentin Ipate
    Testing against a non-controllable stream X-machine using state counting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:291-316 [Journal]

  22. Class Testing from State Diagrams Using Stream X-Machine Based Methods. [Citation Graph (, )][DBLP]


  23. A particle swarm optimization based on P systems. [Citation Graph (, )][DBLP]


  24. On Testing P Systems. [Citation Graph (, )][DBLP]


  25. An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. [Citation Graph (, )][DBLP]


  26. Tuning P Systems for Solving the Broadcasting Problem. [Citation Graph (, )][DBLP]


  27. Formal Verification and Testing Based on P Systems. [Citation Graph (, )][DBLP]


  28. Automatic State-Based Test Generation Using Genetic Algorithms. [Citation Graph (, )][DBLP]


  29. A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. [Citation Graph (, )][DBLP]


  30. Functional Search-based Testing from State Machines. [Citation Graph (, )][DBLP]


  31. Automated Model Design Using Genetic Algorithms and Model Checking. [Citation Graph (, )][DBLP]


  32. Test Selection for Hierarchical and Communicating Finite State Machines. [Citation Graph (, )][DBLP]


  33. Testing Non-deterministic Stream X-machine Models and P systems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.307secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002