Verification of communication protocols based on formal methods integration S Šimoňák Acta Polytechnica Hungarica 9 (4), 117-128, 2012 | 27 | 2012 |
Securing Distributed Computer Systems Using an Advanced Sophisticated Hybrid Honeypot Technology. E Chovancová, N Adám, A Baláž, E PIETROKOVÁ, P Feciľak, S Šimoňák, ... Computing & Informatics 36 (1), 2017 | 26 | 2017 |
Using algorithm visualizations in computer science education S Šimoňák Central European Journal of Computer Science 4, 183-190, 2014 | 23 | 2014 |
Algorithm visualization using the vizalgo platform S Simonák Acta Electrotechnica et Informatica 13 (2), 54, 2013 | 14 | 2013 |
Protocol specification and verification using process algebra and Petri nets S Simonak, Š Hudak, Š Korecko 2009 International Conference on Computational Intelligence, Modelling and …, 2009 | 12 | 2009 |
A terse string-embedded language for tree searching and replacing M Sulír, S Šimoňák Acta Electrotechnica et Informatica 14 (2), 28-35, 2014 | 8 | 2014 |
Visualizing algorithms and data structures using the algomaster platform S Šimoňák, M Benej Journal of Information, Control and Management Systems 12 (2), 189-201, 2014 | 8 | 2014 |
Increasing the engagement level in algorithms and data structures course by driving algorithm visualizations S Šimoňák Informatica 44 (3), 2020 | 7 | 2020 |
Petri net-like treatment of B-machine behaviour Š KOREČKO, Š HUDÁK, S ŠIMOŇÁK | 7 | 2007 |
A support tool for the reachability and other Petri nets-related problems and formal design and analysis of discrete systems S Hudák, S Korecko, S Simonák Інститут програмних систем НАН України, 2008 | 6 | 2008 |
Interactive system for algorithm and data structure visualization P Perhác, S Simonák Computer Science Journal of Moldova 88 (1), 28-48, 2022 | 5 | 2022 |
Rasp abstract machine emulator–extending the emustudio platform M Šipoš, S Šimoňák Acta Electrotechnica et Informatica 17 (3), 33-41, 2017 | 5 | 2017 |
Utilizing gpgpu in computer emulation P Jakubčo, S Šimonak Journal of Information and Organizational Sciences 36 (1), 39-53, 2012 | 5 | 2012 |
APC semantics for Petri nets S Šimonák, Š Hudák, Š Korecko Informatica 32 (3), 2008 | 5 | 2008 |
Formal methods integration based on Petri nets and process algebra transformations S Šimonák PhD Dissertation, DCI FEEI TU Košice, 2003.(In Slovak), 2003 | 5 | 2003 |
ACP2PETRI: a tool for FDT integration support S Šimonák, Š Hudák, Š Korecko Proceedings of 8th International Conference EMES 5, 122-127, 0 | 5 | |
Acp semantics for petri nets S Šimoňák, M Tomášek Computing and Informatics 37 (6), 1464-1484, 2019 | 4 | 2019 |
Comparison of Filter Techniques for Two-Step Feature Selection. P Drotár, S Šimoňák, E Pietriková, M Chovanec, E Chovancová, N Adám, ... Computing & Informatics 36 (3), 2017 | 4 | 2017 |
Enhancing Formal Methods Integration with ACP2Petri S Šimoňák, M Šolc Journal of Information and Organizational Sciences 40 (2), 221-235, 2016 | 4 | 2016 |
PATool–A tool for design and analysis of discrete systems using process algebras with fdt integration support S Šimoňák, I Peťko Acta Electrotechnica et Informatica 10 (1), 59-67, 2010 | 4 | 2010 |