Newcastle University

Esteem Indicators

Received the IEE Premium award for the paper in IEE CDT Journal May 2004 (Asynchronous synthesis using direct mapping using VHDL and Petri Nets)
Received the 2003 Gold Award for Innovative Teaching from EASIT-Eng, the committee for Evaluative and Advisory Support to Encourage Innovative Teaching in Engineering, together with N. Coleman, for our work in developing courseware for teaching Machine Architecture.
Referee for Formal Methods Journal.
Referee for IEE Journal on Computers and Digital Techniques.
Referee for IEEE Micro.
Program committee, Int. Petri Net Conf. 2001.
Chairman, UK Embedded Forum (yearly).
Program committee, session chair, ESS conference (yearly)

Projects

• Aysynchronous Communication Mechanisms For Real-Time Systems (COMFORT)
  Project Leader(s): Prof. Alex Yakovlev
• Behavioural Synthesis of Systems with Heterogeneous Timing (BESST)
  Project Leader(s): Prof. Alex Yakovlev
• Computational Heterogeneously Timed Networks (COHERENT)
  Project Leader(s): Prof. Alex Yakovlev
• Model Visualisation for Asynchronous Circuit Design (MOVIE)
  Project Leader(s): Prof. Alex Yakovlev
• Next Generation of interconnection technology for multiprocessor SoC (NEGUS)
  Project Leader(s): Prof. Alex Yakovlev
• Secure Circuit Design (SCREEN)
  Project Leader(s): Prof. Alex Yakovlev
• Secure Design Flow (SURE)
  Project Leader(s): Prof. Alex Yakovlev
• Synthesis and TEsting of Low-Latency Asynchronous circuits (STELLA)
  Project Leader(s): Prof. Alex Yakovlev

• Burns F, Bystrov A, Koelmans A, Yakovlev A. Design and security evaluation of balanced 1-of-n circuits. IET Computers and Digital Techniques 2012, 6(2), 125-135.
• Rafiev A, Mokhov A, Burns FP, Murphy JP, Koelmans A, Yakovlev A. Mixed Radix Reed-Muller Expansions. IEEE Transactions on Computers 2012, 61(8), 1189-1202.
• Burns F, Bystrov A, Koelmans A, Yakovlev A. Security Evaluation of Balanced 1-of- Circuits. IEEE Transactions on VLSI Systems 2011, 19(11), 2135-2139.
• Burns F, Murphy J, Shang D, Koelmans A, Yakorlev A. Dynamic global security-aware synthesis using SystemC. IET Computers and Digital Techniques 2007, 1(4), 405-413.
• Shang D, Yakovlev A, Koelmans A, Sokolov D, Bystrov A. Registers for Phase Difference Based Logic. IEEE Transactions on Very Large Scale Integration Systems 2007, 15(6), 720-724.
• Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. High-security asynchronous circuit implementation of AES. IEE Proceedings - Computers and Digital Techniques 2006, 153(2), 71-77.
• Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. A low and balanced power implementation of the AES security mechanism using self-timed circuits. In: Integrated circuit and system design: power and timing modeling, optimization and simulation. 14th International Workshop, PATMOS 2004. 2004, Santorinim, Greece: Springer.
• Burns F, Shang D, Koelmans A, Yakovlev A. An asynchronous synthesis toolset using Verilog. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’04). 2004, Paris, France: IEEE Computer Society.
• Shang D, Burns F, Koelmans A, Yakovlev A, Xia F. Asynchronous system synthesis based on direct mapping using VHDL and Petri nets. IEE Proceedings - Computers and Digital Techniques 2004, 151(3), 209-220.
• Burns F, Shang D, Koelmans A, Yakovlev A. Scheduling and allocation using closeness tables. IEE Proceedings - Computers and Digital Techniques 2004, 151(5), 332-340.
• Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Modelling and verification of an atomic action protocol implemented in Ada. In: 21st International Workshop on Software Engineering and Petri Nets (SEPN). 2001, Aarhus, Denmark: CRL Publishing.
• Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada. ACM SIGAda Ada Letters 2001, 21(1), 48-55.
• Burns F, Koelmans A, Yakovlev A. WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets. The International Journal of Time-Critical Computing Systems 2001, 18(2/3), 267-280.
• Xia F, Yakovlev A, Shang D, Bystrov A, Koelmans A, Kinniment D. Asynchronous communication mechanisms using self-timed circuits. In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000). 2000, Eliat, Israel: IEEE Computer Society.
• Burns F, Koelmans A, Yakovlev A. WCET analysis of superscalar processors using simulation with Coloured Petri Nets. Real-Time Systems 2000, 18(2-3), 275-288.
• Burns FP, Koelmans AM, Yakovlev A. Analysing Superscalar Processor Architectures with Coloured Petri Nets. International Journal on Software Tools for Technology Transfer 1998, 2(2), 182-191.
• Coleman JN, Kinniment DJ, Burns FP, Butler TJ, Koelmans AM. Effectiveness of computer-aided learning as a direct replacement for lecturing in degree-level electronics. IEEE Transactions on Education 1998, 41(3), 177-184.
• Yakovlev AV, Koelmans AM. Petri Nets and Digital Hardware Design. In: Reisig, W., Rozenberg, G, ed. Lectures on Petri Nets II: Applications, Advances in Petri Nets. Berlin; New York: Springer-Verlag, 1998, pp.154-236.
• Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an asynchronous processor using petri nets. IEEE Micro 1997, 17(2), 54-63.