Robert M. Hierons

Available identifiers

zbMath Open hierons.robert-markMaRDI QIDQ347399

List of research outcomes

Publication	Date of Publication	Type
Testing using CSP Models: Time, Inputs, and Outputs	2023-04-05	Paper
Removing redundant refusals: minimal complete test suites for failure trace semantics	2023-03-07	Paper
Inputs and Outputs in CSP	2020-09-11	Paper
Normalised squeeziness and failed error propagation	2019-09-20	Paper
Passive testing with asynchronous communications and timestamps	2018-08-10	Paper
Decidability and Complexity for Quiescent Consistency	2018-04-23	Paper
Decidability and complexity for quiescent consistency and its variations	2017-11-16	Paper
Correction to "Reduced Length Checking Sequences" [Sep 02 93-99]	2017-08-08	Paper
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports	2017-07-27	Paper
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces	2017-07-12	Paper
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets	2017-05-16	Paper
An extended framework for passive asynchronous testing	2016-11-30	Paper
Complexity of Data Dependence Problems for Program Schemas with Concurrency	2015-09-17	Paper
Timed implementation relations for the distributed test architecture	2014-07-11	Paper
Checking sequences for distributed test architectures	2013-06-28	Paper
Using schedulers to test probabilistic distributed systems	2013-03-22	Paper
Implementation relations and test generation for systems with distributed interfaces	2013-02-04	Paper
Overcoming controllability problems in distributed testing from an input output transition system	2013-02-04	Paper
Using Time to Add Order to Distributed Testing	2012-11-08	Paper
The complexity of asynchronous model based testing	2012-10-11	Paper
Squeeziness: an information theoretic measure for avoiding fault masking	2012-07-20	Paper
On the computational complexity of dynamic slicing problems for program schemas	2011-12-08	Paper
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas	2011-12-02	Paper
Reaching and Distinguishing States of Distributed Systems	2011-04-04	Paper
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas	2011-02-09	Paper
Checking experiments for stream X-machines	2010-08-24	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
A trajectory-based strict semantics for program slicing	2010-03-29	Paper
Applying adaptive test cases to nondeterministic implementations	2010-01-18	Paper
Overcoming observability problems in distributed test architectures	2010-01-18	Paper
Canonical finite state machines for distributed systems	2009-12-15	Paper
Using a minimal number of resets when testing from a finite state machine	2009-07-21	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine	2009-05-27	Paper
Overcoming controllability problems with fewest channels between testers	2009-04-17	Paper
Testing from a stochastic timed system with a fault model	2009-02-19	Paper
Controllable Test Cases for the Distributed Test Architecture	2008-11-20	Paper
Reduced length checking sequences	2007-01-09	Paper
Reducing the cost of applying adaptive test cases	2006-12-07	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4451888	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4451890	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4436979	2003-12-04	Paper
Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine	2003-08-07	Paper
Testing conformance to a quasi-non-deterministic stream X-machine	2003-06-26	Paper
The Zero-Free Intervals for Characteristic Polynomials of Matroids	1999-08-23	Paper
Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine	1999-05-31	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: Robert M. Hierons