Katerina Barone-Adesi

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
A model checking-based approach for security policy verification of mobile systems. Formal Aspects Comput. 23 (5) (2011)
Katerina Barone-Adesi, Michele Lanza
ScheMoose - Supporting a Functional Language in Moose. FAMOOSr@TOOLS (2007)
Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
Automated Verification of Security Policies in Mobile Code. IFM (2007)