Hasan Ural

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Correction to "Reduced Length Checking Sequences" [Sep 02 93-99]	2017-08-08	Paper
Reduced checking sequences using unreliable reset	2015-04-02	Paper
Checking sequences for distributed test architectures	2013-06-28	Paper
Lower bounds on lengths of checking sequences	2010-12-17	Paper
Dependence Analysis for Regression Test Suite Selection and Augmentation	2010-10-06	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Overcoming observability problems in distributed test architectures	2010-01-18	Paper
Minimizing the number of inputs while applying adaptive test cases	2009-12-04	Paper
Distributed testing without encountering controllability and observability problems	2009-07-09	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Overcoming controllability problems with fewest channels between testers	2009-04-17	Paper
Minimizing Coordination Channels in Distributed Testing	2009-03-11	Paper
Recovering Repetitive Sub-functions from Observations	2009-03-10	Paper
Detecting Observability Problems in Distributed Testing	2007-05-02	Paper
Reducing the Lengths of Checking Sequences by Overlapping	2007-05-02	Paper
On minimizing the lengths of checking sequences	2007-01-09	Paper
Reduced length checking sequences	2007-01-09	Paper
Reducing the cost of applying adaptive test cases	2006-12-07	Paper
Constructing checking sequences for distributed testing	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Distributed delay constrained multicast routing algorithm with efficient fault recovery	2006-03-24	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4472251	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4437060	2003-12-07	Paper
Lower bounds for the length of test sequences using UIOs	1995-06-12	Paper
Exact solutions for the construction of optimal length test sequences	1994-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4016536	1993-01-16	Paper
Three tutorial papers on protocol specification, validation, and design	1993-01-16	Paper
The synchronization problem in protocol testing and its complexity	1992-06-28	Paper
A structural test selection criterion	1988-01-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: Hasan Ural