Katerina Barone-Adesi

According to our database, Katerina Barone-Adesi authored at least 3 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A model checking-based approach for security policy verification of mobile systems.

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Formal Aspects Comput., 2011

2007

Automated Verification of Security Policies in Mobile Code.

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

ScheMoose - Supporting a Functional Language in Moose.

Katerina Barone-Adesi, Michele Lanza

Proceedings of the 1st Workshop on FAMIX and Moose in Reengineering, 2007