Home // SnT // People // Shiva Nejati

Shiva Nejati

Research scientist

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Postal Address Weicker Building, Université du Luxembourg
4, rue Alphonse Weicker
L-2721 Luxembourg
Campus Office D101
Email
Telephone (+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: Tuesday, 25 June 2013

powered by
orbilu.uni.lu

In press

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 (in press)

Top of Page

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 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)

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