Albert Koelmans

23 papers A 1C 1Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2013 — conf
Design-for-adaptivity of microarchitectures.
ASAP
Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans
2012 J jnl
Design and security evaluation of balanced 1-of-n circuits.
IET Comput. Digit. Tech.
Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Alex Yakovlev
2012 J jnl
Mixed Radix Reed-Muller Expansions.
IEEE Trans. Computers
Ashur Rafiev, Andrey Mokhov, Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alex Yakovlev
2011 C conf
A flexible hardware implementation of SHA-1 and SHA-2 Hash Functions.
ISCAS
James Docherty, Albert Koelmans
2011 J jnl
Security Evaluation of Balanced 1-of- n Circuits.
IEEE Trans. Very Large Scale Integr. Syst.
Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Alexandre Yakovlev
2009 J jnl
Efficient advanced encryption standard implementation using lookup and normal basis.
IET Comput. Digit. Tech.
Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alexandre Yakovlev
2007 — conf
Asynchronous Functional Coupling for Low Power Sensor Network Processors.
PATMOS
Delong Shang, Chi-Hoon Shin, Ping Wang, Fei Xia, Albert Koelmans, Myeong-Hoon Oh, Seongwoon Kim, Alexandre Yakovlev
2007 J jnl
Dynamic global security-aware synthesis using SystemC.
IET Comput. Digit. Tech.
Frank P. Burns, Julian P. Murphy, Delong Shang, Albert Koelmans, A. Yakorlev
2007 J jnl
Registers for Phase Difference Based Logic.
IEEE Trans. Very Large Scale Integr. Syst.
Delong Shang, Alexandre Yakovlev, Albert Koelmans, Danil Sokolov, Alexandre V. Bystrov
2004 — conf
A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits.
PATMOS
Delong Shang, Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Danil Sokolov, Alexandre Yakovlev
2004 A conf
An Asynchronous Synthesis Toolset Using Verilog.
DATE
Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev
2001 J jnl
Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng.
Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000 — conf
Asynchronous Communication Mechanisms Using Self-Timed Circuits.
ASYNC
Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment
2000 — conf
On developing and verifying design abstractions for reliable concurrent programming in Ada.
IRTAW
Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000 J jnl
WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets.
Real Time Syst.
Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
1999 J jnl
Asynchronous microprocessors: From high level model to FPGA implementation.
J. Syst. Archit.
Lee Lloyd, Keith Heron, Albert Koelmans, Alexandre Yakovlev
1998 J jnl
Analysing Superscalar Processor Architectures with Coloured Petri Nets.
Int. J. Softw. Tools Technol. Transf.
Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
1997 J jnl
Designing an asynchronous processor using Petri nets.
IEEE Micro
Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev
1996 — conf
A self-taught computer engineering course.
ACSE
J. N. Coleman, Frank P. Burns, D. J. Kinniment, T. J. Butler, Albert Koelmans
1996 J jnl
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets.
Integr.
Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment
1995 J jnl
High-Level Modeling and Design of Asynchronous Interface Logic.
IEEE Des. Test Comput.
Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno
1992 — conf
Modelling and Verification of Timing Conditions with the Boyer Moore Prover.
TPCD
D. J. Kinniment, Albert Koelmans
1991 — conf
Correct interactive transformational synthesis of DSP hardware.
EURO-DAC
Frank P. Burns, D. J. Kinniment, Albert Koelmans