Boolean Formalisation of the PMC Model for Faulty Units Diagnosis in Regular Multi-Processor Systems. - Miroslav Manik; Elena Gramatová (DDECS, 2008)

Diagnosis of faulty units in regular graphs under the PMC model. - Miroslav Manik; Elena Gramatová (DDECS, 2009)

Efficient diagnostics algorithms for regular computing structures. - Miroslav Manik; Elena Gramatová (DDECS, 2011)