Ismael Rodríguez

Available identifiers

zbMath Open rodriguez.ismaelMaRDI QIDQ470033

List of research outcomes

Publication	Date of Publication	Type
Introducing complexity to formal testing	2020-01-31	Paper
Optimal timer-based caching policies for general arrival processes	2018-06-29	Paper
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs	2017-11-10	Paper
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics	2014-11-11	Paper
Comparing Problem Solving Strategies for NP-hard Optimization Problems	2013-07-31	Paper
A centralized and a decentralized method to automatically derive choreography-conforming web service systems	2012-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q3075204	2011-02-10	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
A General Testability Theory	2009-10-22	Paper
A Formal Approach to Heuristically Test Restorable Systems	2009-08-20	Paper
Formally transforming user-model testing problems into implementer-model testing problems and viceversa	2009-07-29	Paper
Assessing the Expressivity of Formal Specification Languages	2009-04-28	Paper
Implementation Relations for Stochastic Finite State Machines	2009-03-12	Paper
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts	2009-03-11	Paper
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems	2009-03-11	Paper
Using River Formation Dynamics to Design Heuristic Algorithms	2009-02-17	Paper
SPAMR: Extending PAMR with Stochastic Time	2008-08-28	Paper
Testing Finite State Machines Presenting Stochastic Time and Timeouts	2008-08-28	Paper
A Formal Methodology to Test Complex Heterogeneous Systems	2008-07-03	Paper
A Brief Introduction to $\mathcal{THOTL}$	2008-07-03	Paper
Formal Testing of Systems Presenting Soft and Hard Deadlines	2008-07-01	Paper
Formal Specification of Multi-agent Systems by Using EUSMs	2008-07-01	Paper
\(\mathcal {HOTL}\): Hypotheses and observations testing logic	2008-02-04	Paper
Formal testing from timed finite state machines	2008-02-04	Paper
Conformance Testing Relations for Timed Systems	2007-05-02	Paper
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses	2007-05-02	Paper
Customized Testing for Probabilistic Systems	2007-05-02	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Specification, testing and implementation relations for symbolic-probabilistic systems	2006-04-28	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
Formal specification of multi-agent e-barter systems	2005-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q3045843	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046000	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4422061	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4409862	2003-07-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ismael Rodríguez