Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique
2019-01-01 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
A combined support vector machine and support vector representation machine method for production control
2019-01-01 Acernese, A.; Del Vecchio, C.; Glielmo, L.; Fenu, G.; Pellegrino, F. A.
Control of switched boolean control networks by state feedback
2019-01-01 Yerudkar, A.; Del Vecchio, C.; Glielmo, L.
Subspace and coordinate transformation for boolean control networks using binary logic
2019-01-01 Sarda, K.; Yerudkar, A.; Del Vecchio, C.; Glielmo, L.; Singh, N.
Storage constrained smart meter sensing using semi-tensor product
2019-01-01 Joshi, A.; Yerudkar, A.; Del Vecchio, C.; Glielmo, L.
Output tracking control of probabilistic boolean control networks
2019-01-01 Yerudkar, Amol Kerba; Del, Vecchio; Glielmo, Luigi
Condition Based Maintenance for Industrial Labeling Machine
2019-01-01 Acernese, A.; Del Vecchio, C.; Tipaldi, M.; Glielmo, L.
Repadiography: Towards a visual support for triaging repackaged ApPs
2020-01-01 Canfora, G.; Caruso, S.; Di Sorbo, A.; Fucci, M.; Laudanna, S.; Visaggio, C. A.
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities
2014-01-01 Aniello, L.; Bondavalli, A.; Ceccarelli, A.; Ciccotelli, C.; Cinque, M.; Frattini, F.; Guzzo, A.; Pecchia, A.; Pugliese, A.; Querzoni, L.; Russo, S.
Stochastic simulation of delay-Doppler maps for GNSS-R
2015-01-01 Addabbo, P.; Beltramonte, T.; D'Addio, S.; Di Bisceglie, M.; Galdi, C.; Giangregorio, G.; Ullo, S. L.
A fiber optic sensors system for load monitoring on aircraft landing gears
2019-01-01 Iele, A.; Leone, M.; Consales, M.; Persiano, G. V.; Brindisi, A.; Ameduri, S.; Concilio, A.; Ciminello, M.; Apicella, A.; Bocchetto, F.; Cusano, A.
Smart Tourism System in Calabria
2021-01-01 De Maio, Annarita; Ferone, Daniele; Fersini, Elisabetta; Messina, Vincenzina; Santoro, Francesco; Violi, Antonio
Native ads effectiveness throughout the customer journey: an explorative research
2019-01-01 D'Arco, Mario; Marino, Vittoria; Resciniti, Riccardo
How does Industry 4.0 transform manufacturing activities, workers performance and supply chain? Evidence from Italian steel industry
2020-01-01 D’Arco, M.; Branca, G.; Marino, V.; Resciniti, R.
How Artificial Intelligence impacts on Customer Experience
2019-01-01 Resciniti, Riccardo; Branca, Generoso
Discovering hidden errors from application log traces with process mining
2019-01-01 Cinque, M.; Corte, R. D.; Pecchia, A.
RT-cases: Container-based virtualization for temporally separated mixed-criticality task sets
2019-01-01 Cinque, M.; Della Corte, R.; Eliso, A.; Pecchia, A.
Challenges and Directions in Security Information and Event Management (SIEM)
2018-01-01 Cinque, Marcello; Cotroneo, Domenico; Pecchia, Antonio
An Exploratory Study on Zeroconf Monitoring of Microservices Systems
2018-01-01 Cinque, M.; Della Corte, R.; Iorio, R.; Pecchia, A.
Contextual Anomaly Detection for a Critical Industrial System Based on Logs and Metrics
2018-01-01 Farshchi, M.; Weber, I.; Pecchia, A.; Cinque, M.; Della Corte, R.; Schneider, J. -G.; Grundy, J.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique | 1-gen-2019 | Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A. | |
| A combined support vector machine and support vector representation machine method for production control | 1-gen-2019 | Acernese, A.; Del Vecchio, C.; Glielmo, L.; Fenu, G.; Pellegrino, F. A. | |
| Control of switched boolean control networks by state feedback | 1-gen-2019 | Yerudkar, A.; Del Vecchio, C.; Glielmo, L. | |
| Subspace and coordinate transformation for boolean control networks using binary logic | 1-gen-2019 | Sarda, K.; Yerudkar, A.; Del Vecchio, C.; Glielmo, L.; Singh, N. | |
| Storage constrained smart meter sensing using semi-tensor product | 1-gen-2019 | Joshi, A.; Yerudkar, A.; Del Vecchio, C.; Glielmo, L. | |
| Output tracking control of probabilistic boolean control networks | 1-gen-2019 | Yerudkar, Amol Kerba; Del, Vecchio; Glielmo, Luigi | |
| Condition Based Maintenance for Industrial Labeling Machine | 1-gen-2019 | Acernese, A.; Del Vecchio, C.; Tipaldi, M.; Glielmo, L. | |
| Repadiography: Towards a visual support for triaging repackaged ApPs | 1-gen-2020 | Canfora, G.; Caruso, S.; Di Sorbo, A.; Fucci, M.; Laudanna, S.; Visaggio, C. A. | |
| Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities | 1-gen-2014 | Aniello, L.; Bondavalli, A.; Ceccarelli, A.; Ciccotelli, C.; Cinque, M.; Frattini, F.; Guzzo, A.; Pecchia, A.; Pugliese, A.; Querzoni, L.; Russo, S. | |
| Stochastic simulation of delay-Doppler maps for GNSS-R | 1-gen-2015 | Addabbo, P.; Beltramonte, T.; D'Addio, S.; Di Bisceglie, M.; Galdi, C.; Giangregorio, G.; Ullo, S. L. | |
| A fiber optic sensors system for load monitoring on aircraft landing gears | 1-gen-2019 | Iele, A.; Leone, M.; Consales, M.; Persiano, G. V.; Brindisi, A.; Ameduri, S.; Concilio, A.; Ciminello, M.; Apicella, A.; Bocchetto, F.; Cusano, A. | |
| Smart Tourism System in Calabria | 1-gen-2021 | De Maio, Annarita; Ferone, Daniele; Fersini, Elisabetta; Messina, Vincenzina; Santoro, Francesco; Violi, Antonio | |
| Native ads effectiveness throughout the customer journey: an explorative research | 1-gen-2019 | D'Arco, Mario; Marino, Vittoria; Resciniti, Riccardo | |
| How does Industry 4.0 transform manufacturing activities, workers performance and supply chain? Evidence from Italian steel industry | 1-gen-2020 | D’Arco, M.; Branca, G.; Marino, V.; Resciniti, R. | |
| How Artificial Intelligence impacts on Customer Experience | 1-gen-2019 | Resciniti, Riccardo; Branca, Generoso | |
| Discovering hidden errors from application log traces with process mining | 1-gen-2019 | Cinque, M.; Corte, R. D.; Pecchia, A. | |
| RT-cases: Container-based virtualization for temporally separated mixed-criticality task sets | 1-gen-2019 | Cinque, M.; Della Corte, R.; Eliso, A.; Pecchia, A. | |
| Challenges and Directions in Security Information and Event Management (SIEM) | 1-gen-2018 | Cinque, Marcello; Cotroneo, Domenico; Pecchia, Antonio | |
| An Exploratory Study on Zeroconf Monitoring of Microservices Systems | 1-gen-2018 | Cinque, M.; Della Corte, R.; Iorio, R.; Pecchia, A. | |
| Contextual Anomaly Detection for a Critical Industrial System Based on Logs and Metrics | 1-gen-2018 | Farshchi, M.; Weber, I.; Pecchia, A.; Cinque, M.; Della Corte, R.; Schneider, J. -G.; Grundy, J. |
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
- 4 Contributo in Atti di Convegno ...5024
Data di pubblicazione
- In corso di stampa15
- 2020 - 2026698
- 2010 - 20191904
- 2000 - 20091774
- 1990 - 1999521
- 1981 - 1989112
Editore
- Institute of Electrical and Elect...253
- IEEE239
- IEEE Computer Society185
- ACM54
- Springer Science and Business Med...42
- IEEE CS Press40
- IEEE Comp. Soc. Press39
- Springer36
- IMEKO Secretariat29
- Elsevier B.V.27
Rivista
- IEEE INTERNATIONAL GEOSCIENCE AND...26
- JOURNAL OF PHYSICS. CONFERENCE SE...25
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- CONFERENCE PROCEEDINGS - IEEE INS...14
- LECTURE NOTES IN COMPUTER SCIENCE14
- ...SUMMER SCHOOL FRANCESCO TURCO....11
- COMPUTER-AIDED CHEMICAL ENGINEERING11
- IMEKO TC4 INTERNATIONAL SYMPOSIUM11
- AIP CONFERENCE PROCEEDINGS9
- PROCEDIA COMPUTER SCIENCE8
Serie
- LECTURE NOTES IN CIVIL ENGINEERING19
- CONFERENCE PROCEEDINGS - IEEE INS...15
- EUROMED ACADEMY OF BUSINESS CONFE...13
- LECTURE NOTES IN COMPUTER SCIENCE12
- IFAC-PAPERSONLINE11
- COMMUNICATIONS IN COMPUTER AND IN...10
- AIP CONFERENCE PROCEEDINGS9
- CD PROCEEDINGS-DUBROVNIK CONFEREN...9
- LECTURE NOTES IN ARTIFICIAL INTEL...8
- FIB SYMPOSIUM PROCEEDINGS7
Keyword
- Measurement41
- measurement33
- Southern Italy29
- switched systems26
- GIS24
- power converters21
- Software20
- Deep Learning19
- Geomorfologia19
- Geomorphology19
Lingua
- eng3671
- ita618
- fre11
- spa2
- chi1
- mul1
- por1
- und1
Accesso al fulltext
- no fulltext4501
- reserved523