Katedra počítačových systémů a komunikací
| adresa: | Botanická 554/68a, 602 00 Brno |
|---|
| telefon: | 549 49 1814 |
|---|
Publikace
Počet publikací: 99
Články ve sbornících
-
Hierarchical Modeling of Cyber Assets in Kill Chain Attack Graphs
20th International Conference on Network and Service Management, CNSM 2024, rok: 2024
-
Chain of Trust: Unraveling References Among Common Criteria Certified Products
ICT Systems Security and Privacy Protection. SEC 2024. IFIP Advances in Information and Communication Technology, rok: 2024
-
Identification of Device Dependencies Using Link Prediction
NOMS 2024 - 2024 IEEE/IFIP Network Operations and Management Symposium, rok: 2024
-
Incentivizing Fairness in Autonomous Ecosystems
50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), rok: 2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, rok: 2024
-
Multi-Floor Warehouse Planning
Knowledge Engineering for Planning and Scheduling, rok: 2024
-
One Year of Continuous and Automatic Data Gathering from Parliaments of European Union Member States
Proceedings of the IV Workshop on Creating, Analysing, and Increasing Accessibility of Parliamentary Corpora (ParlaCLARIN) @ LREC-COLING 2024, rok: 2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), rok: 2024
-
Petri Nets for Smart Grids: The Story So Far
The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24), rok: 2024
-
pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024