Sfoglia per Titolo
Mode coupling and field distribution in sub-mm permanently bent single mode optical fibers
2013-01-01 Iadicicco, A; Paladino, D.; Moccia, M; Quero, G; Campopiano, S; Bock, W J; Cusano, A
mode coupling and field distribution in sub-mm permanently bent single mode optical fibers
2013-01-01 A., Iadidicco; D., Paladino; M., Moccia; Quero, Giuseppe; S., Campopiano; W. J., Bock; A., Cusano
Mode II Delamination Fatigue Characteristics of Woven Carbon/Epoxy Composite
1997-01-01 Gentile, D; Broggiato, G. B.; Newaz, G. M.; Ahamd, J
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation
2020-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G.
Model checking based approach for compliance checking
2019-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, A.; Vaglini, G.
A Model Checking based Proposal for Mobile Colluding Attack Detection
2019-01-01 Casolare, R.; Martinelli, F.; Mercaldo, F.; Santone, A.
Model checking BDI logics over finite-state worlds
2020-01-01 la Torre, S.; Parlato, G.
Model checking for data anomaly detection
2019-01-01 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Model checking for malicious family detection and phylogenetic analysis in mobile environment
2020-01-01 Cimino, M. G. C. A.; De Francesco, N.; Mercaldo, F.; Santone, A.; Vaglini, G.
Model Checking for Mobile Android Malware Evolution
2017-01-01 Cimitile, A.; Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Vaglini, G.
MODEL CHECKING FOR REAL-TIME ATTACK DETECTION IN WATER DISTRIBUTION SYSTEMS|ПРОВЕРКА МОДЕЛИ ДЛЯ ОБНАРУЖЕНИЯ В РЕАЛЬНОМ ВРЕМЕНИ АТАК В СИСТЕМАХ РАСПРЕДЕЛЕНИЯ ВОДЫ
2022-01-01 Mercaldo, F.; Martinelli, F.; Santone, A.
Model Checking Multithreaded Programs by means of reduced models
2004-01-01 S., Gradara; Santone, Antonella; G., Vaglini; M. L., Villani
Model checking properties on reduced trace systems
2014-01-01 Santone, Antonella; Vaglini, G.
Model Checking Techniques applied to Satellite Operational Mode Management
2019-01-01 Nardone, Vittoria; Santone, Antonella; Tipaldi, Massimo; Liuzza, Davide; Glielmo, Luigi
Model Checking to Detect the Hummingbad Malware
2019-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G.
Model Checking to Improve Precision of Design Patterns Instances Identification in OO Systems
2015-01-01 Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella
Model Checking to support Action Controls in the Purchasing Process
2016-01-01 Raucci, D; Nardone, V; Santone, Antonella
A Model Checking-based Approach to Malicious Family Detection in iOS Environment
2022-01-01 Ciaramella, G.; Iadarola, G.; Martinelli, F.; Mercaldo, F.; Santone, A.
Model definition for 3D phenomena describing microclimate through the use of devices for automatic environment’s detection
2009-01-01 Catalano, Pasquale; Fucci, Flavio; Gerbino, Salvatore; Giametta, Ferruccio; LA FIANZA, Giovanna; Simoni, A.
A model for a borehole heat exchanger working with CO2
2014-01-01 R., Mastrullo; A. W., Mauro; L., Menna; Vanoli, GIUSEPPE PETER
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mode coupling and field distribution in sub-mm permanently bent single mode optical fibers | 1-gen-2013 | Iadicicco, A; Paladino, D.; Moccia, M; Quero, G; Campopiano, S; Bock, W J; Cusano, A | |
mode coupling and field distribution in sub-mm permanently bent single mode optical fibers | 1-gen-2013 | A., Iadidicco; D., Paladino; M., Moccia; Quero, Giuseppe; S., Campopiano; W. J., Bock; A., Cusano | |
Mode II Delamination Fatigue Characteristics of Woven Carbon/Epoxy Composite | 1-gen-1997 | Gentile, D; Broggiato, G. B.; Newaz, G. M.; Ahamd, J | |
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation | 1-gen-2020 | Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G. | |
Model checking based approach for compliance checking | 1-gen-2019 | Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, A.; Vaglini, G. | |
A Model Checking based Proposal for Mobile Colluding Attack Detection | 1-gen-2019 | Casolare, R.; Martinelli, F.; Mercaldo, F.; Santone, A. | |
Model checking BDI logics over finite-state worlds | 1-gen-2020 | la Torre, S.; Parlato, G. | |
Model checking for data anomaly detection | 1-gen-2019 | Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A. | |
Model checking for malicious family detection and phylogenetic analysis in mobile environment | 1-gen-2020 | Cimino, M. G. C. A.; De Francesco, N.; Mercaldo, F.; Santone, A.; Vaglini, G. | |
Model Checking for Mobile Android Malware Evolution | 1-gen-2017 | Cimitile, A.; Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Vaglini, G. | |
MODEL CHECKING FOR REAL-TIME ATTACK DETECTION IN WATER DISTRIBUTION SYSTEMS|ПРОВЕРКА МОДЕЛИ ДЛЯ ОБНАРУЖЕНИЯ В РЕАЛЬНОМ ВРЕМЕНИ АТАК В СИСТЕМАХ РАСПРЕДЕЛЕНИЯ ВОДЫ | 1-gen-2022 | Mercaldo, F.; Martinelli, F.; Santone, A. | |
Model Checking Multithreaded Programs by means of reduced models | 1-gen-2004 | S., Gradara; Santone, Antonella; G., Vaglini; M. L., Villani | |
Model checking properties on reduced trace systems | 1-gen-2014 | Santone, Antonella; Vaglini, G. | |
Model Checking Techniques applied to Satellite Operational Mode Management | 1-gen-2019 | Nardone, Vittoria; Santone, Antonella; Tipaldi, Massimo; Liuzza, Davide; Glielmo, Luigi | |
Model Checking to Detect the Hummingbad Malware | 1-gen-2019 | Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Vaglini, G. | |
Model Checking to Improve Precision of Design Patterns Instances Identification in OO Systems | 1-gen-2015 | Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella | |
Model Checking to support Action Controls in the Purchasing Process | 1-gen-2016 | Raucci, D; Nardone, V; Santone, Antonella | |
A Model Checking-based Approach to Malicious Family Detection in iOS Environment | 1-gen-2022 | Ciaramella, G.; Iadarola, G.; Martinelli, F.; Mercaldo, F.; Santone, A. | |
Model definition for 3D phenomena describing microclimate through the use of devices for automatic environment’s detection | 1-gen-2009 | Catalano, Pasquale; Fucci, Flavio; Gerbino, Salvatore; Giametta, Ferruccio; LA FIANZA, Giovanna; Simoni, A. | |
A model for a borehole heat exchanger working with CO2 | 1-gen-2014 | R., Mastrullo; A. W., Mauro; L., Menna; Vanoli, GIUSEPPE PETER |
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