Victor Khomenko
,
School of Computing
,
University of Newcastle
Projects
Asynchronous design for Analogue electronics (A4A)
UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)
VERification-Driven Asynchronous Design (VERDAD)
Design And Verification of Asynchronous Circuits (DAVAC)
Rigorous Open Development Environment for Complex Systems (RODIN)
Model Visualisation for Asynchronous Circuit Design (MOVIE)
Behavioural Synthesis of Systems with Heterogeneous Timing (BESST)
Parallel Model Checking
Victor.Khomenko@ncl.ac.uk