Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShiva Nejati
Person information
- affiliation: University of Ottawa, Canada
- affiliation (former): University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati
:
Evaluating the impact of flaky simulators on testing autonomous driving systems. Empir. Softw. Eng. 29(2): 47 (2024)- [j31]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. ACM Trans. Auton. Adapt. Syst. 19(1): 2:1-2:35 (2024) - [j30]Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati:
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages. ACM Trans. Softw. Eng. Methodol. 33(2): 32:1-32:34 (2024) - [j29]Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh:
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. ACM Trans. Softw. Eng. Methodol. 33(4): 93:1-93:32 (2024) - [j28]Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A Lean Simulation Framework for Stress Testing IoT Cloud Systems. IEEE Trans. Software Eng. 50(7): 1827-1851 (2024) - [c62]Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh:
Requirements-Driven Slicing of Simulink Models using LLMs. RE Workshops 2024: 72-82 - [c61]João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa:
Self-adaptive, Requirements-driven Autoscaling of Microservices. SEAMS@ICSE 2024: 168-174 - [i24]João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa:
Self-adaptive, Requirements-driven Autoscaling of Microservices. CoRR abs/2403.08798 (2024) - [i23]Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A Lean Simulation Framework for Stress Testing IoT Cloud Systems. CoRR abs/2404.11542 (2024) - [i22]Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati:
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach. CoRR abs/2404.17020 (2024) - [i21]Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh:
Requirements-driven Slicing of Simulink Models Using LLMs. CoRR abs/2405.01695 (2024) - [i20]Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study. CoRR abs/2405.11141 (2024) - 2023
- [j27]Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi:
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. Inf. Softw. Technol. 163: 107286 (2023) - [j26]Shiva Nejati, Dániel Varró:
Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. 22(5): 1393-1396 (2023) - [j25]Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. ACM Trans. Softw. Eng. Methodol. 32(2): 37:1-37:33 (2023) - [c60]Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi:
Test Cost Reduction for 5G and Beyond using Machine Learning. ICSTW 2023: 373-376 - [c59]Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. ICST 2023: 386-397 - [c58]Diptikalyan Saha, Shiva Nejati:
A Report on Tutorials and Tech-Briefings co-located with ISEC 2023. ISEC 2023: 30:1-30:2 - [i19]Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati:
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems. CoRR abs/2302.10288 (2023) - [i18]Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi:
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. CoRR abs/2305.00083 (2023) - [i17]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. CoRR abs/2306.00316 (2023) - [i16]Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati:
Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems. CoRR abs/2311.18768 (2023) - [i15]Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh:
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. CoRR abs/2312.05631 (2023) - 2022
- [j24]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empir. Softw. Eng. 27(6): 141 (2022) - [j23]Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand:
Optimal priority assignment for real-time systems: a coevolution-based approach. Empir. Softw. Eng. 27(6): 142 (2022) - [j22]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:
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47(4): 18-24 (2022) - [j21]Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Trans. Software Eng. 48(9): 3664-3685 (2022) - [c57]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. MoDELS 2022: 367-378 - [c56]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. SEAMS 2022: 13-24 - [i14]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. CoRR abs/2205.04352 (2022) - [i13]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:
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR abs/2206.12492 (2022) - [i12]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions. CoRR abs/2208.06954 (2022) - [i11]Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. CoRR abs/2212.08726 (2022) - 2021
- [j20]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Claude Briand:
Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empir. Softw. Eng. 26(5): 90 (2021) - [j19]Gregory Gay, Shiva Nejati:
Special Section on the 2019 Symposium on Search-Based Software Engineering. Inf. Softw. Technol. 130: 106440 (2021) - [j18]Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems. J. Syst. Softw. 171: 110813 (2021) - [j17]Shiva Nejati:
Next-Generation Software Verification: An AI Perspective. IEEE Softw. 38(3): 126-130 (2021) - [c55]Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin:
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. ICST 2021: 383-393 - [i10]Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. CoRR abs/2101.01933 (2021) - [i9]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
Can Offline Testing of Deep Neural Networks Replace Their Online Testing? CoRR abs/2101.11118 (2021) - [i8]Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand:
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach. CoRR abs/2102.07694 (2021) - 2020
- [c54]Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer:
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach. SEAMS@ICSE 2020: 137-148 - [c53]Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. ICSE 2020: 372-384 - [c52]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. ICST 2020: 85-95 - [c51]Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter:
Automated repair of feature interaction failures in automated driving systems. ISSTA 2020: 88-100 - [c50]Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe:
Mining assumptions for software components using machine learning. ESEC/SIGSOFT FSE 2020: 159-171 - [c49]Shiva Nejati:
Search-Based Software Testing for Formal Software Verification - and Vice Versa. SSBSE 2020: 3-6 - [i7]Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. CoRR abs/2007.10490 (2020) - [i6]Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin:
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. CoRR abs/2012.06822 (2020)
2010 – 2019
- 2019
- [j16]Bing Liu, Shiva Nejati, Lucia, Lionel C. Briand:
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. Empir. Softw. Eng. 24(1): 444-490 (2019) - [j15]Chetan Arora, Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand:
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. ACM Trans. Softw. Eng. Methodol. 28(1): 4:1-4:34 (2019) - [j14]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Trans. Software Eng. 45(9): 919-944 (2019) - [c48]Shiva Nejati:
Testing cyber-physical systems via evolutionary algorithms and machine learning. SBST@ICSE 2019: 1 - [c47]Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand:
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. ESEC/SIGSOFT FSE 2019: 27-38 - [c46]Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe:
Evaluating model testing and model checking for finding requirements violations in Simulink models. ESEC/SIGSOFT FSE 2019: 1015-1025 - [e2]Shiva Nejati, Gregory Gay:
Search-Based Software Engineering - 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings. Lecture Notes in Computer Science 11664, Springer 2019, ISBN 978-3-030-27454-2 [contents] - [i5]Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand:
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. CoRR abs/1903.03399 (2019) - [i4]Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe:
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. CoRR abs/1905.03490 (2019) - [i3]Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer:
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach. CoRR abs/1905.12763 (2019) - [i2]Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. CoRR abs/1910.02837 (2019) - [i1]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. CoRR abs/1912.00805 (2019) - 2018
- [j13]Razieh Behjati, Shiva Nejati:
Architecture-level configuration of industrial control systems: Foundations for an efficient approach. Sci. Comput. Program. 160: 30-47 (2018) - [j12]Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh:
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35(5): 44-49 (2018) - [c45]Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter:
Testing vision-based control systems using learnable evolutionary algorithms. ICSE 2018: 1016-1026 - [c44]Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. ISSTA 2018: 49-60 - [c43]Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter:
Testing autonomous cars for feature interaction failures using many-objective search. ASE 2018: 143-154 - [c42]Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi:
Enabling Model Testing of Cyber-Physical Systems. MoDELS 2018: 176-186 - [c41]Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. MoDELS 2018: 357-367 - 2017
- [j11]Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh:
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34(5): 72-75 (2017) - [c40]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse:
Runtime monitoring of web service conversations. CASCON 2017: 2-17 - [c39]Reza Matinnejad, Shiva Nejati, Lionel C. Briand:
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. ESEC/SIGSOFT FSE 2017: 938-943 - [c38]Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand:
Improving fault localization for Simulink models using search-based testing and prediction models. SANER 2017: 359-370 - 2016
- [j10]Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
Simulink fault localization: an iterative statistical debugging approach. Softw. Test. Verification Reliab. 26(6): 431-459 (2016) - [c37]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
SimCoTest: a test suite generation tool for simulink/stateflow controllers. ICSE (Companion Volume) 2016: 585-588 - [c36]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
Automated test suite generation for time-continuous simulink models. ICSE 2016: 595-606 - [c35]Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli:
Testing the untestable: model testing of complex software-intensive systems. ICSE (Companion Volume) 2016: 789-792 - [c34]Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter:
Testing advanced driver assistance systems using multi-objective search and neural networks. ASE 2016: 63-74 - [c33]Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel C. Briand, Felix Mandoux:
Automated change impact analysis between SysML models of requirements and design. SIGSOFT FSE 2016: 242-253 - [c32]Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
Localizing Multiple Faults in Simulink Models. SANER 2016: 146-156 - [e1]Shiva Nejati, Rick Salay:
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. CEUR Workshop Proceedings 1735, CEUR-WS.org 2016 [contents] - 2015
- [j9]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull:
Search-based automated testing of continuous controllers: Framework, tool support, and case studies. Inf. Softw. Technol. 57: 705-722 (2015) - [j8]Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb:
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. 25(1): 4:1-4:37 (2015) - [c31]Razieh Behjati, Shiva Nejati:
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. FSEN 2015: 110-126 - [c30]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
Effective test suites for mixed discrete-continuous stateflow controllers. ESEC/SIGSOFT FSE 2015: 84-95 - 2014
- [j7]Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue:
Traceability and SysML design slices to support safety inspections: A controlled experiment. ACM Trans. Softw. Eng. Methodol. 23(1): 9:1-9:43 (2014) - [j6]Razieh Behjati, Shiva Nejati, Lionel C. Briand:
Architecture-Level Configuration of Large-Scale Embedded Software Systems. ACM Trans. Softw. Eng. Methodol. 23(3): 25:1-25:43 (2014) - [c29]Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb:
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. CP 2014: 813-830 - [c28]Shiva Nejati, Lionel C. Briand:
Identifying optimal trade-offs between CPU time usage and temporal constraints using search. ISSTA 2014: 351-361 - [c27]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
MiL testing of highly configurable continuous controllers: scalable search using surrogate models. ASE 2014: 163-174 - [c26]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
CoCoTest: a tool for model-in-the-loop testing of continuous controllers. ASE 2014: 855-858 - 2013
- [c25]Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb:
Stress testing of task deadlines: A constraint programming approach. ISSRE 2013: 158-167 - [c24]Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, Yves Clement:
Minimizing CPU time shortage risks in integrated embedded software. ASE 2013: 529-539 - [c23]Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull:
Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. SSBSE 2013: 141-157 - [p1]Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay:
PWWM: A Personal Web Workflow Methodology. The Personal Web 2013: 11-48 - 2012
- [j5]Shiva Nejati, Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Thierry Coq:
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Inf. Softw. Technol. 54(6): 569-590 (2012) - [j4]Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh:
A relationship-based approach to model integration. Innov. Syst. Softw. Eng. 8(1): 3-18 (2012) - [j3]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012) - [c22]Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand:
Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA 2012: 226-243 - [c21]Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand:
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. ICST 2012: 764-769 - [c20]Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand:
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. MoDELS 2012: 759-775 - [c19]Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue:
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. MoDELS 2012: 793-809 - 2011
- [c18]Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic:
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ECMFA 2011: 236-252 - [c17]Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills:
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. HASE 2011: 193-201 - [c16]Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina:
SafeSlice: a model slicing and design safety inspection tool for SysML. SIGSOFT FSE 2011: 460-463 - 2010
- [c15]Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook:
Reasoning about Consistency in Model Merging. LWI@ASE 2010: 32-38
2000 – 2009
- 2009
- [b1]Shiva Nejati:
Behavioural Model Fusion. University of Toronto, Canada, 2009 - [j2]Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse:
Runtime Monitoring of Web Service Conversations. IEEE Trans. Serv. Comput. 2(3): 223-244 (2009) - [c14]Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay:
Relationship-based change propagation: A case study. MiSE@ICSE 2009: 7-12 - 2008
- [c13]Shiva Nejati, Marsha Chechik:
Behavioural model fusion: an overview of challenges. MiSE 2008: 1-6 - [c12]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
Global consistency checking of distributed models with TReMer+. ICSE 2008: 815-818 - [c11]Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations. RV 2008: 137-157 - [c10]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave:
Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296 - 2007
- [c9]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse:
Runtime monitoring of web service conversations. CASCON 2007: 42-57 - [c8]Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn:
An Eclipse-based tool framework for software model management. ETX 2007: 55-59 - [c7]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A Relationship-Driven Framework for Model Merging. MiSE@ICSE 2007: 2 - [c6]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64 - [c5]Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik:
Consistency Checking of Conceptual Models via Model Merging. RE 2007: 221-230 - 2006
- [j1]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A relationship-driven approach to view merging. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c4]Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik:
Thorough Checking Revisited. FMCAD 2006: 106-116 - 2005
- [c3]Shiva Nejati, Marsha Chechik:
Let's agree to disagree. ASE 2005: 287-290 - [c2]Shiva Nejati:
Formal support for merging and negotiation. ASE 2005: 456-460 - [c1]Shiva Nejati, Arie Gurfinkel, Marsha Chechik:
Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
Coauthor Index
Lionel C. Briand
aka: Lionel Claude Briand
aka: Lionel Claude Briand
[j30] [j25] [i19] [j24] [j23] [j21] [j20] [j18] [i10] [i9] [i8] [c54] [c53] [c52] [c51] [c50] [i7] [j16] [j15] [j14] [c47] [c46] [i5] [i4] [i3] [i2] [i1] [j12] [c45] [c44] [c43] [c42] [c41] [j11] [c39] [c38] [j10] [c37] [c36] [c35] [c34] [c33] [c32] [j9] [j8] [c30] [j7] [j6] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [j5] [c22] [c21] [c20] [c19] [c18] [c17] [c16]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
