Menu

Victor Khomenko

9 published titles

Detecting state coding conflicts in STGs using integer programming

1 edition

  • University of Newcastle upon Tyne
  • 2002
  • Details

Detecting state coding in STG unfoldings using SAT

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2003
  • Details

Logic synthesis avoiding state space explosion

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2003
  • Details

A practical approach to verification of mobile systems using net unfoldings

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2008
  • Details

A new type of behaviour-preserving transition insertions in unfolding prefixes

1 edition

  • Newcastle University, Computing Science
  • 2010
  • Details

An algorithm for direct construction of complete merged processes

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Logic decomposition of asynchronous circuits using STG unfoldings

1 edition

  • Computing Science, Newcastle University
  • 2010
  • Details

Predictability verification with parallel LTL-X model checking based on petri net unfoldings

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

A polynomial translation of pi-calculus (FCP) to safe petri nets

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2012
  • Details

obnb.uk is a Good Stuff website.