ScheMoose - Supporting a Functional Language in Moose. - Katerina Barone-Adesi; Michele Lanza 001 (FAMOOSr@TOOLS, 2007)

Automated Verification of Security Policies in Mobile Code. - Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi (IFM, 2007)

A model checking-based approach for security policy verification of mobile systems. - Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi (Formal Aspects Comput., 2011)