Early detection of network attacks using deep learningAhmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 15th International Conference on Software Testing, Verification andValidation Workshops : ICSTW 2022, 4–13 April 2022, Virtual Event : proceedings2022 / p. 30-39 https://doi.org/10.1109/ICSTW55395.2022.00020 https://arxiv.org/pdf/2201.11628.pdf

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill http://www.scopus.com/inward/record.uri?eid=2-s2.0-85030308212&doi=10.1145%2f3123779.3123813&partnerID=40&md5=f8e67104732f8b81c63e00a4dbaf645e

The Crisis Management System - a case study on aspect-oriented modelling with UPPAALIqbal, Junaid; Truscan, Dragos; Porres, Ivan; Tsiopoulos, Leonidas; Vain, Jüri2016 http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a

A two-phase metamorphic approach for testing industrial control systemsSudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings2022 / 4 p https://doi.org/10.1109/ETFA52439.2022.9921439