Search the dblp DataBase

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]