Victor Khomenko

According to our database, Victor Khomenko authored at least 64 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications.

Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023

2022

Formal Modelling of Burst-Mode Specifications in a Distributed Environment.

Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev

Proceedings of the Forum on Specification & Design Languages, 2022

Slimming down Petri Boxes: Compact Petri Net Models of Control Flows.

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Avoiding Exponential Explosion in Petri Net Models of Control Flows.

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Synthesis of SI Circuits from Burst-Mode Specifications.

Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Automating the Design of Asynchronous Logic Control for AMS Electronics.

Danil Sokolov, Victor Khomenko, Andrey Mokhov, Vladimir Dubikhin, David Lloyd, Alex Yakovlev

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Handshake Verification in WORKCRAFT.

Victor Khomenko, Danil Sokolov, Alex Yakovlev, David Lloyd

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2019

Preface.

Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux

Fundam. Informaticae, 2019

2018

Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft.

Danil Sokolov, Victor Khomenko, Alex Yakovlev, David Lloyd

Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018

2017

Asynchronous Arbitration Primitives for New Generation of Circuits and Systems.

Andrey Mokhov, Danil Sokolov, Victor Khomenko, Alex Yakovlev

Proceedings of the New Generation of CAS, 2017

Benefits of asynchronous control for analog electronics: Multiphase buck case study.

Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

WAITX: An Arbiter for Non-persistent Signals.

Victor Khomenko, Danil Sokolov, Andrey Mokhov, Alex Yakovlev

Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

Formal Design and Verification of an Asynchronous SRAM Controller.

Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Modeling Genetic Regulatory Networks.

Richard Banks, Victor Khomenko, L. Jason Steggles

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

A fixed window Level Crossing ADC with activity dependent power dissipation.

Austin Ogweno, Patrick Degenaar, Victor Khomenko, Alex Yakovlev

Proceedings of the 14th IEEE International New Circuits and Systems Conference, 2016

2015

Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP).

Victor Khomenko, Vasileios Germanos

Trans. Petri Nets Other Model. Concurr., 2015

Factored Planning: From Automata to Petri Nets.

Loïg Jezequel, Eric Fabre, Victor Khomenko

ACM Trans. Embed. Comput. Syst., 2015

Diagnosability under Weak Fairness.

Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon

ACM Trans. Embed. Comput. Syst., 2015

Design and Verification of Speed-Independent Multiphase Buck Controller.

Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd

Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015

Opportunistic Merge Element.

Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev

Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015

2014

Algebra of Parameterised Graphs.

Andrey Mokhov, Victor Khomenko

ACM Trans. Embed. Comput. Syst., 2014

Recent advances in unfolding technique.

Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler

Theor. Comput. Sci., 2014

Direct Construction of Complete Merged Processes.

Victor Khomenko, Andrey Mokhov

Comput. J., 2014

2013

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets.

Victor Khomenko, Roland Meyer, Reiner Hüchting

Log. Methods Comput. Sci., 2013

Contextual Merged Processes.

César Rodríguez, Stefan Schwoon, Victor Khomenko

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets.

Roland Meyer, Victor Khomenko, Reiner Hüchting

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

On Dual-Rail Control Logic for Enhanced Circuit Robustness.

Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

Algebra of Parameterised Graphs.

Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Flat Arbiters.

Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev

Fundam. Informaticae, 2011

Logic Decomposition of Asynchronous Circuits Using STG Unfoldings.

Victor Khomenko

Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011

An Algorithm for Direct Construction of Complete Merged Processes.

Victor Khomenko, Andrey Mokhov

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis.

Victor Khomenko

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Improved Parallel Composition of Labelled Petri Nets.

Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes.

Victor Khomenko

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings.

Victor Khomenko

IEEE Trans. Very Large Scale Integr. Syst., 2009

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.

Roland Meyer, Victor Khomenko, Tim Strazny

Fundam. Informaticae, 2009

STG decomposition strategies in combination with unfolding.

Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski

Acta Informatica, 2009

Workcraft - A Framework for Interpreted Graph Models.

Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev

Proceedings of the Applications and Theory of Petri Nets, 2009

Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete.

Victor Khomenko, Roland Meyer

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Output-Determinacy and Asynchronous Circuit Synthesis.

Victor Khomenko, Mark Schäfer, Walter Vogler

Fundam. Informaticae, 2008

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.

Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev

Fundam. Informaticae, 2008

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks.

Richard Banks, Victor Khomenko, L. Jason Steggles

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings.

Victor Khomenko

Proceedings of the 14th IEEE International Symposium on Asynchronous Circuits and Systems, 2008

2007

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes.

Thomas Chatain, Victor Khomenko

Inf. Process. Lett., 2007

Verification of bounded Petri nets using integer programming.

Victor Khomenko, Maciej Koutny

Formal Methods Syst. Des., 2007

Combining Decomposition and Unfolding for STG Synthesis.

Victor Khomenko, Mark Schäfer

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Behaviour-Preserving Transition Insertions in Unfolding Prefixes.

Victor Khomenko

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev

Fundam. Informaticae, 2006

Merged processes: a new condensed representation of Petri net behaviour.

Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler

Acta Informatica, 2006

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.

Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Strategies for Optimised STG Decomposition.

Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

Detecting State Encoding Conflicts in STG Unfoldings Using SAT.

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev

Fundam. Informaticae, 2004

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.

Claus Schröter, Victor Khomenko

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Canonical prefixes of Petri net unfoldings.

Victor Khomenko, Maciej Koutny, Walter Vogler

Acta Informatica, 2003

Branching Processes of High-Level Petri Nets.

Victor Khomenko, Maciej Koutny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design.

Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev

Proceedings of the 2003 Design, 2003

Detecting State Coding Conflicts in STG Unfoldings Using SAT.

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Synthesis of Asynchronous Hardware from Petri Nets.

Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Parallelisation of the Petri Net Unfolding Algorithm.

Keijo Heljanko, Victor Khomenko, Maciej Koutny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Detecting State Coding Conflicts in STGs Using Integer Programming.

Victor Khomenko, Maciej Koutny, Alexandre Yakovlev

Proceedings of the 2002 Design, 2002

2001

Towards an Efficient Algorithm for Unfolding Petri Nets.

Victor Khomenko, Maciej Koutny

Proceedings of the CONCUR 2001, 2001

2000

LP Deadlock Checking Using Partial Order Dependencies.

Victor Khomenko, Maciej Koutny

Proceedings of the CONCUR 2000, 2000

1999

The development of interactive algorithms for the Mathematical Environment.

Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert

Proceedings of the Systems for Integrated Computation and Deduction, 1999