The following pages link to Ismael Rodríguez (Q470033):
Displaying 38 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- (Q1649967) (redirect page) (← links)
- Optimal timer-based caching policies for general arrival processes (Q1649968) (← links)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Formal testing from timed finite state machines (Q2469174) (← links)
- Formal specification of multi-agent e-barter systems (Q2485279) (← links)
- (Q3045843) (← links)
- (Q3046000) (← links)
- (Q3075204) (← links)
- A General Testability Theory (Q3184700) (← links)
- A Formal Approach to Heuristically Test Restorable Systems (Q3393417) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (Q3434651) (← links)
- Customized Testing for Probabilistic Systems (Q3434656) (← links)
- Formal Testing of Systems Presenting Soft and Hard Deadlines (Q3508523) (← links)
- Formal Specification of Multi-agent Systems by Using EUSMs (Q3508535) (← links)
- A Formal Methodology to Test Complex Heterogeneous Systems (Q3510809) (← links)
- A Brief Introduction to $\mathcal{THOTL}$ (Q3510819) (← links)
- SPAMR: Extending PAMR with Stochastic Time (Q3522089) (← links)
- Testing Finite State Machines Presenting Stochastic Time and Timeouts (Q3522091) (← links)
- Using River Formation Dynamics to Design Heuristic Algorithms (Q3603413) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
- Implementation Relations for Stochastic Finite State Machines (Q3613674) (← links)
- Assessing the Expressivity of Formal Specification Languages (Q3623936) (← links)
- (Q4409862) (← links)
- (Q4422061) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs (Q4589595) (← links)
- Comparing Problem Solving Strategies for NP-hard Optimization Problems (Q5325974) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394048) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394049) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394050) (← links)
- Formal Approaches to Software Testing (Q5710652) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900959) (← links)
