S. Nejati

Question Answering for Multi-Release Systems: A Case Study at Ciena
20260 citationsauthor #6
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
20260 citationsauthor #3
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems
20251 citationsauthor #3
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
20250 citationsauthor #4
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
20251 citationsauthor #6
Simulink Mutation Testing using CodeBERT
20252 citationsauthor #4
Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
202411 citationsauthor #4
Requirements-Driven Slicing of Simulink Models using LLMs
20246 citationsauthor #2
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
20244 citationsauthor #2
Self-Adaptive, Requirements-Driven Autoscaling of Microservices
202418 citationsauthor #2
A Lean Simulation Framework for Stress Testing IoT Cloud Systems
20245 citationsauthor #3
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures
202310 citationsauthor #3
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks
20236 citationsauthor #2
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems
20230 citationsauthor #4
A Report on Tutorials and Tech-Briefings co-located with ISEC 2023
20230 citationsauthor #2
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
202325 citationsauthor #1
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages
20237 citationsauthor #4
Test Cost Reduction for 5G and Beyond using Machine Learning
20230 citationsauthor #3
Guest editorial for the special section on MODELS 2021
20230 citationsauthor #1
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach
20227 citationsauthor #2
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions
202212 citationsauthor #2
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
20221 citationsauthor #3
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
20226 citationsauthor #12
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
20224 citationsauthor #2
Optimal priority assignment for real-time systems: a coevolution-based approach
20213 citationsauthor #3
Special Section on the 2019 Symposium on Search-Based Software Engineering
20210 citationsauthor #2
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
202153 citationsauthor #3
Next-Generation Software Verification: An AI Perspective
20213 citationsauthor #1
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems
202117 citationsauthor #3
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
20218 citationsauthor #3
Automated repair of feature interaction failures in automated driving systems
202033 citationsauthor #3
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times
20206 citationsauthor #3
Digital Twins Are Not Monozygotic – Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
202035 citationsauthor #3
Mining assumptions for software components using machine learning
202019 citationsauthor #3
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages
202011 citationsauthor #3
Search-Based Software Testing for Formal Software Verification - and Vice Versa
20200 citationsauthor #1
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach
20195 citationsauthor #2
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors
201960 citationsauthor #2
Dynamic Adaptation of Software-Defined Networks for IoT Systems: A Search-Based Approach
201922 citationsauthor #2
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior
201979 citationsauthor #2
Testing Cyber-Physical Systems via Evolutionary Algorithms and Machine Learning
201911 citationsauthor #1
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
201968 citationsauthor #3
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
201984 citationsauthor #2
Evaluating model testing and model checking for finding requirements violations in Simulink models
201949 citationsauthor #1
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction
201939 citationsauthor #3
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
20188 citationsauthor #3
Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search
2018179 citationsauthor #3
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach
201848 citationsauthor #2
Enabling Model Testing of Cyber-Physical Systems
201838 citationsauthor #3
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact
201836 citationsauthor #4
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms
2018268 citationsauthor #2
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy
201836 citationsauthor #2
A SysML-Based Methodology for Model Testing of Cyber-Physical Systems
20185 citationsauthor #3
Improving fault localization for Simulink models using search-based testing and prediction models
201750 citationsauthor #3
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated
2017125 citationsauthor #3
Architecture-level configuration of industrial control systems: Foundations for an efficient approach
20172 citationsauthor #2
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies
201739 citationsauthor #2
Testing the Untestable - Model Testing of Complex Software-Intensive Systems
201651 citationsauthor #2
Automated Test Suite Generation for Time-Continuous Simulink Models
201643 citationsauthor #2
Simulink fault localization: an iterative statistical debugging approach
201621 citationsauthor #3
SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
201623 citationsauthor #2
Build SysML Models System Requirements Traceability Information Model Requirements & Design Models Estimated Impact Set ( EIS ) Systems Engineer Rank Elements Modeling Change Impact Analysis Ranked EIS Change Request Change Statements ! "
20160 citationsauthor #1
Localizing Multiple Faults in Simulink Models
201631 citationsauthor #3
Automated change impact analysis between SysML models of requirements and design
201630 citationsauthor #1
Testing advanced driver assistance systems using multi-objective search and neural networks
2016213 citationsauthor #2
Software Veriﬁcation and Validation Laboratory:
201548 citationsauthor #2
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
201523 citationsauthor #3
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
201516 citationsauthor #2
Search-based automated testing of continuous controllers: Framework, tool support, and case studies
201567 citationsauthor #2
Software Verification and Validation Laboratory : Simulink Fault Localization : an Iterative Statistical Debugging Approach
201524 citationsauthor #3
Effective test suites for mixed discrete-continuous stateflow controllers
201542 citationsauthor #2
Architecture-Level Configuration of Large-Scale Embedded Software Systems
20144 citationsauthor #2
Traceability and SysML design slices to support safety inspections: A controlled experiment
201454 citationsauthor #3
MiL testing of highly configurable continuous controllers: scalable search using surrogate models
201435 citationsauthor #2
CoCoTest: a tool for model-in-the-loop testing of continuous controllers
20144 citationsauthor #2
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing
201411 citationsauthor #2
Identifying optimal trade-offs between CPU time usage and temporal constraints using search
20147 citationsauthor #1
Minimizing CPU time shortage risks in integrated embedded software
20137 citationsauthor #1
PWWM: A Personal Web Workflow Methodology
20131 citationsauthor #4
Stress testing of task deadlines: A constraint programming approach
201322 citationsauthor #2
Automated Model-in-the-Loop Testing of Continuous Controllers Using Search
201334 citationsauthor #2
Matching and Merging of Variant Feature Specifications
201242 citationsauthor #1
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
201286 citationsauthor #1
Model-Based Automated and Guided Configuration of Embedded Software Systems
201213 citationsauthor #2
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
201229 citationsauthor #1
Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction over Finite Domains
20122 citationsauthor #2
Research-based innovation: a tale of three projects in model-driven engineering
201228 citationsauthor #3
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
201211 citationsauthor #3
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling
201137 citationsauthor #3
Modeling and Analysis of Personal Web Applications : A Vision
20112 citationsauthor #4
SafeSlice: a model slicing and design safety inspection tool for SysML
201128 citationsauthor #2
A relationship-based approach to model integration
201144 citationsauthor #2
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
201132 citationsauthor #2
Reasoning about Consistency in Model Merging
201016 citationsauthor #2
Relationship-based change propagation: A case study
200929 citationsauthor #3
Relationship-Based Change Propagation : A Case Study
20090 citationsauthor #2
Behavioural Model Fusion : Experiences from Two Telecommunication Case Studies
20081 citationsauthor #1
Property Patterns for Runtime Monitoring of Web Service Conversations
200830 citationsauthor #3
Towards compositional synthesis of evolving systems
200815 citationsauthor #1
Global consistency checking of distributed models with TReMer+
200843 citationsauthor #2

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT