Doctoral Student
As Iqbal, Junaid or Iqbal, Junaid
Siavashi, Faezeh and Iqbal, Junaid and Truscan, Dragos and Vain, Juri, Testing Web Services with Model-Based Mutation. In: Software Technologies. Cabello, Enrique and Cardoso, Jorge and Ludwig, Andre and Maciaszek, Leszek A. and van Sinderen, Marten (Eds.). Springer, 2017 2 |
Truscan, Dragos and Vain, Jüri and Koskinen, Martin and Iqbal, Junaid, A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. In: Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A. and Cardoso, J. and Cordeiro, J. and Libourel, T. and Maciaszek, L.A. and van Sinderen, M. (Eds.). Communications in Computer and Information Science Springer, 2015 2 |
Iqbal, Junaid and Truscan, Dragos and Vain, Juri and Porres, Ivan, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. Papadopoulos, George Angelos and Rysavy, Ondrej and Vranić, Valentino (Eds.). ACM, 2017 |
Vain, Jüri and Truscan, Dragos and Iqbal, Junaid and Tsiopoulos, Leonidas, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In: International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017). Khatri, Sunil Kumar and Kapur, R.K. and Rana, Ajay and Singh, Sanjay and Kapur, P.K. (Eds.). 978-1-5386-0514-1 IEEE, 2017 |
Jafri, Syed M. A. H. and Leon, Guillermo Serrano and Iqbal, Junaid and Daneshtalab, Masoud and Ahmed Hemani, and Paul, Kolin and Plosila, Juha and Tenhunen, Hannu, RuRot: Run-Time Rotatable-Expandable Partitions for Efficient Mapping in CGRAs. In: International Conference on Embedded Computer Systems: Architecture, Modeling and Simulations (SAMOS) . Veidenbaum, Alexander V. (Eds.). IEEE, 2014 1 |
Iqbal, Junaid and Tsiopoulos, Leonidas and Truscan, Dragos and Vain, Jüri and Porres, Ivan, The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. TUCS Technical Reports 1169. Turku Centre for Computer Science, 2016 |
Iqbal, Junaid and Truscan, Dragos and Vain, Jüri and Porres, Ivan, TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces. TUCS Technical Reports 1138. Turku Centre for Computer Science, 2015 |