Publication | Date of Publication | Type |
---|
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time | 2024-03-14 | Paper |
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 |