Shiva Nejati

S. Di Alesio, S. Nejati, L. Briand and A. Gotlieb

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

ACM Transactions on Software Engineering and Methodology (TOSEM)

R. Behjati and S. Nejati

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems

6th International Conference on Fundamentals of Software Engineering (FSEN). Tehran, Iran, April 22-24

R. Behjati, S. Nejati and L. C. Briand

Architecture-Level Configuration of Large-Scale Embedded Software Systems

ACM Transactions on Software Engineering and Methodology

L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh and T. Yue

Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment

ACM Transactions on Software Engineering and Methodology

S. Di Alesio, S. Nejati, L. C. Briand and A. Gotlieb

Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing

The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014)

R. Behjati and S. Nejati

Backtrack-Free Consistent Configuration of Highly-Configurable Systems

R. Behjati and S. Nejati

Interactive Configuration Verification Using Constraint Programming

Lyon, France

S. Di Alesio, S. Nejati, L. Briand and A. Gotlieb

Stress Testing of Task Deadlines: A Constraint Programming Approach

The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)

S. Nejati, M. Sabetzadeh, D. Falessi, L. C. Briand and C. Thierry

A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies

Information and Software Technology

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook and P. Zave

Matching and Merging of Variant Feature Specifications

IEEE Transactions on Software Engineering

R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. C. Briand

Model-Based Automated and Guided Configuration of Embedded Software Systems

ECMFA 2012

S. Nejati, S. Di Alesio, M. Sabetzadeh and L. C. Briand

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing

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

D. Falessi, S. Nejati, M. Sabetzadeh and T. Yue

Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering

Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012

S. Di Alesio, A. Gotlieb, S. Nejati and L. C. Briand

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques

The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)

R. Behjati, S. Nejati and L. Briand

Architecture-Level Configuration of Large-Scale Embedded Software Systems

R. Behjati, S. Nejati, A. Gotlieb, T. Yue and L. Briand

Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction Over Finite Domains

R. Behjati, T. Yue, S. Nejati, L. C. Briand and B. Selic

Extending SysML With AADL Concepts for Comprehensive System Architecture Modeling

7th European Conference on Modelling Foundations and Applications

D. Falessi, S. Nejati, M. Sabetzadeh, L. Briand and A. Messina

SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML.

SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13)

M. Sabetzadeh, S. Nejati, L. C. Briand and A. E. Mills

Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience

13th IEEE International High Assurance Systems Engineering Symposium (HASE'11)

S. Nejati, M. Sabetzadeh, D. Falessi, L. C. Briand and T. Coq

A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies

R. Behjati, T. Yue, S. Nejati, L. C. Briand and B. Selic

An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments

S. Nejati

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing

L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh and T. Yue

Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering

M. Sabetzadeh, S. Nejati, M. Chechik and S. Easterbrook

Reasoning About Consistency in Model Merging

3rd Workshop on Living With Inconsistency in Software Development

J. Simmonds, Y. Gan, M. Chechik, S. Nejati, B. O'Farrell, E. Litani and J. Waterhouse

Runtime Monitoring of Web Service Conversations

IEEE Transactions on Service Computing

G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu and M. Sabetzadeh

A Manifesto for Model Merging

1st International Workshop on Global Integrated Model Management (GaMMa'06) at the 28th International Conference on Software Engineering