Publications by Dr Victor Khomenko - ePrints

Browsing publications by Dr Victor Khomenko.

Newcastle Authors	Title	Year
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Avoiding Exponential Explosion in Petri Net Models of Control Flows	2022
Dr Alex Chan Dr Danil Sokolov Dr Victor Khomenko Professor David Lloyd Professor Alex Yakovlev et al.	Burst Automaton: Framework for Speed-Independent Synthesis using Burst-Mode Specifications	2022
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows	2022
Dr Alex Chan Dr Danil Sokolov Dr Victor Khomenko Professor David Lloyd Professor Alex Yakovlev et al.	Synthesis of SI Circuits from Burst-Mode Specifications	2021
Dr Danil Sokolov Dr Victor Khomenko Professor Alex Yakovlev	Asynchronous Circuit	2020
Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev Professor David Lloyd	Handshake Verification in Workcraft	2020
Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	Tools and Methods for Selection of Relative Timing Constraints in Asynchronous Circuits, and Asynchronous Circuits Made Thereby	2020
Dr Danil Sokolov Dr Victor Khomenko Dr Andrey Mokhov Vladimir Dubikhin Professor Alex Yakovlev et al.	Automating the Design of Asynchronous Logic Control for AMS Electronics	2019
Dr Victor Khomenko	Complexity of Checking Output-Determinacy in General Petri Nets	2018
Dr Danil Sokolov Dr Victor Khomenko Professor Alex Yakovlev	Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft	2018
Dr Victor Khomenko	Harnessed Causality: Essays dedicated to Maciej Koutny on the occasion of his 60^th birthday	2018
Dr Victor Khomenko	Preface	2018
Dr Andrey Mokhov Dr Danil Sokolov Dr Victor Khomenko Professor Alex Yakovlev	Asynchronous Arbitration Primitives for New Generation of Circuits and Systems	2017
Dr Danil Sokolov Vladimir Dubikhin Dr Victor Khomenko Dr Andrey Mokhov Professor Alex Yakovlev et al.	Benefits of Asynchronous Control for Analog Electronics: Multiphase Buck Case Study	2017
Dr Victor Khomenko Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Formal Design and Verification of an Asynchronous SRAM Controller	2017
Dr Victor Khomenko Dr Danil Sokolov Dr Andrey Mokhov Professor Alex Yakovlev	WAITX: An Arbiter for Non-Persistent Signals	2017
Austin Ogweno Professor Patrick Degenaar Dr Victor Khomenko Professor Alex Yakovlev	A Fixed Window Level Crossing ADC with Activity Dependent Power Dissipation	2016
Dr Danil Sokolov Dr Victor Khomenko Dr Andrey Mokhov Professor Alex Yakovlev	Design and Verification of Speed-Independent Multiphase Buck Controller	2015
Vasileios Germanos Dr Victor Khomenko	Diagnosability under Weak Fairness	2015
Dr Victor Khomenko	Factored Planning: From Automata to Petri Nets	2015
Dr Victor Khomenko Vasileios Germanos	Modelling and Analysis Mobile Systems Using π-calculus (EFCP)	2015
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	Opportunistic Merge Element	2015
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	Opportunistic Merge Element	2015
Dr Andrey Mokhov Dr Victor Khomenko	Algebra of Parameterised Graphs	2014
Vasileios Germanos Dr Victor Khomenko	Diagnosability under Weak Fairness	2014
Dr Victor Khomenko Dr Andrey Mokhov	Direct Construction of Complete Merged Processes	2014
Dr Victor Khomenko	Recent advances in unfolding technique	2014
Dr Victor Khomenko	A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets	2013
Dr Victor Khomenko	Contextual Merged Processes	2013
Dr Victor Khomenko	Factored Planning: From Automata to Petri Nets	2013
Dr Victor Khomenko	A Polynomial Translation of pi-Calculus (FCP) to Safe Petri Nets	2012
Dr Victor Khomenko	A Polynomial Translation of Pi-calculus (FCP) to Safe Petri Nets	2012
Dr Andrey Mokhov Dr Victor Khomenko Arseniy Alekseyev Professor Alex Yakovlev	Algebra of Parametrised Graphs	2012
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	On Dual-Rail Control Logic for Enhanced Circuit Robustness	2012
Dr Victor Khomenko	Poster Session at The Newcastle Connection 2012	2012
Agnes Madalinski Dr Victor Khomenko	Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings	2012
Dr Andrey Mokhov Dr Victor Khomenko Arseniy Alekseyev Professor Alex Yakovlev	Algebra of Parametrised Graphs	2011
Dr Victor Khomenko Dr Andrey Mokhov	An Algorithm for Direct Construction of Complete Merged Processes	2011
Dr Andrey Mokhov Dr Victor Khomenko Professor Alex Yakovlev	Flat Arbiters	2011
Arseniy Alekseyev Dr Victor Khomenko Dr Andrey Mokhov Dominic Wist Professor Alex Yakovlev et al.	Improved parallel composition of labelled Petri nets	2011
Dr Victor Khomenko	Logic Decomposition of Asynchronous Circuits Using STG Unfoldings	2011
Agnes Madalinski Dr Victor Khomenko	Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings	2011
Dr Victor Khomenko	A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes	2010
Dr Victor Khomenko	A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes	2010
Dr Victor Khomenko Dr Andrey Mokhov	An Algorithm for Direct Construction of Complete Merged Processes	2010
Agnes Madalinski Dr Victor Khomenko	Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings	2010
Dr Victor Khomenko	Logic Decomposition of Asynchronous Circuits Using STG Unfoldings	2010
Richard Banks Dr Victor Khomenko Dr Jason Steggles	Modelling Genetic Regulatory Networks	2010
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	On Dual-Rail Control Logic for Enhanced Circuit Robustness	2010
Richard Banks Dr Victor Khomenko Dr Jason Steggles	A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks	2009
Dr Victor Khomenko	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2009
Dr Victor Khomenko	A Usable Reachability Analyser	2009
Dr Victor Khomenko	A Usable Reachability Analyser	2009
Dr Victor Khomenko	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete	2009
Dr Victor Khomenko	Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings	2009
Dr Andrey Mokhov Dr Victor Khomenko Professor Alex Yakovlev	Flat Arbiters	2009
Arseniy Alekseyev Ivan Poliakov Dr Victor Khomenko Professor Alex Yakovlev	Optimisation of Balsa control path using STG resynthesis	2009
Dr Victor Khomenko	STG Decomposition Strategies in Combination with Unfolding	2009
Ivan Poliakov Dr Victor Khomenko Professor Alex Yakovlev	WORKCRAFT - A Framework for Interpreted Graph Models	2009
Richard Banks Dr Victor Khomenko Dr Jason Steggles	A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks	2008
Dr Victor Khomenko	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2008
Dr Victor Khomenko	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2008
Dr Victor Khomenko Serena Meyer	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete	2008
Dr Victor Khomenko	Derivation of Monotonic Covers for standard-C implementation using STG unfoldings	2008
Dr Victor Khomenko	Output-Determinacy and Asynchronous Circuit Synthesis	2008
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings	2008
Dr Victor Khomenko	A Note on the Well-Foundedness of Adequate Orders Used for Truncating Unfoldings	2007
Dr Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes	2007
Dr Victor Khomenko	Combining Decomposition and Unfolding for STG Synthesis	2007
Dr Victor Khomenko	Combining Decomposition and Unfolding for STG Synthesis	2007
Dr Victor Khomenko	Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings	2007
Dr Victor Khomenko	Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings	2007
Dr Victor Khomenko	On the well-foundedness of adequate orders used for construction of complete unfolding prefixes	2007
Dr Victor Khomenko	Output-Determinacy and Asynchronous Circuit Synthesis	2007
Dr Victor Khomenko	Output-Determinacy and Asynchronous Circuit Synthesis	2007
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Verification of bounded Petri nets using integer programming	2007
Dr Victor Khomenko Emeritus Professor Maciej Koutny Dr Apostolos Niaouris	Applying Petri Net Unfoldings for Verification of Mobile Systems	2006
Dr Victor Khomenko Emeritus Professor Maciej Koutny Dr Apostolos Niaouris	Applying Petri Net Unfoldings for Verification of Mobile Systems	2006
Dr Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes	2006
Agnes Madalinski Dr Victor Khomenko Professor Alex Yakovlev	Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings	2006
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT	2006
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Merged processes: A new condensed representation of Petri net behaviour	2006
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev	Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings	2006
Dr Victor Khomenko	Strategies for Optimised STG Decomposition	2006
Dr Victor Khomenko	Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings	2005
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Merged Processes - a New Condensed Representation of Petri Net Behaviour	2005
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Merged processes - A new condensed representation of Petri net behaviour	2005
Dr Alexei Iliasov Dr Victor Khomenko Emeritus Professor Maciej Koutny Emeritus Professor Alexander Romanovsky	On specification and verification of location-based fault tolerant mobile systems	2005
Dr Victor Khomenko	Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT	2005
Dr Victor Khomenko	Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT	2004
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Detecting State Encoding Conflicts in STG Unfoldings Using SAT	2004
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT	2004
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT	2004
Dr Victor Khomenko	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings	2004
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings	2004
Dr Victor Khomenko Professor Alex Yakovlev	Synthesis of asynchronous hardware from Petri nets	2004
Dr Victor Khomenko	Weasel Words, Genetic Algorithms and Coarse Acknowledgements	2004
Dr Victor Khomenko	[PhD Thesis] Model Checking Based on Prefixes of Petri Net Unfoldings	2003
Dr Victor Khomenko	Branching Processes of High-Level Petri Nets	2003
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Branching processes of high-level Petri nets	2003
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Canonical prefixes of Petri net unfoldings	2003
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Detecting State Coding Conflicts in STG Unfoldings Using SAT	2003
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Logic Synthesis Avoiding State Space Explosion	2003
Agnes Madalinski Dr Alex Bystrov Dr Victor Khomenko Professor Alex Yakovlev	Visualisation and resolution of encoding conflicts in asynchronous circuit design	2003
Agnes Madalinski Dr Alex Bystrov Dr Victor Khomenko Professor Alex Yakovlev	Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design	2003
Dr Victor Khomenko	A Rewriting Machine and Optimization of Strategies of Term Rewriting	2002
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Branching Processes of High-Level Petri Nets	2002
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Canonical Prefixes of Petri Net Unfoldings	2002
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Detecting State Coding Conflicts in STG Unfoldings Using SAT	2002
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Detecting State Coding Conflicts in STGs Using Integer Programming	2002
Dr Victor Khomenko	Parallelisation of the Petri Net Unfolding Algorithm	2002
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Parallelisation of the Petri net unfolding algorithm	2002
Emeritus Professor Maciej Koutny Dr Victor Khomenko	An Efficient Algorithm for Unfolding Petri Nets	2001
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Canonical Prefixes of Petri-Net Unfoldings	2001
Dr Victor Khomenko Emeritus Professor Maciej Koutny Professor Alex Yakovlev	Detecting State Coding Conflicts in STGs Using Integer Programming	2001
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Parallelisation of the Petri Net Unfolding Algorithm	2001
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Towards an Efficient Algorithm for Unfolding Petri Nets	2001
Emeritus Professor Maciej Koutny Dr Victor Khomenko	Linear Programming Deadlock Checking Using Partial Order Dependencies	2000
Dr Victor Khomenko Emeritus Professor Maciej Koutny	LP Deadlock Checking Using Partial Order Dependencies	2000
Dr Victor Khomenko Emeritus Professor Maciej Koutny	Verification of Bounded Petri Nets Using Integer Programming	2000