Sfoglia per Titolo
A Formal IDE for Railways: Research Challenges
2023-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
Formal instruction vs informal exposure. What matters more for teenagers’ acquisition of English as a second language?
2022-01-01 Azzolini, D.; Campregher, S.; Madia, J. E.
Formal Methods for Aerospace Systems
2017-01-01 Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
Formal Methods for Hardware Verification
2006-01-01 Marco, Bernardo; Cimatti, Alessandro
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
2010-01-01 Stefan, Kowalewski; Roveri, Marco
Formal Methods for Service Composition
2007-01-01 Bucchiarone, Antonio; M., ter Beek; S., Gnesi
Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008
2008-01-01 Cimatti, Alessandro; Robert B., Jones
Formal modeling and automatic enforcement of Bring Your Own Device policies
2014-01-01 Armando, Alessandro; Costa, G.; Merlo, A.; Verderame, L.
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols
2013-01-01 Armando, Alessandro; Carbone, Roberto; L., Zanetti
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, G.; Merlo, A.
Formal Modeling and Verification of the Android Security Framework
2012-01-01 Armando, Alessandro; G., Costa; A., Merlo
Formal Modeling of Clinical Processes: Experiments in Oncology and Future Perspectives
2009-01-01 Eccher, Claudio; Antonella, Ferro; Domenico M., Pisanelli
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud
2022-01-01 Berlato, Stefano; Carbone, Roberto; Lee, Adam J.; Ranise, Silvio
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
2014-01-01 Armando, Alessandro; Oudkerk, S.; Ranise, Silvio; Wrona, K.
Formal Procedural Security Modeling and Analysis
2008-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal reliability analysis of redundant architectures
2019-01-01 Bozzano, M.; Cimatti, A.; Mattarei, C.
Formal Safety Assessment via Contract-Based Design.
2014-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
Formal Specification and Analysis of an e-Voting System
2010-01-01 Weldemariam, Komminist Sisai; Richard, Kemmerer; Villafiorita Monteleone, Adolfo
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach
2009-01-01 Armando, Alessandro; Giunchiglia, E.; Ponta, S. E.
Formal Specification and Development of a Safety-Critical Train Management
1999-01-01 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
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