Shiva 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 – today
- 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 Software 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 Software 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., Verif. 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. Information & Software Technology 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. Information & Software Technology 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. Services Computing 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]
- [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]
- 2005
- [c3]
- [c2]
- [c1]Shiva Nejati, Arie Gurfinkel, Marsha Chechik:
Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
Coauthor Index
last updated on 2019-01-09 01:23 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint