Department of Computer Science

Conference proceedings

• Hardness of 4-Colouring 𝐺-Colourable Graphs

  FILAKOVSKÝ Marek AVVAKUMOV Sergey OPRŠAL Jakub TASINATO Gianluca WAGNER Uli

  Article in Proceedings

  STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, year: 2025

• Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation

  KŘETÍNSKÝ Jan RIEDER Sabine SCHWALBE Gesina SHOEB Youssef

  Article in Proceedings

  International Conference on Runtime Verification, year: 2025

• Let's DOIT: Using Intel's extended HW/SW contract for secure compilation of crypto code

  ARRANS OLMOS Santiago BARTHE Gilles GRÉGOIRE Benjamin JANČÁR Ján LAPORTE Vincent OLIVEIRA Tiago SCHWABE Peter

  Article in Proceedings

  IACR Transactions on Cryptographic Hardware and Embedded Systems, year: 2025

• Minuska: Towards a Formally Verified Programming Language Framework

  TUŠIL Jan OBDRŽÁLEK Jan

  Article in Proceedings

  22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, year: 2025

• Multiple Mean-Payoff Optimization Under Local Stability Constraints

  KLAŠKA David KUČERA Antonín KŮR Vojtěch MUSIL Vít ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25, year: 2025

• Non-termination Witnesses and Their Validation

  ÁDÁM Zsófia AYAZIOVÁ Paulína BAJCZI Levente BEYER Dirk JANKOLA Marek LINGSCH-ROSENFELD Marian STREJČEK Jan

  Article in Proceedings

  Automated Software Engineering, ASE 2025, year: 2025

• On Complementation of Nondeterministic Finite Automata Without Full Determinization

  HOLÍK Lukáš LENGÁL Ondřej MAJOR Juraj ŠTĚPKOVÁ Adéla STREJČEK Jan

  Article in Proceedings

  Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, year: 2025

• Online Knapsack Problems with Estimates

  BALABÁN Jakub GEHNEN Matthias LOTZE Henri SEESEMANN Finn STOCKER Moritz

  Article in Proceedings

  50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), year: 2025

• SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian ZARKAH Ashkan

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025., year: 2025

• Software Verification Witnesses 2.0

  AYAZIOVÁ Paulína BEYER Dirk LINGSCH-ROSENFELD Marian SPIESSL Martin STREJČEK Jan

  Article in Proceedings

  Model Checking Software - 30th International Symposium, SPIN 2024, year: 2025