Andrey Mokhov

According to our database, Andrey Mokhov authored at least 79 papers between 2007 and 2022.

Collaborative distances:

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

2022

United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees.

Andrey Mokhov

Art Sci. Eng. Program., 2022

2020

Design and Implementation of Reconfigurable Asynchronous Pipelines.

Alessandro de Gennaro, Danil Sokolov, Andrey Mokhov

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

Formal Verification of Spacecraft Control Programs.

Georgy Lukyanov, Andrey Mokhov, Jakob Lechner

ACM Trans. Embed. Comput. Syst., 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

Build systems à la carte: Theory and practice.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones

J. Funct. Program., 2020

Termination detection for fine-grained message-passing architectures.

Matthew Naylor, Simon W. Moore, Andrey Mokhov, David B. Thomas, Jonathan R. Beaumont, Shane T. Fleming, A. Theodore Markettos, Thomas Bytheway, Andrew D. Brown

Proceedings of the 31st IEEE International Conference on Application-specific Systems, 2020

2019

Selective applicative functors.

Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jerémie Dimino

Proc. ACM Program. Lang., 2019

On the Complexity of Hazard-free Circuits.

Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah

J. ACM, 2019

Efficient composition of scenario-based hardware specifications.

Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov

IET Comput. Digit. Tech., 2019

Complexity of Linear Operators.

Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii

Electron. Colloquium Comput. Complex., 2019

POETS: Distributed Event-Based Computing - Scaling Behaviour.

Andrew D. Brown, Mark Vousden, Alex Rast, Graeme M. Bragg, David B. Thomas, Jonny Beaumont, Matthew Naylor, Andrey Mokhov

Proceedings of the Parallel Computing: Technology Trends, 2019

Formal verification of spacecraft control programs (experience report).

Andrey Mokhov, Georgy Lukyanov, Jakob Lechner

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Generalised Asynchronous Arbiter.

Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds.

Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev

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

Build systems à la carte.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones

Proc. ACM Program. Lang., 2018

Compact and efficiently verifiable models for concurrent systems.

Hernán Ponce de León, Andrey Mokhov

Formal Methods Syst. Des., 2018

Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers.

Andrey Mokhov, Georgy Lukyanov, Jakob Lechner

CoRR, 2018

Reconfigurable asynchronous pipelines: From formal models to silicon.

Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov

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

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools.

Ghaith Tarawneh, Andrey Mokhov

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

Concurrency Oracles for Free.

Georgy Lukyanov, Andrey Mokhov

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Formal Aspects Comput., 2017

Voltage, Throughput, Power, Reliability, and Multicore Scaling.

Fei Xia, Ashur Rafiev, Ali Aalsaud, Mohammed A. Noaman Al-Hayanni, James J. Davis, Joshua M. Levine, Andrey Mokhov, Alexander B. Romanovsky, Rishad A. Shafik, Alex Yakovlev, Sheng Yang

Computer, 2017

Distributed Event-Based Computing.

Andrew D. Brown, David B. Thomas, Jeff Reeve, Ghaith Tarawneh, Alessandro de Gennaro, Andrey Mokhov, Matthew Naylor, Tom Kazmierski

Proceedings of the Parallel Computing is Everywhere, 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

Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays.

Haider Alrudainy, Andrey Mokhov, Fei Xia, Alex Yakovlev

Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Programming Model to Develop Supercomputer Combinatorial Solvers.

Ghaith Tarawneh, Andrey Mokhov, Matthew Naylor, Alex Rast, Simon W. Moore, David B. Thomas, Alex Yakovlev, Andrew D. Brown

Proceedings of the 46th International Conference on Parallel Processing Workshops, 2017

Algebraic graphs with class (functional pearl).

Andrey Mokhov

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Language and Hardware Acceleration Backend for Graph Processing.

Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew D. Brown

Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Lifetime reliability characterization of N/MEMS used in power gating of digital integrated circuits.

Haider Alrudainy, Rishad A. Shafik, Andrey Mokhov, Alex Yakovlev

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 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

Xprova: Formal Verification Tool with Built-in Metastability Modeling.

Ghaith Tarawneh, Andrey Mokhov

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

Process Windows.

Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro

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

Reduction of Order Structures.

Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 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

Mining Conditional Partial Order Graphs from Event Logs.

Andrey Mokhov, Josep Carmona, Jonathan Beaumont

Trans. Petri Nets Other Model. Concurr., 2016

