Sfoglia per Serie
Safe Decomposition of Startup Requirements: Verification and Synthesis
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
Satisfiability Modulo Transcendental Functions via Incremental Linearization
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
SC^2: Satisfiability Checking Meets Symbolic Computation
2016-01-01 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Search Based Clustering for Protecting Software with Diversified Updates
2016-01-01 Ceccato, Mariano; Falcarin, Paolo; Cabutto, Alessandro; Frezghi, Yosief Weldezghi; Staicu, Cristian Alexandru
Search Based Path and Input Data Generation for Web Application Testing
2017-01-01 Biagiola, Matteo; Ricca, Filippo; Tonella, Paolo
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach
2021-01-01 Ferdous, Raihana; Kifetew, Fitsum; Prandi, Davide; Prasetya, I. S. W. B.; Shirzadehhajimahmood, Samira; Susi, Angelo
Searching for i-Good Lemmas to Accelerate Safety Model Checking
2023-01-01 Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang
Self-supervised Pre-training Enhances Change Detection in Sentinel-2 Imagery
2021-01-01 Leenstra, Marrit; Marcos, Diego; Bovolo, Francesca; Tuia, Devis
Self-Supervision for 3D Real-World Challenges
2020-01-01 Alliegro, Antonio; Boscaini, Davide; Tommasi, Tatiana
Service-Oriented Computing - ICSOC 2018 Workshops
2019-01-01 Liu, Xiao; Mrissa, Michael; Zhang, Liang; Benslimane, Djamal; Ghose, Aditya; Wang, Zhongjie; Bucchiarone, Antonio; Zhang, Wei; Zou, Ying; Yu, Qi
SeXAI: A Semantic Explainable Artificial Intelligence Framework
2020-01-01 Donadello, Ivan; Dragoni, Mauro
Shared and Searchable Encrypted Data for Untrusted Servers
2008-01-01 C., Dong; N., Dulay; Russello, G.
SIMDOMO: A Tool for Long-term Simulations of Ambient-Assisted Living
2014-01-01 Zancanaro, Massimo; Marchesoni, Michele; Armellin, Giampaolo
SocialLink: Linking DBpedia entities to corresponding Twitter accounts
2017-01-01 Nechaev, Yaroslav; Corcoglioniti, Francesco; Giuliano, Claudio
Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview
2021-01-01 Astegher, Maurizio; Busetta, Paolo; Perini, Anna; Susi, Angelo
Stigmergy-based modeling to discover urban activity patterns from positioning data
2017-01-01 Alfeo, Antonio Luca; Cimino, Mario Giovanni; Egidi, Sara; Lepri, Bruno; Pentland, Alex; Vaglini, Gigliola
Stress Modelling Using Transfer Learning in Presence of Scarce Data
2015-01-01 Hernandez Leal, Pablo; Maxhuni, Alban; Sucar, Enrique; Osmani, Venet; Morales, Eduardo F.; Mayora Ibarra, Oscar Arturo
Structural Semantic Models for Automatic Analysis of Land Use
2017-01-01 Barlacchi, Gianni; Rossi, Alberto; Lepri, Bruno; Moschitti, A
SVP-Classifier: Single-View Point Cloud Data Classifier with Multi-view Hallucination
2022-01-01 Saber Mohammadi, Seyed; Wang, Yiming; Taiana, Matteo; Morerio, Pietro; Del Bue, Alessio
Symbolic Model Checking of Relative Safety LTL Properties
2024-01-01 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Safe Decomposition of Startup Requirements: Verification and Synthesis | 1-gen-2020 | Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano | |
Satisfiability Modulo Transcendental Functions via Incremental Linearization | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
SC^2: Satisfiability Checking Meets Symbolic Computation | 1-gen-2016 | Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas | |
Search Based Clustering for Protecting Software with Diversified Updates | 1-gen-2016 | Ceccato, Mariano; Falcarin, Paolo; Cabutto, Alessandro; Frezghi, Yosief Weldezghi; Staicu, Cristian Alexandru | |
Search Based Path and Input Data Generation for Web Application Testing | 1-gen-2017 | Biagiola, Matteo; Ricca, Filippo; Tonella, Paolo | |
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach | 1-gen-2021 | Ferdous, Raihana; Kifetew, Fitsum; Prandi, Davide; Prasetya, I. S. W. B.; Shirzadehhajimahmood, Samira; Susi, Angelo | |
Searching for i-Good Lemmas to Accelerate Safety Model Checking | 1-gen-2023 | Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang | |
Self-supervised Pre-training Enhances Change Detection in Sentinel-2 Imagery | 1-gen-2021 | Leenstra, Marrit; Marcos, Diego; Bovolo, Francesca; Tuia, Devis | |
Self-Supervision for 3D Real-World Challenges | 1-gen-2020 | Alliegro, Antonio; Boscaini, Davide; Tommasi, Tatiana | |
Service-Oriented Computing - ICSOC 2018 Workshops | 1-gen-2019 | Liu, Xiao; Mrissa, Michael; Zhang, Liang; Benslimane, Djamal; Ghose, Aditya; Wang, Zhongjie; Bucchiarone, Antonio; Zhang, Wei; Zou, Ying; Yu, Qi | |
SeXAI: A Semantic Explainable Artificial Intelligence Framework | 1-gen-2020 | Donadello, Ivan; Dragoni, Mauro | |
Shared and Searchable Encrypted Data for Untrusted Servers | 1-gen-2008 | C., Dong; N., Dulay; Russello, G. | |
SIMDOMO: A Tool for Long-term Simulations of Ambient-Assisted Living | 1-gen-2014 | Zancanaro, Massimo; Marchesoni, Michele; Armellin, Giampaolo | |
SocialLink: Linking DBpedia entities to corresponding Twitter accounts | 1-gen-2017 | Nechaev, Yaroslav; Corcoglioniti, Francesco; Giuliano, Claudio | |
Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview | 1-gen-2021 | Astegher, Maurizio; Busetta, Paolo; Perini, Anna; Susi, Angelo | |
Stigmergy-based modeling to discover urban activity patterns from positioning data | 1-gen-2017 | Alfeo, Antonio Luca; Cimino, Mario Giovanni; Egidi, Sara; Lepri, Bruno; Pentland, Alex; Vaglini, Gigliola | |
Stress Modelling Using Transfer Learning in Presence of Scarce Data | 1-gen-2015 | Hernandez Leal, Pablo; Maxhuni, Alban; Sucar, Enrique; Osmani, Venet; Morales, Eduardo F.; Mayora Ibarra, Oscar Arturo | |
Structural Semantic Models for Automatic Analysis of Land Use | 1-gen-2017 | Barlacchi, Gianni; Rossi, Alberto; Lepri, Bruno; Moschitti, A | |
SVP-Classifier: Single-View Point Cloud Data Classifier with Multi-view Hallucination | 1-gen-2022 | Saber Mohammadi, Seyed; Wang, Yiming; Taiana, Matteo; Morerio, Pietro; Del Bue, Alessio | |
Symbolic Model Checking of Relative Safety LTL Properties | 1-gen-2024 | Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco |
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