Selected publications

• Damas P. Gruska . State-Based Security and Time-Inserting Supervisors. InBrazilian Symposium on Formal Methods 2025 Nov 27 (pp. 3-18). Cham: Springer Nature Switzerland.
• Damas P. Gruska, Time Insertion Functions. In: Bellatreche L., Chernishev G., Corral A., Ouchani S., Vain J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham. (2021)
• Aliyu Tanko Ali, Damas P. Gruska, Dynamic Attack Trees. Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, CEUR Workshop Proceedings 2987, 25-29, (2021)
• Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo: Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae 179(2): 205-225 (2021)
• Damas P. Gruska. Adversarial analysis and supervisory control of sensor networks. In 2025 28th Euromicro Conference on Digital System Design (DSD) , pp. 507-514. IEEE, 2025.

VUPCH

Timetable

Candle