Publications by Dr Albert Koelmans - ePrints

Browsing publications by Dr Albert Koelmans.

Newcastle Authors	Title	Year
Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Professor Alex Yakovlev	Design and security evaluation of balanced 1-of-n circuits	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
Professor David Kinniment Dr Albert Koelmans Dr Alex Bystrov Dr Graeme Chester Dr Gordon Russell et al.	Message from General Chairs	2008
Dr Delong Shang Michael Shin Ping Wang Dr Fei Xia Dr Albert Koelmans et al.	Asynchronous Functional Coupling for Low Power Sensor Network Processors	2007
Dr Delong Shang Michael Shin Ping Wang Dr Fei Xia Dr Albert Koelmans et al.	Asynchronous functional coupling for low power sensor network processors	2007
Dr Albert Koelmans Professor Alex Yakovlev	Asynchronous functional coupling for low power sensor network processors	2007
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 Professor Alex Yakovlev Dr Albert Koelmans Dr Danil Sokolov Dr Alex Bystrov et al.	Registers for Phase Difference Based Logic	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 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
Oliver Shaw Dr Albert Koelmans Dr Jason Steggles Professor Anil Wipat	Applying Petri Nets to Systems Biology using XML Technologies	2004
Oliver Shaw Dr Albert Koelmans Dr Jason Steggles Professor Anil Wipat	Applying Petri Nets to Systems Biology using XMLTechnologies	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
Guang-Yeu Luo Dr Ian Clark Dr Fei Xia Dr Albert Koelmans Professor Alex Yakovlev et al.	Simulating Heterogeneous timing networks in network simulator ns	2004
Guang-Yeu Luo Dr Fei Xia Dr Ian Clark Dr Albert Koelmans Professor Alex Yakovlev et al.	Simulating heterogeneously timed networks in network simulator NS	2004
Guang-Yeu Luo Dr Fei Xia Dr Ian Clark Dr Albert Koelmans Professor Alex Yakovlev et al.	Simulating heterogeneously timed networks in network simulator NS	2004
Dr Alex Bystrov Dr Danil Sokolov Professor Alex Yakovlev Dr Albert Koelmans	Balancing power signature in secure systems	2003
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 Nick Coleman Professor David Kinniment Dr Albert Koelmans	Computer based learning – towards a comprehensive evaluation methodology	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 Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada	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 Fei Xia Professor Alex Yakovlev Dr Delong Shang Dr Alex Bystrov Dr Albert Koelmans et al.	Asynchronous communication mechanisms using self-timed circuits	2000
Dr Albert Koelmans Professor Maciej Koutny	On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada	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 Fei Xia Professor Alex Yakovlev Dr Alex Bystrov Dr Albert Koelmans Professor David Kinniment et al.	An Asynchronous Communication Mechanism Using Self-timed Circuits	1999
Keith Heron Dr Albert Koelmans Professor Alex Yakovlev	Asynchronous microprocessors: From high level model to FPGA implementation	1999
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
Professor Alex Yakovlev Dr Albert Koelmans	Estimations of Power Consumption in Asynchronous Logic as Derived from Graph Based Circuit Representations	1998
Professor Alex Yakovlev Dr Albert Koelmans	Petri Nets and Digital Hardware Design	1998
Keith Heron Dr Albert Koelmans Professor Alex Yakovlev	Rapid Design of Asynchronous Logic Using Reconfigurable Architectures	1998
Professor Alex Yakovlev Dr Albert Koelmans	A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling	1997
Keith Heron Dr Albert Koelmans Professor Alex Yakovlev	Asynchronous Microprocessors: From High Level Model to FPGA Implementation	1997
Dr Albert Koelmans Professor Alex Yakovlev	Designing an asynchronous processor using petri nets	1997
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
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment	Modelling, analysis and synthesis of asynchronous control circuits using Petri nets	1996
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment	Petri nets and asynchronous circuit design	1996
Dr Albert Koelmans	[PhD Thesis] STRICT: A language and tool set for the design of Very Large Scale Integrated Circuits	1995
Dr Albert Koelmans Professor Alex Yakovlev	Designing an Asynchronous Processor Using Petri-Nets	1995
Professor Alex Yakovlev Dr Albert Koelmans	High Level Modelling and Design of Asynchronous Interface Logic	1995
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment	Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets	1995
Dr Albert Koelmans Professor Alex Yakovlev Professor David Kinniment	PNIF: An Interchange Format for System Specification with Coloured Petri Nets	1995
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	STRIDE: A Tool for Formal Interactive Systems Synthesis	1994
Professor Alex Yakovlev Dr Albert Koelmans	High Level Modelling and Design of Asynchronous Interface Logic	1993
Dr Albert Koelmans Dr Frank Burns Professor David Kinniment	Use of a Theorem Prover for Transformational Synthesis	1993
Dr Albert Koelmans Professor Alex Yakovlev Professor David Kinniment	System-level Design Based on Transformational Synthesis: Problems and Options	1992
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
Dr Albert Koelmans Professor David Kinniment	Modelling and Verification of Timing Conditions with the Boyer-Moore Prover	1991
Dr Albert Koelmans Professor David Kinniment	Verification of Timing Conditions Using a Theorem Prover	1991
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	Graphical Representation of a Hardware Description Language	1990
Dr Albert Koelmans	Graphical Representation of a Hardware Description Language	1990
Emeritus Professor Satnam Dlay Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	An Advanced VLSI Security Device Employing Data Verification Features	1988
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	Asynchronous Extensions to the STRICT High Level Design System	1988
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	Asynchronous Extensions to the STRICT High Level Design System	1988
Dr Albert Koelmans Martin McLauchlan Tony Robson	The STRICT Language and Design Methodology	1987
Dr Albert Koelmans Martin McLauchlan	STRICT: A Design Language for Strongly Typed Recursive Integrated Circuits	1986