Sfoglia per Autore
MCMT: A model checker modulo theories
2010-01-01 Ghilardi, S.; Ranise, S.
Automated support for the design and validation of fault tolerant Parameterized systems: A case study
2010-01-01 Alberti, F.; Ghilardi, S.; Pagani, E.; Ranise, S.; Rossi, G. P.
Automated validation of security-sensitive web services specified in BPEL and RBAC
2010-01-01 Calvi, A.; Ranise, S.; Vigano, L.
Combination of convex theories: Modularity, deduction completeness, and explanation
2010-01-01 Tran, D. -K.; Ringeissen, C.; Ranise, S.; Kirchner, H.
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study
2010-01-01 Alberti, F; Ghilardi, S; Pagani, E; Ranise, S; Rossi, Gp
WSSMT: Towards the automated analysis of security-sensitive services and applications
2010-01-01 Barletta, M.; Calvi, A.; Ranise, S.; Vigano, L.; Zanetti, L.
Backward reachability of array-based systems by smt solving: Termination and invariant synthesis
2010-01-01 Silvio, G.; Ranise, S.
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints
2011-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
The SMT-LIB Initiative and the Rise of SMT: (HVC 2010 Award Talk)
2011-01-01 Barrett, C.; de Moura, L.; Ranise, S.; Stump, A.; Tinelli, C.
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies
2011-01-01 Alberti, F.; Armando, A.; Ranise, S.
Rewriting-based quantifier-free interpolation for a theory of arrays
2011-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
ASASP: Automated Symbolic Analysis of Security Policies
2011-01-01 Alberti, F; Armando, A; Ranise, S
Automated Symbolic Analysis of ARBAC-Policies
2011-01-01 Armando, A; Ranise, S
Automated analysis of semantic-aware access control policies: A logic-based approach
2011-01-01 Armando, A.; Carbone, R.; Ranise, S.
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures
2011-01-01 Barletta, M.; Ranise, S.; Vigano, L.
Automatic decidability and combinability
2011-01-01 Lynch, C.; Ranise, S.; Ringeissen, C.; Tran, D. -K.
Workflow and access control reloaded: A declarative specification framework for the automated analysis of web services
2011-01-01 Barletta, M.; Calvi, A.; Ranise, S.; Vigano, L.; Zanetti, L.
SAFARI: SMT-based abstraction for arrays with interpolants
2012-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, S.; Sharygina, N.
Automated analysis of parametric timing-based mutual exclusion algorithms
2012-01-01 Bruttomesso, R.; Carioni, A.; Ghilardi, S.; Ranise, S.
Lazy abstraction with interpolants for arrays
2012-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, S.; Sharygina, N.
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