Research
Themes
My research domain
deal with reliability and design of computer systems.
I had the opportunity to
work about formal validation of communication
protocols, integration
between MDE (Model Driven Engineering) tools and
ontologies, design of
collaboative applications.
Ma current work deals with
security models for component applications, with
emphasis on OSGi. Security
means both protection again attacks a system can
suffer from, and
reliability against ponctual errors or excessive use of
resources.
OSGi Security
Publications.