Amine Raji
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2009–2011
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | APSEC | Use Cases Modeling for Scalable Model-Checking. | Amine Raji, Philippe Dhaussy |
| 2011 | MODELS | Use Cases for Context Aware Model-Checking. | Amine Raji, Philippe Dhaussy |
| 2011 | MODELS | Improving formal verification practicability through user oriented models and context-awareness. | Amine Raji, Philippe Dhaussy |
| 2009 | ISORC | From Requirements to Code Revisited. | Tewfik Ziadi, Xavier Blanc, Amine Raji |
| 2009 | MODELS | 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 |