Rational verification in iterated electric boolean bames
2016-01-01 Oualhadj, Y; Troquard, N
Aging-related Bug Prediction based on multi-view Graph Feature Learning and Graph-Transformer
2025-01-01 Zhang, Chen; Xiang, Jianwen; Hao, Rui; Jia, Kai; Tian, Jing; Natella, Roberto; Pietrantuono, Roberto; Cotroneo, Domenico
Hadronic cross section measurements with the DAMPE space mission using 20 GeV-10 TeV cosmic-ray protons and 4He
2025-01-01 Alemanno, F.; An, Q.; Azzarello, P.; Barbato, F. c. t.; Bernardini, P.; Bi, X. j.; Cagnoli, I.; Cai, M. s.; Casilli, E.; Catanzani, E.; Chang, J.; Chen, D. y.; Chen, J. l.; Chen, Z. f.; Coppin, P.; Cui, M. y.; Cui, T. s.; Cui, Y. x.; Dai, H. t.; De Benedittis, A.; De Mitri, I.; De Palma, F.; Di Giovanni, A.; Ding, Q.; Dong, T. k.; Dong, Z. x.; Donvito, G.; Droz, D.; Duan, J. l.; Duan, K. k.; Fan, R. r.; Fan, Y. z.; Fang, F.; Fang, K.; Feng, C. q.; Feng, L.; Frieden, J. m.; Fusco, P.; Gao, M.; Gargano, F.; Gong, K.; Gong, Y. z.; Guo, D. y.; Guo, J. h.; Han, S. x.; Hu, Y. m.; Huang, G. s.; Huang, X. y.; Huang, Y. y.; Ionica, M.; Jiang, L. y.; Jiang, Y. z.; Jiang, W.; Kong, J.; Kotenko, A.; Kyratzis, D.; Lei, S. j.; Li, W. h.; Li, W. l.; Li, X.; Li, X. q.; Liang, Y. m.; Liu, C. m.; Liu, H.; Liu, J.; Liu, S. b.; Liu, Y.; Loparco, F.; Luo, C. n.; Ma, M.; Ma, P. x.; Ma, T.; Ma, X. y.; Marsella, G.; Mazziotta, M. n.; Mo, D.; Niu, X. y.; Pan, X.; Parenti, A.; Peng, W. x.; Peng, X. y.; Perrina, C.; Putti-Garcia, E.; Qiao, R.; Rao, J. n.; Ruina, A.; Sarkar, R.; Savina, P.; Serpolla, A.; Shangguan, Z.; Shen, W. h.; Shen, Z. q.; Shen, Z. t.; Silveri, L.; Song, J. x.; Stolpovskiy, M.; Su, H.; Su, M.; Sun, H. r.; Sun, Z. y.; Surdo, A.; Teng, X. j.; Tykhonov, A.; Wang, J. z.; Wang, L. g.; Wang, S.; Wang, S. x.; Wang, X. l.; Wang, Y.; Wang, Y. f.; Wang, Y. z.; Wang, Z. m.; Wei, D. m.; Wei, J. j.; Wei, Y. f.; Wu, D.; Wu, J.; Wu, S. s.; Wu, X.; Xia, Z. q.; Xu, H. t.; Xu, J.; Xu, Z. h.; Xu, Z. l.; Xu, E. h.; Xu, Z. z.; Xue, G. f.; Yang, H. b.; Yang, P.; Yang, Y. q.; Yao, H. j.; Yu, Y. h.; Yuan, G. w.; Yuan, Q.; Yue, C.; Zang, J. j.; Zhang, S. x.; Zhang, W. z.; Zhang, Yan; Zhang, Yi; Zhang, Y. j.; Zhang, Y. l.; Zhang, Y. p.; Zhang, Y. q.; Zhang, Z.; Zhang, Z. y.; Zhao, C.; Zhao, H. y.; Zhao, X. f.; Zhou, C. y.; Zhu, Y.; Null, Null
An Integer Linear Programming Model to Optimize Coding DNA Sequences By Joint Control of Transcript Indicators
2024-01-01 Arbib, Claudio; D'Ascenzo, Andrea; Rossi, Fabrizio; Santoni, Daniele
Top-k Distance Queries on Large Time-Evolving Graphs
2023-01-01 D'Ascenzo, Andrea; D'Emidio, Mattia
k-shortest simple paths in bounded treewidth graphs
2025-01-01 Coudert, David; D'Ascenzo, Andrea; Rambaud, Clément
Performance and radiation damage mitigation strategy for silicon photomultipliers on LEO space missions
2025-01-01 Burmistrov, L.; Davarpanah, S.; Heller, M.; Montaruli, T.; Trimarelli, C.; Aloisio, R.; Barbato, F. C. T.; De Mitri, I.; Di Giovanni, A.; Fontanella, G.; Savina, P.; Tönnis, C.; Moretti, E.; Ruzzarin, M.; Swakoń, J.; Wróbel, D.
A technique for discovering BPMN collaboration diagrams
2024-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
A BPMN-driven framework for Multi-Robot System development
2023-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems
2020-01-01 Cotroneo, D.; De Simone, L.; Liguori, P.; Natella, R.
Analyzing the Effects of Bugs on Software Interfaces
2020-01-01 Natella, Roberto; Winter, Stefan; Cotroneo, Domenico; Suri, Neeraj
A comprehensive study on software aging across android versions and vendors
2020-01-01 Cotroneo, D.; Iannillo, A. K.; Natella, R.; Pietrantuono, R.
Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification
2021-01-01 Cotroneo, Domenico; Simone, Luigi De; Natella, Roberto
Dependability Assessment of the Android OS Through Fault Injection
2021-01-01 Cotroneo, Domenico; Iannillo, Antonio Ken; Natella, Roberto; Rosiello, Stefano
Enhancing the analysis of software failures in cloud computing systems with deep learning
2021-01-01 Cotroneo, Domenico; Simone, Luigi De; Liguori, Pietro; Natella, Roberto
ThorFI: a Novel Approach for Network Fault Injection as a Service
2022-01-01 Cotroneo, D.; De Simone, L.; Natella, R.
A Latency-Driven Availability Assessment for Multi-Tenant Service Chains
2022-01-01 De Simone, L.; Mauro, M. D.; Natella, R.; Postiglione, F.
Can we generate shellcodes via natural language? An empirical study
2022-01-01 Liguori, P.; Al-Hossami, E.; Cotroneo, D.; Natella, R.; Cukic, B.; Shaikh, S.
Software micro-rejuvenation for Android mobile systems
2022-01-01 Cotroneo, Domenico; De Simone, Luigi; Natella, Roberto; Pietrantuono, Roberto; Russo, Stefano
Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform
2023-01-01 Cotroneo, Domenico; De Simone, Luigi; Liguori, Pietro; Natella, Roberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Rational verification in iterated electric boolean bames | 1-gen-2016 | Oualhadj, Y; Troquard, N | |
| Aging-related Bug Prediction based on multi-view Graph Feature Learning and Graph-Transformer | 1-gen-2025 | Zhang, Chen; Xiang, Jianwen; Hao, Rui; Jia, Kai; Tian, Jing; Natella, Roberto; Pietrantuono, Roberto; Cotroneo, Domenico | |
| Hadronic cross section measurements with the DAMPE space mission using 20 GeV-10 TeV cosmic-ray protons and 4He | 1-gen-2025 | Alemanno, F.; An, Q.; Azzarello, P.; Barbato, F. c. t.; Bernardini, P.; Bi, X. j.; Cagnoli, I.; Cai, M. s.; Casilli, E.; Catanzani, E.; Chang, J.; Chen, D. y.; Chen, J. l.; Chen, Z. f.; Coppin, P.; Cui, M. y.; Cui, T. s.; Cui, Y. x.; Dai, H. t.; De Benedittis, A.; De Mitri, I.; De Palma, F.; Di Giovanni, A.; Ding, Q.; Dong, T. k.; Dong, Z. x.; Donvito, G.; Droz, D.; Duan, J. l.; Duan, K. k.; Fan, R. r.; Fan, Y. z.; Fang, F.; Fang, K.; Feng, C. q.; Feng, L.; Frieden, J. m.; Fusco, P.; Gao, M.; Gargano, F.; Gong, K.; Gong, Y. z.; Guo, D. y.; Guo, J. h.; Han, S. x.; Hu, Y. m.; Huang, G. s.; Huang, X. y.; Huang, Y. y.; Ionica, M.; Jiang, L. y.; Jiang, Y. z.; Jiang, W.; Kong, J.; Kotenko, A.; Kyratzis, D.; Lei, S. j.; Li, W. h.; Li, W. l.; Li, X.; Li, X. q.; Liang, Y. m.; Liu, C. m.; Liu, H.; Liu, J.; Liu, S. b.; Liu, Y.; Loparco, F.; Luo, C. n.; Ma, M.; Ma, P. x.; Ma, T.; Ma, X. y.; Marsella, G.; Mazziotta, M. n.; Mo, D.; Niu, X. y.; Pan, X.; Parenti, A.; Peng, W. x.; Peng, X. y.; Perrina, C.; Putti-Garcia, E.; Qiao, R.; Rao, J. n.; Ruina, A.; Sarkar, R.; Savina, P.; Serpolla, A.; Shangguan, Z.; Shen, W. h.; Shen, Z. q.; Shen, Z. t.; Silveri, L.; Song, J. x.; Stolpovskiy, M.; Su, H.; Su, M.; Sun, H. r.; Sun, Z. y.; Surdo, A.; Teng, X. j.; Tykhonov, A.; Wang, J. z.; Wang, L. g.; Wang, S.; Wang, S. x.; Wang, X. l.; Wang, Y.; Wang, Y. f.; Wang, Y. z.; Wang, Z. m.; Wei, D. m.; Wei, J. j.; Wei, Y. f.; Wu, D.; Wu, J.; Wu, S. s.; Wu, X.; Xia, Z. q.; Xu, H. t.; Xu, J.; Xu, Z. h.; Xu, Z. l.; Xu, E. h.; Xu, Z. z.; Xue, G. f.; Yang, H. b.; Yang, P.; Yang, Y. q.; Yao, H. j.; Yu, Y. h.; Yuan, G. w.; Yuan, Q.; Yue, C.; Zang, J. j.; Zhang, S. x.; Zhang, W. z.; Zhang, Yan; Zhang, Yi; Zhang, Y. j.; Zhang, Y. l.; Zhang, Y. p.; Zhang, Y. q.; Zhang, Z.; Zhang, Z. y.; Zhao, C.; Zhao, H. y.; Zhao, X. f.; Zhou, C. y.; Zhu, Y.; Null, Null | |
| An Integer Linear Programming Model to Optimize Coding DNA Sequences By Joint Control of Transcript Indicators | 1-gen-2024 | Arbib, Claudio; D'Ascenzo, Andrea; Rossi, Fabrizio; Santoni, Daniele | |
| Top-k Distance Queries on Large Time-Evolving Graphs | 1-gen-2023 | D'Ascenzo, Andrea; D'Emidio, Mattia | |
| k-shortest simple paths in bounded treewidth graphs | 1-gen-2025 | Coudert, David; D'Ascenzo, Andrea; Rambaud, Clément | |
| Performance and radiation damage mitigation strategy for silicon photomultipliers on LEO space missions | 1-gen-2025 | Burmistrov, L.; Davarpanah, S.; Heller, M.; Montaruli, T.; Trimarelli, C.; Aloisio, R.; Barbato, F. C. T.; De Mitri, I.; Di Giovanni, A.; Fontanella, G.; Savina, P.; Tönnis, C.; Moretti, E.; Ruzzarin, M.; Swakoń, J.; Wróbel, D. | |
| A technique for discovering BPMN collaboration diagrams | 1-gen-2024 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | |
| A BPMN-driven framework for Multi-Robot System development | 1-gen-2023 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | |
| Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems | 1-gen-2020 | Cotroneo, D.; De Simone, L.; Liguori, P.; Natella, R. | |
| Analyzing the Effects of Bugs on Software Interfaces | 1-gen-2020 | Natella, Roberto; Winter, Stefan; Cotroneo, Domenico; Suri, Neeraj | |
| A comprehensive study on software aging across android versions and vendors | 1-gen-2020 | Cotroneo, D.; Iannillo, A. K.; Natella, R.; Pietrantuono, R. | |
| Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification | 1-gen-2021 | Cotroneo, Domenico; Simone, Luigi De; Natella, Roberto | |
| Dependability Assessment of the Android OS Through Fault Injection | 1-gen-2021 | Cotroneo, Domenico; Iannillo, Antonio Ken; Natella, Roberto; Rosiello, Stefano | |
| Enhancing the analysis of software failures in cloud computing systems with deep learning | 1-gen-2021 | Cotroneo, Domenico; Simone, Luigi De; Liguori, Pietro; Natella, Roberto | |
| ThorFI: a Novel Approach for Network Fault Injection as a Service | 1-gen-2022 | Cotroneo, D.; De Simone, L.; Natella, R. | |
| A Latency-Driven Availability Assessment for Multi-Tenant Service Chains | 1-gen-2022 | De Simone, L.; Mauro, M. D.; Natella, R.; Postiglione, F. | |
| Can we generate shellcodes via natural language? An empirical study | 1-gen-2022 | Liguori, P.; Al-Hossami, E.; Cotroneo, D.; Natella, R.; Cukic, B.; Shaikh, S. | |
| Software micro-rejuvenation for Android mobile systems | 1-gen-2022 | Cotroneo, Domenico; De Simone, Luigi; Natella, Roberto; Pietrantuono, Roberto; Russo, Stefano | |
| Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform | 1-gen-2023 | Cotroneo, Domenico; De Simone, Luigi; Liguori, Pietro; Natella, Roberto |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 1 Contributo su Rivista4954
Data di pubblicazione
- In corso di stampa7
- 2020 - 20261541
- 2010 - 20191989
- 2000 - 20091024
- 1990 - 1999304
- 1980 - 198981
- 1977 - 19798
Editore
- Springer1
Rivista
- PHYSICAL REVIEW D, PARTICLES, FIE...461
- PHYSICAL REVIEW LETTERS337
- PHYSICS LETTERS. SECTION B238
- PHYSICAL REVIEW D200
- JOURNAL OF INSTRUMENTATION129
- ASTROPARTICLE PHYSICS119
- JOURNAL OF COSMOLOGY AND ASTROPAR...110
- CLASSICAL AND QUANTUM GRAVITY103
- NUCLEAR INSTRUMENTS & METHODS IN ...97
- THE EUROPEAN PHYSICAL JOURNAL. C,...93
Keyword
- gravitational waves60
- Gravitational waves41
- Physics and Astronomy (miscellane...34
- cosmic rays23
- Cosmic rays21
- Dark Matter18
- Physics and Astronomy (all)16
- axions15
- black hole physics15
- ultra high energy cosmic rays15
Lingua
- eng3045
- ita75
- und14
- fre2
- iba1
- spa1
Accesso al fulltext
- no fulltext3763
- open572
- reserved490
- partially open122
- mixed5
- embargoed2