Sfoglia per Titolo
Satisfiability solving for software verification
2009-01-01 D., Deharbe; Ranise, Silvio
Satisfiability solving for software verification
2009-01-01 D., Déharbe; Ranise, Silvio
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview
2011-01-01 Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna
SATMC: a SAT-based Model Checker for Security Protocols
2004-01-01 Armando, Alessandro; Compagna, L.
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
2016-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Saturation effects in SIDIS at very forward rapidities
2021-01-01 Iancu, E.; Mueller, A. H.; Triantafyllopoulos, D.; Wei, S.
SAX: Generating Hypertext from SADT Models
1997-01-01 Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti
SAX: Manuale d'uso del prototipo esteso
1997-01-01 Pianta, Emanuele; G., Kamstrup
SAX: Specifiche del prototipo esteso
1997-01-01 Pianta, Emanuele; G., Kamstrup
SBFR: A Search-Based Approach for Reproducing Failures of Programs with Grammar Based Input
2013-01-01 Kifetew, Fitsum Meshesha; Wei, Jin; Tiella, Roberto; Alessandro, Orso; Tonella, Paolo
Sbornie sacre, sbornie profane. L'ubriachezza dal Vecchio al Nuovo Mondo
2018-01-01 Ferlan, Claudio
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
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control
2014-01-01 Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro
Scalable Automated Analysis of Access Control and Privacy Policies
2017-01-01 Truong, Anh; Ranise, Silvio; Nguyen, Thanh Tung
Scalable Automated Proving and Debugging of Set-Based Specfications
2004-01-01 Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving
2012-01-01 Armando, Alessandro; Ranise, Silvio
Scalable Cycle-Breaking Algorithms for Gigabit Ethernet Backbones
2004-01-01 De Pellegrini, Francesco; Starobinski, David; Karpovsky, Mark G.; Levitin, Lev B.
Scalable Design Space Exploration for the Synthesis of Redundant Architectures
2023-01-01 Tierno, Antonio; Turri, Giuliano; Cimatti, Alessandro; Passerone, Roberto
A scalable distributed architecture towards unifying IoT applications
2014-01-01 Sarkar, C.; Nambi, A.; Prasad, V.; Rahim, MD Abdur
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Satisfiability solving for software verification | 1-gen-2009 | D., Deharbe; Ranise, Silvio | |
Satisfiability solving for software verification | 1-gen-2009 | D., Déharbe; Ranise, Silvio | |
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview | 1-gen-2011 | Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna | |
SATMC: a SAT-based Model Checker for Security Protocols | 1-gen-2004 | Armando, Alessandro; Compagna, L. | |
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs | 1-gen-2016 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
Saturation effects in SIDIS at very forward rapidities | 1-gen-2021 | Iancu, E.; Mueller, A. H.; Triantafyllopoulos, D.; Wei, S. | |
SAX: Generating Hypertext from SADT Models | 1-gen-1997 | Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti | |
SAX: Manuale d'uso del prototipo esteso | 1-gen-1997 | Pianta, Emanuele; G., Kamstrup | |
SAX: Specifiche del prototipo esteso | 1-gen-1997 | Pianta, Emanuele; G., Kamstrup | |
SBFR: A Search-Based Approach for Reproducing Failures of Programs with Grammar Based Input | 1-gen-2013 | Kifetew, Fitsum Meshesha; Wei, Jin; Tiella, Roberto; Alessandro, Orso; Tonella, Paolo | |
Sbornie sacre, sbornie profane. L'ubriachezza dal Vecchio al Nuovo Mondo | 1-gen-2018 | Ferlan, Claudio | |
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 | |
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control | 1-gen-2014 | Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro | |
Scalable Automated Analysis of Access Control and Privacy Policies | 1-gen-2017 | Truong, Anh; Ranise, Silvio; Nguyen, Thanh Tung | |
Scalable Automated Proving and Debugging of Set-Based Specfications | 1-gen-2004 | Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio | |
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving | 1-gen-2012 | Armando, Alessandro; Ranise, Silvio | |
Scalable Cycle-Breaking Algorithms for Gigabit Ethernet Backbones | 1-gen-2004 | De Pellegrini, Francesco; Starobinski, David; Karpovsky, Mark G.; Levitin, Lev B. | |
Scalable Design Space Exploration for the Synthesis of Redundant Architectures | 1-gen-2023 | Tierno, Antonio; Turri, Giuliano; Cimatti, Alessandro; Passerone, Roberto | |
A scalable distributed architecture towards unifying IoT applications | 1-gen-2014 | Sarkar, C.; Nambi, A.; Prasad, V.; Rahim, MD Abdur |
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