-
1
المساهمون: Flammini, F., Marrone, S., Nardone, R., Vittorini, V., Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria
المصدر: Formal Aspects of Computing. 33:989-1007
مصطلحات موضوعية: Service (systems architecture), Railway, Performance Modelling, Stochastic Activity Networks, Moving block, Virtual Coupling, Computer science, Railway, Modularity (biology), Moving block, Stochastic Activity Networks, 02 engineering and technology, Track (rail transport), Theoretical Computer Science, 0502 economics and business, Headway, 0202 electrical engineering, electronic engineering, information engineering, Virtual Coupling, Network model, 050210 logistics & transportation, 05 social sciences, Stochastic Activity Network, Performance Modelling, 020207 software engineering, Industrial engineering, Coupling (computer programming), Railway signalling, Theory of computation, Software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9ef7446d208847805f071c400b394e2Test
https://doi.org/10.1007/s00165-021-00560-5Test -
2
المؤلفون: Lucia Ottaiano, Diana Agrelli, Gelsomina Scognamiglio, Antonio Nardone, Fabiana Vanni, Daniela Esposito, Paola Adamo, Massimo Fagnano, Francesco Esposito, Teresa Cirillo, Eleonora Beccaloni, Evelina Fasano
المساهمون: Esposito, Francesco, Nardone, Antonio, Fasano, Evelina, Scognamiglio, Gelsomina, Esposito, Daniela, Agrelli, Diana, Ottaiano, Lucia, Fagnano, Massimo, Adamo, Paola, Beccaloni, Eleonora, Vanni, Fabiana, Cirillo, Teresa
المصدر: Environmental Pollution. 243:1781-1790
مصطلحات موضوعية: Adult, Health, Toxicology and Mutagenesis, Population, 0211 other engineering and technologies, chemistry.chemical_element, 02 engineering and technology, 010501 environmental sciences, Toxicology, Risk Assessment, 01 natural sciences, Fires, Dietary Exposure, Hazardous waste, Metals, Heavy, Environmental health, Vegetables, Systematic risk, Humans, Soil Pollutants, Ingestion, Cities, education, 0105 earth and related environmental sciences, 021110 strategic, defence & security studies, Cadmium, education.field_of_study, business.industry, General Medicine, Contamination, Food safety, Pollution, Italy, chemistry, Fruit, Environmental science, Environmental Pollution, Risk assessment, business, Environmental Monitoring, Heavy metals Risk assessment, Agroecosystem pollution, Human health, Anthropogenic pollution, Maximum cumulative ratio
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1857744b63b031a09bdde1d1094eee86Test
https://doi.org/10.1016/j.envpol.2018.09.058Test -
3
المؤلفون: Luigi Coppolino, Giovanni Mazzeo, Flora Amato, Roberto Nardone, Giovanni Cozzolino, Francesco Moscato
المساهمون: Amato, F., Coppolino, L., Cozzolino, G., Mazzeo, G., Moscato, F., Nardone, R.
مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, Big data processing, Cognitive Neuroscience, Data management, Wearable computer, 02 engineering and technology, computer.software_genre, Field (computer science), 020901 industrial engineering & automation, Artificial Intelligence, Machine learning, 0202 electrical engineering, electronic engineering, information engineering, eHealth, E-health, Multi-classification schema, Random forests, Data collection, business.industry, Computer Science Applications, Random forest, Statistical classification, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, Natural language, Natural language processing
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::98d7ace29fd4cf5d878b13891800bbb8Test
http://hdl.handle.net/11367/85001Test -
4
المؤلفون: Valeria Vittorini, Nijat Rajabli, Roberto Nardone, Francesco Flammini
المساهمون: Rajabli, Nijat, Flammini, Francesco, Nardone, Roberto, Vittorini, Valeria
المصدر: IEEE Access, Vol 9, Pp 4797-4819 (2021)
DOAJ-Articles
Digitala Vetenskapliga Arkivet-Academic Archive On-line
Archivio della ricerca-Università degli studi di Napoli Federico II
UnpayWall
ORCID
Microsoft Academic Graph
IEEE Accessمصطلحات موضوعية: Computer and Information Sciences, General Computer Science, intelligent vehicles, Computer science, 02 engineering and technology, Certification, cyber-physical systems, vehicle safety, Software, Advanced driver assistance systems, automotive engineering, autonomous vehicles, cyber-physical systems, formal verification, intelligent vehicles, machine learning, system testing, system validation, vehicle safety, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Software verification and validation, formal verification, system testing, business.industry, automotive engineering, General Engineering, Autonomous Cars, Literature review, Validation, Verification, 020207 software engineering, Data- och informationsvetenskap, Fault injection, Formal methods, Advanced driver assistance systems, Systematic review, machine learning, Traffic congestion, Risk analysis (engineering), system validation, Mutation testing, 020201 artificial intelligence & image processing, lcsh:Electrical engineering. Electronics. Nuclear engineering, autonomous vehicles, business, lcsh:TK1-9971, Verification and validation
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92927b54e63995583505ee219735877bTest
http://hdl.handle.net/11588/829431Test -
5
المؤلفون: José Merseguer, Roberto Nardone, Stefano Marrone, Ugo Gentile, Simona Bernardi
المساهمون: Bernardi, S., Gentile, U., Marrone, S., Merseguer, J., Nardone, R.
المصدر: Zaguán. Repositorio Digital de la Universidad de Zaragoza
instnameمصطلحات موضوعية: Model checking, Computer science, business.industry, 05 social sciences, Survivability, Cyber-physical system, Automotive industry, 020207 software engineering, 02 engineering and technology, Misuse case, Survivability propertie, Field (computer science), UML, Formal verification, Hardware and Architecture, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, cyber–physical systems (CPS), Software engineering, business, 050203 business & management, Software, Security specification, Information Systems
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84a817d0540b7624d7760dd38a6a6059Test
http://zaguan.unizar.es/record/106601Test -
6
المؤلفون: Gerardo Canfora, Corrado Aaron Visaggio, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Vittoria Nardone
المصدر: IEEE Transactions on Software Engineering
IEEE transactions on software engineering 45 (2018): 1230–1252. doi:10.1109/TSE.2018.2834344
info:cnr-pdr/source/autori:Canfora G.; Martinelli F.; Mercaldo F.; Nardone V.; Santone A.; Visaggio C.A./titolo:LEILA: formaL tool for idEntifying mobIle maLicious behAviour/doi:10.1109%2FTSE.2018.2834344/rivista:IEEE transactions on software engineering/anno:2018/pagina_da:1230/pagina_a:1252/intervallo_pagine:1230–1252/volume:45مصطلحات موضوعية: Model checking, Source code, Exploit, Computer science, media_common.quotation_subject, Java bytecode, 02 engineering and technology, computer.software_genre, Computer security, Automata, Tools, Android, Android malware, 0202 electrical engineering, electronic engineering, information engineering, Humanoid robots, Mobile technology, Android (operating system), media_common, computer.programming_language, malware, Payloads, Androids, 020207 software engineering, testing, Malware, model checking, Security, Software, Information sensitivity, Mobile device, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dde16e3fb6b49c6989eada67737e0508Test
https://doi.org/10.1109/tse.2018.2834344Test -
7
المساهمون: Bernardi, S., Marrone, S., Merseguer, J., Nardone, R., Vittorini, V., Bernardi, Simona, Marrone, Stefano, Merseguer, José, Nardone, Roberto, Vittorini, Valeria
المصدر: Zaguán. Repositorio Digital de la Universidad de Zaragoza
instname
Software and System Modelingمصطلحات موضوعية: Performability, Multi-formalism, UML profile, Model-driven engineering, Generalised Stochastic Petri Nets, Repairable fault trees, Computer science, business.industry, Non functional, Complex system, 020207 software engineering, 02 engineering and technology, Notation, Formalism (philosophy of mathematics), Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Generalised Stochastic Petri Net, Repairable fault tree, Model-driven architecture, Software engineering, business, computer, Software, computer.programming_language
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03356c2a51de9c4b174a81a1ddcda1daTest
http://hdl.handle.net/11591/418650Test -
8
المساهمون: Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Caporuscio, Mauro, D'Angelo, Mirko
مصطلحات موضوعية: Smart system, Computer Networks and Communications, Event (computing), Computer science, business.industry, Distributed computing, Reliability (computer networking), Detector, Bayesian network, 020206 networking & telecommunications, Decision fusion Performance evaluation Run-time models Bayesian networks Cyber–physical systems Intelligent transportation, 02 engineering and technology, Automation, Hardware and Architecture, Order (exchange), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business, Software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20de2dd73a51ba5287568f3f9f302673Test
http://hdl.handle.net/11367/99048Test -
9
المؤلفون: Valeria Vittorini, Roberto Nardone, Gaetano Pisani, Adriano Peron, Aniello Amato, Luigi Velardi, Nicola Mazzocca, Gregorio Barberio, Beniamino Di Martino, Renato De Guglielmo, Ugo Gentile, Massimo Benerecetti, Stefano Marrone
المساهمون: Nardone, R., Marrone, S., Gentile, U., Amato, A., Barberio, G., Benerecetti, M., De Guglielmo, R., Di Martino, B., Mazzocca, N., Peron, A., Pisani, G., Velardi, L., Vittorini, V.
مصطلحات موضوعية: Computer science, Vendor, Functional testing, Context (language use), 02 engineering and technology, OSLC, Life-cycle collaboration, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Software system, Block (data storage), business.industry, Critical system, 05 social sciences, 020207 software engineering, Linked data, Critical systems, Model based testing, Testing automation, Hardware and Architecture, Software deployment, Control system, Software engineering, business, 050203 business & management, Software, Information Systems
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94d6084e0df06ab814cda18262b65a18Test
http://hdl.handle.net/11591/424716Test -
10
المؤلفون: Giancarlo Forte, Antonio Pompeiano, Katarína Melajová, Jan Vrbsky, Petr Filipensky, Francesco Capradossi, Jorge Oliver-De La Cruz, Ana Rubina Perestrelo, Giorgia Nardone
المصدر: Biomaterials. 205:64-80
مصطلحات موضوعية: Transcription, Genetic, Cell, Biophysics, Bioengineering, 02 engineering and technology, Biomaterials, Focal adhesion, 03 medical and health sciences, Mechanobiology, Cell Movement, Cell Line, Tumor, Adipocytes, medicine, Humans, Phosphorylation, Psychological repression, Adaptor Proteins, Signal Transducing, Cell Proliferation, 030304 developmental biology, Cell Nucleus, Focal Adhesions, 0303 health sciences, Adipogenesis, Chemistry, Mesenchymal stem cell, Transdifferentiation, YAP-Signaling Proteins, Mechanics, Cellular Reprogramming, 021001 nanoscience & nanotechnology, Actins, Extracellular Matrix, medicine.anatomical_structure, Adipose Tissue, Mechanics of Materials, Ceramics and Composites, 0210 nano-technology, Transcription Factors
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de052d32b49cdde625f95fa72eb57bdaTest
https://doi.org/10.1016/j.biomaterials.2019.03.009Test