Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarShiva Nejati
Person information
- affiliation: University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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. Empirical Software Engineering 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. ISSE 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
- [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 Software Engineering 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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-06-17 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
