Vitor Lima

According to our database, Vitor Lima authored at least 6 papers between 2009 and 2015.

Collaborative distances:

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

2015

Aspect-Oriented Security Hardening of UML Design Models

Djedjiga Mouheb, Mourad Debbabi, Makan Pourzandi, Lingyu Wang, Mariam Nouh, Raha Ziarati, Dima Alhadidi, Chamseddine Talhi, Vitor Lima

Springer, ISBN: 978-3-319-16106-8, 2015

2010

Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML.

Djedjiga Mouheb, Chamseddine Talhi, Mariam Nouh, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi

Proceedings of the Software Engineering Research, 2010

2009

Usability of Security Specification Approaches for UML Design: A Survey.

Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi

J. Object Technol., 2009

Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages.

Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation.

Djedjiga Mouheb, Chamseddine Talhi, Azzam Mourad, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Weaving security aspects into UML 2.0 design models.

Djedjiga Mouheb, Chamseddine Talhi, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi

Proceedings of the 13th workshop on Aspect-oriented modeling, 2009