Junaid Iqbal MSc, MCS

Doctoral Student

Research Expertise

Publications

As Iqbal, Junaid or Iqbal, Junaid

Chapters in edited books 2

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

Articles in proceedings 3

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

Technical reports 2

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