The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mercedes G. Merayo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo
    How does the memory work? By timed-arc Petri nets. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:128-135 [Conf]
  2. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Implementation Relations for Stochastic Finite State Machines. [Citation Graph (0, 0)][DBLP]
    EPEW, 2006, pp:123-137 [Conf]
  3. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:372-387 [Conf]
  4. Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
    A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:39-54 [Conf]
  5. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    A Brief Introduction to THOTL. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:501-510 [Conf]
  6. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Testing Finite State Machines Presenting Stochastic Time and Timeouts. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:97-111 [Conf]
  7. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Generation of optimal finite test suites for timed systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:149-158 [Conf]
  8. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Formal Testing of Systems Presenting Soft and Hard Deadlines. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:160-174 [Conf]
  9. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Formal Specification of Multi-agent Systems by Using EUSMs. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:318-333 [Conf]

  10. Analysis of the OLSR Protocol by Using Formal Passive Testing. [Citation Graph (, )][DBLP]


  11. Passive Testing of Timed Systems. [Citation Graph (, )][DBLP]


  12. Controllable Test Cases for the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  13. A Statistical Approach to Test Stochastic and Probabilistic Systems. [Citation Graph (, )][DBLP]


  14. Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. [Citation Graph (, )][DBLP]


  15. Implementation Relations for the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  16. THOTL: A Timed Extension of HOTL. [Citation Graph (, )][DBLP]


  17. Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. [Citation Graph (, )][DBLP]


  18. Extending Stream X-Machines to Specify and Test Systems with Timeouts. [Citation Graph (, )][DBLP]


  19. Testing conformance on Stochastic Stream X-Machines. [Citation Graph (, )][DBLP]


  20. Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. [Citation Graph (, )][DBLP]


  21. Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. [Citation Graph (, )][DBLP]


  22. Derivation of Tests from Timed Specifications According to Different Coverage Criteria. [Citation Graph (, )][DBLP]


  23. Formal Development of a Complex Information System. [Citation Graph (, )][DBLP]


  24. Passive Testing of Stochastic Timed Systems. [Citation Graph (, )][DBLP]


  25. MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. [Citation Graph (, )][DBLP]


  26. Formal testing from timed finite state machines. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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