المؤلفون: Raimondo, M., Bernardi, S., Marrone, S., Merseguer, J.

وصف الملف: application/pdf

العلاقة: info:eu-repo/grantAgreement/ES/MICINN/PID2020-113969RB-I00; http://zaguan.unizar.es/record/120921Test

الإتاحة: https://doi.org/10.1007/s11416-022-00444-zTest
http://zaguan.unizar.es/record/120921Test

المؤلفون: Bernardi, S., Javierre, R., Merseguer, J.

وصف الملف: application/pdf

العلاقة: info:eu-repo/grantAgreement/ES/MICINN/PID2020-113969RB-I00; http://zaguan.unizar.es/record/125911Test

الإتاحة: https://doi.org/10.1016Test/j.softx.2023.101363
http://zaguan.unizar.es/record/125911Test

المؤلفون: Bernardi, S., Gómez, A., Merseguer, J., Perez-Palacin, D., Requeno, J. I.

وصف الملف: application/pdf

العلاقة: info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE; This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE; info:eu-repo/grantAgreement/ES/MICINN/PID2020-113969RB-I00; http://zaguan.unizar.es/record/117625Test

الإتاحة: https://doi.org/10.1007/s10515-022-00335-zTest
http://zaguan.unizar.es/record/117625Test

المؤلفون: Bernardi, S., Gentile, U., Marrone, S., Merseguer, J., Nardone, R.

وصف الملف: application/pdf

العلاقة: info:eu-repo/grantAgreement/ES/MICIU/Medrese-RTI2018-098543-B-I00; http://zaguan.unizar.es/record/106601Test

الإتاحة: https://doi.org/10.1016Test/j.jss.2020.110746
http://zaguan.unizar.es/record/106601Test

المؤلفون: Perez-Palacin D., Merseguer J., Requeno J. I., Guerriero M., Di Nitto E., Tamburri D. A.

المساهمون: Perez-Palacin, D., Merseguer, J., Requeno, J. I., Guerriero, M., Di Nitto, E., Tamburri, D. A.

مصطلحات موضوعية: Apache Hadoop, Big Data, Data-intensive application, Model-driven deployment, Performance assessment, Profile, Software design, TOSCA language, UML

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000485320600014; volume:18; issue:6; firstpage:3577; lastpage:3614; numberofpages:38; journal:SOFTWARE AND SYSTEMS MODELING; http://hdl.handle.net/11311/1120891Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064569230; https://rdcu.be/cg4YDTest

الإتاحة: https://doi.org/10.1007/s10270-019-00730-3Test
http://hdl.handle.net/11311/1120891Test
https://rdcu.be/cg4YDTest

المؤلفون: Casale, G., Artac, M., Barbier, F., Henry, A., Iuhasz, G., Joubert, C., Merseguer, J., Munteanu, V. I., Perez, J. F., Petcu, D., Sheridan, C., Spais, I., Vladušič, D. ., ARDAGNA, DANILO, DI NITTO, ELISABETTA, ROSSI, MATTEO GIOVANNI

المساهمون: G. Casale, D. Ardagna, M. Artac, F. Barbier, E. Di Nitto, A. Henry, G. Iuhasz, C. Joubert, J. Merseguer, V. I. Munteanu, J. F. Perez, D. Petcu, M. Rossi, C. Sheridan, I. Spais, D. Vladušič, Casale, G., Ardagna, Danilo, Artac, M., Barbier, F., DI NITTO, Elisabetta, Henry, A., Iuhasz, G., Joubert, C., Merseguer, J., Munteanu, V. I., Perez, J. F., Petcu, D., Rossi, MATTEO GIOVANNI, Sheridan, C., Spais, I., Vladušič, D. .

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-4673-7055-4; info:eu-repo/semantics/altIdentifier/wos/WOS:000380568000014; ispartofbook:MiSE 2015 Workshops Proceedings; MISE 2015; firstpage:78; lastpage:83; numberofpages:6; info:eu-repo/grantAgreement/EC/H2020/DICE 644869; http://hdl.handle.net/11311/983772Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84964265469; dx.doi.org/10.1109/MiSE.2015.21

الإتاحة: https://doi.org/10.1109/MiSE.2015.21Test
http://hdl.handle.net/11311/983772Test

المؤلفون: Raimondo, M, Bernardi, S, Marrone, S, Merseguer, J

المساهمون: Raimondo, M, Bernardi, S, Marrone, S, Merseguer, J

مصطلحات موضوعية: Distributed ledger technology, Formal modelling, Automatic model generation, Vulnerability discovery, Formal verification, UML profile

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000844475600001; journal:JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES; https://hdl.handle.net/11591/482597Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85137067057

الإتاحة: https://doi.org/10.1007/s11416-022-00444-zTest
https://hdl.handle.net/11591/482597Test

المؤلفون: Bernardi, S., Marrone, S., Merseguer, J., Nardone, R., Vittorini, V.

وصف الملف: application/pdf

العلاقة: info:eu-repo/grantAgreement/ES/UZ/CUD2017-TEC-09; info:eu-repo/grantAgreement/ES/MINECO/TIN2014-58457-R; This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 644869-DICE; info:eu-repo/grantAgreement/EC/H2020/644869/EU/Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements/DICE; info:eu-repo/grantAgreement/ES/DGA/T94; http://zaguan.unizar.es/record/69454Test

الإتاحة: https://doi.org/10.1007/s10270-018-0663-8Test
http://zaguan.unizar.es/record/69454Test

المؤلفون: Bernardi S., Gentile U., Marrone S., Merseguer J., Nardone R.

المساهمون: Bernardi, S., Gentile, U., Marrone, S., Merseguer, J., Nardone, R.

مصطلحات موضوعية: cyber–physical systems (CPS), Formal verification, Security specification, Survivability propertie, UML

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000592500400010; firstpage:110746; journal:THE JOURNAL OF SYSTEMS AND SOFTWARE; http://hdl.handle.net/11591/438313Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85089137320

الإتاحة: https://doi.org/10.1016Test/j.jss.2020.110746
http://hdl.handle.net/11591/438313Test

المؤلفون: Bernardi S, Marrone S, Merseguer J, Nardone R, Vittorini V

المساهمون: Bernardi, S, Marrone, S, Merseguer, J, Nardone, R, Vittorini, V

مصطلحات موضوعية: Multi-formalism, UML profile, Performability, Model-driven engineering, Generalised Stochastic Petri Net, Repairable fault trees

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000468996100030; volume:18; firstpage:2241; lastpage:2264; numberofpages:24; journal:SOFTWARE AND SYSTEMS MODELING; http://hdl.handle.net/11367/99040Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85042120227; https://link.springer.com/article/10.1007/s10270-018-0663-8Test

الإتاحة: https://doi.org/10.1007/s10270-018-0663-8Test
http://hdl.handle.net/11367/99040Test