Selected Publications (since 1982).

                        

Books

S.L. Frenkel, Probabilistic models of  applied computer systems, IPI RAN, Moscow, 2005, ISBN 5-902030-15-3 (In Russian).  

S, L. Frenkel, Computer graphics. 3D Scenes Models and Geometric Transformations. A Textbook. MIREA Publishing, Moscow, Russia, 2002, ISBN 5-7339-0366-X  (in Russian),

 

Journals papers

 

D.Berend, S.Dolev, S.Frenkel, A. Hanemann, Towards holographic “brain” memory based on randomization and Walsh-Hadamard transformation, Neural Networks, Available online 12 February 2016, In Press, Accepted Manuscript,  http://www.sciencedirect.com/science/article/pii/S0893608016000253

Mironov, A. , Frenkel, S., Minimization of Probabilistic Models of Programs. // Journal of Mathematical Sciences; Dec 2015, Vol. 211 Issue 3, p 38

Frenkel S., Kopeetsky M., Molotkovskiy R.,and Borovsky P, Performance  improvement of Lempel–Ziv–Welch Compression Algorithm,  Informaitics and its Applications,  vol. 9.issue 4.  2015,  p. 82–88.

Dolev S., Frenkel S., Kopeetsky M., Brief Announcement: Entropy Adaptive On-Line Compression // Lecture Notes in Computer Science 8756, Self-Stability Symposium (SSS 2014), 2014. p. 366-368.

S. Dolev, S.Frenkel, V. Sinelnikov,D. Tamir, Preserving Hamming Distance in Arithmetic and Logical Operations, // Journal of Electronic Testing (JETTA), Springer Verlag, vol.29, p.903-907,2013, DOI: 10.1007/s10836-013-5421-9.

S.Dolev, S.Frenkel, ,D. Tamir, Probabilistic methods for self-correcting hardware, Informatiics and its Applications, 2013, vol.7.issue 4, p. 48-54. 

Cohen, Eyal; Dolev, Shlomi; Frenkel, Sergey; Kryzhanovsky, Boris; Palagushkin, Alexandr; Rosenblit, Michael; Zakharov, Victor, Optical Solver of Combinatorial Problems: Nano-Technological Approach //Journal of the Optical Society of America A ( JOSA A)) , Vol. 30 Issue 9, pp.1845-1853 (2013),

S..Dolev, S. Frenkel, A.Henemann, Towards Holographic Brain" Memory Based on Randomization and Walsh-Hadamared Transformation (Extended Abstract), AIP Conference Proceedings, 2012, V.1510, Issue 1, pp. 142-150.

 

S.Dolev, S.Frenkel, A.Cohen, Holographic Coding by Walsh-Hadamard Transformation of Randomized and Permuted data, Informatics and its Applications, 2012. vol. 6,issue .4,. pp.. 75- 82.

 

S. Frenkel, A. Pechinkin, Estimation of self-healing time for digital systems under transient faults, Informatics and its Applications Journal, vol4, Issue 3, pp.2-8, 2010. 

 
S. Frenkel, A. Pechinkin,A Probabilistic Analysis of Fault Detection Latency in a Network  of FSMs, Informatics and its Applications Journal, Vol 3, Issue 2, 2009.          
 
S. Baranov, S. Frenkel, V.Sinelnikov, V. Zakharov, Concurrent Design and Verification of Digital  
 Hardware, Informatics and its Applications Journal, Vol 2, Issue 3, 2008.         

 

S. Frenkel,  E. Levner, V.Zakharov, An approach to classification  of computer systems faults

 localization models,  in  Systems and  Means of Informatics , Special Issue, Mathematical and Computer Modeling in Applied Problems, Edited by: Prof. S.Shorgin (IPI RAS) and Prof.

Z.Volkovich (ORT Braude College, Israel), Russian Academy of Sciences, Moscow, pp. 16-31, 2008.

 

S.L. Frenkel A model of Statistically-Controlled Reuse of Design  Verification Tests
 pp. 180-183,  Bulletin of Tomsk State University,  ¹9 (I) August 2004   

 

S.L.Frenkel  Functional and Timing verification of complex digital systems, Open Systems  No 6,         June 2002 ã., pp. 10-17 (in Russian ),

 

S.L. Frenkel, Performance  measurement  methodology -and-tool  for computer systems with migrating   applied software, in  BRICS  Notes Series, NS-98-4, pp.83-86,    Aalburg, Denmark, June 1998,

 

S.L.Frenkel, Statistical Characterization for HW/SW co-designed systems, in  “Information and

 Control Systems for railway transport”, N4, 1997, Kiev, Ukraine, pp.82-83 (in Russian),

 

