Boston University.
Department of
Electrical and Computer Engineering
8 Saint Mary's
Street
Boston,
Massachusetts 02215
617/3539592
Fax: 617/3536440
Email: markkar@bu.edu
Professor
Director
Reliable
Computing Laboratory.









Education.
Ph.D.Department of Mathematics, Leningrad Electrotechnical Institute, Leningrad, USSR.
M.S. Department of Computer Science, Leningrad Electrotechnical Institute, Leningrad, USSR.
B.S. Department of Computer Science, Leningrad Electrotechnical Institute, Leningrad, USSR.
June
2002 July. 2002, Visiting
Professor, Tampere International Center for Signal Processing. Finland.
June 2000 July,
2000, Visiting Professor, Tampere International Center for Signal
Processing, Finland.
Feb 1997  Mar. 1997 Visiting Professor, Department of
Electrical and Computer Engineering, New Jersey Institute of Technology.
June 1990  July 1990 Visiting
Professor, Department of Computer Science, University of Dortmund, Dortmund,
Germany.
May 1990  June 1990 Visiting
Professor, Department of Computer Science, Ecole
National Superieure des Telecommunication, Paris,
France.
1983  Present Professor, Department
of Electrical, Computers and Systems Engineering, Boston University, Boston, MA
02215.
1987  Present Director, Reliable
Computing Laboratory, Boston University, Boston, MA
02215.
1989 Consultant for ATT Bell
Laboratories, Andover, MA.
1987 Consultant for Standard Electrik Corporation, Germany
1986 Consultant for Honeywell
Corporation, Billerica, MA.
1984  1985 Consultant for Digital
Equipment Corporation, Maynard, MA.
1982  1983 Professor, Computer
Science Department, State University of New York, Binghamton, NY.
1981  1983 Consultant for IBM
Corporation, Endicott, NY.
May 1983  June 1983 Visiting
Professor, Department of Computer Science, Ecole National
Superieure des Telecommunication, Paris, France.
1978  1982 Associate Professor,
Coordinator of Research and Ph.D. Program, Computer Science Department, State
University of New York at Binghamton, NY.
May 1982  June 1982 Visiting
Professor , Department of Computer Science, Ecole
National Superieure des Telecommunication, Paris,
France.
1976  1977 Head of Computer Science
Division, Department of Mathematics, Tel Aviv, Israel.
1973  1978 Senior Lecturer,
Department of Mathematics, Computer Science Division, Tel Aviv University, Tel
Aviv, Israel.
1968  1971 Consultant, The Military Scientific Research Institute, Leningrad, USSR.
1967 Engineer, The
Scientific Research Institute, Leningrad, USSR.
1964  1966 Junior Research Worker, The Leningrad Electrotechnical
Institute, Leningrad, USSR.
January 1963  December 1963
Engineer, Scientific Research Institute, Leningrad, USSR.
1958  1962 Laboratory Asst., The Department of Electronic Computers, Leningrad Electrotechnical Institute, Leningrad, USSR.
Professional Societies, Citations
and Committee Membership
Nokia Foundation Visiting Fellowship, 2005
Institute
of Electrical and Electronic Engineers, Fellow.
International Informatization Academy, Associate
Member.
Who is Who in the World.
New York Academy of Science, Member.
American Society of Engineering Education, Member.
Main Advisor for 20 doctoral students in USSR, Israel, SUNYBinghamton and
Boston University.
Editorial
Advisory Board, open access in computer science, Verista,
Member
Patents
1. Mark Karpovsky, Alexander Taubin, Konrad Kulikowski,
System
employing systematic robust error detection coding to protect system element
against errors with unknown probability distributions
Publication number US20070019805 A1
Publication type Application
2. Hans J. Matt, Mark G. Karpovsky, Lev B. Levitin,
Method
of testing connecting and/or switching devices and/or lines
Publication number US5134618 A
Publication type Grant
Inventions
1. M.G. Karpovsky, V. S. Tolstiakov, V. N. Nomokonov, I. L. Erosh, Certificate of Authorship No. 18177
for the invention: "A Method for ErrorCorrection in Binary
Counters," USSR, April 1965 (Russian).
2. M.G. Karpovsky, V. S. Tolstiakov, V. N. Nomokonov, I. L. Erosh, Certificate of Authorship No. 207888 for
the invention: "Accumulation Counter with Magnetic Elements," USSR,
May 1965 (Russian).
3. M.G. Karpovsky, V. S. Tolstiakov, V. N. Nomokonov, I. L. Erosh, Certificate of Authorship No. 217456 for
the invention: "Pulsed Counter with Error Detection and Error
Correction," USSR, June 1966 (Russian).
4. M.G. Karpovsky, V. S. Tolstiakov, V. N. Nomokonov, I. L. Erosh, Certificate of Authorship No. 2354242
for the invention: "SelfCorrecting FlipFlop Using "NOR"
Potential Elements and Pulse Input," USSR, July 1967 (Russian).
Proceedings
5. M.G. Karpovsky, "Synthesis of Digital Devices
with the Required Error Correcting Capability," Proc. Leningrad Elecrotechnical Institute,
No.65, part. 2, 1968 (Russian).
6. M.G. Karpovsky, B. I. Ruzansky, V. S. Tcherbakov, "Synthesis of
Fault Tolerant Finite Automata" Proc.,
Third Conference on Theory of Transmission and Coding of Information, part 3,
Moscow, USSR.
7. M.G. Karpovsky, E. S. Moskalev, V. V. Danilov, "Estimations on the
Number of Tests for Orientated Graphs," Proc. Leningrad Electrotechnical Institute,
No. 68, 1968 (Russian).
8. M.G. Karpovsky, E. S. Moskalev, "One Method of State Assignment for Finite Automata,"
Proc. Second Conference on Theory of
Transmission and Coding of Information, part 3, Moscow, USSR, 1968
(Russian).
9. M.G. Karpovsky, V. V. Dnilov, E. S. Moskalev, "Optimization of
Coverings used for the Construction of Tests," Proc. Leningrad Electrotechnical Institute,
No. 84, 1969 (Russian).
10. M.G. Karpovsky, A. A. Troianovsky, "One method of Reducing Redundancy for Sequential
Machines with Error Correction," Proc.
First Symposium on Synthesis FaultTolerant Automata, Kiev, 1971 (Russian).
11. M.G. Karpovsky, A. A. Troianovsky, "Analysis of the Error Correcting Capability for Finite
Automata," Proc. Fifth Symposium
on Using Redundancy in Information Systems, Leningrad, USSR, 1972
(Russian).
12. M.G. Karpovsky, E. S. Moskalev, A. A. Troianovsky, "Analysis of
the Correcting Power for Logical Functions," Proc. Fifth Symposium on Using Redundancy in Information Systems,
Leningrad, USSR, 1972 (Russian).
13. M.G. Karpovsky, A. A. Troianovsky, "State Assignment Method for NonRedundant Automata with
Error Correction," Proc. Fifth
Symposium on Using Redundancy in Information Systems, Leningrad, USSR, 1972
(Russian).
14. M.G. Karpovsky, E. A. Trachtenberg, "Circulants in Finite Groups," Technical Report No. 67, Israel,
December 1975.
15. M.G. Karpovsky, "On Covering Radius of (n,k) codes," Proc. of International Symposium on
Information Theory, Les Arcs, France, June 1982.
16. M.G. Karpovsky, L.B. Levitin, "Error
Detection in Combinational Network by Use of Codes Based on Hadamard
Matrices," Proc. of
International Symposium on Information Theory, St. Jovite,
Canada, 1983.
17. M.G. Karpovsky, L.B. Levitin, "A new
Probabilistic Approach to VLSI Circuits Testing," International Workshop on FaultDetection and Spectral Techniques,
October 1983, Boston, pp. 3.13.34.
18. L. Trachtenberg, M. G. Karpovsky, "Detection
of Signals in Communication Channels by Fourier Transforms Over Finite Groups,"
International Workshop on FaultDetection
and Spectral Techniques, October 1983, Boston, pp. 9.1  9.15.
19. P. Frankl, M. G. Karpovsky, L. B. Levitin, "Exhaustive Testing of Almost all Devices with Output
Depending on Limited Number of Inputs," International Symposium on Information Theory, Brighton, United
Kingdom, 1985.
20. L. B. Levitin, M. G. Karpovsky, "Efficient
Tests Based on MDS Codes," International
Symposium on Information Theory, Ann Arbor, MI, 1986.
21. M.G. Karpovsky, P. Nagvajara, "Asymptotically Bent Functions and Optimal Quadratic
Codes for the Minimax Criterion on ErrorDetection,"
Proc. International Symposium on
Information Theory, Japan, 1988.
22. L.B. Levitin, M. G. Karpovsky, P. Frankl,
"Exhaustive Testing of Almost All Devices with Outputs Depending on
Limited Number of Inputs," Proc. of
Sixth International Symposium on Networks, Systems and Signal Processing,
Zagreb, Yugoslavia, 1989.
23. M. G. Karpovsky, L. B. Levitin, F. S. Vainstein,
"Hard and Soft Decisions in Diagnosis by
SpaceTime Signatures," Proc. of
International Symposium on Information Theory, Budapest, Hungary, 1991.
24. L. B. Levitin, M. G. Karpovsky, "Traveling
Salesman Problem in the Space of Binary Vectors," Proc. of International Symposium on Information Theory
, Norway, 1994.
25. M. G. Karpovsky, "New Techniques in Testing and Diagnosis of Computer
Hardware," Keynote paper, North
Atlantic Test Workshop, 1998.
Monographs, Books
26. M. G. Karpovsky, "Mathematical
Methods of Synthesis of Switching Circuits with Error Detection and Error
Correction," Ph. D. Dissertation, Leningrad Electrotechnical
Institute, Leningrad, USSR, 1967 (Russian).
27. M. G. Karpovsky, E. S. Moskalev, "Spectral Methods of Analysis and Synthesis
of Switching Circuits," Energy, Leningrad, USSR, 1972 (Russian).
28. M. G. Karpovsky, "Finite
Orthogonal Series in the Design of Digital Devices," John Wiley, New
York, 1976.
29. M. G. Karpovsky (Editor), "Spectral Techniques and Fault Detection,"
Academic Press, 1985.
30. M. G. Karpovsky, R.S. Stankovic, J. T. Astola, "Spectral
Logic and Its Applications for the Design of Digital Devices", John Wiley&Sons, 595 pages, , 2008.
>
Chapters in Books
30. M. G. Karpovsky, "Synthesis of Digital Services with Error Detection
and Error Correction" in Soviet
Radio, Chapters 46 (Russian).
31. M. G. Karpovsky, "Linear Automata with
Error Detection and Error Correction" in Monograph: Using redundancy in Information Systems,
Prof. Gelesnov Ed., Leningrad, 1970.
32. M. G. Karpovsky, V. V. Danilov, E. S. Moskalev, "Tests for
Digital Devices" in Monograph:Technical Diagnosis, Prof. Parkhomenko
Ed., Moscow, 1972 (Russian).
33. M. G. Karpovsky, G. S. Kan, I. I. Sisoev, A. A. Troianovsky., Yu.
A. Shapkov, "Mathematical Model for Activity of
the Muscles in Maintaining the Upright Position of a Human Being" in
Monograph: Some Problems of Biological
Cybernetics, Acad. Berg Ed., 1972 (Russian).
34. M. G. Karpovsky, E. A. Trachtenberg, "Detection of signals in Communication Channels by Fourier Transforms
over Finite Groups," in Spectral
Techniques and Fault Detection, M. G. Karpovsky, editor, Academic Press,
1985.
35. M. G. Karpovsky, L. B. Levitin, "Universal
Testing of Computer Hardware," In Spectral
Techniques and Fault Detection, M. G. Karpovsky, Editor, Academic Press,
1985.
Articles
(Book reviews,
short notes and research reports not listed)
36. M. G. Karpovsky, E.S. Moskalev, B.S. Podkletnov, "One Method of Synthesis of Logical
Networks," Problems of Radioelectronics, No.12, 1966 (Russian).
37. M. G. Karpovsky, E.S. Moskalev, "Realization of System of Logical Functions by Means of
an Expansion in Orthogonal Series," Automata. and Remote Control, Vol.28, N.
23, pp. 19211932, December 1967.
38. M. G. Karpovsky, V.N. Nomokonov, "Synthesis of Logical Networks for Redundant State
Assignment of Binary Counters," Problems
of Radioelectronics, No. 27, 1968 (Russian).
39. M. G. Karpovsky, B.S. Levit, B.E. Ruzansky, "Algorithms for
State Assignment and Minimization for Finite Automata with Error Correction,"
Methods of Computations, No. 5, 1968
(Russian).
40. M. G. Karpovsky, "Sequential Machines with
Error Detection and Error Correction," Computer Science and Problems of Cybernetics, No. 5, 1968
(Russian).
41. M. G. Karpovsky, E.S. Moskalev, "Realization of Partially Defined Logical Functions by
Expansion into Orthogonal Series," Automata.
and Remote Control, Vol. 31, No. 8, August 1970,
pp. 12781288.
42. M. G. Karpovsky, I.L. Erosh, "Error Correction in Arithmetical Devices Constructed by
Multivalued Logical Cells," Theoretical
Cybernetics, No. 2, 1970 (Russian).
43. M. G. Karpovsky, E.S. Moskalev, "Utilization of Autocorrelation Functions for Realization
of Systems of Logical Functions," Automata.
and Remote Control, Vol. 31, No. 2, February 1970,
pp. 243250.
44. M. G. Karpovsky, E.S. Moskalev, "Tests for NonOrientated Graphs," Automata. and
Remote Control, Vol. 31, No. 4, April 1970, pp. 656665.
45. M. G. Karpovsky, A.A. Troianovsky, I.I. Sisoev, "Investigation of a
Biological System as an Automation with Error Correction," Automata. Control and Computer Science,
No. 6, 1971, pp. 7781 (Russian).
46. M. G. Karpovsky, Yu.G. Karpov, "Optimal Code Redundancy Methods for Error Correction in
Finite Automata," Cybernetics,
July 1973, pp. 8289.
47. M. G. Karpovsky, "Error Correction in
Automata with Combinatorial Parts Realized by Expansion in Orthogonal Series,"
Automata. and
Remote Control, Vol. 32, No. 93, Part 2, September 1971, pp. 15341528.
48. M. G. Karpovsky, E.S. Moskalev, A.A. Troianovsky, "Methods of
Estimating of the Correcting Capability of Functions of Algebra of Logic,"
Izvestia Acad. Nauk USSR,
Vol. 12, No. 1, 1974, pp. 124130.
49. M. G. Karpovsky, N.S. Tcherbakov, "Automata with Transition SelfCorrection," Cybernetics, February 1971, pp. 6366
(Russian).
50. M. G. Karpovsky, Yu.G. Karpov, "Decomposition of Algebras and Synthesis of Reliable
Discrete Devices by Integral Modules," Cybernetics, Vol. 9, No. 3, February 1975 (Russian).
51. M. G. Karpovsky, A.A. Troianovsky, "Methods for Analyzing the Correcting Power of Automata,"
Automatic Control and Computer Science,
Vol. 8, No. 1, 1974, pp. 2227.
52. M. G. Karpovsky, "Harmonic
Analysis over Finite Commutative Groups in Linearization Problems for Systems
of Logical Functions," Information
and Control, Vol. 33, 1977, pp. 142165.
53. M. G. Karpovsky, "Error
Detection in Digital Devices and Computer Programs with the Aid of Linear
Recurrent Equations over Finite Communative Groups,"
IEEE Trans. on Computers, C26, No.
3, 1977, pp. 208219.
54. M. G. Karpovsky, E.A. Trachtenberg, "Some
Optimization Problems for Convolution Systems over Finite Groups," Information and Control, Vol. 34, 1977,
pp. 122.
55. M. G. Karpovsky, "Fast Fourier Transforms
over a Finite NonAbelian Group," IEEE
Trans. on Computers, C26, No. 10, 1977, pp. 10281031.
56. M. G. Karpovsky, E.A. Trachtenberg, "Linear
Checking Equations and ErrorCorrecting Capability for Computation Channels,"
Proc. IFIP Congress 1977, North
Holland, 1977, pp. 619624.
57. M. G. Karpovsky, E.A. Trachtenberg, "Fourier
Transforms Over Finite Groups for Error Detection and Error Correction in
Computational Channels," Information
and Control, Vol. 40, No. 2, 1979, pp. 335359.
58. M. G. Karpovsky, V.D. Milman, "Coordinate Density of Subsets of Finite Homogeneous
Spaces," Discrete Mathematics,
No. 22, 1978, pp. 273281.
59. M. G. Karpovsky, "On
Weight Distribution for Binary Linear Codes," IEEE Trans. on Inf. Theory, IT25, January, 1979, pp. 105109.
60. M. G. Karpovsky, V.D. Milman, "Coordinate Density of Sets of Vectors," Discrete Mathematics, No. 24, 1978, pp.
171184.
61. M. G. Karpovksy, "Error
Detection for Polynomial Computations," IEE Journal on Computer and Digital Techniques, C26, No. 6, June
1980, pp. 523528.
62. M. G. Karpovsky, "Detection and Location of
Input and Feedback Bridging Faults," IEEE Trans. on Computers, C26, No. 6, June 1980, pp. 523528.
63. M. G. Karpovsky, "Weight
Distribution of Translates, Covering Radius and Perfect Codes Correcting Errors
of the Given Weights," IEEE
Trans. Info. Theory, July 1981, pp. 462472.
64. M. G. Karpovsky, "Testing for Numerical
Computations," IEEE Proc., Vol.
127, pt. E, No. 2, March 1980, pp. 6977.
65. M. G. Karpovsky, "An Approach for Error
Detection and Error Correction in Distributed Systems Computing Numerical
Functions," IEEE Trans. on
Computers, No. 12, December 1981, pp. 947954.
66. M. G. Karpovsky, S. Su, "Detection of
Bridging and StuckAt Faults at Input and Output Pins of Standard Computer
Components," Proc. of 17th
Design Automation Conference, 1980, pp. 494506.
67. M. G. Karpovsky, "Spectral Methods for
Decomposition, Design and Testing of MultipleValued Logical Networks,"
Keynote Paper, Proc. of International
Symposium on MultipleValued Logic, Oklahoma, 1981, pp. 110.
68. M. Deza, M. G. Karpovsky, V.S. Milman, "Codes Correcting
and Arbitrary Sets of Errors," Revue
de Cethedec, No. 66, 1981 (French).
69. M. G. Karpovsky, "Detection and Location of
Error by Linear Inequality Checks," Proc. IEE, Vol. 129, No. 3, May 1982, pp. 8692.
70. N. Goel, M. G. Karpovsky, "Functional Testing of Computer Hardware Based on
Minimization of Magnitude of Undetected Errors," IEE Journal on Computer and Digital Techniques, Vol. 129, No. 5,
September 1982, pp. 169181.
71. M. G. Karpovsky, "Testing for Multiple
Valued Computations," Proc. 12th
International Symposium on Multiple Valued Logic, Paris, France, 1982.
72. M. G. Karpovsky, "Universal Tests Detecting
Input/Output Faults in Almost All Devices," Proc. of 1982 International Test Conference,
Cherry Hill, NJ, 1982, pp. 5257.
73. M. G. Karpovsky, "Universal Tests for
Detection of Input/Output StuckAt and Bridging
Faults," IEEE Trans. on
Computers, Vol. C32, December 1983, pp. 11941198.
74. K. K. Saluja, M. G. Karpovsky, "Testing Computer Hardware through Data Compression in
Space and Time," Proc. of 1983
International Test Conference, Cherry Hill, NJ, 1983, pp. 8389.
75. M. G. Karpovsky, L.B. Levitin, "Detection
and Identification of Input/Output StuckAt and
Bridging Faults in Combinational and Sequential VLSI Networks by Universal
Tests," Integration the VLSI
Journal, November 1983, pp. 2224.
76. M. G. Karpovsky, "Memory Testing by Linear
Checks," IEEE Journal on
Computer and Digital Techniques, Vol. 131, pt. E, No. 5, September 1984,
pp. 158168.
77. M. G. Karpovsky, R.G. Van Meter, "An
Approach to the Testing of Microprocessors," Proc. 1984, Design Automation Conference,
Albuquerque, New Mexico, 1984, pp. 196202.
78. G. Cohen, M. G. Karpovsky, H.F. Mattson Jr., J.R. Shatz,
"Covering Radius Survey and
Recent Results," IEEE Trans. on
Information Theory, May 1985, Vol. IT31, pp. 328344.
79. M. G. Karpovsky, E.A. Trachtenberg, "Statistical and Computational
Performance of a Class of Generalized Wiener Filters," IEEE Trans. on Information Theory, May
1986, pp. 303307.
80. G. Cohen, P. Godlewski, M.G. Karpovsky, "Exhaustive Tests for Combinational Networks," Journal Fransais
de Theorie du Signal, Vol. 2, No. 2, 1984, pp.
223226.
81. S. M. Reddy, K.K. Saluja, M.G. Karpovsky, "A Data Compression Technique for BuiltIn Self Test," Proc.
of 1985 FaultTolerant Computing Symposium, 1985, pp. 294299.
82. M. G. Karpovsky, E.A. Moskalev, "Covering of Edges of Graph by a Minimal
Set of Paths," Discrete
Mathematics, Vol. 58, No. 2, February 1986.
83. M. G. Karpovsky, "Multilevel Logical
Networks," IEEE Trans. on
Computers, C36, No. 2, 1987, pp. 215225.
84. S. R. Reddy, K. K. Saluja, M. G. Karpovsky,
"Data Compression Techniques for Test responses,"
IEEE Trans. on Computers, September
1988, pp. 11511156.
85. M. G. Karpovsky, "Recent Developments in
Applications of Spectral Techniques in Logic Design and Testing of Computer
Hardware," Keynote Paper, Proc.
of Second International Symposium on Spectral Techniques, Montreal, Canada,
1986, pp. 110.
86. T. Damarla, M. G. Karpovsky, "ReedMuller Transforms for Fault Detection," Proc. Second International Workshop on
Spectral Techniques, Montreal, Canada, October 1986.
87. T. Damarla, M. G. Karpovsky, "Fault Detection in Combinational Networks by
ReedMuller Transforms," IEEE
Trans. on Computers, Vol. 38, June 1989, pp. 788798.
88. M. G. Karpovsky, P. Nagvajara, "Optimal Time and Space Compression of Test Responses
for VLSI Devices," Proc. The
International Test Conference, 1987, pp. 523529.
89. E. A. Trachtenberg, A. H. Chaudhri, M. G.
Karpovsky, "Blackout Detection as a Multiobjective
Optimization Problem," Proc. of 1987
International Symposium of Test and Evaluation Assocs., Boston, 1987.
90. T. Roziner, M. G. Karpovsky, E. A. Trachtenberg, "Fast Fourier Transforms over Finite Groups on
Multiprocessor Systems," IEEE
Trans. on Acoustics, Speech, and Signal Processing, February 1990.
91. T. Roziner, M. G. Karpovsky, E. A. Trachtenberg, "Complexity Analysis for Generalized Fast Fourier
Transforms in Multiprocessor Environment," Proc. 12th IMAC World Congress, Paris, France, 1988.
92. M. G. Karpovsky, P. Nagvajara, "Optimal Robust Compression of Test Responses,"
IEEE Trans. on Computers, Vol. 39,
No. 1, pp. 138141, January 1990.
93. E. A. Trachtenberg, M. G. Karpovsky, "Optimal
Varying Dyadic Structure Models of Time Invariant Systems," Proc. 1988 IEEE Symposium on Circuits and
Systems, Helsinki, 1988, pp. 11111115.
94. M. G. Karpovsky, P. Nagvajara, "Optimal Codes for the Minimax Criterion on Error Detection," IEEE Trans. on Information Theory,
November 1989.
95. M. G. Karpovsky, P. Nagvajara, "Board Level Diagnosis by Signature Analysis," Proc. International Test Conference,
1988, pp. 4753.
96. M. G. Karpovsky, P. Nagvajara, "
Functions with Flat Autocorrelation and Their
Generalizations," Proc. 3rd
International Workshop on Spectral Techniques, W. Germany, 1988.
97. P. Nagvajara, M. G. Karpovsky, "Signature Analysis by Quadratic Compressors," Proc. Test and Instrumentation Conference,
Boston, 1988, pp. 751758.
98. M. G. Karpovsky, P. Nagvajara, "Design of SelfDiagnostic Boards by Signature Analysis,"
IEEE Trans. on Industrial Electronics,
May 1989, pp 241246.
99. T. Damarla, M. G. Karpovsky, "Detection of StuckAt and Bridging Faults in
ReedMuller Canonical Networks," IEEE
Proc., Vol. 136, No. 5, pp. 430433, 1989.
100. M. G. Karpovsky, E. A. Trachtenberg, T. Roziner, "Computation of Discrete Fourier Transforms over Finite
Abelian Groups Using Pipelined and Systolic Array Architectures," Proc. of International Symposium on the
Mathematical Theory of Networks and Systems, Amsterdam, Netherlands, 1989.
101. D. K. Pradhan, S. K. Gupta, M. G. Karpovsky, "Aliasing Probability for Multiple Input Signature
Analyzer," IEEE Trans. on
Computer, April 1990.
102. T. Damarla, M. G. Karpovsky, "Multiple Fault Detection in a Network of Functions,"
IETE Journal, Vol. 35, No. 6, 1989.
103. M. G. Karpovsky, L. B. Levitin, F. S. Vainstein,
"Identification of Faulty Processing Elements
by SpaceTime Compression of Test Responses," Proc. International Test Conference, 1990, pp. 638647.
104. P. Nagvajara, M. G. Karpovsky, L. B. Levitin,
"Pseudorandom Test Patterns Generation for
Boundary Scan Design," IEEE
Journal on Design and Test of Computers, September 1991, pp. 5865.
105. T. Roziner, M. G. Karpovsky, "Multidimensional
Fourier Transforms by Systolic Architectures," Journal of VLSI Signal Processing, No. 4, 1992, pp. 343354.
106. M. G. Karpovsky, D. K. Pradhan, S. K. Gupta, "Aliasing and Diagnostic Probabilities in MISR and
STUMPS Using a General Error Model," Proc. International Test Conference, 1991, pp. 828840.
107. P. Nagvajara, M. G. Karpovsky, L. B. Levitin,
"Efficient Test Generation for BuiltIn
SelfTest BoundaryScan Template," 9th
Annual IEEE VLSI Test Symposium, Atlantic City, NJ, 1991, pp. 277284.
108. P. Nagvajara, M. G. Karpovsky, "BuiltIn SelfDiagnostic ReadOnlyMemories,"
Proc. International Test Conference,
1991, pp. 695704.
109. P. Nagvajara, M. G. Karpovsky, "Coset Error Detection in BIST Design,"
IEEE VLSI Test Symposium, Atlantic
City, NJ, 1992, pp. 7984.
110. M. G. Karpovsky, L. B. Levitin, F. S. Vainstein,
"Diagnosis by Signature Analysis of Test
Responses," IEEE Trans. on
Computers, Vol. 43, No. 2, Februrary 1994, pp.
141153.
111. M. G. Karpovsky, S. Chaudhry, "BuiltIn SelfDiagnostic by SpaceTime
Compression of Test Responses," IEEE
VLSI Test Symposium, Atlantic City, NJ, 1992, pp. 149155.
112. M. G. Karpovsky, S. Chaudhry, "Design of
SelfDiagnostic Boards by Multiple Signature Analysis," IEEE Trans. on Computers, Vol. 42, No.
9, September 1993, pp. 10351044.
113. M. G. Karpovsky, S. Chaudhry, L. B. Levitin, "Multiple Signature Analysis: a Framework for BuiltIn
SelfDiagnostic," FaultTolerant
Computing Symposium, Boston, 1992, pp. 112120.
114. M. G. Karpovsky, T. Roziner, C. Moraga, "Error
Detection in Multiprocessor Systems and Array Processors," IEEE Trans. on Computers, Vol. 44, No.
3, March 1995, pp. 383394.
115. M. G. Karpovsky, S. Chaudhry, L. B. Levitin, C. Moraga, "Detection and Location of Given Sets of Errors by Nonbinary Linear Codes," Springer and Verlag, Lecture Notes,
No. 781, 1994, pp. 172194.
116. M. G. Karpovsky, V. N. Yarmolik, "Transparent Memory BIST," Proc. International Workshop on Memory
Technology, 1994, pp. 106112.
117. M. G. Karpovsky, "Spectral Techniques for
OffLine Testing and Diagnosis of Computer Systems," Keynote paper, Proc. of Fifth International Symposium on
Spectral Techniques, China, 1994, pp. 172194.
118. M. G. Karpovsky, V. N. Yarmolik, "Transparent Memory Testing for Pattern Sensitive
Faults," Proc. International
Test Conference, 1994, pp. 860870.
119. E. P. Kalosha, V. N. Yarmolik,
M. G. Karpovsky, "Signature Testability of PLA,"
Fourth International Workshop on Field
Programmable Logic, 1994, pp. 126132.
120. M. G. Karpovsky, V. N. Yarmolik, A. J. van de Goor, "Pseudoexhaustive
WordOriented DRAM Testing," Proc. 1995 European Design and Test Conference, 1995, pp. 126132.
121. M. G. Karpovsky, "Application of Spectral Techniques for OffLine
Testing and FaultTolerant Computing," Berichte zur Angewandten Informatik, 1995.
122. L. B. Levitin, M. G. Karpovsky, "Exhaustive
Testing of Almost All Devices...," Open
Systems and Information Dynamics, Vol. 2, No. 3, 1994, pp. 116.
123. M. G. Karpovsky, V. N. Yarmolik, "Testability Measures and Test Complexities for Testing
with Internal Access," Proc.
Int. Workshop on IDDQ Testing, pp. 914, 1995.
124. V. N. Yarmolik, Y. V. Bykov,
M. G. Karpovsky, "Test Sets for Internal
Access Testing," Proc. Int.
Conference on ComputerAided Design, pp. 135141, 1995.
125. M. G. Karpovsky, D. Das, H. Varhan, "BuiltIn SelfTesting for Detection of
Coupling Faults in Semiconductor Memories," Proc. Int. IEEE Workshop on Memory Technology, Design and Testing,
1996.
126. M. G. Karpovsky, V. N. Yarmolik, "Transparent Random Access Memory Testing...,"
Journal of Electronic Testing: Theory and
Applications, Vol. 9, No. 3, 1996, pp. 261266.
127. V. N. Yarmolik, A. I. Yanushkevich,
M. G. Karpovsky, "IDDQ Testing of Systolic CMOS Networks," Microelectronics, Bulletin Russian Academy
of Science, Vol. 26, No. 1, 1997, pp. 2529.
128. D. Das, M. G. Karpovsky, "Exhaustive and
Near Exhaustive Memory Testing and their BIST Implementations," Journal of Electronic Testing: Theory and
Applications, Vol. 10, No. 3, June 1997, pp. 215229.
129. C. Moraga, R. Oenning, M. G. Karpovsky, "Zhang Watari Transform...,"
Multivalued Logic, Vol. 2, 1997, pp.
245262.
130. M. G. Karpovsky, "Integrated OnLine and
OffLine Error Detection Mechanism in the Coding Theory Framework," VLSI Design, Vol. 5, No. 4, 1998, pp.
313331.
131. K. Chakrabarty, M. G. Karpovsky, L. B. Levitin,
"Fault Isolation and Diagnosis in
Multiprocessor Systems with PointtoPoint Connections," in Fault Tolerant Parallel and Distributed
Systems, Kluwer Academic Publishers, 1998, pp. 285301.
132. M. G. Karpovsky, K. Chakrabarty, L. B. Levitin,
"A New Class of Codes for Identification of
Vertices in Graphs," IEEE Trans.
Info Theory, March 1998, Vol. 46, pp. 599611.
133. L. Zakrevsky, M. G. Karpovsky, "Fault Tolerant Message Routing For
Multiprocessors," in Parallel
and Distributed Processing (J. Rolim Editor),
Springer, 1998, pp. 714731.
134. I. Levin, M. G. Karpovsky, "OnLine
SelfChecking of Microprogram Control Units,"
Proc. 4th Int. Workshop on OnLine
Testing, 1998, pp. 152157.
135. M. G. Karpovsky, "Spectral
Techniques for OffLine Testing and Diagnosis of Computer Systems," Approximation Theory and Its Applications,
1998, pp. 5572.
136. L.Zakrevski, M.G. Karpovsky, S.Yang, BIST for Embedded
Drams, Proc. Int. Workshop on Memory Technology, 1998.
137. M.G.Karpovsky, K.Chakrabarty, L.B.Levitin, D.Avresky, On the Covering of Vertices for
FaultDiagnosis in Hypercubes, Information Processing Letters, 69,
1999, pp.99103.
138. L.Zakrevski, M.G.Karpovsky, FaultTolerant Routing in Computer Networks,
Proc. Int. Conf. On Parallel and Distributed Processing Techniques and
Applications, vol.4, 1999, pp.22792287.
139. L.Zakrevski, S.Jaiswal, L.B.Levitin, M.G.Karpovsky, A New Method for
Deadlock Elimination in Computer Networks with Irregular Topologies, Proc. Int. Conf. On Parallel and Distributed Computer Systems,vol.1, pp396402, 1999.
140. L.Zakrevski,S.Jaiswal, M.G.Karpovsky, "Unicast
Message Routing in Communication Networks with Irregular Topologies" , Proc. of CAD99, 1999.
141.S.Jaiswal, M.Mustafa, L.Zakrevski, M.G.Karpovsky,
"Wormhole Message Routing in Networks of
Workstations", Proc.of PDCS2000, pp.169174
142. L.Zakrevski, M.Mustafa, M.G.Karpovsky, "Turn
Prohibition Based Routing in Irregular Computer Networks", Proc. of
PDCS2000, pp.174179
143. M.G.Karpovsky,I.Levin, V.Sinelnikov, R.Goot, "New Architecture for Sequential Machines with
SelfErrorDetection", Proc. Int.Conf.on
New Information Technologies, NITe's 2000,
pp.111117
144. M.G.Karpovsky,R.S.Stankovic, C.Moraga, "Spectral
Techniques in Binary and MultipleValued Switching Theory" Proc.
Int.Symp.on Multivalued Logic, May
2001, pp4146
145. U.Blass, I.Honkala, M.G.Karpovsky, S. Litsyn, "Short Dominating Paths and Cycles in Hypercubes", Annals of Combinatorics 5,
2001, pp. 5159.
146. M.G.Karpovsky, R.S.Stankovic, J.T.Astola, "Spectral
Techniques for Design and Testing of Computer Hardware", Keynote
Paper, Proc. First Int. Workshop on Spectral Techniques and
Logical Design for Future Digital Systems, Tampere, Finland, June,
2000, pp.943.
147. P.K.Lala, M.G.Karpovsky, "An Approach for Designing Online Testable State
Machines", Proc. International Workshop on Online Testing,
2001.
148. I.
Levin, V. Sinelnikov, M. Karpovsky, "Synthesis of ASMbased SelfChecking Controllers", Proceedings
of International Conference on Digital Systems Design, DSD'2001.
149. I.
Levin, M. Karpovsky, V. Sinelnikov, "Architecture of FPGAbased Concurrent Checking
FSM", Proceedings of the Third International Electronic Circuits
and Systems Conference, Bratislava, Slovakia, September 57, 2000.
150. M.
Karpovsky, R. Stankovic, J. Astola, "Construction
of Linearly Transformed Binary Decision Diagrams by Autocorrelation Functions",
Proceedings of International TICSP Workshop on Spectral Methods and Multirate Signal Processing, SMMSP'2001, Pula, Croatia,
2001.
151. M.
Karpovsky, L. Zakrevski, M. Mustafa, A. Agarwal,
"The Generalized Turn Prohibition Model for
Multicast Routing in Irregular Networks," Proc. of Thirteenth
IASTED International Conference on Parallel and Distributed Computing and
Systems (PDCS 2001),Anaheim, California, USA, August 2124, 2001.
152. A.
Trachtenberg, M. Karpovsky, "SpaceTime Turn
Prohibitions for Low Density ParityCheck Codes", Proc. of 39th
Annual Allerton Conference on Communication, Control, and Computing,
2001.
153. M.
Karpovsky, L. Levitin, A. Trachtenberg, "Data
Verification and Reconciliation with Generalized Error Control Codes",
Proc. of 39th Annual Allerton Conference on Communication, Control, and
Computing, 2001.
154. D.
Starobinski, M.G.Karpovsky, L. Zakrevski,
"Application of Network Calculus to General
Topologies Using Turn Prohibitions", Proc. INFOCOM 2002.
155. M. Karpovsky, R. Stankovic, C.Moraga, "Spectral
Techniques in Binary and MultipleValued Switching Theory", International
Journal on MultipleValued Logic, Vol. 10, No3, 2004.
156. D.Starobinski, M.G.Karpovsky, L.Zakrevsky "Applications
of Network Calculus to General Topologies" IEEE/ACM
Transactions on Networking, June 2003, vol. 11, No. 3, pp 411422
157. I.Honkala, M.G.Karpovsky, S.Litsyn "Cycles
Identifying Vertices and Edges in Binary Hypercubes
and TwoDimensional Tori", Discrete
Applied Mathematics, vol129, No 23, 2003, pp.409418
158. I.Levin, M. G. Karpovsky, S. Ostanin,
"Sequential
Circuits applicable for Detection of Faults", Proc. of 8th Int.Workshop on OnLine Testing, 2002.
159. I.Honkala, M.G.Karpovsky, S.Litsyn, "On Identification of Vertices and Edges
Using Cycles", Proc. AAECC14, 2001, pp. 308314
160. M.G.Karpovsky, R.Stankovic, C.Moraga, "Recent Results
in Applications of Spectral Techniques in Binary and MultipleValued Switching
Theory", Proc of Int. Conf
on Computer Intelligence and Information Technologies, pp.5157, 2001
161. M.G.Karpovsky, R.Stancovic, J. Aastola, "Reduction of
Sizes of Decision Diagrams by Autocorrelation Fuctions",
IEEE Trans on Computers, May, 2003, pp.592607
162. I.
Levin, V. Ostrovsky, S. Ostanin,
M.G. Karpovsky, "SelfChecking
Sequential Circuits with SelfHealing", Proc
of VLSI Symposium GLSVLSI2002, 2002
163. R. Stancovic,
M.G. Karpovsky, "Remarks on the Number of
Logical Networks with the Same Complexity Derived from Spectral Decision
Diagrams", Proc. Int. TICS Workshop on Spectral Methods and Multirate Signal Processing, SMMSP'02, Toulouse, France,
September 78, 2002, pp163170.
164. L.B. Levitin, M.G. Karpovsky, "Deadlock Prevention in Networks
Modeled as Weighted Graphs", Proc. ICINSAT2002 Conf,
2002, pp. 4247.
165. M.G.Karpovsky, M.Mustafa, R.Mathur, "Faulttolerant
Unicast Wormhole Routing in Irregular Computer Networks", Proc. of
the Conference on Parallel and Distributed Computing and Systems, PDCS
2002
166. A.Taubin, M.G.Karpovsky,
"Devices Resistant to Attacks. Design
methodology", Proc of IEEE Conf on Technologies for Homeland Security, 2002
167. M.G.Karpovsky, L.B.Levitin,
A.Trachtenberg, "Data
Verification and Reconciliation with Generalized Error Correcting Codes",
IEEE Trans. on Information Theory, Vol. 49, No.7, July 2003,
pp.17881794.
168. F.De Pelegrini, D.Starobinski, M.G.Karpovsky, L.B.Levitin,
"Scalable Cycle Breaking Algorithms For Gigabit Ethernet Backbones", Proc. Infocom 2004
170. M.G.Karpovsky,
R.Stancovic and J.Aastola,
"Construction of Linearly Transformed Planar
BDDs by Walsh Coefficients", Proc. ISCAS, 2004
171. M.G.Karpovsky
and A. Taubin, "A New Class of Nonlinear
Systematic Error Detecting Codes", IEEE
Trans Info Theory, Vol 50, No.8, 2004,
pp.18181820
172. Kolotov
Y., Levin, I., Ostrovsky V., Karpovsky M.G,
"Software Tool for BDD Optimizing by Using Autocorrelation Functions".
Proc. of the 23th IEEE Convention of EEEI, 2004, pp129132.
173. I.Levin,
M.G.Karpovsky, S.Ostanin, V.Sinelnikov, "Designing Circuits Detecting Different
Types of Faults", WSEN Transactions on Electronics, Issue 2, Vol. 1,
Apr 2004, pp.396404
174. Karpovsky, M.G., K. Kulikowski,
and A. Taubin, "Robust Protection Against
FaultInjection Attacks on Smart Cards Implementing the Advanced Encryption
Standard", Proc. Int. Conference on Dependable Systems and Networks
(DNS 2004), July, 2004
175. Karpovsky, M.G., K. Kulikowski,
and A.Taubin, "Differential Fault Analysis Attack Resistant
Architectures for the Advanced Encryption Standard", Proc. IFIP World Computing Congress, Cardis, Aug., 2004, pp 177193
176. Stankovic,
R.S., Karpovsky, M.G., and J.T. Aastola, "Reduction of the Number of Coefficients in Arithmetic
Expressions by Autocorrelation Functions", Proc. 2004 International Workshop on
Spectral Methods and Multirate Signal Processing,
SMMSP2004
177. A.Smirnov,
A.Taubin, M.Karpovsky and L.Rozenblum, "Gate
Transfer Level Synthesis as an Automated Approach to FineGrain
Pipelining", Proc 25th Int.
Conference on Application and Theory of Petri Nets, 2004, pp.6779.
178. Smirnov A., Taubin A., and
Karpovsky M. "Automated
Pipelining in ASIC Synthesis Methodology: Gate Transfer Level", Proc. Thirteenth
Int. Workshop on Logic and Synthesis, 2004.
179. R.Stanckovic,
and M.G.Karpovsky, "Remarks on Calculation of Autocorrelation on Finite
Dyadic Groups by Local Transformations of Decision Diagrams", Lecture
Notes Springer and Verlag, 2005
180. K.Kulikowski,
M.Su, A.Smirnov, A.Taubin, and M.G.Karpovsky, D.MacDonald, "Delay
Insensitive Encoding and Power Analysis: A Balancing Act", Proc.
11th Int. Symp. on
Asynchronous Circuits and Systems, 2005
181. A.Smirnov,
A. Taubin, M.Su and M.G. Karpovsky, "An Automated FineGrained Pipelining Using Domino
Style Asynchronous Library", Proc. of ACSD Workshop, June 2005
182. R.S.Stankovic,
J.T.Aastola and M.G.Karpovsky,
"Remarks on History of Abstract Harmonic
Analysis", Proc. Fifth Int. Workshop on Spectral Methods and Signal
Processing, 2005
184. M.Mustafa,
M.G.Karpovsky and L.B.Levitin,
"Cycle Breaking in Wormhole Routed Computer Communication Networks", Proc. Opnetwork , 2005
185. K.J.Kulikowski, M.G.Karpovsky
and A.Taubin, "Robust
Codes for Fault Resistant Cryptographic Hardware", Proc
of Int. Workshop on Fault Detection and Tolerance in Cryptography,
Aug 2005.
186. Karpovsky, M.G., Stankovic, R.S.,
Moraga, C., Spectral techniques in binary and multiplevalued switching
theory, a review of results in the decade 19912000, MultipleValued
Logic and Soft Computing, Vol. 10, N. 3, 2004, 261286 http://www.oldcitypublishing.com/MVLSC/MVLSC.html
187. Levin I., Stankovic R., Karpovsky
M., Astola J., (2005) "Construction of Planar BDDs by Using Linearization
and Decomposition", Proc. of Fourteenth International Workshop on Logic
and Synthesis, Lake Arrowhead, California, pp. 132139.
188. F.De
Pelegrini, D.Starobinski, M.G.Karpovsky, L.B.Levitin,
"Scalable Cycle Breaking Algorithms For
Gigabit Ethernet Backbones", Journal of Optical Networking, Vol.5,
N.1 Jan. 2006, pp.123
169. I.Honkala,
M.G.Karpovsky, L.B.Levitin,
"On Robust and Dynamic Identifying Codes",
IEEE Trans Info Theory, Feb 2006, pp599613
189. K.J.Kulikowski, M.G.Karpovsky and A.R.Taubin,
"Power Attacks on Secure Hardware, Based on
Early Propagation of Data", Int. Workshop on OnLine Testing,
pp.131139 2006
190. L.B.Levitin, M.G.Karpovsky,
M.Mustafa and L.Zakrevski,
"New Algorithm for Finding CycleBreaking Sets of Turns in a Graph", =98Journal of Graph Algorithms and
Applications, Vol. 10, no. 2, 2006
191. K. J. Kulikowski, M.G. Karpovsky, A.Taubin, "
DPA on Faulty Cryptographic Hardware and Countermeasures", Proc of Int. Workshop on Fault Detection and
Tolerance in Cryptography, 2006
192. G.Gaubatz, B.Sunar,
M.G.Karpovsky, "Robust
Residue Codes for FaultTolerant PublicKey Arithmetic", Proc of Int. Workshop on Fault Detection and
Tolerance in Cryptography, 2006
193. Smirnov A., Taubin A., and Karpovsky
M., "On Automatic Synthesis of Data Dependent Micropipelines" Proc. Int. Workshop on Logic
and Synthesis, 2006
194. I. Levin, T. Keren, G. Kolotov, M.G. Karpovsky,
"Piecewise Linearization of Logical Functions"
, Proc Int Workshop on
Spectral Techniques, 2006, pp 6775
195. R. Stankovic,
Jaakko Astola, Mark Karpovsky, "Some
remarks on sampling theorem", Proc
Int Workshop on Spectral Techniques, 2006, pp.
163171
196. K. Kulikowski, M.G.Karpovsky,
A.Taubin, "Fault Attack Resistant Cryptographic Hardware with
Uniform Error Detection", Lecture Notes in Computer Science,
Springer and Verlag, 2006
197. M. Mustafa, L.B.Levitin, M.G.Karpovsky,
"Weighted Turn Prohibitions in Computer
Networks", Proc. Opnetwork, 2006
198. G.Gaubatz,
B. Sunar, M.G.Karpovsky, "Nonlinear Residue
Codes for Robust PublicKey Arithmetic", Lecture Notes in Computer
Science, Vol. 4326/2006, Fault Diagnosis in Cryptography, pp173184, 2006
199. Stankovic, R.S. Astola, J., M.G.
Karpovsky, " Some
Historical Remarks on Switching Theory", Proc.Int
Workshop on Spectral Techniques, 2007
200.M.G.Karpovsky, K. Kulikowski, Z,
Wang, "Robust Error Detection in Communication
and Computation Channels", Keynote paper, Int.
Workshop on Spectral Techniques, 2007
201. K. J. Kulikowski, M. G. Karpovsky, A.Taubin, "Robust Codes
and Robust, Fault Tolerant Architectures of the Advanced Encryption
Standard", Journal of System
Architecture, vol. 53, pp138149, 2007
202.M.G.Karpovsky, K. Kulikowski, Z, Wang, "OnLine Self Error Detection with Equal Protection
Against All Errors", Int. Journal of Highly Reliable
Electronic System Design, June 2008
203. K. Kulikowski, V. Venkataraman, Z. Wang, A. Taubin, M.G. Karpovsky, "Asynchronous Balanced Gates Tolerant to Interconnect Variability", Proceedings of ISCAS, 2008
204. K. Kulikowski, M. G. Karpovsky, A. Taubin, Z. Wang, A. Kulikovski, "Fault Detection for Secure QDI Asynchronous Circuits", Proceedings of Workshop on Dependable and Secure Nanocomputing, DSN08, 2008
205. K. Kulikowski, Z. Wang, M.G. Karpovsky, "Comparative Analysis of Fault Attack Resistant Architectures for Private and Public Key Cryptosystems", Proc of Int. Workshop on Faulttolerant Cryptographic Devices, 2008
206.Z.E.Jamous, L. B. Levitin, M. Mustafa, M. G.
Karpovsky, "Performance of CycleBreaking Algorithms for Deadlock and Livelock Prevention in Communication Networks", Proceedings
of Opnetwork, 2008
207. K.
Kulikowski, M. G. Karpovsky, "Robust
Correction of Repeating Errors by Nonlinear Codes",
Communications, IET, Vol 5 pp23172327, 4, 2011
208. O.Keren, I, Levin, M. G. Karpovsky, "Nonredundant Scheme for Arbitrary Error Detection in
Combinational Circuits", Proceedings
of 16th IFIP/IEEE Conference on Very Large Scale Integration, 2008
209. L. Levitin, M. G. Karpovsky, M.
Mustafa, "Deadlock prevention by Turn
Prohibitions in Interconnection Networks" ,
Proc. of Int. Workshop on Communication Architecture for Clusters, CAC,
Rome, May, 2009
210. R. S. Stankovic, M. G. Karpovsky,
and C. Moraga,
" Remarks on Codes, Spectral
Transforms, and Decision Diagrams" in Tabush, I., Egiazarian, K., Gabouj, M.,
(eds.), pp 226246, July,
2009
211. Z. Wang, M. G. Karpovsky, K. Kulikowski, "Replacing Linear Hamming Codes by Robust
Nonlinear Codes Results in Reliability Improvement for Memories", Proc.
Int. Symp. Dependable Computing, July 2009
212. Z. Wang, M. G. Karpovsky, B Sunar,
"Multilinear Codes for
Robust Error Detecrion", Proc. Int. OnLine Testing Symp., June, 2009
213. S. Baranov, I. Levin, O.Keren, M. G. Karpovsky, "Designing Fault Tolerant
FSMs by NanoPLAs", Proc. Int. OnLine Testing
Symp, June 2009
214. Z. Wang, M. G. Karpovsky, K.
Kulikowski, "Design of Memories with
Concurrent Error Detection and Correction by NonLinear
SECDED Codes", Journal of Electronic Testing, vol. 26, Oct
2010
215. L.B. Levitin, M. G. Karpovsky, M. Mustafa, "Minimal Sets of Turns for Breaking Cycles in Graphs
Modeling Networks" , IEEE Trans. Parallel and Distributed
Systems., vol. 21, No. 9, Sept 2010 , pp. 13421353
216. Z. Wang, M.G. Karpovsky, B.Sunar, A.Joshi, "Design of Reliable and Secure Multipliers by Multilinear Arithmetic Codes", Proc. Int. Conf.
on Information, Communications Security, Dec. 2009
217. Z. Wang, M. G. Karpovsky and A. Joshi, " Reliable MLC NAND Flash Memories Based on
NonLinear terror Correcting Codes" Proc. Int. Conf. on
Dependable Systems and Networks, June 2010
218. Z. Wang, M. Karpovsky, "Robust FSMs for Cryptographic Devices Resilient
to Strong Fault Injection Attacks" , Proc
Int Symp. on Online Testing, July 2010
219. O. Keren, I. Levin, M. G. Karpovsky,
"Duplication
Based Onetomany Coding for Trojan HW Detection",
Int. Symp.on Defect and Fault Tolerance in VLSI Systems,
2010
220. K.D.Akdemir, Z. Wang, M. G. Karpovsky, and B.
Sunar, "Design of Cryptographic Devices
Resilient to Fault Injection Attacks Using Nonlinear Robust Codes", Fault Analysis in
Cryptography, M. Joye Editor, 2011
221. Z.Wang, M.G.Karpovsky
and A.Joshi, "Nonlinear MultiError Correcting Codes for Reliable
MLC NAND Flash Memories ", IEEE Trans on VLSI,
Vol 20, No 7, July, 2012, pp. 12211235
222. M. Karpovsky, "
Design of Secure Hardware Resistant to Attacks", Proc. EW Design
and Test Symp, Sept 2010
223. Z.
Wang and M.G.Karpovsky, "Algebraic Manipulation Detection Codes and Their
Application for Design of Secure Cryptographic Devices", Proc of Int. Symp. on OnLine Testing, 2011
224. Z. Wang, A.Joshi
and M.G.Karpovsky, "Influence
of Metallic Tubes on the Reliability of CNTFET SRAMs: Error Mechanisms and
Countermeasures", Proc. GLSVLSI Conference,
2011
225. Z.Wang, M.G.Karpovsky
and A.Joshi, " Secure Multipliers Resilient to Strong FaultInjection
Attacks Using Multilinear Arithmetic Codes
", IEEE Trans on VLSI, Vol 20, No 6 ,
2012, pp 10361049
226. M.G.
Karpovsky and Z. Wang, "Design of Strongly
Secure Communication and Computation Channels by Nonlinear Error Detecting
Codes", IEEE Trans Computers Vol 63, No 11, Nov.
2014, pp 27162728
227. L.
Levitin, M.G.Karpovsky and M. Mustafa, "Deadlock Prevention in Networks of Workstations with
Wormhole Routing", Distributed Innovations for Business,
Engineering and Science, Edited
by A. Loo, 2013.
228. M.G
Karpovsky, L.B.Levitin, M Mustafa, "Deadlock Prevention in Multiprocessor Systems with
Wormhole Routing", Distributed Innovations for Business,
Engineering and Science, Edited
by A. Loo, 2013.
229. Z.Wang and M.G.Karpovsky,
"Reliable and Secure Memories Based on
Algebraic Manipulation Correction Codes", Proc
Int Symp. on Online Testing, June 2012
230. Z.Wang and M.G.Karpovsky,
"New Error Detecting Codes for design of
Hardware Resistant to Strong Fault Injection Attacks", Proc. Int.
Conference on Security and Management, SAM , 2012
231. P.Luo, Z.Wang and M.G.Karpovsky, "Secure
NAND Flash Memories Resilient to Strong FaultInjection Attacks Using Algebraic
Manipulation Detection Codes", Proc. Int. Conference on Security and Management, SAM , 2013
232. Shizun Ge, Zhen Wang, Pei Luo, Mark
Karpovsky, " Secure
Memories Resistant to Both Random Errors and Fault Injection Attacks Using
Nonlinear Error Correction Codes", Proc. Workshop on Hardware and
Architectural Support for Security and Privacy, HASP 2013, 2013
233.
Shizun Ge, Zhen
Wang, Pei Luo, Mark Karpovsky, "Reliable and
Secure Memories Based on Algebraic Manipulation Detection Codes and Robust
Error Correction" , Proc. Int. Depend Symp., 2013
234. I. Shumsky,
O.Keren, M.Karpovsky,
" Robustness of SecurityOriented Binary Codes
Under NonUniform Distribution of Codewords",
Proc. Int. Depend Symp., 2013
235. P. Luo,
A.YuLun Lin, Z. Wang and M.G. Karpovsky,
"Hardware Implementation of Reliable and Secure Shamir's Secret Sharing
Scheme", Proc. Int. Symp.
On High Assurance Systems Engineering, 2014.
236. M.G. Karpovsky, L. Levitin, M.
Mustafa, Optimal Turn Prohibition for Deadlock
Prevention in Networks with Regular Topologies, IEEE Trans on Control of Networks, Vol. 1, N 1, March 2014, pp
7485
237. O. Keren, M.G. Karpovsky, "Relations
between the Entropy of a Source and the Error Masking Probability for Security
Oriented Codes, IEEE Trans on Communications, Vol. 63, No.1, pp206214, 2015
238. Z. Wang, M.G. Karpovsky,
L. Bu "Design of Reliable and Secure Devices Realizing
Shamirs Secret Sharing, IEEE Trans on Computers, Vol.PP ,
Issue 99, Oct. 2015
239. L. Bu, M.G. Karpovsky,
Z. Wang "New Byte Error Correcting Codes with Simple Decoding
for Reliable Cache Design, Proc. 21st IEEE OnLine Testing
Symposium (IOLTS),
2015
240. L.
Bu, M.G. Karpovsky
"Protecting Flash Memories with a High Reliability and
Low Cost ECC",
International Journal of New Technologies
in Science and Engineering, vol. 2, Issue. 2, 2015
241. Lake
Bu, and M. Karpovsky "A Hybrid
SelfDiagnosis Mechanism with Defective Nodes Locating and Attack Detection for
Parallel Computing Systems", Proc. 22nd IEEE
OnLine Testing Symposium (IOLTS),
2016
242. Lake
Bu, and M. Karpovsky "A Design of Secure and Reliable Wireless Transmission Channel for
Implantable Medical Devices",
Proc.
International Conference on Information Systems Security and Privacy (ICISSP),
2017 [Best Paper
Award]
243. Lake
Bu, and M. Karpovsky "A Design
of Secure and Reliable Wireless Keyboards and Mice Against
ManInTheMiddle Attacks",
Proc.
23rd IEEE OnLine Testing Symposium (IOLTS), 2017