Shiva Nejati

141 papers A* 13A 21B 8C 3Journal 67Unranked 26
YearRankTypeTitle / Venue / Authors
2026 J jnl
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis.
CoRR
Negin Ayoughi, David Dewar, Shiva Nejati, Mehrdad Sabetzadeh
2026 J jnl
Question Answering for Multi-Release Systems: A Case Study at Ciena.
CoRR
Parham Khamsepour, Mark Cole, Ish Ashraf, Sandeep Puri, Mehrdad Sabetzadeh, Shiva Nejati
2025 J jnl
AI for the Routine, Humans for the Complex: Accuracy-Driven Data Labelling with Mixed Integer Linear Programming.
CoRR
Mohammad Hossein Amini, Mehrdad Sabetzadeh, Shiva Nejati
2025 J jnl
Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation.
CoRR
Baharin Aliashrafi Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh, Shiva Nejati
2025 J jnl
Can search-based testing with pareto optimization effectively cover failure-revealing test inputs?
Empir. Softw. Eng.
Lev Sorokin, Damir Safin, Shiva Nejati
2025 C conf
Simulink Mutation Testing using CodeBERT.
AST
Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh, Shiva Nejati
2025 J jnl
Simulink Mutation Testing using CodeBERT.
CoRR
Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh, Shiva Nejati
2025 C conf
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems.
FORTE
Hugo Araújo, Mohammad Reza Mousavi, Shiva Nejati
2025 — conf
Test Input Validation for Vision-Based DL Systems: An Active Learning Approach.
SEIP@ICSE
Delaram Ghobari, Mohammad Hossein Amini, Dai Quoc Tran, Seunghee Park, Shiva Nejati, Mehrdad Sabetzadeh
2025 J jnl
Test Input Validation for Vision-based DL Systems: An Active Learning Approach.
CoRR
Delaram Ghobari, Mohammad Hossein Amini, Dai Quoc Tran, Seunghee Park, Shiva Nejati, Mehrdad Sabetzadeh
2025 J jnl
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams.
CoRR
Parham Khamsepour, Mark Cole, Ish Ashraf, Sandeep Puri, Mehrdad Sabetzadeh, Shiva Nejati
2024 J jnl
A Lean Simulation Framework for Stress Testing IoT Cloud Systems.
CoRR
Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
2024 J jnl
A Lean Simulation Framework for Stress Testing IoT Cloud Systems.
IEEE Trans. Software Eng.
Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
2024 A* conf
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems.
ASE
Mohammad Hossein Amini, Shiva Nejati
2024 J jnl
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems.
CoRR
Mohammad Hossein Amini, Shiva Nejati
2024 J jnl
Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
CoRR
Lev Sorokin, Damir Safin, Shiva Nejati
2024 A conf
Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson.
ICSME
Daksh Chaudhary, Sri Lakshmi Vadlamani, Dimple Thomas, Shiva Nejati, Mehrdad Sabetzadeh
2024 J jnl
Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson.
CoRR
Daksh Chaudhary, Sri Lakshmi Vadlamani, Dimple Thomas, Shiva Nejati, Mehrdad Sabetzadeh
2024 A conf
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study.
MODELS
Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
2024 J jnl
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study.
CoRR
Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
2024 J jnl
Evaluating the impact of flaky simulators on testing autonomous driving systems.
Empir. Softw. Eng.
Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati
2024 — conf
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach.
ICSTW
Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati
2024 J jnl
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach.
CoRR
Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati
2024 A conf
Message from the Program Co-Chairs; ICST 2024.
ICST
Gregory Gay, Shiva Nejati
2024 J jnl
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol.
Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati
2024 — conf
Requirements-Driven Slicing of Simulink Models using LLMs.
RE Workshops
Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh
2024 J jnl
Requirements-driven Slicing of Simulink Models Using LLMs.
CoRR
Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh
2024 — conf
Self-adaptive, Requirements-driven Autoscaling of Microservices.
SEAMS@ICSE
João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa
2024 J jnl
Self-adaptive, Requirements-driven Autoscaling of Microservices.
CoRR
João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa
2024 J jnl
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures.
ACM Trans. Softw. Eng. Methodol.
Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh
2024 J jnl
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks.
ACM Trans. Auton. Adapt. Syst.
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
2023 — conf
A Report on Tutorials and Tech-Briefings co-located with ISEC 2023.
ISEC
Diptikalyan Saha, Shiva Nejati
2023 J jnl
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol.
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2023 J jnl
Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems.
CoRR
Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati
2023 J jnl
Guest editorial for the special section on MODELS 2021.
Softw. Syst. Model.
Shiva Nejati, Dániel Varró
2023 A conf
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study.
ICST
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
2023 J jnl
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems.
CoRR
Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati
2023 J jnl
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
CoRR
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
2023 J jnl
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol.
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
2023 — conf
Test Cost Reduction for 5G and Beyond using Machine Learning.
ICSTW
Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi
2023 J jnl
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures.
CoRR
Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh
2023 J jnl
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks.
CoRR
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
2022 J jnl
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions.
CoRR
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
2022 A conf
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions.
MoDELS
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen
2022 J jnl
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
IEEE Trans. Software Eng.
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2022 J jnl
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Empir. Softw. Eng.
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
2022 J jnl
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.
CoRR
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
2022 J jnl
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.
ACM SIGSOFT Softw. Eng. Notes
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
2022 J jnl
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study.
CoRR
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra
2022 A conf
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach.
SEAMS
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
2022 J jnl
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach.
CoRR
Jia Li, Shiva Nejati, Mehrdad Sabetzadeh
2022 J jnl
Optimal priority assignment for real-time systems: a coevolution-based approach.
Empir. Softw. Eng.
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand
2021 J jnl
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
CoRR
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
2021 J jnl
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Empir. Softw. Eng.
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Claude Briand
2021 J jnl
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
CoRR
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2021 A conf
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators.
ICST
Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin
2021 J jnl
Next-Generation Software Verification: An AI Perspective.
IEEE Softw.
Shiva Nejati
2021 J jnl
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach.
CoRR
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand
2021 J jnl
Special Section on the 2019 Symposium on Search-Based Software Engineering.
Inf. Softw. Technol.
Gregory Gay, Shiva Nejati
2021 J jnl
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems.
J. Syst. Softw.
Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
2020 A* conf
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification.
ICSE
Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2020 A conf
Automated repair of feature interaction failures in automated driving systems.
ISSTA
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
2020 A conf
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study.
ICST
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
2020 J jnl
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators.
CoRR
Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin
2020 — conf
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach.
SEAMS@ICSE
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer
2020 — conf
Mining assumptions for software components using machine learning.
ESEC/SIGSOFT FSE
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
2020 J jnl
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.
CoRR
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2020 B conf
Search-Based Software Testing for Formal Software Verification - and Vice Versa.
SSBSE
Shiva Nejati
2019 J jnl
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction.
ACM Trans. Softw. Eng. Methodol.
Chetan Arora, Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand
2019 J jnl
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification.
CoRR
Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2019 J jnl
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study.
CoRR
Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
2019 J jnl
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach.
CoRR
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer
2019 J jnl
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy.
Empir. Softw. Eng.
Bing Liu, Shiva Nejati, Lucia, Lionel C. Briand
2019 J jnl
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models.
CoRR
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
2019 — conf
Evaluating model testing and model checking for finding requirements violations in Simulink models.
ESEC/SIGSOFT FSE
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
2019 J jnl
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors.
CoRR
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
2019 — conf
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors.
ESEC/SIGSOFT FSE
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
2019 B ed.
Search-Based Software Engineering - 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings
SSBSE
Shiva Nejati, Gregory Gay
2019 J jnl
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior.
IEEE Trans. Software Eng.
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2019 — conf
Testing cyber-physical systems via evolutionary algorithms and machine learning.
SBST@ICSE
Shiva Nejati
2018 J jnl
Architecture-level configuration of industrial control systems: Foundations for an efficient approach.
Sci. Comput. Program.
Razieh Behjati, Shiva Nejati
2018 A conf
Enabling Model Testing of Cyber-Physical Systems.
MoDELS
Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi
2018 A conf
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.
MoDELS
Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
2018 J jnl
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.
IEEE Softw.
Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
2018 A conf
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.
ISSTA
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
2018 A* conf
Testing autonomous cars for feature interaction failures using many-objective search.
ASE
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
2018 A* conf
Testing vision-based control systems using learnable evolutionary algorithms.
ICSE
Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
2017 — conf
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies.
ESEC/SIGSOFT FSE
Reza Matinnejad, Shiva Nejati, Lionel C. Briand
2017 A conf
Improving fault localization for Simulink models using search-based testing and prediction models.
SANER
Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand
2017 — conf
Runtime monitoring of web service conversations.
CASCON
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse
2017 J jnl
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.
IEEE Softw.
Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
2016 — conf
Automated change impact analysis between SysML models of requirements and design.
SIGSOFT FSE
Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel C. Briand, Felix Mandoux
2016 A* conf
Automated test suite generation for time-continuous simulink models.
ICSE
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2016 A conf
Localizing Multiple Faults in Simulink Models.
SANER
Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2016 — ed.
Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), Saint Malo, France, October 2, 2016.
MoDELS (Doctoral Symposium)
Shiva Nejati, Rick Salay
2016 — conf
SimCoTest: a test suite generation tool for simulink/stateflow controllers.
ICSE (Companion Volume)
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2016 J jnl
Simulink fault localization: an iterative statistical debugging approach.
Softw. Test. Verification Reliab.
Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2016 A* conf
Testing advanced driver assistance systems using multi-objective search and neural networks.
ASE
Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
2016 — conf
Testing the untestable: model testing of complex software-intensive systems.
ICSE (Companion Volume)
Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli
2015 J jnl
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.
ACM Trans. Softw. Eng. Methodol.
Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
2015 — conf
Effective test suites for mixed discrete-continuous stateflow controllers.
ESEC/SIGSOFT FSE
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2015 — conf
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems.
FSEN
Razieh Behjati, Shiva Nejati
2015 J jnl
Search-based automated testing of continuous controllers: Framework, tool support, and case studies.
Inf. Softw. Technol.
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull
2014 J jnl
Architecture-Level Configuration of Large-Scale Embedded Software Systems.
ACM Trans. Softw. Eng. Methodol.
Razieh Behjati, Shiva Nejati, Lionel C. Briand
2014 A* conf
CoCoTest: a tool for model-in-the-loop testing of continuous controllers.
ASE
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2014 A conf
Identifying optimal trade-offs between CPU time usage and temporal constraints using search.
ISSTA
Shiva Nejati, Lionel C. Briand
2014 A* conf
MiL testing of highly configurable continuous controllers: scalable search using surrogate models.
ASE
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann
2014 J jnl
Traceability and SysML design slices to support safety inspections: A controlled experiment.
ACM Trans. Softw. Eng. Methodol.
Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
2014 A conf
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing.
CP
Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
2013 B conf
Automated Model-in-the-Loop Testing of Continuous Controllers Using Search.
SSBSE
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull
2013 A* conf
Minimizing CPU time shortage risks in integrated embedded software.
ASE
Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, Yves Clement
2013 — ch.
PWWM: A Personal Web Workflow Methodology.
The Personal Web
Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay
2013 A conf
Stress testing of task deadlines: A constraint programming approach.
ISSRE
Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb
2012 J jnl
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies.
Inf. Softw. Technol.
Shiva Nejati, Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Thierry Coq
2012 J jnl
A relationship-based approach to model integration.
Innov. Syst. Softw. Eng.
Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh
2012 J jnl
Matching and Merging of Variant Feature Specifications.
IEEE Trans. Software Eng.
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
2012 B conf
Model-Based Automated and Guided Configuration of Embedded Software Systems.
ECMFA
Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand
2012 A conf
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing.
MoDELS
Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand
2012 A conf
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering.
MoDELS
Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
2012 A conf
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques.
ICST
Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand
2011 B conf
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling.
ECMFA
Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic
2011 — conf
SafeSlice: a model slicing and design safety inspection tool for SysML.
SIGSOFT FSE
Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina
2011 — conf
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.
HASE
Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills
2010 — conf
Reasoning about Consistency in Model Merging.
LWI@ASE
Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook
2009 — —
Behavioural Model Fusion.
Shiva Nejati
2009 — conf
Relationship-based change propagation: A case study.
MiSE@ICSE
Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay
2009 J jnl
Runtime Monitoring of Web Service Conversations.
IEEE Trans. Serv. Comput.
Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse
2008 C conf
Behavioural model fusion: an overview of challenges.
MiSE
Shiva Nejati, Marsha Chechik
2008 A* conf
Global consistency checking of distributed models with TReMer+.
ICSE
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
2008 B conf
Property Patterns for Runtime Monitoring of Web Service Conversations.
RV
Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell
2008 — conf
Towards compositional synthesis of evolving systems.
SIGSOFT FSE
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave
2007 — conf
A Relationship-Driven Framework for Model Merging.
MiSE@ICSE
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
2007 — conf
An Eclipse-based tool framework for software model management.
ETX
Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn
2007 A conf
Consistency Checking of Conceptual Models via Model Merging.
RE
Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik
2007 A* conf
Matching and Merging of Statecharts Specifications.
ICSE
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
2007 — conf
Runtime monitoring of web service conversations.
CASCON
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse
2006 J jnl
A relationship-driven approach to view merging.
ACM SIGSOFT Softw. Eng. Notes
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
2006 B conf
Thorough Checking Revisited.
FMCAD
Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
2005 A* conf
Formal support for merging and negotiation.
ASE
Shiva Nejati
2005 A* conf
Let's agree to disagree.
ASE
Shiva Nejati, Marsha Chechik
2005 B conf
Stuttering Abstraction for Model Checkin.
SEFM
Shiva Nejati, Arie Gurfinkel, Marsha Chechik