Shiva Nejati
Orcid: 0000-0002-0281-8231Affiliations:
- University of Ottawa, Canada
- University of Luxembourg (former)
According to our database1,
Shiva Nejati
authored at least 96 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Empir. Softw. Eng., April, 2024
ACM Trans. Auton. Adapt. Syst., March, 2024
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol., February, 2024
2023
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol., November, 2023
Softw. Syst. Model., October, 2023
ACM Trans. Softw. Eng. Methodol., April, 2023
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures.
CoRR, 2023
Proceedings of the 16th Innovations in Software Engineering Conference, 2023
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
2022
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
IEEE Trans. Software Eng., 2022
ACM SIGSOFT Softw. Eng. Notes, 2022
Empir. Softw. Eng., 2022
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Empir. Softw. Eng., 2022
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
2021
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems.
J. Syst. Softw., 2021
Inf. Softw. Technol., 2021
Empir. Softw. Eng., 2021
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
2020
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.
CoRR, 2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
2019
IEEE Trans. Software Eng., 2019
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction.
ACM Trans. Softw. Eng. Methodol., 2019
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy.
Empir. Softw. Eng., 2019
CoRR, 2019
Evaluating model testing and model checking for finding requirements violations in Simulink models.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019
2018
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.
IEEE Softw., 2018
Architecture-level configuration of industrial control systems: Foundations for an efficient approach.
Sci. Comput. Program., 2018
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Testing autonomous cars for feature interaction failures using many-objective search.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.
IEEE Softw., 2017
Improving fault localization for Simulink models using search-based testing and prediction models.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
2016
Softw. Test. Verification Reliab., 2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Testing advanced driver assistance systems using multi-objective search and neural networks.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.
ACM Trans. Softw. Eng. Methodol., 2015
Search-based automated testing of continuous controllers: Framework, tool support, and case studies.
Inf. Softw. Technol., 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
2014
Traceability and SysML design slices to support safety inspections: A controlled experiment.
ACM Trans. Softw. Eng. Methodol., 2014
ACM Trans. Softw. Eng. Methodol., 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
MiL testing of highly configurable continuous controllers: scalable search using surrogate models.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Identifying optimal trade-offs between CPU time usage and temporal constraints using search.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing.
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the Personal Web - A Research Agenda, 2013
2012
IEEE Trans. Software Eng., 2012
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies.
Inf. Softw. Technol., 2012
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
2010
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010
2009
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009
2008
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
Proceedings of the Runtime Verification, 8th International Workshop, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the International Workshop on Modeling in Software Engineering, 2008
2007
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007
Proceedings of the International Workshop on Modeling in Software Engineering, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007
Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007
2006
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005