Previous research areas
- digital systems
- design for testability (DFT)
- reliability enhancement
- synthesis
- built-in self-test (BIST)
- for logic
- for embedded RAMs
- built-in self-repair (BISR)
- for logic - reconfigurable logic blocks (RLB)
- for embedded RAMs - redundancy analysis (RA) algorithms
- RAM faulty map generation for RA algorithms
- automated guided vehicles (AGVs) in manufacturing processes
- dispatching
- routing & planning algorithms
- traffic control, collision prevention
Current research areas
- machine learning
- deep neural networks
- convolutional neural networks (CNNs)
- AI in games
- AI in real-time strategies (RTS)
Publications
(sorted by year and then by importance)
- 2010
- Krištofík, Š., Flochová, J.: Modelovanie porúch pomocou stochastických automatov. Bratislava: FIIT STU, 2010. Master thesis (in Slovak). 96 pages.
- 2011
- Krištofík, Š.: Algoritmy BIRA pre pamäte vnorené do SoC. In Computer architectures and diagnostics (PAD): Workshop for PhD. students, 2011, pp. 20-25 (in Slovak). ISBN 978-80-227-3552-0.
- Krištofík, Š.: Automatic Generation of Stochastic Diagnosers. In 7th Student Research Conference in Informatics and Information Technologies Bratislava (IIT.SRC), Vol. 2, 2011, pp. 285-290. ISBN 978-80-227-3488-2.
- 2012
- Krištofík, Š., Gramatová, E.: Repair Analysis for Embedded Memories Using Block-Based Redundancy Architecture. In World Cong. on Engineering (WCE), Vol. 2, 2012, pp. 906-910. ISBN 978-988-19252-1-3.
- Krištofík, Š.: Algoritmus vstavanej opravy pre vnorené pamäte s blokovou architektúrou záloh. In Computer architectures and diagnostics (PAD): Workshop for PhD. students, 2012, pp. 103-108 (in Slovak). ISBN 978-80-01-05106-1.
- Krištofík, Š.: Repair Analysis for Embedded Memories Using Block-Based Redundancy Architecture. In 8th Student Research Conference in Informatics and Information Technologies Bratislava (IIT.SRC), Vol. 2, 2012, pp. 361-368. ISBN 978-80-227-3690-9.
- 2013
- Krištofík, Š., Gramatová, E.: Redundancy Algorithm for Embedded Memories with Block-Based Architecture. In Proc. IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2013, pp. 271-274. ISBN 978-1-4673-6134-7. DOI: 10.1109/DDECS.2013.6549832.
- Krištofík, Š.: Efficient Repair Rate Estimation of Redundancy Algorithms for Embedded Memories. In World Congress on Engineering (WCE), Vol. 2, 2013, pp. 920-925. ISBN 978-988-19252-8-2.
- Krištofík, Š.: Enhancement of self-testing RAMs by self-repair. In Proc. 1st International Conference on Advances in Electronic and Photonic Technologies (ADEPT), 2013, pp. 185-188. ISBN 978-80-554-0689-3.
- Krištofík, Š.: Efficient Repair Rate Estimation of Redundancy Analysis Algorithms for Embedded Memories. In 9th Student Research Conference in Informatics and Information Technologies Bratislava (IIT.SRC), 2013, pp. 351-358. ISBN 978-80-227-4111-8.
- 2014
- Baláž, M., Krištofík, Š., Fischerová, M.: Generic built-in self-repair architectures for SoC logic cores. In Proc. IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2014, pp. 45-50. ISBN 978-1-4799-4560-3. DOI: 10.1109/DDECS.2014.6868761.
- Krištofík, Š.: Adaptácia algoritmu opravy pamätí RAM na blokovú architektúru. In Computer architectures and diagnostics (PAD): Workshop for PhD. students, 2014, pp. 165-170 (in Slovak). ISBN 978-80-7494-027-9.
- Šubín, J., Krištofík, Š.: Efficient Design of Maximal-size Local Bitmap for Repair Algorithms for RAMs. In 10th Student Research Conference in Informatics and Information Technologies Bratislava (IIT.SRC), 2014, pp. 417--422. ISBN 978-80-227-4153-8.
- 2015
- Krištofík, Š., Baláž, M.: Generic Self Repair Architecture with Multiple Fault Handling Capability. In Proc. Euromicro Conference on Digital System Design (DSD), 2015, pp. 197-204. DOI: 10.1109/DSD.2015.118.
- Krištofík, Š., Baláž, M., Fischerová, M.: Generic Self Repair Architecture with On-Line Fault Diagnosis. In Proc. IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2015, pp. 279-282. DOI: 10.1109/DDECS.2015.58.
- Krištofík, Š.: A Contribution Towards Architectures and Algorithms for Self Repair of RAMs. In Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 7, no. 2, 2015, pp. 18-25, ISSN: 1338-6654.
- Šubín, J., Krištofík, Š., Gramatová, E.: A new system for BIST architecture generation for embedded memories in SoCs. In MEDIAN Finale: Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale, 2015, pp. 11-12.
- Krištofík, Š., Gramatová, E.: Príspevok k architektúram a algoritmom samočinnej opravy pamätí RAM. Bratislava: FIIT STU, 2015. PhD thesis (in Slovak). 121 pages.
- 2016
- Krištofík, Š., Baláž, M.: Built-in self-repair architecture generator for digital cores. In Proc. IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016, pp. 1-6. DOI: 10.1109/DDECS.2016.7482448.
- 2018
- Krištofík, Š., Malík, P.: Enhancement of Fault Collection for Embedded RAM Redundancy Analysis Considering Intersection and Orphan Faults. Integration, VLSI Journal. vol. 62, 2018, pp. 190-204. DOI: 10.1016/j.vlsi.2018.02.015.
- Krištofík, Š., Baláž, M.: Hardware redundancy architecture based on reconfigurable logic blocks with persistent high reliability improvement. Microelectronics Reliability. vol. 86, 2018, pp. 38-53. DOI: 10.1016/j.microrel.2018.04.010.
- 2020
- Malík, P., Krištofík, Š.: AI Architectures for Very Smart Sensors. In: Mastorakis G., Mavromoustakis C., Batalla J., Pallis E. (eds) Convergence of Artificial Intelligence and the Internet of Things. Springer, Cham. 2020, pp.391-439. DOI: 10.1007/978-3-030-44907-0_16.
- Krištofík, Š., Kasáš, M., Neupauer, Š., Malík, P.: StarCraft agent strategic training on a large human versus human game replay dataset. In Proc. Federated Conference on Computer Science and Information Systems (FedCSIS) 2020, pp. 391-399. DOI: 10.15439/2020F178.
- Malík, P., Knapová, K., Krištofík, Š.: Instance Segmentation Model Created from Three Semantic Segmentations of Mask, Boundary and Centroid Pixels Verified on GlaS Dataset. In Proc. Federated Conference on Computer Science and Information Systems (FedCSIS) 2020, pp. 569-576. DOI: 10.15439/2020F175.
- Flochová, J., Krištofík, Š.: Tool for Diagnosis of Stochastic Automata. In Proc. 6th International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP), 2020, DOI: 10.1109/EBCCSP51266.2020.9291362.
- 2021
- Krištofík, Š., Kasáš, M., Malík, P.: StarCraft strategy classification of a large human versus human game replay dataset. In Proc. Federated Conference on Computer Science and Information Systems (FedCSIS) 2021, pp. 137-140. DOI: 10.15439/2021F48.
- 2022
- Krištofík, Š., Langová, A., Řeřicha, S.: Logic Circuits: From Paper To Web. In Proc. 14th International Conference on Education and New Learning Technologies (EDULEARN) 2022, pp. 4429-4436. DOI: 10.21125/edulearn.2022.1062.
- 2023
- Krištofík, Š., Urban, O.: Simple Register Transfer Simulator for Teaching Computer Architecture. In Proc. 15th International Conference on Education and New Learning Technologies (EDULEARN) 2023, s. 3173-3181. DOI: 10.21125/edulearn.2023.0884.