Mehrdad Sabetzadeh
![]() |
|
||||
Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
Research Unit | SnT | ||||
Postal Address |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
Campus Office | JFK Building, E01-107 | ||||
![]() |
|||||
Telephone | (+352) 46 66 44 5331 | ||||
I am a Research Scientist at the Software Verification and Validation Lab, University of Luxembourg.
I received the PhD degree in Computer Science from the University of Toronto in 2008.
From 2009 to 2012, I was a member of the research staff at Simula Research Laboratory, Norway. In 2009, I was a visiting researcher at University College London.
My research interests are focused on model-based software engineering with a particular emphasis on model-based verification and validation of business- and mission-critical applications.
Please visit my personal home page for more information.
Last updated on: Monday, 14 January 2013

2019

; ; ; ;
in 27th IEEE International Requirements Engineering Conference (RE'19) (2019)

; ; ; ;
in Proceedings of 22nd IEEE / ACM International Conference on Model Driven Engineering Languages and Systems (MODELS) (2019, June 20)

; ;
in Empirical Software Engineering (2019), 24(4), 25092539

; ; ;
in ACM Transactions on Software Engineering and Methodology (2019), 28(1),

; ; ; ; ;
in International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen 18-21 March 2019 (2019)

; ; ; ; ;
in Proceedings of the 27th IEEE International Requirements Engineering Conference (RE'19) (2019)

; ; ; ; ;
in To appear in the proceeding of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 19) (2019)
2018

; ; ; ; ;
in IEEE Software (2018), 35(5), 44-49

; ; ; ; ;
in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

; ; ; ;
in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)

; ; ; ;
in the 26th IEEE International Requirements Engineering Conference, Banff, Alberta, 20-24 August 2018 (2018, August)

; ; ;
in Software & Systems Modeling (2018), 17(3), 851-883
2017

; ; ;
in IEEE Transactions on Software Engineering (2017), 43(10), 918-945

; ; ; ;
in IEEE Software (2017), 34(5), 72-75

; ; ;
in Requirements Engineering (2017), 22(2), 215-237

; ; ; ; ; ;
in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)

; ;
in the IEEE 25th International Requirements Engineering Conference, Lisbon, Portugal, 4-8 September 2017 (2017, September)

; ;
in 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17) (2017)
2016

; ; ;
in 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo 2-7 October 2016 (2016, October)

; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)

; ; ; ;
in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (2016)

; ; ;
in 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'16) (2016, March)

; ;
in 24th IEEE International Conference on Requirements Engineering (RE'16) (2016)
2015

; ; ;
in IEEE Transactions on Software Engineering (2015), 41(10), 944-968

; ; ; ;
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)

; ; ; ;
in 23rd IEEE International Requirements Engineering Conference, Ottawa 24-28 August 2015 (2015, August)

; ; ; ;
Poster (2015, March 11)

; ; ;
in Information & Software Technology (2015), 60

; ; ;
in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (2015)
2014

; ;
in 22nd IEEE International Requirements Engineering Conference (2014, August 25)

; ; ;
in 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2014) (2014, September)

; ; ;
in Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on (2014, August)

; ; ; ;
in ACM Transactions on Software Engineering & Methodology (2014), 23(1),

; ; ;
in Information & Software Technology (2014), 56(7), 689717

; ; ; ;
in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014)
2013

; ; ; ;
in 7th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013) (2013, October)

; ; ; ;
in 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) (2013, August)

; ; ; ; ;
in Chignell, M.; Cordy, J.; Kealey, R.; Yesha, Y. (Eds.) The Personal Web (2013)

; ; ;
in International Conference on Software Testing, Verification, and Validation, Luxembourg 2013 (2013)

; ;
in Information & Software Technology (2013), 55(1), 836-864

; ; ;
in Reliability Engineering & System Safety (2013), 119
2012

; ; ; ;
in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012)

; ; ; ; ;
in IEEE Software (2012), 29(3), 64-70

; ; ;
in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012)

; ; ; ;
in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375