Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Alex Yakovlev.

Newcastle AuthorsTitleYearFull text
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Avoiding Exponential Explosion in Petri Net Models of Control Flows2022
Dr Ashur Rafiev
Jordan Morris
Dr Fei Xia
Professor Alex Yakovlev
Practical Distributed Implementation of Very Large Scale Petri Net Simulations2022
Tousif Rahman
Dr Rishad Shafik
Professor Alex Yakovlev
Resilient Biomedical Systems Design Under Noise Using Logic-Based Machine Learning2022
Dr Ashur Rafiev
Professor Alex Yakovlev
Dr Ghaith Tarawneh
Synchronization in graph analysis algorithms on the Partially Ordered Event-Triggered Systems many-core architecture2022
Dr Ashur Rafiev
Jordan Morris
Dr Fei Xia
Dr Rishad Shafik
Professor Alex Yakovlev
et al.
Visualization of Machine Learning Dynamics in Tsetlin Machines2022
Dr Rishad Shafik
Adrian Wheeldon
Professor Alex Yakovlev
Jie lei
A multi-step finite-state automaton for arbitrarily deterministic Tsetlin Machine learning2021
Dr Serhii Mileiko
Professor Alex Yakovlev
Dr Domenico Balsamo
A Non-Intrusive Ultrasonic Sensor System for Water Flow Rate Measurement2021
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Asynchrony and Persistence in Reaction Systems2021
Dr Victor Pacheco Pena
Professor Alex Yakovlev
Computing with square electromagnetic pulses2021
Sidharth Maheshwari
Venkateshwarlu Gudur
Dr Rishad Shafik
Dr Ian Wilson
Professor Alex Yakovlev
et al.
CORAL: Verification-aware OpenCL based Read Mapper for Heterogeneous Systems2021
Alex Ventisei Ventisei
Professor Alex Yakovlev
Dr Victor Pacheco Pena
Exploiting Petri Nets for Graphical Modelling of Electromagnetic Pulse Switching Operations2021
Adrian Wheeldon
Professor Alex Yakovlev
Dr Rishad Shafik
Jordan Morris
Low-Latency Asynchronous Logic Design for Inference at the Edge2021
Jie lei
Dr Rishad Shafik
Adrian Wheeldon
Professor Alex Yakovlev
Low-Power Audio Keyword Spotting Using Tsetlin Machines2021
Shengqi Yu
Dr Rishad Shafik
Thomas Bunnam
Professor Alex Yakovlev
Optimized Multi-Memristor Model based Low Energy and Resilient Current-Mode Multiplier Design2021
Dr Sidharth Maheshwari
Dr Rishad Shafik
Professor Alex Yakovlev
Venkateshwarlu Gudur
PLEDGER: Embedded Whole Genome Read Mapping using Algorithm-HW Co-design and Memory-aware Implementation2021
Nizar Dahir
Ammar Karkar
Professor Alex Yakovlev
Power density aware application mapping in mesh-based network-on-chip architecture: An evolutionary multi-objective approach2021
Dainius Jenkus
Dr Fei Xia
Dr Rishad Shafik
Professor Alex Yakovlev
QoS-Aware Power Minimization of Distributed Many-Core Servers using Transfer Q-Learning2021
Dr Victor Pacheco Pena
Professor Alex Yakovlev
Routing TEM pulses with interconnected transmission lines for computing applications with electromagnetic waves2021
Ibrahim Haddadi
Dr Issa Qiqieh
Dr Rishad Shafik
Dr Fei Xia
Mohammed Al-Hayanni
et al.
Run-time Configurable Approximate Multiplier using Significance-Driven Logic Compression2021
Adrian Wheeldon
Professor Alex Yakovlev
Dr Rishad Shafik
Self-timed Reinforcement Learning using Tsetlin Machine2021
Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
et al.
Synthesis of SI Circuits from Burst-Mode Specifications2021
Professor Alex Yakovlev
Ross Macdonald
Alex Ventisei Ventisei
tony Knightley
Joseph Riley
et al.
TEM pulse routing and switching via series and parallel interconnected waveguide crossings2021
Dr Alexander Kushnerov
Professor Alex Yakovlev
Towards Hazard-Free Multiplexer Based Implementation of Self-Timed Circuits2021
Mohammed Al-Hayanni
Dr Fei Xia
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr Rishad Shafik
et al.
Amdahl’s law in the context of heterogeneous many-core systems – a survey2020
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Circuit2020
Mohammed Al-Daloo
Mohamed Abufalgha
Professor Alex Yakovlev
Dr Basel Halak
Bootstrapped Driver and the Single-Event-Upset Effect2020
Professor Alex Yakovlev
Dr Victor Pacheco Pena
Enabling High-Speed Computing with Electromagnetic Pulse Switching2020
Dr Rishad Shafik
Adrian Wheeldon
Professor Alex Yakovlev
Explainability and Dependability Analysis of Learning Automata based AI Hardware2020
Jie lei
Adrian Wheeldon
Dr Rishad Shafik
Professor Alex Yakovlev
From arithmetic to logic based AI: A comparative analysis of neural networks and tsetlin machine2020
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Professor David Lloyd
Handshake Verification in Workcraft2020
Dr Rishad Shafik
Professor Alex Yakovlev
Harmonizing energy-autonomous computing and intelligence: an editorial introduction2020
Adrian Wheeldon
Dr Rishad Shafik
Tousif Rahman
Jie lei
Professor Alex Yakovlev
et al.
Learning Automata based Energy-efficient AI Hardware Design for IoT Applications2020
Ali Aalsaud
Dr Fei Xia
Dr Ashur Rafiev
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
Low-complexity run-time management of concurrent workloads for energy-efficient multi-core systems2020
Serhii Mileiko
Thomas Bunnam
Dr Fei Xia
Dr Rishad Shafik
Professor Alex Yakovlev
et al.
Neural network design for energy-autonomous artificial intelligence applications using temporal encoding2020
Mohammed Al-Hayanni
Dr Ashur Rafiev
Dr Fei Xia
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
PARMA: Parallelization-Aware Run-time Management for Energy-Efficient Many-Core Systems2020
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
Serhii Mileiko
Dr Rishad Shafik
Professor Alex Yakovlev
A Pulse Width Modulation based Power-elastic and Robust Mixed-signal Perceptron Design2019
Mohammed Al-Daloo
Professor Alex Yakovlev
Advance Interconnect Circuit Modelling Design Using Fractional-Order Elements2019
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 Stanislavs Golubcovs
Dr Andrey Mokhov
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Generalised Asynchronous Arbiter2019
Dr Andrey Mokhov
Alessandro De Gennaro
Dr Ghaith Tarawneh
Georgy Lukyanov
Serhii Mileiko
et al.
Language and Hardware Acceleration Backend for Graph Processing2019
Dr Fei Xia
Professor Alex Yakovlev
Modelling Reversion Loss and Shoot-through Current in Switched-Capacitor DC-DC Converters with Petri Nets2019
Ahmad Abdulfattah
Dr Charalampos Tsimenidis
Professor Alex Yakovlev
Performance Analysis of MICS-based RF Wireless Power Transfer System for Implantable Medical Devices2019
Adrian Wheeldon
Dr Jordan Morris
Dr Danil Sokolov
Professor Alex Yakovlev
Self-timed, Minimum Latency Circuits for the Internet of Things2019
Dr Danil Sokolov
Dr Oleg Maevsky
Professor Alex Yakovlev
Toward Designing Thermally-Aware Memristance Decoder2019
Ahmad Abdulfattah
Dr Charalampos Tsimenidis
Professor Alex Yakovlev
Ultra-low power m-sequence code generator for body sensor node applications2019
Thomas Bunnam
Dr Danil Sokolov
Professor Alex Yakovlev
An Excitation Time Model for General-purpose Memristance Tuning Circuit2018
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft2018
Professor Alex Yakovlev
Energy current and computing2018
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Dr Rem Gensh
Ali Aalsaud
et al.
Error-Based Metric for Cross-Layer Cut Determination2018
Jonny Beaumont
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
High-level asynchronous concepts at the interface between analogue and digital worlds2018
Dr Andrey Mokhov
Alessandro de Gennaro
Dr Ghaith Tarawneh
Georgy Lukyanov
Serhii Mileiko
et al.
Language and hardware acceleration backend for graph processing2018
Sam Alrudainy
Dr Rishad Shafik
Dr Andrey Mokhov
Professor Alex Yakovlev
Lifetime Reliability Characterization of N/MEMS Used in Power Gating of Digital Integrated Circuits2018
Oyinkuro Benafa
Dr Danil Sokolov
Professor Alex Yakovlev
Loadable kessels counter2018
Ali Aalsaud
Haider Alrudainy
Dr Rishad Shafik
Dr Fei Xia
Professor Alex Yakovlev
et al.
MEMS-Based Runtime Idle Energy Minimization for Bursty Workloads in Heterogeneous Many-Core Systems2018
Ali Aalsaud
Dr Ashur Rafiev
Dr Fei Xia
Dr Rishad Shafik
Professor Alex Yakovlev
et al.
Model-free Runtime Management for Concurrent Workloads on Many-Core Heterogeneous Systems2018
Danhui Li
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Modelling Switched-Capacitor DC-DC Converters with Signal Transition Graphs2018
Ammar Karkar
Dr Terrence Mak
Nizar Dahir
Ra'ed Al-Dujaily
Professor Alex Yakovlev
et al.
Network-on-Chip Multicast Architectures Using Hybrid Wire and Surface-Wave Interconnects2018
Chris Donaghy-Spargo
Professor Alex Yakovlev
Oliver Heaviside's electromagnetic theory2018
Mohammed Al-Daloo
Professor Alex Yakovlev
Overview study of on-chip interconnect modelling approaches and its trend2018
Dr Rishad Shafik
Professor Alex Yakovlev
Real-Power Computing2018
Dr Issa Qiqieh
Dr Rishad Shafik
Dr Ghaith Tarawneh
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Significance-Driven Logic Compression for Energy-Efficient Multiplier Design2018
Dr Ashur Rafiev
Mohammed Al-Hayanni
Dr Fei Xia
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
Speedup and Power Scaling Models for Heterogeneous Many-Core Systems2018
Dr Yu Zhou
Professor Alex Yakovlev
Synthesis and optimization of asynchronous dual rail encoded circuits based on partial acknowledgement2018
Professor Alex Yakovlev
Dr Terrence Mak
A Resilient 2-D Waveguide Communication Fabric for Hybrid Wired-Wireless NoC Design2017
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
A Structured Visual Approach to GALS Modelling and Verification of Communication Circuits2017
Vladimir Dubikhin
Professor Christopher Myers
Dr Danil Sokolov
Ioannis Syranidis
Professor Alex Yakovlev
et al.
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems2017
Dr Khaled Al-ma''aitah
Dr Ghaith Tarawneh
Dr Ahmed Abd El-Aal
Dr Issa Qiqieh
Professor Alex Yakovlev
et al.
Approximate Adder Segmentation Technique and Significance-Driven Error Correction2017
Rem Gensh
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr Fei Xia
Professor Alex Yakovlev
et al.
Architecting Holistic Fault Tolerance2017
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 Khaled Al-ma''aitah
Dr Issa Qiqieh
Dr Ahmed Abd El-Aal
Professor Alex Yakovlev
Configurable-Accuracy Approximate Adder Design with Light-Weight Fast Convergence Error Recovery Circuit2017
Ammar Karkar
Professor Alex Yakovlev
Efficient surface-wave-based network-on-chip architecture for spiking-neural-network2017
Johnson Fernandes
Dr Danil Sokolov
Professor Alex Yakovlev
Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity2017
Dr Ahmed Abd El-Aal
Professor Alex Yakovlev
Elmore delay in the fractional order domain2017
Dr Issa Qiqieh
Dr Rishad Shafik
Dr Ghaith Tarawneh
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Energy-Efficient Approximate Multiplier Design using Bit Significance-Driven Logic Compression2017
Dr Issa Qiqieh
Dr Rishad Shafik
Dr Ghaith Tarawneh
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Energy-Efficient Approximate Wallace Tree Multiplier using Significance-Driven Logic Compression2017
Professor Alex Yakovlev
Dr Terrence Mak
Extending the performance of hybrid NoCs beyond the limitations of network heterogeneity2017
Dr Victor Khomenko
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller2017
Dr Andrey Mokhov
Alessandro De Gennaro
Dr Ghaith Tarawneh
Serhii Mileiko
Professor Alex Yakovlev
et al.
Language and Hardware Acceleration Backend for Graph Processing2017
Dr Rem Gensh
Dr Ashur Rafiev
Dr Fei Xia
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Modelling for systems with holistic fault tolerance2017
Dr Alexander Kushnerov
Professor Alex Yakovlev
Multiphase ternary Fibonacci 2D switched capacitor converters2017
JunWen Luo
Na Dong
Dr Peter Andras
Professor Alex Yakovlev
Professor Patrick Degenaar
et al.
Optogenetics in Silicon: A Neural Processor for Predicting Optically Active Neural Networks2017
Adrian Wheeldon
Dr Jordan Morris
Dr Danil Sokolov
Professor Alex Yakovlev
Power proportional adder design for Internet of Things in a 65nm process2017
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Professor Alex Yakovlev
Programming Model to Develop Supercomputer Combinatorial Solvers2017
Dr Danil Sokolov
Professor Alex Yakovlev
Pulse controlled memristor-based delay element2017
Professor Alex Yakovlev
Reducing switching noise effects by advanced clock management2017
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
et al.
Resource-Driven Modelling for Managing Model Fidelity2017
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems2017
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework2017
Serhii Mileiko
Dr Alexander Kushnerov
Dr Danil Sokolov
Professor Alex Yakovlev
Self-timed control of multiphase switched capacitor converters2017
Serhii Mileiko
Dr Alexander Kushnerov
Dr Danil Sokolov
Professor Alex Yakovlev
Self-timed control of two-phase switched capacitor converters2017
Dave Burke
Dainius Jenkus
Dr Issa Qiqieh
Dr Rishad Shafik
Professor Alex Yakovlev
et al.
Significance-Driven Adaptive Approximate Computing for Energy-Efficient Image Processing Applications2017
Dave Burke
Dainius Jenkus
Dr Issa Qiqieh
Dr Rishad Shafik
Professor Alex Yakovlev
et al.
Significance-Driven Adaptive Approximate Computing for Energy-Efficient Image Processing Applications2017
Dave Burke
Dainius Jenkus
Dr Issa Qiqieh
Dr Rishad Shafik
Professor Alex Yakovlev
et al.
Significance-driven adaptive approximate computing for energy-efficient image processing applications: special session paper2017
Mohammed Al-Hayanni
Dr Rishad Shafik
Dr Ashur Rafiev
Dr Fei Xia
Professor Alex Yakovlev
et al.
Speedup and Parallelization Models for Energy-Efficient Many-Core Systems Using Performance Counters2017
Haider Alrudainy
Dr Andrey Mokhov
Dr Fei Xia
Professor Alex Yakovlev
Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays2017
Dr Jordan Morris
Professor Alex Yakovlev
Unconventional Layout Techniques for a High Performance, Low Variability Subthreshold Standard Cell Library2017
Dr Fei Xia
Dr Ashur Rafiev
Ali Aalsaud
Mohammed Al-Hayanni
Dr Andrey Mokhov
et al.
Voltage, Throughput, Power, Reliability and Multicore Scaling2017
Dr Victor Khomenko
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
WAITX: An Arbiter for Non-Persistent Signals2017
Dr Danil Sokolov
Professor Alex Yakovlev
Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours2017
Austin Ogweno
Professor Patrick Degenaar
Dr Victor Khomenko
Professor Alex Yakovlev
A Fixed Window Level Crossing ADC with Activity Dependent Power Dissipation2016
Yuqing Xu
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
A Smart All-Digital Charge to Digital Converter2016
Ammar Karkar
Dr Terrence Mak
Professor Alex Yakovlev
A Survey of Emerging Interconnects for On-Chip Efficient Multicast and Broadcast in Many-Cores2016
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
Analysis and Verification of Communication Fabrics2016
Rem Gensh
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr Fei Xia
Professor Alex Yakovlev
et al.
Architecting Holistic Fault Tolerance2016
Dave Burke
Dr Rishad Shafik
Professor Alex Yakovlev
Challenges and opportunities in research and education of heterogeneous many-core applications2016
Oyinkuro Benafa
Austin Ogweno
Dr Delong Shang
Professor Alex Yakovlev
Design of a DCO based on Worst-Case Delay of a Self-Timed Counter and a Digitally controllable Delay Path2016
Vladimir Dubikhin
Professor Christopher Myers
Professor Alex Yakovlev
Dr Danil Sokolov
Design of Mixed-Signal Systems With Asynchronous Control2016
Mohammed Al-Daloo
Professor Alex Yakovlev
Dr Basel Halak
Energy Efficient Bootstrapped CMOS Inverter for Ultra-Low Power Applications2016
Mohammed Al-Hayanni
Dr Ashur Rafiev
Dr Rishad Shafik
Dr Fei Xia
Professor Alex Yakovlev
et al.
Extended Power and Energy Normalized Performance Models for Many-Core Systems2016
Kaiyuan Gao
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Fast capacitance-to-digital converter with internal reference2016
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Professor Alex Yakovlev
Formal verification of clock domain crossing using gate-level models of metastable flip-flops2016
Dr Delong Shang
Yuqing Xu
Kaiyuan Gao
Dr Fei Xia
Professor Alex Yakovlev
et al.
Low power voltage sensing through capacitance to digital conversion2016
Dr Delong Shang
Yuqing Xu
Kaiyuan Gao
Dr Fei Xia
Professor Alex Yakovlev
et al.
Low Power Voltage Sensing Through Capacitance to Digital Conversion2016
Haider Alrudainy
Dr Andrey Mokhov
Nizar Dahir
Professor Alex Yakovlev
MEMS-Based Power Delivery Control for Bursty Applications2016
Rem Gensh
Professor Alexander Romanovsky
Professor Alex Yakovlev
On Structuring Holistic Fault Tolerance2016
Ali Aalsaud
Dr Rishad Shafik
Dr Ashur Rafiev
Dr Fei Xia
Yang Yang
et al.
Power-Aware Performance Adaptation of Concurrent Applications in Heterogeneous Many-Core Systems2016
Dr Alexander Kushnerov
Professor Alex Yakovlev
Stacking Voltage-Controlled Oscillators: Analysis and Application2016
Ahmad Abdulfattah
Dr Charalampos Tsimenidis
Professor Alex Yakovlev
Subthreshold-based m-sequence code generator for ultra low-power body sensor nodes2016
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
Dr Alexander Kushnerov
Professor Alex Yakovlev
A least squares method applied to multiphase switched capacitor converters2015
Dr Delong Shang
Oyinkuro Benafa
Dr Fei Xia
Yuqing Xu
Professor Alex Yakovlev
et al.
An Elastic Timer for Wide Dynamic Working Range2015
Professor Alex Yakovlev
Chapter 13: Enabling Survival Instincts in Electronic Systems: An Energy Perspective2015
Jonny Beaumont
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Compositional design of asynchronous circuits from behavioural concepts2015
Dr Danil Sokolov
Dr Victor Khomenko
Dr Andrey Mokhov
Professor Alex Yakovlev
Design and Verification of Speed-Independent Multiphase Buck Controller2015
James Guido
Professor Alex Yakovlev
Design of Self-Timed Reconfigurable Controllers for Parallel Synchronization via Wagging2015
Rem Gensh
Professor Alexander Romanovsky
Professor Alex Yakovlev
Engineering Cross-Layer Fault Tolerance in Many-Core Systems2015
Dr Rem Gensh
Professor Alexander Romanovsky
Professor Alex Yakovlev
Engineering Cross-Layer Fault Tolerance in Many-Core Systems.2015
Rem Gensh
Ali Aalsaud
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
et al.
Experiments with Odroid-XU3 board2015
Dr Danil Sokolov
Professor Alex Yakovlev
GALS synthesis and verification for xMAS models2015
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
GALS synthesis and verification for xMAS models2015
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
GALS synthesis and verification for xMAS models2015
Ammar Karkar
Dr Terrence Mak
Professor Alex Yakovlev
Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting2015
Ammar Karkar
Dr Terrence Mak
Professor Alex Yakovlev
Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting2015
Professor Alex Yakovlev
Novel Hybrid Wired-Wireless Network-on-Chip Architectures: Transducer and Communication Fabric Design2015
Chris Spargo
Professor Alex Yakovlev
Oliver Heaviside FRS: Newcastle upon Tyne 1868-18742015
Professor Alex Yakovlev
Dr Alexander Kushnerov
Dr Andrey Mokhov
Dr Reza Ramezani
On hyperbolic laws of capacitor discharge through self-timed digital loads2015
Professor Alex Yakovlev
On the Design of Reliable Hybrid Wired-Wireless Network-on-Chip Architectures2015
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 Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Order Graphs and Cross-Layer Parametric Significance-driven Modelling2015
Johnson Fernandes
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
Dr Danil Sokolov
et al.
Persistent and Non-violent Steps and the Design of GALS Systems2015
Dr Basel Halak
Professor Alex Yakovlev
Power Balanced Circuits for Leakage-Power-Attacks Resilient Design2015
Austin Ogweno
Professor Alex Yakovlev
Professor Patrick Degenaar
Power Gating in Asynchronous Micropiplines for Low Power Data Driven Computing2015
Dr Terrence Mak
Professor Alex Yakovlev
Power-Adaptive Computing System Design for Solar-Energy-Powered Embedded Systems2015
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Power-proportional modelling fidelity2015
Dr Beibei Liu
Pablo Fernandez
Ammar Karkar
Professor Alex Yakovlev
SMAS: A Generalized and Efficient Framework for Computationally Expensive Electronic Design Optimization Problems2015
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework2015
Kaiyuan Gao
Yuqing Xu
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
et al.
Wideband Dynamic Voltage Sensing Mechanism for EH Systems2015
Sam Alrudainy
Dr Andrey Mokhov
Professor Alex Yakovlev
A scalable physical model for Nano-Electro-Mechanical relays2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework2014
Dr Delong Shang
Xuefu Zhang
Dr Fei Xia
Professor Alex Yakovlev
Asynchronous design for new on-chip wide dynamic range power electronics2014
Dr Delong Shang
Dr Xuefu Zhang
Dr Fei Xia
Professor Alex Yakovlev
Asynchronous design for new on-chip wide dynamic range power electronics2014
Nizar Dahir
Dr Ghaith Tarawneh
Dr Terrence Mak
Ra'ed Al-Dujaily
Professor Alex Yakovlev
et al.
Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip2014
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Design of Processors with Reconfigurable Microarchitecture2014
Dr Ghaith Tarawneh
Professor Alex Yakovlev
Dr Terrence Mak
Eliminating Synchronization Latency Using Sequenced Latching2014
Abdullah Baz
Dr Delong Shang
Dr Fei Xia
Xuan Gu
Professor Alex Yakovlev
et al.
Energy efficiency of micropipelines under wide dynamic supply voltages2014
Dr Danil Sokolov
Professor Alex Yakovlev
GALS Partitioning by Behavioural Decoupling Expressed in Petri Nets2014
Ammar Karkar
Nizar Dahir
Professor Alex Yakovlev
Hybrid wire-surface wave architecture for one-to-many communication in networks-on-chip2014
Ammar Karkar
Nizar Dahir
Raaed Al-Dujaily
Dr Terrence Mak
Professor Alex Yakovlev
et al.
Hybrid wire-surface wave architecture for one-to-many communication in networks-on-chip2014
Nizar Dahir
Dr Terrence Mak
Dr Fei Xia
Professor Alex Yakovlev
Modelling and Tools for Power Supply Variations Analysis in Networks-on-Chip2014
Ammar Karkar
Professor Alex Yakovlev
Network on Chip optimization based on surrogate model assisted evolutionary algorithms2014
Ammar Karkar
Professor Alex Yakovlev
Network on Chip Optimization Based on Surrogate Model Assisted Evolutionary Algorithms2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Resource-driven Modelling of Complex Digital Systems with Uncertainty2014
Raaed Al-Dujaily
Dr Terrence Mak
Dr Fei Xia
Professor Alex Yakovlev
Run-Time Deadlock Detection2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework2014
Dr Andrey Mokhov
Dr Alexei Iliasov
Dr Danil Sokolov
Maxim Rykunov
Professor Alex Yakovlev
et al.
Synthesis of Processor Instruction Sets from High-Level ISA Specifications2014
Nizar Dahir
Ra'ed Al-Dujaily
Dr Terrence Mak
Professor Alex Yakovlev
Thermal Optimization in Network-on-Chip-Based 3D Chip Multiprocessors Using Dynamic Programming Networks2014
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
Towards asynchronous power management2014
Professor Maciej Koutny
Professor Alex Yakovlev
Transactions on petri nets and other models of concurrency IX2014
Professor Alex Yakovlev
Моделирование параллельных процессов. Сети Петри. [Modelling Concurrent Processes. Petri nets] 2014
Alex Jameson
Dr Graeme Chester
Professor Alex Yakovlev
Address event representation neuromorphics to epiretinal colour vision2013
Professor Alex Yakovlev
Advances in Asynchronous logic: from Principles to GALS & NoC, Recent Industry Applications, and Commercial CAD tools2013
Dr Reza Ramezani
Professor Alex Yakovlev
Capacitor discharging through asynchronous circuit switching2013
Dr Stanislavs Golubcovs
Dr Delong Shang
Dr Fei Xia
Dr Andrey Mokhov
Professor Alex Yakovlev
et al.
Concurrent Multiresource Arbiter: Design and Applications2013
Maxim Rykunov
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Design-for-Adaptivity of Microarchitectures2013
Raaed Al-Dujaily
Dr Terrence Mak
Dr Fei Xia
Professor Alex Yakovlev
Dynamic On-Chip Thermal Optimization for Three-Dimensional Networks-On-Chip2013
Raaed Al-Dujaily
Nizar Dahir
Dr Terrence Mak
Dr Fei Xia
Professor Alex Yakovlev
et al.
Dynamic programming-based runtime thermal management (DPRTM): An online thermal control strategy for 3D-NoC systems2013
Nizar Dahir
Dr Terrence Mak
Raaed Al-Dujaily
Professor Alex Yakovlev
Highly adaptive and deadlock-free routing for three-dimensional networks-on-chip2013
Ammar Karkar
Raaed Al-Dujaily
Dr Terrence Mak
Professor Alex Yakovlev
Dr Fei Xia
et al.
Hybrid wire-surface wave interconnects for next-generation networks-on-chip2013
Dr Delong Shang
Professor Alex Yakovlev
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 22nd Int. Workshop, PATMOS 20122013
Athanasios Grivas
Professor Alex Yakovlev
Novel Multi-Layer Network Decomposition Boosting Acceleration of Multi-core Algorithms2013
Johnson Fernandes
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
Dr Danil Sokolov
et al.
Persistent and Nonviolent Steps and the Design of GALS Systems2013
James Docherty
Dr Alex Bystrov
Professor Alex Yakovlev
Simulation Testing of a Real-Time Heuristic Scheduler with Automotive Benchmarks2013
James Docherty
Dr Alex Bystrov
Professor Alex Yakovlev
Simulation testing of a real-time heuristic scheduler with automotive benchmarks2013
Johnson Fernandes
Professor Maciej Koutny
Dr Marta Koutny
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Step Persistence in the Design of GALS Systems2013
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Towards reconfigurable processors for power-proportional computing2013
Dr Jun Luo
Professor Patrick Degenaar
Graeme Coapes
Professor Alex Yakovlev
Dr Terrence Mak
et al.
Towards Reliable Hybrid Bio-Silicon Integration Using Novel Adaptive Control System2013
Professor Maciej Koutny
Professor Alex Yakovlev
Transactions on Petri Nets and Other Models of Concurrency VIII2013
Dr Frank Burns
Abdullah Baz
Dr Delong Shang
Professor Alex Yakovlev
Variability analysis of Self-Timed SRAM robustness2013
Dr Reza Ramezani
Professor Alex Yakovlev
Dr Fei Xia
Dr Julian Murphy
Dr Delong Shang
et al.
Voltage Sensing Using an Asynchronous Charge-to-Digital Converter for Energy-Autonomous Environments2013
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Wide-range, reference free, on-chip voltage sensor for variable Vdd operations2013
Dr Xuefu Zhang
Dr Delong Shang
Dr Fei Xia
Hock Low
Professor Alex Yakovlev
et al.
A Hybrid Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems2012
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation2012
Dr Ghaith Tarawneh
Professor Alex Yakovlev
Adaptive Synchronization for DVFS Applications2012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2012
Dr Ghaith Tarawneh
Professor Alex Yakovlev
An RTL Method for Hiding Clock Domain Crossing Latency2012
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Professor Alex Yakovlev
Design and security evaluation of balanced 1-of-n circuits2012
Dr Terrence Mak
Dr Fei Xia
Professor Alex Yakovlev
Embedded Transitive Closure Networks for Runtime Deadlock Detection in Networks-on-Chip2012
Professor Alex Yakovlev
Dr Alex Bystrov
Error detection and correction of single event upset (SEU) tolerant latch2012
Professor Said Boussakta
Professor Alex Yakovlev
FPGA-Based Architecture for a Generalized Parallel 2-D MRI Filtering Algorithm2012
Saad Al-Azawi
Professor Said Boussakta
Professor Alex Yakovlev
High precision and low power DCT architectures for image compression applications2012
James Docherty
Dr Alex Bystrov
Professor Alex Yakovlev
Identification of Key Energy Harvesting Parameters through Monte Carlo Simulations2012
Dr Ghaith Tarawneh
Professor Alex Yakovlev
Intra-chip physical parameter sensor for FPGAS using flip-flop metastability2012
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Frank Burns
Dr Julian Murphy
Professor Alex Yakovlev
et al.
Mixed Radix Reed-Muller Expansions2012
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2012
Bo Yu
Dr Terrence Mak
Dr Fei Xia
Professor Alex Yakovlev
Dr Yudong Sun
et al.
Real-Time FPGA-Based Multichannel Spike Sorting Using Hebbian Eigenfilters2012
Ahmed Alahmadi
Dr Gordon Russell
Professor Alex Yakovlev
Reconfigurable Time Interval Measurement Circuit Incorporating a Programmable Gain Time Difference Amplifier2012
Dr Julian Murphy
Dr Frank Burns
Dr Alex Bystrov
Professor Alex Yakovlev
Dr Basel Halak
et al.
Self-Timed Physically Unclonable Functions2012
Johnson Fernandes
Professor Maciej Koutny
Dr Marta Koutny
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Step Persistence in the Design of GALS Systems2012
Ahmed Alahmadi
Professor Alex Yakovlev
Time difference amplifier design with improved performance parameters2012
Dr Fei Xia
Dr Andrey Mokhov
Dr Yu Zhou
Dr Yifan Chen
Emeritus Professor Isi Mitrani
et al.
Towards power-elastic systems through concurrency management2012
Dr Gordon Russell
Dr Frank Burns
Professor Alex Yakovlev
VARMA-VARiability Modelling and Analysis Tool2012
Professor John Fitzgerald
Dr Terrence Mak
Professor Alexander Romanovsky
Professor Alex Yakovlev
Workshop Proceedings: Trustworthy Cyber-Physical Systems2012
Xuefu Zhang
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems2011
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems2011
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2011
Dr Andrey Mokhov
Arseniy Alekseyev
Professor Alex Yakovlev
Encoding of processor instruction sets with explicit concurrency control2011
Professor Alex Yakovlev
Energy-modulated computing2011
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2011
Saad Al-Azawi
Professor Said Boussakta
Professor Alex Yakovlev
Image Compression Algorithms Using Intensity Based Adaptive Quantization Coding2011
Arseniy Alekseyev
Dr Victor Khomenko
Dr Andrey Mokhov
Dominic Wist
Professor Alex Yakovlev
et al.
Improved parallel composition of labelled Petri nets2011
Abdullah Baz
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Dr Alex Bystrov
et al.
Improving the Robustness of Self-timed SRAM to Variable Vdds2011
Saad Al-Azawi
Professor Said Boussakta
Professor Alex Yakovlev
Low complexity image compression algorithm using AMBTC and bit plane squeezing2011
Santosh Shedabale
Dr Gordon Russell
Professor Alex Yakovlev
M-PRES: a statistical tool for modelling the impact of manufacturing process variations on circuit-level performance parameters2011
sam Hasan
Professor Said Boussakta
Professor Alex Yakovlev
Parameterized FPGA-based architecture for parallel 1-D filtering algorithms 2011
Dr Fei Xia
Professor Alex Yakovlev
Run-Time Deadlock Detection in Networks-on-Chip Using Coupled Transitive Closure Networks2011
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Professor Alex Yakovlev
Security Evaluation of Balanced 1-of-n Circuits2011
Abdullah Baz
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Self-timed SRAM for Energy Harvesting Systems2011
Dr Basel Halak
Professor Alex Yakovlev
Statistical analysis of crosstalk-induced errors for on-chip interconnects2011
Jun Zhou
Professor David Kinniment
Dr Gordon Russell
Professor Alex Yakovlev
Sub-threshold Synchronizer2011
Dr Jun Luo
Bo Yu
Dr Peter Andras
Professor Alex Yakovlev
Towards neuro-silicon interface using reconfigurable dynamic clamping2011
Hock LOW
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Variation Tolerant Asynchronous FPGA2011
Hock LOW
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Variation Tolerant Asynchronous FPGA2011
Bo Yu
Dr Terrence Mak
Xinhua Li
Dr Fei Xia
Professor Alex Yakovlev
et al.
A Reconfigurble Hebbian Eigenfilter for Neurophysiological Spike Train Analysis2010
Mohammed Alshaikh
Professor David Kinniment
Professor Alex Yakovlev
A Synchronizer Design Based on Wagging2010
Dr Gordon Russell
Professor Alex Yakovlev
An Analysis of SEU Robustness of C-Element Structures Implemented in Bulk CMOS and SOI Technologies2010
Stanislavs Golubcovs
Professor Alex Yakovlev
Asynchronous Communications for NoCs2010
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Asynchronous FPGA Architecture with Distributed Control2010
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Asynchronous FPGA architecture with distributed control2010
Dr Andrey Mokhov
Arseniy Alekseyev
Professor Alex Yakovlev
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design2010
Dr Andrey Mokhov
Professor Alex Yakovlev
Conditional Partial Order Graphs: Model, Synthesis, and Application2010
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Highly Parallel Multi-Resource Arbiters2010
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Highly parallel multi-resource arbiters2010
Dr Basel Halak
Professor Alex Yakovlev
Professor Anthony O'Neill
Is a single cell sensor possible?2010
Li Dai
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Monitoring circuit based on threshold for fault-tolerant NoC2010
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2010
sam Hasan
Professor Alex Yakovlev
Professor Said Boussakta
Performance Efficient FPGA Implementation of Parallel 2-D MRI Image Filtering Algorithms using Xilinx System Generator2010
Saad Al-Azawi
Professor Said Boussakta
Professor Alex Yakovlev
Performance Improvement Algorithms for Colour Image Compression Using DWT and Multilevel Block Truncation Coding2010
Ashur Rafiev
Dr Julian Murphy
Professor Alex Yakovlev
Secure Design Flow for Asynchronous Multi-Valued Logic Circuits2010
Abdullah Baz
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Self-timed SRAM for energy harvesting systems2010
YUAN CHEN
Emeritus Professor Isi Mitrani
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
et al.
Stochastic analysis of power, latency and the degree of concurrency2010
Dr Delong Shang
Dr Fei Xia
Stanislavs Golubcovs
Professor Alex Yakovlev
The Magic Rule of Tiles: Virtual Delay Insensitivity2010
Dr Basel Halak
Professor Alex Yakovlev
Throughput optimization for area-constrained links with crosstalk avoidance methods2010
Robin Emery
Professor Alex Yakovlev
Dr Graeme Chester
Connection-centric network for spiking neural networks2009
Sohini Dasgupta
Professor Alex Yakovlev
Desynchronisation Technique Using Petri Nets2009
Dr Frank Burns
Dr Julian Murphy
Dr Albert Koelmans
Professor Alex Yakovlev
Efficient advanced encryption standard implementation using lookup and normal basis2009
Panagiotis Asimakopoulos
Professor Alex Yakovlev
Evaluation of Energy-Recovering Interconnects for Low-Power 3D Stacked ICs2009
YUAN CHEN
Dr Fei Xia
Dr Delong Shang
Professor Alex Yakovlev
Fine-grain stochastic modelling of dynamic power management policies and analysis of their power-latency tradeoffs2009
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2009
Stanislavs Golubcovs
Dr Delong Shang
Dr Fei Xia
Dr Andrey Mokhov
Professor Alex Yakovlev
et al.
Modular Approach to Multi-Resource Arbiter Design2009
Mohammed Alshaikh
Professor David Kinniment
Professor Alex Yakovlev
O. The trade-off between resolution time and delay times in bistable circuits2009
Arseniy Alekseyev
Ivan Poliakov
Dr Victor Khomenko
Professor Alex Yakovlev
Optimisation of Balsa control path using STG resynthesis2009
Ashur Rafiev
Dr Julian Murphy
Professor Alex Yakovlev
Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits2009
Dr Andrey Mokhov
Crescenco D'Alessandro
Professor Alex Yakovlev
Synthesis of multiple rail phase encoding circuits2009
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2009
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of nets with step firing policies2009
Ivan Poliakov
Dr Victor Khomenko
Professor Alex Yakovlev
WORKCRAFT - A Framework for Interpreted Graph Models2009
Professor Alex Yakovlev
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets2008
Professor Alex Yakovlev
A symbolic algorithm for the synthesis of bounded petri nets2008
Jun Zhou
Professor David Kinniment
Dr Gordon Russell
Professor Alex Yakovlev
Adapting synchronizers to the effects of on chip variability2008
Santosh Shedabale
Dr Gordon Russell
Professor Alex Yakovlev
Analysing the Effect of Process Variation to Reduce Parametric Yield Loss2008
Dr Danil Sokolov
Ivan Poliakov
Professor Alex Yakovlev
Analysis of Static Data Flow Structures2008
Professor Alex Yakovlev
Asynchronous Transient Resilient Links for NoC2008
Ivan Poliakov
Dr Andrey Mokhov
Ashur Rafiev
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Automated Verification of Asynchronous Circuits Using Circuit Petri Nets2008
Dr Basel Halak
Professor Alex Yakovlev
Bandwidth-centric optimisation for area-constrained links with crosstalk avoidance methods2008
Professor Alex Yakovlev
Comments on the BCS Lecture ‘The Future of Computer Technology and its Implications for the Computer Industry’ by Professor Steve Furber2008
Dr Andrey Mokhov
Professor Alex Yakovlev
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis2008
Ashur Rafiev
Dr Julian Murphy
Dr Danil Sokolov
Professor Alex Yakovlev
Conversion Driven Design of Binary to Mixed Radix Circuits2008
Ashur Rafiev
Dr Julian Murphy
Dr Danil Sokolov
Professor Alex Yakovlev
Conversion Driven Design of Binary to Mixed Radix Circuits2008
Dr Basel Halak
Professor Alex Yakovlev
Fault-tolerant techniques to minimize the impact of crosstalk on phase encoded communication channels2008
YUAN CHEN
Dr Fei Xia
Dr Delong Shang
Professor Alex Yakovlev
Fine Grain Stochastic Modelling and Analysis of Low Power Portable Devices with Dynamic Power Management2008
Nikolaos Minas
Matthew Marshall
Dr Gordon Russell
Professor Alex Yakovlev
FPGA implementation of an asynchronous processor with both online and offline testing capabilities2008
Dr Terrence Mak
Crescenco D'Alessandro
Professor Alex Yakovlev
Global interconnections in FPGAs: modeling and performance analysis2008
Nikolaos Minas
Professor David Kinniment
Dr Gordon Russell
Professor Alex Yakovlev
High Resolution Flash Time-to-Digital Converter with Sub-Picosecond Measurement Capabilities2008
Crescenco D'Alessandro
Dr Alex Bystrov
Professor Alex Yakovlev
Implementation of a phase-encoding signalling prototype chip2008
Dr Terrence Mak
Crescenco D'Alessandro
Professor Alex Yakovlev
Implementation of wave-pipelined interconnects in FPGAs2008
Professor David Kinniment
Dr Albert Koelmans
Dr Alex Bystrov
Dr Graeme Chester
Dr Gordon Russell
et al.
Message from General Chairs2008
Jun Zhou
Professor David Kinniment
Dr Gordon Russell
Professor Alex Yakovlev
On-chip measurement of deep metastability in synchronizers2008
Crescenco D'Alessandro
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
Dr Oleg Maevsky
et al.
Phase-encoding for on-chip signalling2008
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings2008
Professor Alex Yakovlev
Dr Danil Sokolov
Ivan Poliakov
Self-timed Circuit Design: Stepping from Control to Data Path2008
Professor Alex Yakovlev
Crescenco D'Alessandro
Serialized Asynchronous Links for NoC2008
Santosh Shedabale
Dr Gordon Russell
Professor Alex Yakovlev
Stacked strained silicon transistors for low-power high-performance circuit applications2008
Santosh Shedabale
Dr Gordon Russell
Professor Alex Yakovlev
Dr Sanatan Chattopadhyay
Statistical modelling of the variation in advanced process technologies using a multi-level partitioned response surface approach2008
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2008
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2008
Dr Basel Halak
Santosh Shedabale
Professor Alex Yakovlev
Dr Gordon Russell
The impact of variability on the reliability of long on-chip interconnect in the presence of crosstalk2008
Dr Andrey Mokhov
Professor Alex Yakovlev
Verification of Conditional Partial Order Graphs2008
Dr Andrey Mokhov
Professor Alex Yakovlev
Verification of Conditional Partial Order Graphs2008
Kelvin Gardiner
Professor Alex Yakovlev
Dr Alex Bystrov
A C-element latch scheme with increased transient fault tolerance for asynchronous circuits2007
Dr Danil Sokolov
Ivan Poliakov
Professor Alex Yakovlev
Asynchronous Data Path Models2007
Dr Albert Koelmans
Professor Alex Yakovlev
Asynchronous functional coupling for low power sensor network processors2007
Dr Delong Shang
Michael Shin
Ping Wang
Dr Fei Xia
Dr Albert Koelmans
et al.
Asynchronous Functional Coupling for Low Power Sensor Network Processors2007
Dr Delong Shang
Michael Shin
Ping Wang
Dr Fei Xia
Dr Albert Koelmans
et al.
Asynchronous functional coupling for low power sensor network processors2007
Dr Fei Xia
Professor Alex Yakovlev
Automating synthesis of asynchronous communication mechanisms2007
Sohini Dasgupta
Professor Alex Yakovlev
Comparative analysis of GALS clocking schemes2007
Crescenco D'Alessandro
Dr Andrey Mokhov
Dr Alex Bystrov
Professor Alex Yakovlev
Delay/Phase Regeneration Circuit2007
Crescenco D'Alessandro
Dr Andrey Mokhov
Dr Alex Bystrov
Professor Alex Yakovlev
Delay/Phase regeneration circuits2007
Dr Danil Sokolov
Dr Alex Bystrov
Professor Alex Yakovlev
Direct mapping of low-latency asynchronous controllers from STGs2007
Dr Frank Burns
Dr Julian Murphy
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Dynamic global security-aware synthesis using SystemC2007
Dr Sanatan Chattopadhyay
Professor Alex Yakovlev
Impact of strain on the design of low-power high-speed circuits2007
Dr Sanatan Chattopadhyay
Professor Alex Yakovlev
Impact of strain on the design of low-power high-speed circuits2007
Crescenco D'Alessandro
Dr Alex Bystrov
Professor Alex Yakovlev
Improved phase-encoding signalling2007
Professor David Kinniment
Keith Heron
Dr Gordon Russell
Professor Alex Yakovlev
Measuring deep metastability and its effect on synchronizer performance2007
Crescenco D'Alessandro
Nikolaos Minas
Keith Heron
Professor David Kinniment
Professor Alex Yakovlev
et al.
NoC communication strategies using time-to-digital conversion2007
Professor Alex Yakovlev
Petri nets and Other Models of Concurrency – ICATPN 20072007
Crescenco D'Alessandro
Professor Alex Yakovlev
Reducing interconnect cost in NOC through serialized asynchronous links2007
Dr Delong Shang
Professor Alex Yakovlev
Dr Albert Koelmans
Dr Danil Sokolov
Dr Alex Bystrov
et al.
Registers for Phase Difference Based Logic2007
Yuan Chen
Dr Fei Xia
Dr Delong Shang
Professor Alex Yakovlev
The Design of Virtual Self-timed Block for Activity Communication in SOC2007
Yuan Chen
Dr Fei Xia
Dr Delong Shang
Professor Alex Yakovlev
The Design of Virtual Self-timed Block for Activity Communication in SOC2007
Jun Zhou
Professor David Kinniment
Dr Gordon Russell
Professor Alex Yakovlev
A robust synchronizer2006
Dr Julian Murphy
Professor Alex Yakovlev
An Alternating Spacer AES Crypto-Processor2006
Dr Julian Murphy
Professor Alex Yakovlev
An alternating spacer AES crypto-processor2006
Dr Fei Xia
Fei Hao
Dr Ian Clark
Professor Alex Yakovlev
Dr Graeme Chester
et al.
Buffered asynchronous communication mechanisms2006
Dr Danil Sokolov
Professor Alex Yakovlev
Clock-less circuits and system synthesis2006
Dr Yu Zhou
Dr Danil Sokolov
Professor Alex Yakovlev
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement2006
Dr Yu Zhou
Dr Danil Sokolov
Professor Alex Yakovlev
Cost-aware synthesis of asynchronous datapath based on partial acknowledgement2006
Dr Delong Shang
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Dr Danil Sokolov
et al.
High-security asynchronous circuit implementation of AES2006
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 Delong Shang
Professor Alex Yakovlev
Dr Frank Burns
Dr Fei Xia
Dr Alex Bystrov
et al.
Low-Cost Online Tesing of Asynchronous Handshakes2006
Professor Alex Yakovlev
Modeling and performance analysis of GALS architectures2006
Sohini Dasgupta
Professor Alex Yakovlev
Moving from weakly endochronous systems to delay-insensitive circuits2006
Crescenco D'Alessandro
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
Dr Oleg Maevsky
et al.
Multiple-rail phase-encoding for NoC2006
Crescenco D'Alessandro
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
Dr Oleg Maevsky
et al.
Multipl-rail phase-encoding for NoC2006
Deepali Koppad
Dr Danil Sokolov
Dr Alex Bystrov
Professor Alex Yakovlev
Online testing by protocol decomposition2006
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings2006
Yuan Chen
Dr Fei Xia
Professor Alex Yakovlev
Virtual self-timed blocks for systems-on-chip2006
Dr Fei Xia
Professor Alex Yakovlev
Virtual self-timed blocks for systems-on-chip2006
Professor Alex Yakovlev
A Multi-version Data Model and Semantic-Based Transaction Processing Protocol2005
Dr Fei Xia
Professor Alex Yakovlev
Automating synthesis of asynchronous communication mechanisms2005
Dr Danil Sokolov
Professor Alex Yakovlev
Clockless circuits and system synthesis2005
Dr Danil Sokolov
Dr Julian Murphy
Dr Alex Bystrov
Professor Alex Yakovlev
Design and analysis of dual-rail circuits for security applications2005
Dr Sanatan Chattopadhyay
Professor Alex Yakovlev
Professor Satnam Dlay
Professor Anthony O'Neill
Design ofsrained silicon inverters for fture VLSI applications2005
Sohini Dasgupta
Professor Alex Yakovlev
Modeling and verification of globally asynchronous and locally synchronous ring architectures2005
Deepali Koppad
Dr Alex Bystrov
Professor Alex Yakovlev
Off-line testing of Asynchronous circuits2005
Deepali Koppad
Dr Alex Bystrov
Professor Alex Yakovlev
Off-line testing of asynchronous circuits2005
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
Deepali Koppad
On-line testing of globally asynchronous circuits2005
Dr Alex Bystrov
Professor Alex Yakovlev
Power-balanced self checking circuits for cryptographic chips2005
Dr Julian Murphy
Dr Alex Bystrov
Professor Alex Yakovlev
Power-balanced self checking circuits for cryptographic chips2005
Crescenco D'Alessandro
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
PSK Signalling on NoC Buses2005
Crescenco D'Alessandro
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
PSK signalling on NoC buses2005
Crescenco D'Alessandro
Dr Delong Shang
Dr Alex Bystrov
Professor Alex Yakovlev
PSK signalling on NoC buses2005
Dr Alex Bystrov
Professor Alex Yakovlev
Self-Checking Circuits for Security Applications2005
Dr Delong Shang
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Dr Danil Sokolov
et al.
A low and balanced power implementation of the AES security mechanism using self-timed circuits2004
Dr Delong Shang
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Dr Danil Sokolov
et al.
A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits2004
Dr Delong Shang
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Dr Danil Sokolov
et al.
A low and balanced power implementation of the AES security mechanism using self-timed circuits2004
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
An asynchronous synthesis toolset using Verilog2004
Professor Alex Yakovlev
Application characteristics of broadband emission detectors in spectral ratio pyrometers2004
Dr Delong Shang
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
Dr Fei Xia
et al.
Asynchronous system synthesis based on direct mapping using VHDL and Petri nets2004
Dr Fei Xia
Fei Hao
Dr Ian Clark
Professor Alex Yakovlev
Dr Graeme Chester
et al.
Buffered asynchronous communication mechanisms2004
Professor Alex Yakovlev
Rene Krenz
Dr Alex Bystrov
Design and analysis of a self-timed duplex communication system2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Encoding Conflicts in STG Unfoldings Using SAT2004
Professor Alex Yakovlev
From Hardware Processes to Asynchronous Circuits via Petri Nets: an Application to Arbiter Design2004
Dr Danil Sokolov
Dr Alex Bystrov
Professor Alex Yakovlev
Improving the security of dual-rail circuits2004
Dr Danil Sokolov
Dr Julian Murphy
Dr Alex Bystrov
Professor Alex Yakovlev
Improving the security of dual-rail circuits2004
Dr Danil Sokolov
Dr Julian Murphy
Dr Alex Bystrov
Professor Alex Yakovlev
Improving the security of dual-rail circuits2004
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
Professor David Kinniment
Professor Alex Yakovlev
Low latency synchronization through speculation2004
Professor David Kinniment
Professor Alex Yakovlev
Low latency synchronization through speculation2004
Fei Hao
Dr Fei Xia
Dr Graeme Chester
Professor Alex Yakovlev
Dr Ian Clark
et al.
MATLAB Models of ACMs in Control Systems2004
Dr Victor Khomenko
Agnes Madalinski
Professor Alex Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings2004
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Scheduling and allocation using closeness tables2004
Guang-Yeu Luo
Dr Ian Clark
Dr Fei Xia
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Simulating Heterogeneous timing networks in network simulator ns2004
Guang-Yeu Luo
Dr Fei Xia
Dr Ian Clark
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Simulating heterogeneously timed networks in network simulator NS2004
Guang-Yeu Luo
Dr Fei Xia
Dr Ian Clark
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Simulating heterogeneously timed networks in network simulator NS2004
Dr Victor Khomenko
Professor Alex Yakovlev
Synthesis of asynchronous hardware from Petri nets2004
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
Dr Albert Koelmans
Balancing power signature in secure systems2003
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
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
Low-latency control structures with slack2003
Dr Nikolai Starodoubtsev
Dr Alex Bystrov
Professor Alex Yakovlev
Monotonic circuits with complete acknowledgement2003
Professor David Kinniment
Dr Oleg Maevsky
Dr Alex Bystrov
Dr Gordon Russell
Professor Alex Yakovlev
et al.
On-chip structures for timing measurement and test2003
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
OR-causality in low-latency asynchronous circuits2003
Dr Danil Sokolov
Dr Alex Bystrov
Professor Alex Yakovlev
STG optimisation in the direct mapping of asynchronous circuits2003
Dr Danil Sokolov
Dr Alex Bystrov
Professor Alex Yakovlev
STG optimisation in the direct mapping of asynchronous circuits2003
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 Delong Shang
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
An asynchronous DMA system design based on direct mapping using VHDL and Petri Nets2002
Dr Oleg Maevsky
Professor David Kinniment
Professor Alex Yakovlev
Dr Alex Bystrov
Analysis of the oscillation problem in tri-flops2002
Dr Oleg Maevsky
Professor David Kinniment
Professor Alex Yakovlev
Dr Alex Bystrov
Analysis of the oscillation problem in tri-flops2002
Dr Oleg Maevsky
Professor David Kinniment
Professor Alex Yakovlev
Dr Alex Bystrov
Analysis of the oscillation problem in tri-flops2002
Dr Alex Bystrov
Professor Alex Yakovlev
Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment2002
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Asynchronous circuit synthesis via direct translation2002
Dr Delong Shang
Dr Fei Xia
Professor Alex Yakovlev
Asynchronous circuit synthesis via direct translation2002
Dr Danil Sokolov
Dr Alex Bystrov
Professor Alex Yakovlev
Automated design of low-latency asynchronous circuits by direct mapping2002
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Behavioural synthesis of asynchronous controllers: a case study with a self-timed communication channel2002
Professor Alex Yakovlev
Concurrency and Hardware Design (Advances in Petri Nets)2002
Dr Fei Xia
Professor Alex Yakovlev
Dr Ian Clark
Dr Delong Shang
Data communication in systems with heterogeneous timing2002
Hiroshi Saito
Professor Alex Yakovlev
Design of asynchronous controllers with delay insensitive interface2002
Professor Alex Yakovlev
Design, Analysis and Implementation of a Self-Timed Duplex Communication System2002
Professor Alex Yakovlev
Rene Krenz
Design, Analysis and Implementation of a Self-Timed Duplex Communication System2002
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
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
ICU: A tool for Identifying State Coding Conflicts using STG unfoldings2002
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
ICU: A tool for Identifying State Coding Conflicts using STG unfoldings2002
Professor Alex Yakovlev
Is the die cast for the token game?2002
Professor Alex Yakovlev
Is the die cast for the token game?2002
Professor Alex Yakovlev
Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions2002
Professor Alex Yakovlev
John Garside
Logic design of asynchronous circuits2002
Professor Alex Yakovlev
Logic Synthesis for Asynchronous Controllers and Interfaces2002
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
Low-latency control structures with slack2002
Professor David Kinniment
Dr Oleg Maevsky
Dr Alex Bystrov
Dr Gordon Russell
Professor Alex Yakovlev
et al.
On-chip structures for timing measurement and test2002
Professor David Kinniment
Dr Alex Bystrov
Professor Alex Yakovlev
Synchronization circuit performance2002
Dr Alex Bystrov
Professor Alex Yakovlev
Synthesis of Asynchronous Circuits with Predictable Latency2002
Dr Alex Bystrov
Professor Alex Yakovlev
Synthesis of Asynchronous Circuits with Predictable Latency2002
Mohd Abas
Dr Alex Bystrov
Professor David Kinniment
Dr Oleg Maevsky
Dr Gordon Russell
et al.
Time difference amplifier2002
Professor Alex Yakovlev
Dr Fei Xia
Towards synthesis of asynchronous communication mechanisms.2002
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
Visualisation of Coding Conflicts in Asynchronous Circuit Design2002
Dr Oleg Maevsky
Professor David Kinniment
Professor Alex Yakovlev
Dr Alex Bystrov
Analysis of the Oscillation Problem in Tri-Flops2001
Dr Alex Bystrov
Professor Alex Yakovlev
Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment2001
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming2001
Dr Frank Burns
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Modelling and verification of an atomic action protocol implemented in Ada2001
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada2001
Professor David Kinniment
Dr Oleg Maevsky
Dr Alex Bystrov
Dr Gordon Russell
Professor Alex Yakovlev
et al.
On-Chip structures for Timing Measurement and Test2001
Professor Alex Yakovlev
Dr Fei Xia
Dr Delong Shang
Synthesis and implementation of a signal-type asynchronous data communication mechanism2001
Dr Alex Bystrov
Professor Alex Yakovlev
Synthesis of Asynchronous Circuits with Predictable Latency2001
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Translating from asynchronous FSM specifications in VHDL to Petri Nets2001
Dr Alex Bystrov
Professor Maciej Koutny
Professor Alex Yakovlev
Visualisation of Partial Order Models in VLSI Design Flow2001
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets2001
Dr Fei Xia
Professor Alex Yakovlev
Dr Delong Shang
Dr Alex Bystrov
Dr Albert Koelmans
et al.
Asynchronous communication mechanisms using self-timed circuits2000
Professor Alex Yakovlev
Hardware and Petri nets: Application to asynchronous circuit design2000
Professor Alex Yakovlev
Hardware Design and Petri Nets2000
Dr Alex Bystrov
Professor David Kinniment
Professor Alex Yakovlev
Priority arbiters2000
Professor Alex Yakovlev
Proceedings AINT'2000: Asynchronous Interfaces: tools, techniques, and implementations, TU Delft, The Netherlands, 19-20th July 20002000
Agnes Madalinski
Dr Fei Xia
Professor Alex Yakovlev
Relative Data Freshness of Asynchronous Communication Mechanisms2000
Dr Nikolai Starodoubtsev
Dr Alex Bystrov
Professor Alex Yakovlev
Semi-modular latch chains for asynchronous circuit design2000
Agnes Madalinski
Dr Alex Bystrov
Professor Alex Yakovlev
Statistical Fairness of Ordered Arbiters2000
Professor David Kinniment
Professor Alex Yakovlev
Bin Gao
Synchronous and asynchronous A-D conversion2000
Professor Alex Yakovlev
Dr Fei Xia
Dr Delong Shang
Synthesis of a Signal-type Asynchronous Data Communication Mechanism and its Hardware Implementation2000
Dr Frank Burns
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets2000
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
WCET analysis of superscalar processors using simulation with Coloured Petri Nets2000
Dr Fei Xia
Professor Alex Yakovlev
Dr Alex Bystrov
Dr Albert Koelmans
Professor David Kinniment
et al.
An Asynchronous Communication Mechanism Using Self-timed Circuits1999
Keith Heron
Dr Albert Koelmans
Professor Alex Yakovlev
Asynchronous microprocessors: From high level model to FPGA implementation1999
Professor Alex Yakovlev
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems1999
Professor Alex Yakovlev
Decomposition and Technology Mapping of Speed-independent Circuits Using Boolean Relations1999
Professor Alex Yakovlev
Professor David Kinniment
Dr Fei Xia
FIFO Buffer with Real-Time Interface1999
Professor Alex Yakovlev
Logic decomposition of speed-independent circuits1999
Professor David Kinniment
Professor Alex Yakovlev
Low power, low noise micropipelined flash A-D converter1999
Dr Alex Bystrov
Professor Alex Yakovlev
Ordered arbiters1999
Dr Alex Bystrov
Professor David Kinniment
Professor Alex Yakovlev
Priority Arbiters1999
Hiroshi Saito
Professor Alex Yakovlev
What is the Cost of Delay-Insensitivity?1999
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
Analysing Superscalar Processor Architectures with Coloured Petri Nets1998
Professor Alex Yakovlev
Deriving Petri Nets from finite transition systems1998
Professor Alex Yakovlev
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets1998
Professor Alex Yakovlev
Dr Albert Koelmans
Estimations of Power Consumption in Asynchronous Logic as Derived from Graph Based Circuit Representations1998
Professor Alex Yakovlev
Hazard-free implementation of speed-independent circuits1998
Professor Alex Yakovlev
Lazy Transition Systems: Application to Timing Optimization of Asynchronous Circuits1998
Dr Fei Xia
Professor Alex Yakovlev
Overview of Modelling and Analysis Techniques for Arbiters and Related Circuits1998
Dr Ian Clark
Dr Fei Xia
Professor Alex Yakovlev
Petri net models of latch metastability1998
Dr Fei Xia
Dr Ian Clark
Professor Alex Yakovlev
Petri Net Models of Metastable Operations in Latch Circuits1998
Professor Alex Yakovlev
Dr Albert Koelmans
Petri Nets and Digital Hardware Design1998
Keith Heron
Dr Albert Koelmans
Professor Alex Yakovlev
Rapid Design of Asynchronous Logic Using Reconfigurable Architectures1998
Emeritus Professor Isi Mitrani
Professor Alex Yakovlev
Tree Arbiter with Nearest-Neighbour Scheduling1998
Professor Alex Yakovlev
Unfolding and Finite Prefix for Nets with Read Arcs1998
Professor Alex Yakovlev
Unfolding and Finite Prefix for Nets with Read Arcs1998
Professor Alex Yakovlev
Dr Albert Koelmans
A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling1997
Professor Alex Yakovlev
A Region-Based Theory for State Assignment in Speed-independent Circuits1997
Keith Heron
Dr Albert Koelmans
Professor Alex Yakovlev
Asynchronous Microprocessors: From High Level Model to FPGA Implementation1997
Professor Alex Yakovlev
Contextual Net Unfolding and Asynchronous System Verification1997
Professor Alex Yakovlev
Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations1997
Professor Alex Yakovlev
Design and Evaluation of Two Asynchronous Token Ring Adapters1997
Dr Albert Koelmans
Professor Alex Yakovlev
Designing an asynchronous processor using petri nets1997
Professor Alex Yakovlev
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings1997
Professor David Kinniment
Professor Alex Yakovlev
Bin Gao
MetaStable Behaviour in Arbiter Circuits1997
Professor Alex Yakovlev
Partial Order Based Approach to Synthesis of Speed-Independent Circuits1997
Professor Alex Yakovlev
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers1997
Professor Alex Yakovlev
Synthesis of Speed Independent Circuits from STG-unfolding Segment1997
Professor Alex Yakovlev
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment1997
Professor David Kinniment
Bin Gao
Professor Alex Yakovlev
Dr Fei Xia
Towards Asynchronous A-D Conversion1997
Emeritus Professor Isi Mitrani
Professor Alex Yakovlev
Tree Arbiter With Nearest-Neighbour Scheduling1997
Emeritus Professor Isi Mitrani
Professor Alex Yakovlev
Tree Arbiter With Nearest-Neighbour Scheduling1997
Professor Alex Yakovlev
A unified signal transition graph model for asynchronous control circuit synthesis1996
Professor Alex Yakovlev
Dr Albert Koelmans
Professor David Kinniment
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets1996
Professor Alex Yakovlev
Dr Marta Koutny
On the models for asynchronous circuit behaviour with OR causality1996
Professor Alex Yakovlev
Dr Albert Koelmans
Professor David Kinniment
Petri nets and asynchronous circuit design1996
Professor Alex Yakovlev
Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers1996
Dr Nikolai Starodoubtsev
Professor Alex Yakovlev
Use of VHDL-based Environment for Interactive Synthesis of Asynchronous Circuits1996
Professor Alex Yakovlev
Verification of Asynchronous Circuits using Time Petri Net Unfolding1996
Professor Alex Yakovlev
Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits1995
Professor Alex Yakovlev
Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits1995
Professor Alex Yakovlev
Designing An Asynchronous Pipeline Token Ring Interface1995
Dr Albert Koelmans
Professor Alex Yakovlev
Designing an Asynchronous Processor Using Petri-Nets1995
Professor Alex Yakovlev
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets1995
Professor Alex Yakovlev
Dr Albert Koelmans
High Level Modelling and Design of Asynchronous Interface Logic1995
Professor Alex Yakovlev
Dr Albert Koelmans
Professor David Kinniment
Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets1995
Dr Marta Koutny
Professor Alex Yakovlev
Non-Pure Nets and Their Transition Systems1995
Professor Alex Yakovlev
On Hazard-Free Implementation of Speed-Independent Circuits1995
Dr Albert Koelmans
Professor Alex Yakovlev
Professor David Kinniment
PNIF: An Interchange Format for System Specification with Coloured Petri Nets1995
Professor Alex Yakovlev
Specification and Verification of a Self-Timed Token Ring Protocol1995
Professor Alex Yakovlev
Token Ring Arbiters: An Exercise in Asynchronous Logic Design with Petri-Nets1995
Dr Nikolai Starodoubtsev
Professor Alex Yakovlev
Use of VHDL Enviroment for Interactive Synthesis of Asynchronous Circuits1995
Professor Alex Yakovlev
A Low Latency Asynchronous Arbitration Circuit1994
Professor Alex Yakovlev
Basic Gate Implementation of Speed-Independent Circuits1994
Professor Alex Yakovlev
Event-based Framework for Verifying High-level Models of Asynchronous Circuits1994
Professor Alex Yakovlev
OR Causality: Modelling and Hardware Implementation1994
Professor Alex Yakovlev
Dr Albert Koelmans
High Level Modelling and Design of Asynchronous Interface Logic1993
Professor Alex Yakovlev
High Speed Asynchronous Arbiter1993
Professor Alex Yakovlev
Interfacing Transputers to Analog Environments in Real-Time Systems1993
Professor Alex Yakovlev
On the Models for Asynchronous Circuit Behaviour with OR Causality1993
Professor Alex Yakovlev
Structural Technique for Fault-masking in Asynchronous Interfaces1993
Professor Alex Yakovlev
Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs1993
Professor Alex Yakovlev
Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs1993
Professor Alex Yakovlev
A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis1992
Professor Alex Yakovlev
On Limitations and Extensions of Signal Transition Graph Model for Designing Asynchronous Control Circuits1992
Professor Alex Yakovlev
On Limitations and Extensions of Signal Transition Graph Model for Designing Asynchronous Control Circuits1992
Professor Alex Yakovlev
Symbolic Signal Transition Graphs and Asynchronous Circuit Design1992
Professor Alex Yakovlev
Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs1992
Dr Albert Koelmans
Professor Alex Yakovlev
Professor David Kinniment
System-level Design Based on Transformational Synthesis: Problems and Options1992
Professor Alex Yakovlev
A Structural Technique for Fault-Protection in Asynchronous Interfaces1991
Professor Alex Yakovlev
Petri Nets and Parallel Bus Controller Design1991
Professor Alex Yakovlev
A Relation-based Approach to Analysing Semantics of Asynchronous Hardware Specifications1989
Professor Alex Yakovlev
Analysing Semantics of Concurrent Hardware Specifications1989
Professor Alex Yakovlev
Concurrency Models for Designing Interface Logic in Distributed Systems1989
Professor Alex Yakovlev
Signal graphs: a model for designing concurrent logic1988
Professor Alex Yakovlev
Designing Self-Timed Systems1985
Professor Alex Yakovlev
Signal Graphs: from Self-Timed to Timed Ones1985