Publications
Total number of publications: 1305
Conference proceedings
-
Exploring Synchronization Mechanisms via Bifurcation Analysis – A Unified Approach Across Neuronal, Ecological and Physical Realms
2023 International Conference on Applied Mathematics & Computer Science (ICAMCS), year: 2024
-
Exploring Trust Black-Swan Blindness in Social Internet of Vehicles (SIoV)
The 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS 2024), year: 2024
-
Fizzer: New Gray-Box Fuzzer
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, year: 2024
-
Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design
Year: 2024
-
From Paper to Platform: Evolution of a Novel Learning Environment for Tabletop Exercises
Proceedings of the 29th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'24) [to appear], year: 2024
-
Future Vision of Dynamic Certification Schemes for Autonomous Systems
Evaluation of Novel Approaches to Software Engineering, year: 2024
-
Geochemický vývoj důlních vod na ložisku Rožná I
Geochémia 2024, year: 2024
-
Geschichte der Kellergasse von Tracht (Strachotín) in Südmähren (Tschechien)
Jahrbuch für Hausforschung in Österreich. Band 4 (2022). Die vernakuläre Weinarchitektur Österreichs, year: 2024
-
Gravitational cell detection and tracking in fluorescence microscopy data
IEEE International Symposium on Biomedical Imaging 2024, year: 2024
-
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024