Publications

• Bridging the Gap Between System Architecture and Software Design using Model Transformation, ISSRE, 2023. Faezeh Siavashi, Horacio H. Rodriguez, Vera Pantelic, Mark Lawford, Richard Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde.

• An Automotive Architecture Product Line for E/E Powertrain Architectures, MODELS, 2023. Horacio H. Rodriguez, Naveen G. Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige.

• Model-based Verification and Testing of Web services: Functionality, Robustness and Vulnerability Analysis, Åbo Akademi-Åbo Akademi University, 2020. Faezeh Siavashi

• Vulnerability Assessment of Web Services with Model-Based Mutation Testing, QRS, 2018. Faezeh Siavashi, Dragos Truscan, Jüri Vain.

• Testing Web Services with Model-Based Mutation, ICST Springer, 2017. Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jüri Vain.

• On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services, ICSOFT-EA, 2016. Faezeh Siavashi, Dragos Truscan, Jüri Vain.

• A systematic literature review on environment modeling techniques in model-based testing, TUCS, 2015. Faezeh Siavashi, Dragos Truscan.

• Environment modeling in model-based testing: concepts, prospects and research challenges: a systematic literature review, EASE, 2015. Faezeh Siavashi, Dragos Truscan.

• A practical application of uppaal and dtron for runtime verification, SERIP, 20115 Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila.

• Scenario-based design and validation of REST web service compositions, LNBIP LNCS, 2015. Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres.

• An integrated approach for designing and validating rest web service compositions, WEBIST, 2014. Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres.

• Modeling critical systems with timing constraints in Event-B, NWPT, 2013. Faezeh Siavashi, Marina Walden, Leonidas Tsiopoulos, Juri Vain.