Publications
Total number of publications: 124
Conference proceedings
-
Tighter Construction of Tight Büchi Automata
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 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 I, year: 2024
-
Towards Anthropomorphic Trust Management for Digital Society
The 21st IEEE International Conference on Software Architecture (ICSA 2024), year: 2024
-
Towards the Intervention of Dyslexia: a Complex Concept of Dyslexia Intervention System using Eye-Tracking
ETRA '24: Proceedings of the 2024 Symposium on Eye Tracking Research and Applications, year: 2024
-
Towards Understanding Trust in Self-adaptive Systems
International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024), year: 2024
-
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
IACR Transactions on Cryptographic Hardware and Embedded Systems, year: 2024
-
VRET ENVIRONMENTS ARCHITECTURE: ADJUSTING IMMERSIVE VIRTUAL ENVIRONMENTS FOR PSYCHOTHERAPEUTIC TRAINING
INTED2024 Proceedings of 18th International Technology, Education and Development Conference, year: 2024
-
When Trustless meets Trust: Blockchain Consensus Review and Reconsideration
The 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES), year: 2024
-
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
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