• 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 https://doi.org/10.1145/3123779.3123813 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030308212&origin=inward&txGid=01c0baaedd6542ed808807eb0980ff85 https://www.webofscience.com/wos/woscc/full-record/WOS:000434851300006
• Testing web services with model-based mutationSiavashi, Faezeh; Iqbal, Junaid; Truscan, Dragos; Vain, JüriSoftware Technologies : 11th International Joint Conference, ICSOFT 2016 : Lisbon, Portugal, July 24–26, 2016 : revised selected papers2017 / p. 45-67 https://doi.org/10.1007/978-3-319-62569-0_3 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85026628553&origin=inward&txGid=4c5168498caaa83d17681568fd3fe004 https://www.webofscience.com/wos/woscc/full-record/WOS:000449937200003
• 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
• Time semantics of executable activity diagrams for relativized conformance testingIqbal, Junaid; Truscan, Dragos; Vain, JüriMODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings2020 / p. 251-256 https://doi.org/10.1145/3417990.3421399
• A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951200780&origin=inward&txGid=efe326552268828f02982130368d94dd https://www.webofscience.com/wos/woscc/full-record/WOS:000369296800020