Ing. Štefan Krištofík, PhD. - domovská stránka

Výskum

Osobné

Predošlé oblasti výskumu

pre logiku - rekonfigurovateľné logické bloky (reconfigurable logic blocks - RLB)
pre vnorené pamäte RAM - algoritmy opravy (redundancy analysis - RA)

generovanie poruchových máp pamätí RAM pre algoritmy RA
automaticky navádzané vozidlá (automated guided vehicles - AGV) vo výrobných procesoch

Súčasné oblasti výskumu

Publikácie

(zoradené podľa rokov, potom podľa významnosti)

Krištofík, Š., Flochová, J.: Modelovanie porúch pomocou stochastických automatov. Bratislava: FIIT STU, 2010. Diplomová práca. 96 s.

Krištofík, Š.: Algoritmy BIRA pre pamäte vnorené do SoC. In Počítačové architektúry a diagnostika (PAD): Pracovný seminár pre študentov doktorandského štúdia, 2011, s. 20-25. 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, s. 285-290. ISBN 978-80-227-3488-2.

Krištofík, Š., Gramatová, E.: Repair Analysis for Embedded Memories Using Block-Based Redundancy Architecture. In World Cong. on Engineering (WCE), Vol. 2, 2012, s. 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 Počítačové architektury a diagnostika (PAD): Pracovný seminár pre študentov doktorandského štúdia, 2012, s. 103-108. 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, s. 361-368. ISBN 978-80-227-3690-9.

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, s. 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, s. 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, s. 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, s. 351-358. ISBN 978-80-227-4111-8.

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, s. 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 Počítačové architektury a diagnostika (PAD): Pracovný seminár pre študentov doktorandského štúdia, 2014, s. 165-170. 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, s. 417--422. ISBN 978-80-227-4153-8.

Krištofík, Š., Baláž, M.: Generic Self Repair Architecture with Multiple Fault Handling Capability. In Proc. Euromicro Conference on Digital System Design (DSD), 2015, s. 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, s. 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, s. 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, s. 11-12.
Krištofík, Š., Gramatová, E.: Príspevok k architektúram a algoritmom samočinnej opravy pamätí RAM. Bratislava: FIIT STU, 2015. Dizertačná práca. 121 s.

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, s. 1-6. DOI: 10.1109/DDECS.2016.7482448.

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, s. 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, s. 38-53. DOI: 10.1016/j.microrel.2018.04.010.

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, s. 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, s. 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, s. 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.

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, s. 137-140. DOI: 10.15439/2021F48.

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, s. 4429-4436. DOI: 10.21125/edulearn.2022.1062.

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.