Shiva Nejati
![]() |
|
||||
Faculté ou Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
Adresse postale |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
Bureau sur le campus | JFK Building, E04-425 | ||||
![]() |
|||||
Téléphone | (+352) 46 66 44 5329 | ||||
I am a research scientist at the Software Verification and Validation Lab, at the University of Luxembourg.
I received my M.Sc. and Ph.D. from the University of Toronto, Canada in 2003 and 2008, respectively. From 2009 to 2012, I was a research staff member at the Simula Research Lab, Norway.
My main research area is software engineering, with specific interests in model-based development, behaviour analysis, requirements engineering, specification and design methods, and web-services.
More details about my research and background can be found on my personal home page.
Last updated on: mardi 25 juin 2013

2018

; ; ;
in Proceedings of the 40th International Conference on Software Engineering (ICSE 2018) (2018)

; ; ;
in Empirical Software Engineering (2018)

; ; ;
in IEEE Transactions on Software Engineering (2018)
2017

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

; ; ;
in 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017)

; ;
in Proceedings of 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2017) (2017)
2016

; ; ;
in International Conference on Automated Software Engineering (ASE 2016) (2016)

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

; ; ; ;
in Software Testing, Verification & Reliability (2016), 26(6), 431-459

; ; ; ;
in 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016)

; ; ;
in Proceedings of the 38th International Conference on Software Engineering (2016)

; ; ;
in Proceedings of the 38th International Conference on Software Engineering (2016)

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

; ; ;
in ACM Transactions on Software Engineering & Methodology (2015), 25(1),

; ; ;
in Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2015)

; ; ; ;
in Information and Software Technology (2015), 57
2014

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

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

; ; ;
in International Conference on Principles and Practice of Constraint Programming (2014, September)

; ; ;
in International Conference on Automated Software Engineering (ASE 2014) (2014, September)

; ; ;
in International Conference on Automated Software Engineering (ASE 2014) (2014, September)

;
in International Symposium on Software Testing and Analysis (ISSTA 2014) (2014, July)
2013

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

; ; ;
in The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013 (2013)

; ; ; ;
in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013, August)

; ; ; ; ;
in 28th IEEE/ACM International Conference on Automated Software Engineering (2013)
2012

; ; ; ;
in European Conference on Modeling Foundations and Applications (2012)

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

; ; ;
in CSTVA 2012 (2012)

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

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