Victor Khomenko

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