S.L. Frenkel, About  PC use for Test Pattern Generation, in “Systems and tools of  Informatics”,

 edited by I.Mizin,  Nauka State Publishing House, 1993, pp.283-290 (in Russian),

 

S. L. Frenkel,  About  probabilistic approach to digital circuits  fault coverage estimation,

 in  edition “Methods and Tools of  Computer Systems Computer-Aided Design ”

 of  Moscow Institute of Control Machine, 1987, Moscow, pp.166-173 (in Russian),

 

S.L. Frenkel, B.I. Balanter, E.G.Kasian,  About representation of visual functions by                     neuronal networks, in Annual  Proceedings. of Moscow  Naturalists Scientific Society    “Cytogenetic and Mathematical Approaches to Biosystems Study”, edited

  by..L.Yanshin,   Nauka State Publishing House, 1986, pp.116-121 (in Russian),

 

 

Conference papers

 

S.Frenkel, Assurance of some system reliability characteristics in formal design verification,VeriSure2014 Workshop as a part of Vienna Summer Logic (Vienna, 12–24 July 2014) Abstracts Of Vienna Summer Logic.

 

S.Frenkel, Some measures of self-repairing ability for fault-tolerant circuits design, Proceedings of  Second Workshop on Manufacturable and Dependable  Multicore Architectures at Nanoscale (MEDIAN'13, ),  Avignon,  France,       2013, p. 57-60,           ISBN 978-2-11129175-1 http://www.median-project.eu/events/median2013/proceedings

 

S. Dolev, S. Frenkel, Multiplication Free Holographic Coding, Proceedings of IEEE 26 Convention of Electrical and Electronics  Engineers,  17-20 November, 2010, Eilat, Israel, pp.146-150.

 

S. Frenkel, High-level Specification for Low Power and SEU-robust Design Verification,

 International Workshop on the Impact of Low Power design on Test and Reliability (LPonTR, fringe to European Test Symposium ETS2010), Prague, Czech Republic, May 27-28, 2010.

 

S. Dolev, S. Frenkel, Extending the Scope of Self-Correcting, Proceedings of XIII International Conference Applied Stochastic Models and Data Analysis, ASMDA 2009, June 30- July 3, 2009.

 

 S. Frenkel, A.Kamkin, Verification Methodology Based on Algorithmic State Machine and Cycle-Accurate Contract Specifications, Proceedings of 7th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS 2009, pp.39-42

 

S. Frenkel, Estimation of Self-Healing Timing Characteristics for Real-Time Systems under Transient Faults, Proceedings of the Work-in-progress session of 20th Euromicro Real time Conference, July 2-4, Prague,2008, pp. 44-47.

 

S. Frenkel, Probability Distribution of Some Time Characteristics of  Fault-Tolerant Systems, in Proceedings of  the Fault-Tolerant Distributed Algorithms on VLSI Chips Dagstuhl Seminar, September 8-10, Dagshtuhl, Germany, 2008.

 

S. Frenkel,  What kind of tool we need for fault-tolerant computer systems design?, Proceedings of the Work in Progress Session held in connection with SEAA 2007 - The 35th Euromicro Conference on Software Engineering and Advanced Applications, and DSD 2007, The 10th Euromicro Conference on Digital System Design, Luebeck, Germany, August 2007, pages 45-46

 

S. Frenkel, V. Zakharov,  E. Levner,  Characterization of Probabilistic Faults Diagnostic Models, 

 Proceedings of  4th IEEE International Conference on Information Technology: Research and 

  Education (ITRE 2006),  Tel-Aviv, Israel, October 16-19, 2006,   Communication Society, pp.156-160. 

 

S. L. Frenkel,  V.Yu..  Korolev,  Execution Time Prediction of parallel-executed activities,  Proceedings of  XXVI European Meeting of Statisticians, Torun,  2006, p.45-46.

S.Frenkel et al,  On-line search algorithms for fault diagnostics in large-scale computer  communication networks,  Proceedings  of  SEIO 2006, Tenerife, May 15 – 19,    2006, pp. 557-558.

 

S. Frenkel  About Characterization of Probabilistic Model-Based Performance Evaluation

Process, Proceeding of The International Symposium on STOCHASTIC MODELS    in RELIABILITY, SAFETY, SECURITY and LOGISTICS, SMRSSL'05, Beer- Sheva, Israel, 15-17 February 2005, pp. 126-130.

 

S. Frenkel   Verification Model Structures for Digital Systems Design,  Proceedings of 17th   

EUROPEAN SIMULATION MULTICONFERENCE, ESM2003, Nottingham Trent University, England, , 9-11 June 2003    pp.462-467.

 

S. Frenkel,  Random Summation and its Application to the Performance Modelling

Computer Systems,  Proceedings of 17th    EUROPEAN SIMULATION  MULTICONFERENCE, ESM2003, Nottingham Trent University, England, , 9-11 June,  2003, pp 278-283.

 

S. Frenkel, Design verification of very large digital systems: how it can be achieved?,  Proc. of    2nd  International Conference  CAD/CAM/PDM-2002,  Moscow , April  2002,   pp..309-316.                          

S. Frenkel,  Program execution time prediction using some properties of random sums, Book of Abstracts  

 of   24th European Meeting of Statisticians, Prague, August 19-23, 2002, p.192.

 

S.  Frenkel,  Probabilistic Models of Discrete Systems Performance Evaluation. Computational

and Logical aspects, In Proceedings of the Specialized Meetings of the Israel  Mathematical Union,  Rehovot, Israel, 2001, pp.11-12.

 

S.  Frenkel,  On performance benchmarks for application-specific computer systems,  Proceedings   

 of the 3nd Russian Conference with  Foreign   Participation “Computer-Aided   Technologies in  Applied Discrete  Mathematics”,   September 12-14, 2000, Tomsk,   Russia, pp.52-59 (in Russian,  extended abstracts in   English ).

 

S.  Frenkel,   On Application Domain Characterization for Prototyping-based  HW/SW

Optimization, Proceedings of the 1st International  IFIP Workshop “Multi-Architecture

 Low Power Design” MALOPD, Sept. 13-14, 1999, Moscow, pp.53-62.     

 

S. Frenkel,  One Model for Simulation-Based Approach to Computer System Performance  Evaluation, Proceedings of 3rd EUOROSIM CONGRESS, Vol.3, Helsinki,  April  14- 15,1998, pp.599-602. North-Atlantic Workshop (NATW'98),  West Greenwich, RI,  USA,  1998, pp.42-50.

 

S. Frenkel,  Testability Measure as a Test Pattern Generation  Cost Function, in Proc. of  7th     IEEE  North-Atlantic Workshop (NATW'98),  West Greenwich, RI, USA,  1998,     pp.43-51.

 

S. Frenkel, On Hierarchical Approach to  Problem of Fault-Tolerant and Performance  Evaluation,  Proceedings of  the 2nd IEEE International On-Line Testing Workshop, 1996,   July 8-10, Biarritz, France.

 

S.L. Frenkel, On Test Strategy Planning for Self-Checking Circuits,  Proceedinggs of the 1st IEEE    International On-Line Testing Workshop, 1995, July 4-6, Nice, France, pp. 51-55.

 

S.Frenkel,  Behavioral  Testability Characteristics for Hierarchical Test Generation, in Proc. of 

 the Second International Workshop on Hierarchical Test Generation, 1995, September 25-26, Duisburg, Germany, pp.51-53.

 

S.Frenkel,     On Some  Properties of  Fast Fault Grading Tools, Having  an Impact  on  Test Development Strategy Planning, II ARCHIMEDES Open Workshop:  Synthesis of  Testable  Cicuits STC'95, Barcelona, February 10, 1995, pp.69-74.

 

S. L. Frenkel, On Functional Test Development for Digital Circuits, Proc. GI/ITG/GMA-

Fachtagung "Rechnergestützter Entwurf und Architektur mikroelektronischer  Systeme", Oberwiesenthal, 1994 , by ed. D. Monjau,  Springer, Berlin- Heidelberg,     pp.220-221.

 

S. Frenkel,  Probabilistic Model of Fault  Detection  for Sequential Circuits  under Functional  Testing, Proceedings of International Design Automation  Workshop   "Russian   Workshop 93",  June 1993, pp.140-152.

S.Frenkel,  About using of probabilistic methods of fault coverage for interactive test pattern  generation, in Proc. of  International Design Automation Conference “APK91”, June      3-5, 1991, Kaunas, Lithuania, pp. 132-136 (in Russian).

 

D.Grobman,  S.Frenkel,  About calculation of  events probabilities for looped  networks  of logical  elements, in Proc. of Russian Conference “Mathematical and program    approaches to  information-and-control systems design”, Penza, Russia,   May 28-29, 1990, pp.41-42 (in  Russian),     

 

V.Gnezditsky, S.Frenkel, S.Vashkevitch, Information significance of EEG characteristics  for epilepcy  diagnose,  in Proc . of Moscow Conference    “Actual Problems  of   Practical Medicine”, Moscow,  1982, pp. 30-33.