The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shiva Nejati" ( http://dblp.L3S.de/Authors/Shiva_Nejati )

URL (Homepage):  http://wwwfr.uni.lu/snt/people/shiva_nejati  Author page on DBLP  Author page in RDF  Community of Shiva Nejati in ASPL-2

Publication years (Num. hits)
2005-2009 (16) 2010-2013 (15) 2014-2016 (18) 2017-2019 (22)
Publication types (Num. hits)
article(20) incollection(1) inproceedings(48) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 16 keywords

Results
Found 72 publication records. Showing 71 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bing 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. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora 0002, Frank Zimmer Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Shiva 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. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Chetan Arora 0002, Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shiva 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. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Gregory Gay (eds.) Search-Based Software Engineering - 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings Search on Bibsonomy SSBSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shiva Nejati Testing cyber-physical systems via evolutionary algorithms and machine learning. Search on Bibsonomy SBST@ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor R. Basili, Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. Search on Bibsonomy IEEE Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati Architecture-level configuration of industrial control systems: Foundations for an efficient approach. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Seung 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. Search on Bibsonomy ISSTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Seung 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. Search on Bibsonomy MoDELS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi Enabling Model Testing of Cyber-Physical Systems. Search on Bibsonomy MoDELS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter Testing autonomous cars for feature interaction failures using many-objective search. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter Testing vision-based control systems using learnable evolutionary algorithms. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lionel C. Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. Search on Bibsonomy IEEE Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand Improving fault localization for Simulink models using search-based testing and prediction models. Search on Bibsonomy SANER The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse Runtime monitoring of web service conversations. Search on Bibsonomy CASCON The full citation details ... 2017 DBLP  BibTeX  RDF
1Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann Simulink fault localization: an iterative statistical debugging approach. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann Localizing Multiple Faults in Simulink Models. Search on Bibsonomy SANER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora 0002, Lionel C. Briand, Felix Mandoux Automated change impact analysis between SysML models of requirements and design. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Rick Salay (eds.) 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. Search on Bibsonomy DS@MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter Testing advanced driver assistance systems using multi-objective search and neural networks. Search on Bibsonomy ASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lionel C. Briand, Shiva Nejati, Mehrdad Sabetzadeh, Domenico Bianculli Testing the untestable: model testing of complex software-intensive systems. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann Automated test suite generation for time-continuous simulink models. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann SimCoTest: a test suite generation tool for simulink/stateflow controllers. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull Search-based automated testing of continuous controllers: Framework, tool support, and case studies. Search on Bibsonomy Information & Software Technology The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann Effective test suites for mixed discrete-continuous stateflow controllers. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. Search on Bibsonomy FSEN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati, Lionel C. Briand Architecture-Level Configuration of Large-Scale Embedded Software Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue 0002 Traceability and SysML design slices to support safety inspections: A controlled experiment. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Lionel C. Briand Identifying optimal trade-offs between CPU time usage and temporal constraints using search. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann CoCoTest: a tool for model-in-the-loop testing of continuous controllers. Search on Bibsonomy ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann MiL testing of highly configurable continuous controllers: scalable search using surrogate models. Search on Bibsonomy ASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb Stress testing of task deadlines: A constraint programming approach. Search on Bibsonomy ISSRE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann, Claude Poull Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. Search on Bibsonomy SSBSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, Yves Clement Minimizing CPU time shortage risks in integrated embedded software. Search on Bibsonomy ASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay PWWM: A Personal Web Workflow Methodology. Search on Bibsonomy The Personal Web The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave Matching and Merging of Variant Feature Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh A relationship-based approach to model integration. Search on Bibsonomy ISSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shiva 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. Search on Bibsonomy Information & Software Technology The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. Search on Bibsonomy ICST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue 0002 Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. Search on Bibsonomy MoDELS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. Search on Bibsonomy MoDELS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati, Tao Yue 0002, Arnaud Gotlieb, Lionel C. Briand Model-Based Automated and Guided Configuration of Embedded Software Systems. Search on Bibsonomy ECMFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina SafeSlice: a model slicing and design safety inspection tool for SysML. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Tao Yue 0002, Shiva Nejati, Lionel C. Briand, Bran Selic Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. Search on Bibsonomy ECMFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook Reasoning about Consistency in Model Merging. Search on Bibsonomy LWI@ASE The full citation details ... 2010 DBLP  BibTeX  RDF
1Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse Runtime Monitoring of Web Service Conversations. Search on Bibsonomy IEEE Trans. Services Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay Relationship-based change propagation: A case study. Search on Bibsonomy MiSE@ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell Property Patterns for Runtime Monitoring of Web Service Conversations. Search on Bibsonomy RV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave Towards compositional synthesis of evolving systems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF behavioural design patterns, feature-based development, synthesis, pipelines, I/O automata
1Shiva Nejati, Marsha Chechik Behavioural model fusion: an overview of challenges. Search on Bibsonomy MiSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik Global consistency checking of distributed models with TReMer+. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF consistency checking, distributed development, model merging
1Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik Consistency Checking of Conceptual Models via Model Merging. Search on Bibsonomy RE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rick 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. Search on Bibsonomy ETX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-view modeling, metamodeling, modeling tools, model management, model integration
1Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave Matching and Merging of Statecharts Specifications. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik A Relationship-Driven Framework for Model Merging. Search on Bibsonomy MiSE@ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse Runtime monitoring of web service conversations. Search on Bibsonomy CASCON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik A relationship-driven approach to view merging. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF view merging, view-based modelling, modelling, distributed development
1Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik Thorough Checking Revisited. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Marsha Chechik Let's agree to disagree. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 3-valued logic, model checking, refinement, negotiation, detection, inconsistency, model merging
1Shiva Nejati Formal support for merging and negotiation. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 3-valued logic, inconsistency detection, model checking, refinement, negotiation, model merging
1Shiva Nejati, Arie Gurfinkel, Marsha Chechik Stuttering Abstraction for Model Checkin. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #71 of 71 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license