Amine Raji

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 1

Top Topics

Countermeasures

Formal Analysis

Top Venues

Tech. Sci. Informatiques

University of Southern Brittany, Morbihan, France (PHD)

Education History

University of Southern Brittany, Morbihan, France

PHD

Publications

Yassine Ayrour, Amine Raji, Mahmoud Nassar
Modelling cyber-attacks: a survey study. Netw. Secur. 2018 (3) (2018)
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Tech. Sci. Informatiques 31 (6) (2012)
Amine Raji, Philippe Dhaussy
Use Cases Modeling for Scalable Model-Checking. APSEC (2011)
Amine Raji, Philippe Dhaussy
Use Cases for Context Aware Model-Checking. MoDELS (Workshops) (2011)
Amine Raji, Philippe Dhaussy
Improving formal verification practicability through user oriented models and context-awareness. MoDeVVa@MoDELS (2011)
Amine Raji, Philippe Dhaussy
User Context Models - A Framework to Ease Software Formal Verifications. ICEIS (3) (2010)
Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS (2009)
Tewfik Ziadi, Xavier Blanc, Amine Raji
From Requirements to Code Revisited. ISORC (2009)