Sfoglia per Titolo
Model Theoretic Semantics for Information Integration
1998-01-01 Ghidini, Chiara; Serafini, Luciano
Model, Validation, and Characterization of a Robust Quantum Random Number Generator Based on Photon Arrival Time Comparison
2018-01-01 Tomasi, Alessandro; Meneghetti, Alessio; Massari, Nicola; Gasparini, Leonardo; Rucatti, Daniele; Xu, Hesong
Model-based Analysis Support for Dependable Complex Systems in CHESS
2021-01-01 Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Model-Based Codesign of Critical Embedded Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Model-Based Comprehensive Analysis of School Closure Policies for Mitigating Influenza Epidemics and Pandemics
2016-01-01 Fumanelli, Laura; Ajelli, Marco; Merler, Stefano; Ferguson, Neil M; Cauchemez, Simon
Model-Based Design of an Energy-System Embedded Controller Using Taste
2016-01-01 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Model-based evaluation of alternative reactive class closure strategies against COVID-19
2022-01-01 Liu, Quan-Hui; Zhang, Juanjuan; Peng, Cheng; Litvinova, Maria; Huang, Shudong; Poletti, Piero; Trentini, Filippo; Guzzetta, Giorgio; Marziano, Valentina; Zhou, Tao; Viboud, Cecile; Bento, Ana I; Lv, Jiancheng; Vespignani, Alessandro; Merler, Stefano; Yu, Hongjie; Ajelli, Marco
Model-based Player Experience Testing with Emotion Pattern Verification
2023-01-01 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
2019-01-01 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Model-Based Safety Analysis of Mode Transitions
2020-01-01 Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova
Model-Based Safety and Assessment
2017-01-01 Bozzano, Marco; Papadopoulos, Yiannis
Model-Based Safety and Assessment
2019-01-01 Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco
Model-based Safety Assessment of a Triple Modular Generator with XSAP
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian
A Model-based Security Toolkit for the Internet of Things
2014-01-01 Neisse, Ricardo; Nai Fovino, Igor; Baldini, Gianmarco; Vera, Stavroulaki; Panagiotis, Vlacheas; Giaffreda, Raffaele
Model-Checking Driven Security Testing of Web-Based Applications
2010-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino
Model-checking memory requirements of resource-bounded reasoners
2006-01-01 Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano
A Model-Driven Approach Towards Automatic Migration to Microservices
2020-01-01 Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio
A Model-Driven Solution to Support Smart Mobility Planning
2018-01-01 Bucchiarone, Antonio; Cicchetti, Antonio
Model-independent search for the presence of new physics in events including H → γγ with √s = 13 TeV pp data recorded by the ATLAS detector at the LHC
2023-01-01 Atlas, Collaboration; Di Luca, A; Cristoforetti, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Model Theoretic Semantics for Information Integration | 1-gen-1998 | Ghidini, Chiara; Serafini, Luciano | |
| Model, Validation, and Characterization of a Robust Quantum Random Number Generator Based on Photon Arrival Time Comparison | 1-gen-2018 | Tomasi, Alessandro; Meneghetti, Alessio; Massari, Nicola; Gasparini, Leonardo; Rucatti, Daniele; Xu, Hesong | |
| Model-based Analysis Support for Dependable Complex Systems in CHESS | 1-gen-2021 | Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto | |
| A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System | 1-gen-2020 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo | |
| Model-Based Codesign of Critical Embedded Systems | 1-gen-2009 | Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco | |
| Model-Based Comprehensive Analysis of School Closure Policies for Mitigating Influenza Epidemics and Pandemics | 1-gen-2016 | Fumanelli, Laura; Ajelli, Marco; Merler, Stefano; Ferguson, Neil M; Cauchemez, Simon | |
| Model-Based Design of an Energy-System Embedded Controller Using Taste | 1-gen-2016 | Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano | |
| Model-based evaluation of alternative reactive class closure strategies against COVID-19 | 1-gen-2022 | Liu, Quan-Hui; Zhang, Juanjuan; Peng, Cheng; Litvinova, Maria; Huang, Shudong; Poletti, Piero; Trentini, Filippo; Guzzetta, Giorgio; Marziano, Valentina; Zhou, Tao; Viboud, Cecile; Bento, Ana I; Lv, Jiancheng; Vespignani, Alessandro; Merler, Stefano; Yu, Hongjie; Ajelli, Marco | |
| Model-based Player Experience Testing with Emotion Pattern Verification | 1-gen-2023 | Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele | |
| Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems | 1-gen-2019 | Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano | |
| Model-Based Safety Analysis of Mode Transitions | 1-gen-2020 | Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova | |
| Model-Based Safety and Assessment | 1-gen-2017 | Bozzano, Marco; Papadopoulos, Yiannis | |
| Model-Based Safety and Assessment | 1-gen-2019 | Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco | |
| Model-based Safety Assessment of a Triple Modular Generator with XSAP | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian | |
| A Model-based Security Toolkit for the Internet of Things | 1-gen-2014 | Neisse, Ricardo; Nai Fovino, Igor; Baldini, Gianmarco; Vera, Stavroulaki; Panagiotis, Vlacheas; Giaffreda, Raffaele | |
| Model-Checking Driven Security Testing of Web-Based Applications | 1-gen-2010 | Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino | |
| Model-checking memory requirements of resource-bounded reasoners | 1-gen-2006 | Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano | |
| A Model-Driven Approach Towards Automatic Migration to Microservices | 1-gen-2020 | Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio | |
| A Model-Driven Solution to Support Smart Mobility Planning | 1-gen-2018 | Bucchiarone, Antonio; Cicchetti, Antonio | |
| Model-independent search for the presence of new physics in events including H → γγ with √s = 13 TeV pp data recorded by the ATLAS detector at the LHC | 1-gen-2023 | Atlas, Collaboration; Di Luca, A; Cristoforetti, M. |
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