Shiva Nejati
Shiva Nejati
SnT/University of Luxembourg
Email verificata su svv.lu
TitoloCitata daAnno
Matching and merging of statecharts specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
Proceedings of the 29th international conference on Software Engineering, 54-64, 2007
3342007
A manifesto for model merging
G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh
Proceedings of the 2006 international workshop on Global integrated model …, 2006
1602006
Consistency checking of conceptual models via model merging
M Sabetzadeh, S Nejati, S Liaskos, S Easterbrook, M Chechik
15th IEEE International Requirements Engineering Conference (RE 2007), 221-230, 2007
1072007
Runtime monitoring of web service conversations
J Simmonds, Y Gan, M Chechik, S Nejati, B O'Farrell, E Litani, ...
IEEE Transactions on Services Computing 2 (3), 223-244, 2009
952009
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
S Nejati, M Sabetzadeh, D Falessi, L Briand, T Coq
Information and Software Technology 54 (6), 569-590, 2012
672012
Runtime monitoring of web service conversations
Y Gan, M Chechik, S Nejati, J Bennett, B O'Farrell, J Waterhouse
Proceedings of the 27th Annual International Conference on Computer Science …, 2017
512017
Automated test suite generation for time-continuous simulink models
R Matinnejad, S Nejati, LC Briand, T Bruckmann
proceedings of the 38th International Conference on Software Engineering …, 2016
502016
Search-based automated testing of continuous controllers: Framework, tool support, and case studies
R Matinnejad, S Nejati, L Briand, T Bruckmann, C Poull
Information and Software Technology 57, 705-722, 2015
492015
Traceability and SysML design slices to support safety inspections: A controlled experiment
L Briand, D Falessi, S Nejati, M Sabetzadeh, T Yue
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 9, 2014
472014
An Eclipse-based tool framework for software model management
R Salay, M Chechik, S Easterbrook, Z Diskin, P McCormick, S Nejati, ...
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 55-59, 2007
452007
A relationship-based approach to model integration
M Chechik, S Nejati, M Sabetzadeh
Innovations in Systems and Software Engineering 8 (1), 3-18, 2012
442012
Testing advanced driver assistance systems using multi-objective search and neural networks
R Ben Abdessalem, S Nejati, LC Briand, T Stifter
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
402016
The case for context-driven software engineering research: Generalizability is overrated
L Briand, D Bianculli, S Nejati, F Pastore, M Sabetzadeh
IEEE Software 34 (5), 72-75, 2017
372017
Matching and merging of variant feature specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
IEEE Transactions on Software Engineering 38 (6), 1355-1375, 2011
352011
Testing vision-based control systems using learnable evolutionary algorithms
RB Abdessalem, S Nejati, LC Briand, T Stifter
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
342018
Testing the untestable: model testing of complex software-intensive systems
L Briand, S Nejati, M Sabetzadeh, D Bianculli
Proceedings of the 38th international conference on software engineering …, 2016
332016
Extending SysML with AADL concepts for comprehensive system architecture modeling
R Behjati, T Yue, S Nejati, L Briand, B Selic
European Conference on Modelling Foundations and Applications, 236-252, 2011
322011
A relationship-driven framework for model merging
M Sabetzadeh, S Nejati, S Easterbrook, M Chechik
Proceedings of the International Workshop on Modeling in Software Engineering, 2, 2007
322007
Global consistency checking of distributed models with TReMer+
M Sabetzadeh, S Nejati, S Easterbrook, M Chechik
2008 ACM/IEEE 30th International Conference on Software Engineering, 815-818, 2008
302008
Property patterns for runtime monitoring of web service conversations
J Simmonds, M Chechik, S Nejati, E Litani, B O’Farrell
International Workshop on Runtime Verification, 137-157, 2008
282008
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20