MEMS-based power delivery control for bursty applications.

Haider Alrudainy, Andrey Mokhov, Nizar S. Dahir, Alex Yakovlev

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Non-recursive make considered harmful: build systems at scale.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow

Proceedings of the 9th International Symposium on Haskell, 2016

Desugaring Haskell's do-notation into applicative operations.

Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov

Proceedings of the 9th International Symposium on Haskell, 2016

Formal verification of clock domain crossing using gate-level models of metastable flip-flops.

Ghaith Tarawneh, Andrey Mokhov, Alex Yakovlev

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

2015

Guest Editorial for Special Issue Application of Concurrency to System Design.

Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov

ACM Trans. Embed. Comput. Syst., 2015

On hyperbolic laws of capacitor discharge through self-timed digital loads.

Alexandre Yakovlev, Alexander Kushnerov, Andrey Mokhov, Reza Ramezani

Int. J. Circuit Theory Appl., 2015

Algebra of switching networks.

Andrey Mokhov

IET Comput. Digit. Tech., 2015

Compositional design of asynchronous circuits from behavioural concepts.

Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Building Bridges Between Sets of Partial Orders.

Hernán Ponce de León, Andrey Mokhov

Proceedings of the Language and Automata Theory and Applications, 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

Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data.

Andrey Mokhov, Josep Carmona

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets.

Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Algebra of Parameterised Graphs.

Andrey Mokhov, Victor Khomenko

ACM Trans. Embed. Comput. Syst., 2014

Synthesis of Processor Instruction Sets from High-Level ISA Specifications.

Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky

IEEE Trans. Computers, 2014

On Formalisms for Dynamic Reconfiguration of Dependable Systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara

CoRR, 2014

Direct Construction of Complete Merged Processes.

Victor Khomenko, Andrey Mokhov

Comput. J., 2014

A scalable physical model for Nano-Electro-Mechanical relays.

Haider Alrudainy, Andrey Mokhov, Alex Yakovlev

Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework.

Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev

Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014

Design of safety critical systems by refinement.

Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov

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

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework.

Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Concurrent Multiresource Arbiter: Design and Applications.

Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alex Yakovlev

IEEE Trans. Computers, 2013

Design-for-adaptivity of microarchitectures.

Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans

Proceedings of the 24th International Conference on Application-Specific Systems, 2013

2012

Mixed Radix Reed-Muller Expansions.

Ashur Rafiev, Andrey Mokhov, Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alex Yakovlev

IEEE Trans. Computers, 2012

Towards power-elastic systems through concurrency management.

Fei Xia, Andrey Mokhov, Yu Zhou, Yifan Chen, Isi Mitrani, Delong Shang, Danil Sokolov, Alexandre Yakovlev

IET Comput. Digit. Tech., 2012

Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation.

Andrey Mokhov, Danil Sokolov, Alex Yakovlev

Proceedings of the 18th IEEE International Symposium on Asynchronous Circuits and Systems, 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

Encoding of processor instruction sets with explicit concurrency control.

Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev

IET Comput. Digit. Tech., 2011

Flat Arbiters.

Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev

Fundam. Informaticae, 2011

Formal modelling and transformations of processor instruction sets.

Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 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

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

Conditional Partial Order Graphs: Model, Synthesis, and Application.

Andrey Mokhov, Alexandre Yakovlev

IEEE Trans. Computers, 2010

Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design.

Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Conditional Partial Order Graphs.

Andrey Mokhov

PhD thesis, 2009

Synthesis of Multiple Rail Phase Encoding Circuits.

Andrey Mokhov, Crescenzo D'Alessandro, Alex Yakovlev

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

Modular Approach to Multi-resource Arbiter Design.

Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alex Yakovlev

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2008

Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis.

Andrey Mokhov, Alexandre Yakovlev

Proceedings of the Design, Automation and Test in Europe, 2008

Automated Verification of Asynchronous Circuits Using Circuit Petri Nets.

Ivan Poliakov, Andrey Mokhov, Ashur Rafiev, Danil Sokolov, Alex Yakovlev

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

Verification of conditional partial order graphs.

Andrey Mokhov, Alexandre Yakovlev

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

2007

Delay/Phase Regeneration Circuits.

Crescenzo D'Alessandro, Andrey Mokhov, Alexandre V. Bystrov, Alexandre Yakovlev

Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007

Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.

Ivan Poliakov, Danil Sokolov, Andrey Mokhov

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