Amine Raji

According to our database, Amine Raji authored at least 9 papers between 2009 and 2018.

Collaborative distances:

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

2018

Modelling cyber-attacks: a survey study.

Yassine Ayrour, Amine Raji, Mahmoud Nassar

Netw. Secur., 2018

2012

Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués. (Integrating Formal Verification Techniques into Software Development Process for Embedded Systems).

Amine Raji

PhD thesis, 2012

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry

Tech. Sci. Informatiques, 2012

2011

Improving formal verification practicability through user oriented models and context-awareness.

Amine Raji, Philippe Dhaussy

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Use Cases for Context Aware Model-Checking.

Amine Raji, Philippe Dhaussy

Proceedings of the Models in Software Engineering, 2011

Use Cases Modeling for Scalable Model-Checking.

Amine Raji, Philippe Dhaussy

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

User Context Models - A Framework to Ease Software Formal Verifications.

Amine Raji, Philippe Dhaussy

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.

Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry

Proceedings of the Model Driven Engineering Languages and Systems, 2009

From Requirements to Code Revisited.

Tewfik Ziadi, Xavier Blanc, Amine Raji

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009