|
|
Liste des publications
2006
Revue Internationale avec comité de lecture
-
-
-
-
-
-
-
-
-
[ ]
R. Laleau , S. Vignes , Y. Ledru , M. Lemoine , D. Bert , , C. Dubois , F. Peureux -
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards,
Software Process: Improvement and Practice,
vol. 11(5), pp. 487503,
2006
-
-
-
-
Revue Nationale avec comité de lecture
-
-
-
-
-
-
-
Conférence Internationale avec comité de lecture
-
-
-
-
[ ]
N. Bouteldja , V. Gouet-Brunet , M. Scholl -
Evaluation of strategies for multiple sphere queries with local image descriptors,
IS&T/SPIE Conference on Multimedia Content Analysis, Management, and Retrieval, San Jose CA, USA,
January 2006,
Vol. 6073,
pp.A1-12,
-
[ ]
D. Delahaye , J. Etienne , V. Viguie Donzeau-Gouge -
Certifying Airport Security Regulations using the Focal Environment,
FM'06: 14th Symposium on Formal Methods, Hamilton, Canada,
January 2006,
Vol. 4085,
pp.48-63,
Series LNCS,
-
[ ]
F. Gervais , P. Batanado , M. Frappier , R. Laleau -
EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions,
ICEIS'06, Paphos, Chypre,
January 2006,
pp.44-51,
Series ISAS,
-
-
[ ]
R. Andrade Botelho de Almeida , P. Cubaud , J. Dupire , S. Natkin , A. Topol -
Experiments towards 3D Immersive Interaction for Digital Libraries,
Edutainment'06, Int. Conf. on E-learning and Games. Zhejiang University, Hangzhou, China,
January 2006,
pp.1348-1357,
Series LNCS ,
-
-
-
-
-
-
-
-
-
-
-
-
[ ]
S. Blazy , X. Leroy , Z. Dargaye -
Formal verification of a C compiler front-end,
FM'06: 14th Symposium on Formal Methods, Hamilton, Canada,
January 2006,
Vol. 4085,
pp.460-475,
Series LNCS,
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[ ]
Y. Ledru , R. Laleau , M. Lemoine , S. Vignes , D. Bert , , C. Dubois , F. Peureux -
An attempt to combine UML and formal methods to model airport security,
CAISEÂ06 Forum,
January 2006,
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[ ]
A. Hicheur , K. Barkaoui , N. Boudiaf -
Modeling Workflows with Recursive ECATNets,
SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania,
January 2006,
pp.389-398,
Series IEEE,
-
-
[ ]
K. Barkaoui , A. Cavalcanti , A. Cerone -
Theoretical Aspects of Computing,
ICTAC'06, 3rd International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia,
January 2006,
Vol. 4281(2006),
Series LNCS,
-
[ ]
N. Boudiaf , K. Barkaoui , A. Chaoui -
Applying Reduction Rules to ECATNets,
AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria,
January 2006,
pp.42-55,
Series ENTCS,
-
-
Conférence Nationale avec comité de lecture
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[ ]
M. Plasse , N. Niang Keita , G. Saporta , A. Villeminot , L. Leblond -
Méthodes de classification pour l'extraction de règles,
SFC'06 Rencontres de la Société Francophone de Classification, Metz, France,
January 2006,
pp.4,
-
-
-
-
-
-
-
-
[ ]
Z. Sbai , R. Ben Ayed , K. Barkaoui -
Vers l'analyse des processus d'entreprise jPdl fondée sur les réseaux de Petri,
GEI'06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie Ãlectrique et Informatique, Hammamet, Tunisia,
January 2006,
pp.171-181,
Series CPU Ed.,
-
[ ]
H. Zayani , R. Ben Ayed , K. Djouani , K. Barkaoui -
Etude de protocole MAC dans les réseaux de capteurs sans fil,
GEIÂ06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie Ãlectrique et Informatique, Hammamet, Tunisia,
January 2006,
pp.63-71,
Series CPU Ed.,
-
-
-
-
Conférences invitées
-
-
Conférences Internationales sans actes
-
-
Conférences Nationales sans actes
-
-
Livre
-
-
Directions d'ouvrages scientifiques
-
-
-
-
[ ]
J. F. Roddick , V. Richard Benjamins , S. Si-Said Cherfi , R. H. L. Chiang , C. Claramunt , R. Elmasri , F. Grandi , H. Han , Martin -
Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops,
January 2006,
Springer,
Chapitres de Livre
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Brevet
-
Atelier, Poster ou Démonstration dans une Conférence Internationale
-
-
Atelier, Poster ou Démonstration dans une Conférence Nationale
-
Mémoire de Thèse
-
-
-
-
-
-
-
-
-
-
Mémoire de HDR
-
-
Rapport Scientifique
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
2013
-
2012
-
2011
-
2010
-
2009
-
2008
-
2007
-
2006
-
2005
-
2004
-
2003
-
2002
-
2001
-
2000
-
1999
-
1998
-
1997
-
1996
-
1995
-
1994
-
1993
-
1992
-
1991
-
1990
-
1989
-
1988
-
1987
Revue Internationale avec comité de lecture
-
Revue Internationale sans comité de lecture
-
Revue Nationale sans comité de lecture
-
Revue Nationale avec comité de lecture
-
Conférence Internationale avec comité de lecture
-
Conférence Nationale avec comité de lecture
-
Conférences invitées
-
Conférences Internationales sans actes
-
Conférences Nationales sans actes
-
Livre
-
Directions d'ouvrages scientifiques
-
Chapitres de Livre
-
Brevet
-
Atelier, Poster ou Démonstration dans une Conférence Internationale
-
Atelier, Poster ou Démonstration dans une Conférence Nationale
-
Mémoire de Thèse
-
Mémoire de HDR
-
Mémoire d'ingénieur
-
Rapport Scientifique
-
Rapport du Laboratoire
-
Autres
|
Agenda
|
|
| |
Contacts
CNAM-CEDRIC 292 Rue St Martin FR-75141 Paris Cedex 03 Tel: +33 01 40 27 22 96 Fax: +33 01 40 27 22 96
ENSIIE-CEDRIC 1 square de la résistance FR-91025 EVRY Tel: +33 01 69 36 73 05 Fax: +33 01 69 36 73 05
|
|