|
Search the dblp DataBase
Mercedes G. Merayo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Analysis of the OLSR Protocol by Using Formal Passive Testing. [Citation Graph (, )][DBLP]
Passive Testing of Timed Systems. [Citation Graph (, )][DBLP]
Controllable Test Cases for the Distributed Test Architecture. [Citation Graph (, )][DBLP]
A Statistical Approach to Test Stochastic and Probabilistic Systems. [Citation Graph (, )][DBLP]
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. [Citation Graph (, )][DBLP]
Implementation Relations for the Distributed Test Architecture. [Citation Graph (, )][DBLP]
THOTL: A Timed Extension of HOTL. [Citation Graph (, )][DBLP]
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. [Citation Graph (, )][DBLP]
Extending Stream X-Machines to Specify and Test Systems with Timeouts. [Citation Graph (, )][DBLP]
Testing conformance on Stochastic Stream X-Machines. [Citation Graph (, )][DBLP]
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. [Citation Graph (, )][DBLP]
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. [Citation Graph (, )][DBLP]
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. [Citation Graph (, )][DBLP]
Formal Development of a Complex Information System. [Citation Graph (, )][DBLP]
Passive Testing of Stochastic Timed Systems. [Citation Graph (, )][DBLP]
MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. [Citation Graph (, )][DBLP]
Formal testing from timed finite state machines. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|