Victor Khomenko

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 15

Top Topics

Recent Advances

Delay Insensitive

Design Methodologies

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. ASPDAC (2024)
Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev
Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Victor Khomenko, Maciej Koutny, Alex Yakovlev
Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. CONCUR (2022)
Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Formal Modelling of Burst-Mode Specifications in a Distributed Environment. FDL (2022)
Victor Khomenko, Maciej Koutny, Alex Yakovlev
Avoiding Exponential Explosion in Petri Net Models of Control Flows. Petri Nets (2022)
Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev
Synthesis of SI Circuits from Burst-Mode Specifications. DATE (2021)
Victor Khomenko, Danil Sokolov, Alex Yakovlev, David Lloyd
Handshake Verification in WORKCRAFT. ASYNC (2020)
Danil Sokolov, Victor Khomenko, Andrey Mokhov, Vladimir Dubikhin, David Lloyd, Alex Yakovlev
Automating the Design of Asynchronous Logic Control for AMS Electronics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (5) (2020)
Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux
Preface. Fundam. Informaticae 169 (1-2) (2019)
Danil Sokolov, Victor Khomenko, Alex Yakovlev, David Lloyd
Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft. ASYNC (2018)
Andrey Mokhov, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. NGCAS (2017)
Victor Khomenko, Danil Sokolov, Andrey Mokhov, Alex Yakovlev
WAITX: An Arbiter for Non-persistent Signals. ASYNC (2017)
Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev
Benefits of asynchronous control for analog electronics: Multiphase buck case study. DATE (2017)
Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller. ACSD (2017)
Austin Ogweno, Patrick Degenaar, Victor Khomenko, Alex Yakovlev
A fixed window Level Crossing ADC with activity dependent power dissipation. NEWCAS (2016)
Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev
Opportunistic Merge Element. ASYNC (2015)
Loïg Jezequel, Eric Fabre, Victor Khomenko
Factored Planning: From Automata to Petri Nets. ACM Trans. Embed. Comput. Syst. 14 (2) (2015)
Victor Khomenko, Vasileios Germanos
Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP). Trans. Petri Nets Other Model. Concurr. 10 (2015)
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
Diagnosability under Weak Fairness. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd
Design and Verification of Speed-Independent Multiphase Buck Controller. ASYNC (2015)
Victor Khomenko, Andrey Mokhov
Direct Construction of Complete Merged Processes. Comput. J. 57 (5) (2014)
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
Diagnosability under Weak Fairness. ACSD (2014)
Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler
Recent advances in unfolding technique. Theor. Comput. Sci. 551 (2014)
Andrey Mokhov, Victor Khomenko
Algebra of Parameterised Graphs. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Victor Khomenko, Roland Meyer, Reiner Hüchting
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. Log. Methods Comput. Sci. 9 (3) (2013)
Loïg Jezequel, Eric Fabre, Victor Khomenko
Factored Planning: From Automata to Petri Nets. ACSD (2013)
César Rodríguez, Stefan Schwoon, Victor Khomenko
Contextual Merged Processes. Petri Nets (2013)
Roland Meyer, Victor Khomenko, Reiner Hüchting
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. CONCUR (2012)
Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness. ACSD (2012)
Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev
Algebra of Parameterised Graphs. ACSD (2012)
Victor Khomenko, Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes. Petri Nets (2011)
Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev
Flat Arbiters. Fundam. Informaticae 108 (1-2) (2011)
Victor Khomenko
Logic Decomposition of Asynchronous Circuits Using STG Unfoldings. ASYNC (2011)
Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev
Improved Parallel Composition of Labelled Petri Nets. ACSD (2011)
Victor Khomenko
Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis. PNSE (2011)
Victor Khomenko
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICGT (2010)
Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev
Flat Arbiters. ACSD (2009)
Roland Meyer, Victor Khomenko, Tim Strazny
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Fundam. Informaticae 94 (3-4) (2009)
Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev
Workcraft - A Framework for Interpreted Graph Models. Petri Nets (2009)
Richard Banks, Victor Khomenko, L. Jason Steggles
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. Electron. Notes Theor. Comput. Sci. 227 (2009)
Victor Khomenko
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. IEEE Trans. Very Large Scale Integr. Syst. 17 (7) (2009)
Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski
STG decomposition strategies in combination with unfolding. Acta Informatica 46 (6) (2009)
Victor Khomenko, Roland Meyer
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. ACSD (2009)
Victor Khomenko, Mark Schäfer, Walter Vogler
Output-Determinacy and Asynchronous Circuit Synthesis. Fundam. Informaticae 88 (4) (2008)
Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. Fundam. Informaticae 86 (3) (2008)
Roland Meyer, Victor Khomenko, Tim Strazny
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets (2008)
Victor Khomenko
Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings. ASYNC (2008)
Victor Khomenko, Maciej Koutny
Verification of bounded Petri nets using integer programming. Formal Methods Syst. Des. 30 (2) (2007)
Victor Khomenko
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. ACSD (2007)
Victor Khomenko
Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICATPN (2007)
Victor Khomenko, Mark Schäfer
Combining Decomposition and Unfolding for STG Synthesis. ICATPN (2007)
Thomas Chatain, Victor Khomenko
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Inf. Process. Lett. 104 (4) (2007)
Victor Khomenko, Mark Schäfer, Walter Vogler
Output-Determinacy and Asynchronous Circuit Synthesis. ACSD (2007)
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica 43 (5) (2006)
Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. ACSD (2006)
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundam. Informaticae 70 (1-2) (2006)
Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko
Strategies for Optimised STG Decomposition. ACSD (2006)
Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book (2006)
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR (2005)
Claus Schröter, Victor Khomenko
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV (2004)
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD (2004)
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Informaticae 62 (2) (2004)
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD (2003)
Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. DATE (2003)
Victor Khomenko, Maciej Koutny, Walter Vogler
Canonical prefixes of Petri net unfoldings. Acta Informatica 40 (2) (2003)
Victor Khomenko, Maciej Koutny
Branching Processes of High-Level Petri Nets. TACAS (2003)
Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev
Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets (2003)
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming. DATE (2002)
Victor Khomenko, Maciej Koutny, Walter Vogler
Canonical Prefixes of Petri Net Unfoldings. CAV (2002)
Keijo Heljanko, Victor Khomenko, Maciej Koutny
Parallelisation of the Petri Net Unfolding Algorithm. TACAS (2002)
Victor Khomenko, Maciej Koutny
Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR (2001)
Victor Khomenko, Maciej Koutny
LP Deadlock Checking Using Partial Order Dependencies. CONCUR (2000)
Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert
The development of interactive algorithms for the Mathematical Environment. Calculemus (1999)