Startseite // SnT // People // Shiva Nejati

Shiva Nejati

Research Scientist

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Postadresse Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Büroadresse JFK Building, E04-425
E-Mail
Telefon (+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: Dienstag, den 25. Juni 2013

powered by
orbilu.uni.lu

2016

Full Text
See detailTesting Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Ben Abdessalem (helali), Raja; Nejati, Shiva; Briand, Lionel; Stifter, Thomas

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

Full Text
See detailTesting the Untestable: Model Testing of Complex Software-Intensive Systems
Briand, Lionel; Nejati, Shiva; Sabetzadeh, Mehrdad; Bianculli, Domenico

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

Full Text
See detailLocalizing Multiple Faults in Simulink Models.
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

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

Full Text
See detailSimulink Fault Localisation: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

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

Full Text
See detailSimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckamnn, Thomas

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

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, thomas

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

Full Text
See detailAutomated Change Impact Analysis between SysML Models of Requirements and Design
Nejati, Shiva; Sabetzadeh, Mehrdad; Arora, Chetan; Briand, Lionel; Mandoux, Felix

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

Top of Page

2015

Full Text
See detailCombining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
DI ALESIO, Stefano; Briand, Lionel; Nejati, Shiva; GOTLIEB, ARNAUD

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

Full Text
See detailSimulink Fault Localization: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailEffective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

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

Full Text
See detailSearch-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

in Information and Software Technology (2015), 57

Top of Page

2014

Full Text
See detailArchitecture-Level Configuration of Large-Scale Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Briand, Lionel

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

Full Text
See detailTraceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

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

Full Text
See detailWorst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

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

Full Text
See detailCoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

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

Full Text
See detailMiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

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

Full Text
See detailIdentifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Nejati, Shiva; Briand, Lionel

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

Top of Page

2013

Full Text
See detailPWWM: A Personal Web Workflow Methodology
Chechik, Marsha; Simmonds, Jocelyn; Liaskos, Sotirios; Nejati, Shiva; Sabetzadeh, Mehrdad; Salay, Ricky

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

Full Text
See detailStress Testing of Task Deadlines: A Constraint Programming Approach
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

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

Full Text
See detailAutomated Model-in-the-Loop Testing of Continuous Controllers using Search
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

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

Full Text
See detailMinimizing CPU Time Shortage Risks in Integrated Embedded Software
Nejati, Shiva; Adedjouma, Morayo; Briand, Lionel; Hellebaut, Jonathan; Begey, Julien; Clement, Yves

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

Top of Page

2012

Full Text
See detailModel-Based Automated and Guided Configuration of Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Yue, Tao; Gotlieb, Arnaud; Briand, Lionel

in European Conference on Modeling Foundations and Applications (2012)

Full Text
See detailResearch-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

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

Full Text
See detailTesting Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Di Alesio, Stefano; Gotlieb, Arnaud; Nejati, Shiva; Briand, Lionel

in CSTVA 2012 (2012)

Full Text
See detailModeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
Nejati, Shiva; Di Alesio, Stefano; Sabetzadeh, Mehrdad; Briand, Lionel

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

Full Text
See detailMatching and Merging of Variant Feature Specifications.
Nejati, Shiva; Sabetzadeh, Mehrdad; Chechik, Marsha; Easterbrook, Steve; Zave, Pamela

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

Top of Page