DC-electric-field-induced and low-frequency electromodulation second-harmonic generation spectroscopy of Si(001)-SiO$_2$ interfaces

Autor: Aktsipetrov, O. A., Fedyanin, A. A., Melnikov, A. V., Mishina, E. D., Rubtsov, A. N., Anderson, M. H., Wilson, P. T., ter Beek, M., Hu, X. F., Dadap, J. I., Downer, M. C.

The mechanism of DC-Electric-Field-Induced Second-Harmonic (EFISH) generation at weakly nonlinear buried Si(001)-SiO$_2$ interfaces is studied experimentally in planar Si(001)-SiO$_2$-Cr MOS structures by optical second-harmonic generation (SHG) spec

Externí odkaz: http://arxiv.org/abs/physics/9806003

Evaluating a language workbench: from working memory capacity to comprehension to acceptance

Autor: Broccia G., Ferrari A., Ter Beek M. H., Cazzola W., Favalli L., Bertolotti F.

Publikováno v: ICPC'23-31st IEEE/ACM International Conference on Program Comprehension, pp. 54–58, Melbourne, Australia, 15-16/05/2023

Language workbenches are tools that enable the definition, reuse and composition of programming languages and their ecosystem. This breed of frameworks aims to make the development of new languages easier and more affordable. Consequently, the compre

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::f9fa78c46f85585918dd8941ec2db83b
https://openportal.isti.cnr.it/doc?id=people______::bd54217191f91912d2e48a5fb1dcb261

Static detection of equivalent mutants in real-time model-based mutation testing

Autor: Basile D., Ter Beek M., Lazreg S., Cordy M., Legay A.

Publikováno v: Empirical software engineering (Online) 7 (2022): 160–215. doi:10.1007/s10664-022-10149-y

Model-based mutation testing has the potential to effectively drive test generation to reveal faults in software systems. However, it faces a typical efficiency issue since it could produce many mutants that are equivalent to the original system mode

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::a063886625564ba9d76bf7be1e6d9c8d
https://openportal.isti.cnr.it/doc?id=people______::3091e41f72f7f6cc2563605483e5d379

Coordination Models and Languages - Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)

Autor: Ter Beek M. H., Sirjani M.

Publikováno v: info:cnr-pdr/source/autori:ter Beek M.H.; Sirjani M./titolo:Coordination Models and Languages-Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)/editore:/anno:2022

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Dist

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b1af5f1d19f439ffa88a7d6ea16b270

25th International Systems and Software Product Line Conference. Proceedings - Volume A

Autor: Mousavi M., Schobbens P. Y., Araujo H., Schaefer I., Ter Beek M. H., Devroey X., Rojas J. M., Pinto M., Teixeira L., Berger T., Noppen J., Reinhartz-Berger I., Temple P., Damiani F., Petke J.

Publikováno v: New York: ACM Press, 2021
info:cnr-pdr/source/autori:Mousavi M.; Schobbens P.Y.; Araujo H.; Schaefer I.; ter Beek M.H.; Devroey X.; Rojas J.M.; Pinto M.; Teixeira L.; Berger T.; Noppen J.; Reinhartz-Berger I.; Temple P.; Damiani F.; Petke J./titolo:25th International Systems and Software Product Line Conference. Proceedings-Volume A/editore: /anno:2021

Welcome to SPLC 2021, the 25th International Systems and Software Product Line Conference. Variability is at the core of most modern computer and cyber-physical systems. Product lines provide a structured method for dealing with variability. They rep

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::da5f31c3bb31d83820cf7c76b0d7ee43
https://publications.cnr.it/doc/456534