Sfoglia per Titolo
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability checking and symbolic computation
2016-01-01 Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Satisfiability Modulo the Theory of Costs: Foundations and Applications
2010-01-01 Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico
Satisfiability Modulo Transcendental Functions via Incremental Linearization
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption | 1-gen-2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Satisfiability checking and symbolic computation | 1-gen-2016 | Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M. | |
Satisfiability for Propositional Contexts | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
Satisfiability for Propositional Contexts | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
Satisfiability Modulo the Theory of Costs: Foundations and Applications | 1-gen-2010 | Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico | |
Satisfiability Modulo Transcendental Functions via Incremental Linearization | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
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 |
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