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
Emeritus 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
Emeritus 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
Emeritus 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 |
|
