Publications by Dr Frank Burns - ePrints

Browsing publications by Dr Frank Burns.

Newcastle Authors	Title	Year
Dr Frank Burns Dr Danil Sokolov Professor Alex Yakovlev	Analysis and Verification of Communication Fabrics	2016
Dr Frank Burns Dr Danil Sokolov Professor Alex Yakovlev	GALS synthesis and verification for xMAS models	2015
Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Professor Alex Yakovlev	Design and security evaluation of balanced 1-of-n circuits	2012
Dr Ashur Rafiev Dr Andrey Mokhov Dr Frank Burns Dr Julian Murphy Professor Alex Yakovlev et al.	Mixed Radix Reed-Muller Expansions	2012
Dr Julian Murphy Dr Frank Burns Dr Alex Bystrov Professor Alex Yakovlev Dr Basel Halak et al.	Self-Timed Physically Unclonable Functions	2012
Dr Gordon Russell Dr Frank Burns Professor Alex Yakovlev	VARMA-VARiability Modelling and Analysis Tool	2012
Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Professor Alex Yakovlev	Security Evaluation of Balanced 1-of-n Circuits	2011
Dr Frank Burns Dr Julian Murphy Dr Albert Koelmans Professor Alex Yakovlev	Efficient advanced encryption standard implementation using lookup and normal basis	2009
Dr Frank Burns Dr Julian Murphy Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev et al.	Dynamic global security-aware synthesis using SystemC	2007
Dr Delong Shang Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Dr Danil Sokolov et al.	High-security asynchronous circuit implementation of AES	2006
Dr Delong Shang Professor Alex Yakovlev Dr Frank Burns Dr Fei Xia Dr Alex Bystrov et al.	Low-Cost Online Tesing of Asynchronous Handshakes	2006
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 circuits	2004
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 Circuits	2004
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 circuits	2004
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev	An asynchronous synthesis toolset using Verilog	2004
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 nets	2004
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev	Scheduling and allocation using closeness tables	2004
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 Nets	2002
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 channel	2002
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Modelling and verification of an atomic action protocol implemented in Ada	2001
Dr Frank Burns	Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets	2001
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev	Translating from asynchronous FSM specifications in VHDL to Petri Nets	2001
Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev	WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets	2001
Dr Frank Burns Professor Maciej Koutny Emeritus Professor Alexander Romanovsky	Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets	2000
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets	2000
Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev	WCET analysis of superscalar processors using simulation with Coloured Petri Nets	2000
Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev	Analysing Superscalar Processor Architectures with Coloured Petri Nets	1998
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 electronics	1998
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Albert Koelmans	A Self-Taught Computer Engineering Course	1996
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Albert Koelmans	A Self-Taught Computer Engineering Course	1996
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	STRIDE: A Tool for Formal Interactive Systems Synthesis	1994
Dr Albert Koelmans Dr Frank Burns Professor David Kinniment	Use of a Theorem Prover for Transformational Synthesis	1993
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	Correct Interactive Transformational Synthesis of DSP Hardware	1991
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	Correct Interactive Transformational Synthesis of DSP Hardware	1991