List of Publications
Thijs Krol
Updated until:
1-1-2000
1999:
Thijs Krol
Pacific Rim conference on Dependable
Computing, Dec. 1999
1997:
Optimized
Authenticated Self-Synchronizing Byzantine Agreement Protocols
André Postma, Thijs Krol, Egbert
Molenkamp
CTIT Technical Report Series, No. 97-20, ISSN 1381-3625, September 1997
Distributed
Cryptographic Function Application Protocols
André Postma, Thijs Krol, Egbert
Molenkamp
in: Proceedings of the International Conference on Information and
Communications Security (ICICS'97), Beijing, P.R. China, 11-14 November 1997,
Springer Verlag, pp. 435-439.
1996:
Transformational
Design of a Six Constant Multiplier
Gerhard E. Mekenkamp, Peter F. A.
Middelhoek, Edwin Engels, Thijs Krol
Proceedings of the ProRISC/IEEE Workshop on CSSP, p233-238, Mierlo, November 27-28,
1996
A
Methodology for the Design of Guaranteed Correct and Efficient Digital Systems
P.F.A. Middelhoek, C. Huijs, G.E.
Mekenkamp, E. Prangsma, E. Engels, J. Hofstede, Th. Krol
IEEE International High Level Design Validation and Test Workshop (HLDVT96),
November 15-16, 1996, Oakland, California.
A
Syntax based VHDL to CDFG Translation Model for High-Level Synthesis
G.E. Mekenkamp, P.F.A. Middelhoek, E.
Molenkamp, J. Hofstede, Th. Krol
VHDL International Users Forum (VIUF), Santa Clara, Feb 28 - March 2, 1996.
Interactive
Consistency in Quasi-Asynchronous Systems
André Postma, Thijs Krol
in: Proceedings of the 2nd IEEE International Conference on Engineering of
Complex Computer Systems
ICECCS'96, Montreal, Canada, 21-25 October 1996, pp. 2-9.
Removal
of all faulty nodes from a fault-tolerant service by means of distributed
diagnosis with imperfect fault coverage
André Postma, Gerie Hartman, Thijs Krol
in: Proceedings of the 2nd European Dependable Computing Conference EDCC-2,
Taormina, Italy, 2-4 October 1996, pp. 385-402.
1995:
Interactive
Consistency Algorithms Based on Voting and
Error-Correcting Codes
Th. Krol,
Proceedings
25th Intl. Symposium on Fault-Tolerant Computing, Pasadena, CA, USA, 1995 pp.
89--98.
Formal transformational design
of hardware architectures
A. J. W. M. ten Berg and Th.
Krol,
in
Proc. 21st Euromicro Conf., 1995, pp.
110-117.
A
Transformational Approach to VHDL and CDFG Based High-Level Synthesis: a Case
Study, P.F.A.Middelhoek, G.E. Mekenkamp, E. Molenkamp, Th. Krol.
Proceedings of CICC 95, pp. 37-40, Santa Clara, Ca., May 1995.
SIL:
an Intermediate for Syntax Based VHDL Synthesis
Egbert Molenkamp, Gerhard E. Mekenkamp,
Jaap Hofstede, Thijs Krol
VIUF Spring 1995, April 4, 1995.
VHDL
and CDFG Based Transformational Design: a Case Study,
P.F.A. Middelhoek, G.E. Mekenkamp, E.
Molenkamp, Th. Krol.
Proceedings of the ProRISC/IEEE Workshop on CSSP, pp. 203-212, Mierlo, March
23-24, 1995.
Interactive
Consistency Algorithms Based on Authentication and Error-correcting Codes
André Postma, Thijs Krol
in: Proceedings of the 5th International Working Conference on Dependable
Computing for Critical Applications (DCCA-5), Urbana-Champaign, Illinois,
September 1995, preprints, pp.79-90.
1994:
A Formal Semantic Model to fit SIL for Transformational Design
C. Huijs and Th. Krol
Proceedings of 20th Euromicro conference, Liverpool, England, 5-8 Septemer 1994
, pp 100-108.
1993:
Relational Semantics for Flow Graph Representations as basis for
Transformational Design of Digital Systems
C. Huijs, and Th. Krol
in: Proceedings of the workshop on Design Methodologies for Microelectronics
and Signal Processing, Gliwice-Cracow Poland, 20-23 October 1993, ISBN
83-85718-45-1, pp 21- 29.
Relational
Algebra as Formalism for Hardware Design
Berg,
A.J.W.M. ten, C.Huijs and Th Krol,
Proceedings
Euromicro '93, Barcelona, Microprocessing and Microprogramming 38 Sept
1993, pp 403-410.
The
Sprite Input Language, An intermediate format for High Level Synthesis
Th.Krol,
J.v.Meerbergen, C.Niessen, W.Smits, J.Huijskens,
The
European Conference on Design and Automation EDAC), Brussels, March 1992, pp
186-192.
A
Generalization of Fault-Tolerance Based on Masking
Th.Krol,
PhD
thesis Eindhoven University of Technology, Sept 1991.
Before 1990:
(N,K)
Concept Fault tolerance
Th.Krol,
IEEE
Tr. on Comp., Vol.C35, No 4, April 1986, pp339-349.
The
Input/Output architecture of the (4,2) concept fault-tolerant computer
Th.Krol,
W.J.van Gils,
15-th
Annual Symposium on Fault-Tolerant Computing, pp254-259,
Ann
Arbor, MI, June, 1985.
A
mathematical description of the behaviour of Time Division Multiplex exchanges,
Th.Krol,
A.W.M. v.d. Enden,
IEEE
International Conference on Communications, Amsterdam, May,1984.
Published
in ``Links for the future'', Elsevier, Amsterdam, ISBN 0 444
87524
7, pp 303-306
A
proposal for a wideband digital satelite switch
A.W.M.
v.d. Enden, Th.Krol,
IEEE
International Conference on Communications}, Amsterdam, May,1984.
Published
in ``Links for the future'', Elsevier, Amsterdam, ISBN 0 444
87524
7, pp 299-302.
The
(4,2) concept fault-tolerant computer
Th.
Krol
Philips
Tech.Rev. No.41, pp1-11,1983.
MDS
Convolutional Codes
Ph.Piret,
Th.Krol,
IEEE
Tr. on Inform. Theory, Vol.IT29, No 2, March 1983, pp 224-232.
Methoden
en architecturen ter verhoging van de systeembetrouwbaarheid van computers
Th.Krol,
ASI
syllabus, leergang 1983, ``In de ban van de fout'' Afdeling/Sectie Informatie
techniek van het Koninklijk Instituut van Ingenieurs en het Nederlands
Genootschap voor Informatica, pp 41-60.
The
(4,2) concept fault-tolerant computer
12-th
Annual Symposium on Fault-Tolerant Computing, pp49-54,
Santa
Monica, CA, June, 1982.
Fouten
Corrigerende Codes
Th.Krol,
Syllabus
KIvI leergang ``Communicatie systemen en micro-electronica''}, April
1980, pp 47-54.
Patents
Selective
calling code conversion. Th.Krol, N.A.M.Verhoeckx, (1972)
USA
patent 3,909,781
Datatransmission
in asynchronous telephone network Th.Krol, (1973) USA patent 3,908,087
`` ''.
Local
errordetection and aggregated correction Th.Krol, (1978) USA patent 4,335,458
Convolutional
code to correct one-channel errors
J.M.Goethals,
Th.Krol, (1978) USA patent 4,395,768
Delta-Sigma
modulator in twos complement
M.H.H.Höfelt,
Th.Krol, (1978) Ned. octrooi aanvr. 7806726,
Fault
tolerant (4,2) computer requires less memory
Th.Krol,
(1979) USA patent 4,402,045 `''.
Improved
code for the (4,2) concept, code 81
Th.Krol,
B.J.Vonk, (1981) USA patent 4,512,020
Error
protection of the I/Omemory in the (4,2) concept
Th.Krol,
(1982) USA patent 4,633,472
TDM
switch for satelite switched system
A.W.M.
v.d. Enden, Th.Krol, (1983) USA patent 4,593,387
Convolutional
code corrects multi-channel errors
Ph.Piret,
Th.Krol, (1981) USA patent 4,486,882 `` ''
Multiplicating
incoming message in (N,K) concept
Th.Krol,
W.J. v. Gils, (1984) Ned. octr. aanvr. 8402472. Can. patent
1,241,758