Yacine Kissoum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2007–2014
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | MEDI | Modeling a Smart Home for Elderly. | Yacine Kissoum, Ramdane Maamri, Zadi Sahnoun |
| 2013 | AICCSA | Towards modeling and verification of smart homes. | Yacine Kissoum, Ramdane Maamri, Zadi Sahnoun |
| 2012 | AIMSA | Modeling Smart Home Using the Paradigm of Nets within Nets. | Yacine Kissoum, Ramdane Maamri, Zadi Sahnoun |
| 2009 | RCIS | An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. | Yacine Kissoum, Zadi Sahnoun, Kamel Barkaoui |
| 2008 | AICCSA | A Recursive Colored Petri Nets semantics for AUML as base of test case generation. | Yacine Kissoum, Zadi Sahnoun |
| 2007 | AICCSA | A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems. | Yacine Kissoum, Zadi Sahnoun |