Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Victor Khomenko.

Newcastle AuthorsTitleYearFull text
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Avoiding Exponential Explosion in Petri Net Models of Control Flows2022
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 Specifications2022
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows2022
Dr Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
et al.
Synthesis of SI Circuits from Burst-Mode Specifications2021
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Circuit2020
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Professor David Lloyd
Handshake Verification in Workcraft2020
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 Thereby2020
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 Electronics2019
Dr Victor Khomenko
Complexity of Checking Output-Determinacy in General Petri Nets2018
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft2018
Dr Victor Khomenko
Harnessed Causality: Essays dedicated to Maciej Koutny on the occasion of his 60th birthday2018
Dr Victor Khomenko
Preface2018
Dr Andrey Mokhov
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems2017
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 Study2017
Dr Victor Khomenko
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller2017
Dr Victor Khomenko
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
WAITX: An Arbiter for Non-Persistent Signals2017
Austin Ogweno
Professor Patrick Degenaar
Dr Victor Khomenko
Professor Alex Yakovlev
A Fixed Window Level Crossing ADC with Activity Dependent Power Dissipation2016
Dr Danil Sokolov
Dr Victor Khomenko
Dr Andrey Mokhov
Professor Alex Yakovlev
Design and Verification of Speed-Independent Multiphase Buck Controller2015
Vasileios Germanos
Dr Victor Khomenko
Diagnosability under Weak Fairness2015
Dr Victor Khomenko
Factored Planning: From Automata to Petri Nets2015
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 Element2015
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Opportunistic Merge Element2015
Dr Andrey Mokhov
Dr Victor Khomenko
Algebra of Parameterised Graphs2014
Vasileios Germanos
Dr Victor Khomenko
Diagnosability under Weak Fairness2014
Dr Victor Khomenko
Dr Andrey Mokhov
Direct Construction of Complete Merged Processes2014
Dr Victor Khomenko
Recent advances in unfolding technique2014
Dr Victor Khomenko
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets2013
Dr Victor Khomenko
Contextual Merged Processes2013
Dr Victor Khomenko
Factored Planning: From Automata to Petri Nets2013
Dr Victor Khomenko
A Polynomial Translation of pi-Calculus (FCP) to Safe Petri Nets2012
Dr Victor Khomenko
A Polynomial Translation of Pi-calculus (FCP) to Safe Petri Nets2012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2012
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2012
Dr Victor Khomenko
Poster Session at The Newcastle Connection 20122012
Agnes Madalinski
Dr Victor Khomenko
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings2012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2011
Dr Victor Khomenko
Dr Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes2011
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2011
Arseniy Alekseyev
Dr Victor Khomenko
Dr Andrey Mokhov
Dominic Wist
Professor Alex Yakovlev
et al.
Improved parallel composition of labelled Petri nets2011
Dr Victor Khomenko
Logic Decomposition of Asynchronous Circuits Using STG Unfoldings2011
Agnes Madalinski
Dr Victor Khomenko
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings2011
Dr Victor Khomenko
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes2010
Dr Victor Khomenko
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes2010
Dr Victor Khomenko
Dr Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes2010
Agnes Madalinski
Dr Victor Khomenko
Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings2010
Dr Victor Khomenko
Logic Decomposition of Asynchronous Circuits Using STG Unfoldings2010
Richard Banks
Dr Victor Khomenko
Dr Jason Steggles
Modelling Genetic Regulatory Networks2010
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2010
Richard Banks
Dr Victor Khomenko
Dr Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks2009
Dr Victor Khomenko
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings2009
Dr Victor Khomenko
A Usable Reachability Analyser2009
Dr Victor Khomenko
A Usable Reachability Analyser2009
Dr Victor Khomenko
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete2009
Dr Victor Khomenko
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings2009
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2009
Arseniy Alekseyev
Ivan Poliakov
Dr Victor Khomenko
Professor Alex Yakovlev
Optimisation of Balsa control path using STG resynthesis2009
Dr Victor Khomenko
STG Decomposition Strategies in Combination with Unfolding2009
Ivan Poliakov
Dr Victor Khomenko
Professor Alex Yakovlev
WORKCRAFT - A Framework for Interpreted Graph Models2009
Richard Banks
Dr Victor Khomenko
Dr Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks2008
Dr Victor Khomenko
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings2008
Dr Victor Khomenko
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings2008
Dr Victor Khomenko
Serena Meyer
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete2008
Dr Victor Khomenko
Derivation of Monotonic Covers for standard-C implementation using STG unfoldings2008
Dr Victor Khomenko
Output-Determinacy and Asynchronous Circuit Synthesis2008
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings2008
Dr Victor Khomenko
A Note on the Well-Foundedness of Adequate Orders Used for Truncating Unfoldings2007
Dr Victor Khomenko
Behaviour-Preserving Transition Insertions in Unfolding Prefixes2007
Dr Victor Khomenko
Combining Decomposition and Unfolding for STG Synthesis2007
Dr Victor Khomenko
Combining Decomposition and Unfolding for STG Synthesis2007
Dr Victor Khomenko
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings2007
Dr Victor Khomenko
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings2007
Dr Victor Khomenko
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes2007
Dr Victor Khomenko
Output-Determinacy and Asynchronous Circuit Synthesis2007
Dr Victor Khomenko
Output-Determinacy and Asynchronous Circuit Synthesis2007
Dr Victor Khomenko
Professor Maciej Koutny
Verification of bounded Petri nets using integer programming2007
Dr Victor Khomenko
Professor Maciej Koutny
Dr Apostolos Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems2006
Dr Victor Khomenko
Professor Maciej Koutny
Dr Apostolos Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems2006
Dr Victor Khomenko
Behaviour-Preserving Transition Insertions in Unfolding Prefixes2006
Agnes Madalinski
Dr Victor Khomenko
Professor Alex Yakovlev
Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings2006
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT2006
Dr Victor Khomenko
Professor Maciej Koutny
Merged processes: A new condensed representation of Petri net behaviour2006
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings2006
Dr Victor Khomenko
Strategies for Optimised STG Decomposition2006
Dr Victor Khomenko
Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings2005
Dr Victor Khomenko
Professor Maciej Koutny
Merged Processes - a New Condensed Representation of Petri Net Behaviour2005
Dr Victor Khomenko
Professor Maciej Koutny
Merged processes - A new condensed representation of Petri net behaviour2005
Dr Alexei Iliasov
Dr Victor Khomenko
Professor Maciej Koutny
Emeritus Professor Alexander Romanovsky
On specification and verification of location-based fault tolerant mobile systems2005
Dr Victor Khomenko
Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT2005
Dr Victor Khomenko
Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Encoding Conflicts in STG Unfoldings Using SAT2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT2004
Dr Victor Khomenko
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings2004
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings2004
Dr Victor Khomenko
Professor Alex Yakovlev
Synthesis of asynchronous hardware from Petri nets2004
Dr Victor Khomenko
Weasel Words, Genetic Algorithms and Coarse Acknowledgements2004
Dr Victor Khomenko
[PhD Thesis] Model Checking Based on Prefixes of Petri Net Unfoldings2003
Dr Victor Khomenko
Branching Processes of High-Level Petri Nets2003
Dr Victor Khomenko
Professor Maciej Koutny
Branching processes of high-level Petri nets2003
Dr Victor Khomenko
Professor Maciej Koutny
Canonical prefixes of Petri net unfoldings2003
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STG Unfoldings Using SAT2003
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic Synthesis Avoiding State Space Explosion2003
Agnes Madalinski
Dr Alex Bystrov
Dr Victor Khomenko
Professor Alex Yakovlev
Visualisation and resolution of encoding conflicts in asynchronous circuit design2003
Agnes Madalinski
Dr Alex Bystrov
Dr Victor Khomenko
Professor Alex Yakovlev
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design2003
Dr Victor Khomenko
A Rewriting Machine and Optimization of Strategies of Term Rewriting2002
Dr Victor Khomenko
Professor Maciej Koutny
Branching Processes of High-Level Petri Nets2002
Dr Victor Khomenko
Professor Maciej Koutny
Canonical Prefixes of Petri Net Unfoldings2002
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STG Unfoldings Using SAT2002
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming2002
Dr Victor Khomenko
Parallelisation of the Petri Net Unfolding Algorithm2002
Dr Victor Khomenko
Professor Maciej Koutny
Parallelisation of the Petri net unfolding algorithm2002
Professor Maciej Koutny
Dr Victor Khomenko
An Efficient Algorithm for Unfolding Petri Nets2001
Dr Victor Khomenko
Professor Maciej Koutny
Canonical Prefixes of Petri-Net Unfoldings2001
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming2001
Dr Victor Khomenko
Professor Maciej Koutny
Parallelisation of the Petri Net Unfolding Algorithm2001
Dr Victor Khomenko
Professor Maciej Koutny
Towards an Efficient Algorithm for Unfolding Petri Nets2001
Professor Maciej Koutny
Dr Victor Khomenko
Linear Programming Deadlock Checking Using Partial Order Dependencies2000
Dr Victor Khomenko
Professor Maciej Koutny
LP Deadlock Checking Using Partial Order Dependencies2000
Dr Victor Khomenko
Professor Maciej Koutny
Verification of Bounded Petri Nets Using Integer Programming2000