Razieh Behjati
Razieh Behjati
Revolut
Email verificata su revolut.com
TitoloCitata daAnno
SimPL: A product-line modeling methodology for families of integrated control systems
R Behjati, T Yue, L Briand, B Selic
Information and Software Technology 55 (3), 607-629, 2013
482013
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
Generalizing the analysis of evolutionary coupling for software change impact analysis
T Rolfsnes, S Di Alesio, R Behjati, L Moonen, DW Binkley
2016 IEEE 23rd International Conference on Software Analysis, Evolution, andá…, 2016
222016
Synthesis of attributed feature models from product descriptions
G BÚcan, R Behjati, A Gotlieb, M Acher
Proceedings of the 19th International Conference on Software Product Line, 1-10, 2015
202015
Sysfier: Actor-based formal verification of systemc
N Razavi, R Behjati, H Sabouri, E Khamespanah, A Shali, M Sirjani
ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 19, 2010
202010
Architecture-level configuration of large-scale embedded software systems
R Behjati, S Nejati, LC Briand
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (3), 25, 2014
152014
Bounded rational search for on-the-fly model checking of LTL properties
R Behjati, M Sirjani, MN Ahmadabadi
International Conference on Fundamentals of Software Engineering, 292-307, 2009
142009
Improving change recommendation using aggregated association rules
T Rolfsnes, L Moonen, S Di Alesio, R Behjati, D Binkley
2016 IEEE/ACM 13th Working Conference on Mining Software Repositories (MSRá…, 2016
132016
Towards a systematic requirement-based test generation framework: Industrial challenges and needs
S Hesari, R Behjati, T Yue
2013 21st IEEE International Requirements Engineering Conference (RE), 261-266, 2013
132013
An effective approach for model checking SystemC designs
R Behjati, H Sabouri, N Razavi, M Sirjani
2008 8th International Conference on Application of Concurrency to Systemá…, 2008
132008
Model-based automated and guided configuration of embedded software systems
R Behjati, S Nejati, T Yue, A Gotlieb, L Briand
European Conference on Modelling Foundations and Applications, 226-243, 2012
92012
An AADL-Based SysML profile for architecture level systems engineering: Approach, metamodels
R Behjati, T Yue, S Nejati, L Briand, B Selic
and experiments. Technical Report 2011-03, Simula Research Laboratory, 2011
7*2011
Aggregating association rules to improve change recommendation
T Rolfsnes, L Moonen, S Di Alesio, R Behjati, D Binkley
Empirical Software Engineering 23 (2), 987-1035, 2018
62018
A modeling approach to support the similarity-based reuse of configuration data
R Behjati, T Yue, L Briand
International Conference on Model Driven Engineering Languages and Systemsá…, 2012
52012
Guided interactive configuration of embedded software systems using constraint satisfaction over finite domains
R Behjati, S Nejati, A Gotlieb, T Yue, L Briand
Tech. Rep. 2012-05, Simula Research Laboratory, 2012
42012
Tada: An active measurement tool for automatic detection of AQM
M Kargar Bideh, A Petlund, C Griwodz, I Ahmed, A Brunstrom, ...
Proceedings of the 9th EAI International Conference on Performanceá…, 2016
32016
Synthesis of attributed feature models from product descriptions: Foundations
G BÚcan, R Behjati, A Gotlieb, M Acher
arXiv preprint arXiv:1502.04645, 2015
32015
Architecture-level configuration of industrial control systems: Foundations for an efficient approach
R Behjati, S Nejati
Science of Computer Programming 160, 30-47, 2018
22018
Interactive configuration verification using constraint programming
R Behjati, S Nejati
Lyon, France, 2014
22014
Backtrack-free consistent configuration of cyber-physical systems
R Behjati, S Nejati
22014
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20