Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Frank Burns.

Newcastle AuthorsTitleYearFull text
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
Analysis and Verification of Communication Fabrics2016
Dr Frank Burns
Dr Danil Sokolov
Professor Alex Yakovlev
GALS synthesis and verification for xMAS models2015
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Professor Alex Yakovlev
Design and security evaluation of balanced 1-of-n circuits2012
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Frank Burns
Dr Julian Murphy
Professor Alex Yakovlev
et al.
Mixed Radix Reed-Muller Expansions2012
Dr Julian Murphy
Dr Frank Burns
Dr Alex Bystrov
Professor Alex Yakovlev
Dr Basel Halak
et al.
Self-Timed Physically Unclonable Functions2012
Dr Gordon Russell
Dr Frank Burns
Professor Alex Yakovlev
VARMA-VARiability Modelling and Analysis Tool2012
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Professor Alex Yakovlev
Security Evaluation of Balanced 1-of-n Circuits2011
Dr Frank Burns
Dr Julian Murphy
Dr Albert Koelmans
Professor Alex Yakovlev
Efficient advanced encryption standard implementation using lookup and normal basis2009
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 Delong Shang
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Dr Danil Sokolov
et al.
High-security asynchronous circuit implementation of AES2006
Dr Delong Shang
Professor Alex Yakovlev
Dr Frank Burns
Dr Fei Xia
Dr Alex Bystrov
et al.
Low-Cost Online Tesing of Asynchronous Handshakes2006
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
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 Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Scheduling and allocation using closeness tables2004
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 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
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 Frank Burns
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets2001
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Translating from asynchronous FSM specifications in VHDL to Petri Nets2001
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets2001
Dr Frank Burns
Professor Maciej Koutny
Professor Alexander Romanovsky
Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets2000
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 Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
Analysing Superscalar Processor Architectures with Coloured Petri Nets1998
Dr Nick Coleman
Professor David Kinniment
Dr Frank Burns
Dr Tim Butler
Dr Albert Koelmans
et al.
Effectiveness of computer-aided learning as a direct replacement for lecturing in degree-level electronics1998
Dr Nick Coleman
Professor David Kinniment
Dr Frank Burns
Dr Albert Koelmans
A Self-Taught Computer Engineering Course1996
Dr Nick Coleman
Professor David Kinniment
Dr Frank Burns
Dr Albert Koelmans
A Self-Taught Computer Engineering Course1996
Dr Frank Burns
Professor David Kinniment
Dr Albert Koelmans
STRIDE: A Tool for Formal Interactive Systems Synthesis1994
Dr Albert Koelmans
Dr Frank Burns
Professor David Kinniment
Use of a Theorem Prover for Transformational Synthesis1993
Dr Frank Burns
Professor David Kinniment
Dr Albert Koelmans
Correct Interactive Transformational Synthesis of DSP Hardware1991
Dr Frank Burns
Professor David Kinniment
Dr Albert Koelmans
Correct Interactive Transformational Synthesis of DSP Hardware1991