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