2012

Revue Internationale avec comité de lecture

• [Pra12

  @article {
  	Pra12,
  	title	=	"{Teaching Information Systems with Cases: An Exploratory Study}",
  	author	=	"N. Prat",
  	journal	=	"Journal of Computer Information Systems",
  	year	=	2012,
  	pages	=	"71-81",
  }

  ] N. Prat - Teaching Information Systems with Cases: An Exploratory Study, Journal of Computer Information Systems, pp. 71-81, 2012
• [ERZ12

  @article {
  	ERZ12,
  	title	=	"{Stabilisation robuste d’une classe de systèmes non linéaires incertains}",
  	author	=	"D. Efimov and T. Raïssi and A. Zolghadri",
  	journal	=	"Journal Européen des Systèmes Automatisés",
  	year	=	2012,
  	volume	=	accepté,
  }

  ] D. Efimov , T. Raïssi , A. Zolghadri - Stabilisation robuste d’une classe de systèmes non linéaires incertains, Journal Européen des Systèmes Automatisés, vol. accepté, 2012
• [SRZ12a

  @article {
  	SRZ12a,
  	title	=	"{Actuator fault detection and diagnosis for flat systems: A constraint satisfaction technique}",
  	author	=	"R. Seydou and T. Raïssi and A. Zolghadri and D. Efimov",
  	journal	=	"International Journal of Applied Mathematics & Computer Science",
  	year	=	2012,
  	pages	=	".",
  }

  ] R. Seydou , T. Raïssi , A. Zolghadri , D. Efimov - Actuator fault detection and diagnosis for flat systems: A constraint satisfaction technique, International Journal of Applied Mathematics & Computer Science, pp. ., 2012
• [PAC12

  @article {
  	PAC12,
  	title	=	"{An MDA approach to knowledge engineering}",
  	author	=	"N. Prat and J. Akoka and I. Comyn-Wattiau",
  	journal	=	"Expert Systems with Applications",
  	year	=	2012,
  	pages	=	"1-18",
  	doi	=	"http://dx.doi.org/10.1016/j.eswa.2012.02.010",
  }

  ] N. Prat , J. Akoka , I. Comyn-Wattiau - An MDA approach to knowledge engineering, Expert Systems with Applications, pp. 1-18, 2012, (doi:http://dx.doi.org/10.1016/j.eswa.2012.02.010)
• [CYB12

  @article {
  	CYB12,
  	title	=	"{A semantic and QoS-aware broker for Web service discovery}",
  	author	=	"M. Charrad and N. Yaacoubi and M. Ben Ahmed",
  	journal	=	"Journal of Research and Practice in Information Technology",
  	year	=	2012,
  	number	=	à paraitre,
  	pages	=	"1-15",
  }

  ] M. Charrad , N. Yaacoubi , M. Ben Ahmed - A semantic and QoS-aware broker for Web service discovery, Journal of Research and Practice in Information Technology, pp. 1-15, 2012
• [CR12

  @article {
  	CR12,
  	title	=	"{Multi-user adaptive receivers for a Multiple-Access System based on Random Permutations on Time-Varying Frequency-Selective Channels with Unknown Delays and Coefficients}",
  	author	=	"M. Coulon and D. Roviras",
  	journal	=	"IET Communications ",
  	year	=	2012,
  }

  ] M. Coulon , D. Roviras - Multi-user adaptive receivers for a Multiple-Access System based on Random Permutations on Time-Varying Frequency-Selective Channels with Unknown Delays and Coefficients, IET Communications , 2012
• [CCF12a

  @article {
  	CCF12a,
  	title	=	"{Optimizing splitter and fiber location in a multilevel optical FTTH network.}",
  	author	=	"M. Chardy and M.-C. Costa and A. Faye and M. Trampont",
  	journal	=	"European Journal of Operational Research ",
  	year	=	2012,
  	volume	=	To appear,
  	number	=	http://authors.elsevier.com/TrackPaper.html?trk_article=EOR11116&trk_surname=Costa,
  	pages	=	"20",
  	doi	=	"10.1016/j.ejor.2012.05.024",
  }

  ] M. Chardy , M.-C. Costa , A. Faye , M. Trampont - Optimizing splitter and fiber location in a multilevel optical FTTH network., European Journal of Operational Research , vol. To appear(http://authors.elsevier.com/TrackPaper.html?trk_article=EOR11116&trk_surname=Costa), pp. 20, 2012, (doi:10.1016/j.ejor.2012.05.024)
• [JP12

  @article {
  	JP12,
  	title	=	"{Minimum decomposition into convex binary matrices}",
  	author	=	"F. Jarray and C. Picouleau",
  	journal	=	"Discrete Applied Math. ",
  	year	=	2012,
  	volume	=	160,
  	pages	=	"1164-1175",
  	doi	=	"doi:10.1016/j.dam.2012.01.013",
  }

  ] F. Jarray , C. Picouleau - Minimum decomposition into convex binary matrices, Discrete Applied Math. , vol. 160, pp. 1164-1175, 2012, (doi:doi:10.1016/j.dam.2012.01.013)
• [Zl12

  @article {
  	Zl12,
  	title	=	"{A Novel Filter-Bank Multicarrier Scheme to Mitigate the Intrinsic Interference: Application to MIMO Systems}",
  	author	=	"R. Zakaria and D. le Ruyet",
  	journal	=	"IEEE Transactions on Wireless Communications",
  	year	=	2012,
  	volume	=	11,
  	number	=	3,
  	pages	=	"1112-1123",
  }

  ] R. Zakaria , D. le Ruyet - A Novel Filter-Bank Multicarrier Scheme to Mitigate the Intrinsic Interference: Application to MIMO Systems, IEEE Transactions on Wireless Communications, vol. 11(3), pp. 1112-1123, 2012
• [ELM12

  @article {
  	ELM12,
  	title	=	"{CITOM: An Incremental Construction of Multilingual Topic Maps}",
  	author	=	"N. Ellouze and N. Lammari and E. Metais",
  	journal	=	"Data & Knowledge Engineering",
  	year	=	2012,
  	volume	=	2012,
  	number	=	March,
  	pages	=	" 19",
  	doi	=	"10.1016/j.datak.2012.02.002",
  }

  ] N. Ellouze , N. Lammari , E. Metais - CITOM: An Incremental Construction of Multilingual Topic Maps, Data & Knowledge Engineering, vol. 2012(March), pp. 19, 2012, (doi:10.1016/j.datak.2012.02.002)
• [BEL12b

  @article {
  	BEL12b,
  	title	=	"{An efficient compact quadratic convex reformulation for general integer quadratic programs}",
  	author	=	"A. Billionnet and S. Elloumi and A. Lambert",
  	journal	=	"Computational Optimization and Applications",
  	year	=	2012,
  	pages	=	"to appear",
  	doi	=	"10.1007/s10589-012-9474-y",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - An efficient compact quadratic convex reformulation for general integer quadratic programs, Computational Optimization and Applications, pp. to appear, 2012, (doi:10.1007/s10589-012-9474-y)
• [RAA12

  @article {
  	RAA12,
  	title	=	"{The Design and Implementation of NEUMA, a Collaborative Digital Score Library - Requirements, architecture, and models.}",
  	author	=	"P. Rigaux and L. Abrouk and H. Audéon and N. Cullot and C. Davy-Rigaux and Z. Faget and E. Gavinet and D. Gross-Amblard and A. Tacaille and V. Thion",
  	journal	=	"International Journal on Digital Libraries",
  	year	=	2012,
  }

  ] P. Rigaux , L. Abrouk , H. Audéon , N. Cullot , C. Davy-Rigaux , Z. Faget , E. Gavinet , D. Gross-Amblard , A. Tacaille , V. Thion - The Design and Implementation of NEUMA, a Collaborative Digital Score Library - Requirements, architecture, and models., International Journal on Digital Libraries, 2012
• [BFD12

  @article {
  	BFD12,
  	title	=	"{BPM 2011 International Workshops - Revised Selected Papers, Part I }",
  	author	=	"K. Barkaoui and D. Florian and S. Dustdar",
  	journal	=	"Lecture Notes in Business Information Processing (LNBIP) Springer",
  	year	=	2012,
  	volume	=	99,
  	pages	=	"482",
  	note	=	"{http://www.informatik.uni-trier.de/~ley/db/conf/bpm/bpmw2011-1.html}",
  	doi	=	"978-3-642-28107-5 ",
  }

  ] K. Barkaoui , D. Florian , S. Dustdar - BPM 2011 International Workshops - Revised Selected Papers, Part I , Lecture Notes in Business Information Processing (LNBIP) Springer, vol. 99, pp. 482, 2012, (doi:978-3-642-28107-5 )
• [BFD12a

  @article {
  	BFD12a,
  	title	=	"{BPM 2011 International Workshops 2011, Revised Selected Papers, Part II}",
  	author	=	"K. Barkaoui and D. Florian and S. Dustdar",
  	journal	=	"Lecture Notes in Business Information Processing - Springer",
  	year	=	2012,
  	volume	=	100,
  	pages	=	"480p",
  	note	=	"{http://www.informatik.uni-trier.de/~ley/db/conf/bpm/bpmw2011-2.html }",
  	doi	=	"ISBN 978-3-642-28114-3",
  }

  ] K. Barkaoui , D. Florian , S. Dustdar - BPM 2011 International Workshops 2011, Revised Selected Papers, Part II, Lecture Notes in Business Information Processing - Springer, vol. 100, pp. 480p, 2012, (doi:ISBN 978-3-642-28114-3)
• [LMM12

  @article {
  	LMM12,
  	title	=	"{On the NP-Completeness of the Perfect Matching Free Subgraph Problem}",
  	author	=	"M. Lacroix and R. Mahjoub and S. Martin and C. Picouleau",
  	journal	=	"Theoretical Computer Science",
  	year	=	2012,
  	volume	=	423,
  	pages	=	"25-29",
  	doi	=	"10.1016/j.tcs.2011.12.065",
  }

  ] M. Lacroix , R. Mahjoub , S. Martin , C. Picouleau - On the NP-Completeness of the Perfect Matching Free Subgraph Problem, Theoretical Computer Science, vol. 423, pp. 25-29, 2012, (doi:10.1016/j.tcs.2011.12.065)
• [YE12

  @article {
  	YE12,
  	title	=	"{Star p-hub Center Problem and Star p-hub Median Problem with Bounded Path Lengths}",
  	author	=	"H. Yaman and S. Elloumi",
  	journal	=	"Computers and Operations Research",
  	year	=	2012,
  	volume	=	39,
  	number	=	11,
  	pages	=	"2725-2732",
  	doi	=	"10.1016/j.cor.2012.02.005",
  }

  ] H. Yaman , S. Elloumi - Star p-hub Center Problem and Star p-hub Median Problem with Bounded Path Lengths, Computers and Operations Research, vol. 39(11), pp. 2725-2732, 2012, (doi:10.1016/j.cor.2012.02.005)
• [ZlR12

  @article {
  	ZlR12,
  	title	=	"{Non-Cooperative Multi-cell Resource Allocation of FBMC based Cognitive Radio Systems}",
  	author	=	"H. Zhang and D. le Ruyet and D. Roviras and h. sun",
  	journal	=	"IEEE Trans. on Vehicular Technology ",
  	year	=	2012,
  	volume	=	61,
  	number	=	2,
  	pages	=	"799 - 811 ",
  	doi	=	"10.1109/TVT.2011.2180743 ",
  }

  ] H. Zhang , D. le Ruyet , D. Roviras , h. sun - Non-Cooperative Multi-cell Resource Allocation of FBMC based Cognitive Radio Systems, IEEE Trans. on Vehicular Technology , vol. 61(2), pp. 799 - 811 , 2012, (doi:10.1109/TVT.2011.2180743 )
• [BEL12

  @article {
  	BEL12,
  	title	=	"{Extending the QCR method to the case of general mixed integer programs}",
  	author	=	"A. Billionnet and S. Elloumi and A. Lambert",
  	journal	=	"Mathematical Programming",
  	year	=	2012,
  	volume	=	131,
  	number	=	1,
  	pages	=	" 381-401",
  	doi	=	"10.1007/s10107-010-0381-7 ",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - Extending the QCR method to the case of general mixed integer programs, Mathematical Programming, vol. 131(1), pp. 381-401, 2012, (doi:10.1007/s10107-010-0381-7 )
• [BMP12

  @article {
  	BMP12,
  	title	=	"{International Journal of Critical Computer-Based Systems (IJCCBS)}",
  	author	=	"K. Barkaoui and B. Monsuez and D. Poitrenaud",
  	journal	=	"IJCCBS",
  	year	=	2012,
  	volume	=	3,
  	number	=	1/2,
  	pages	=	"1-150",
  	note	=	"{http://www.inderscience.com/browse/index.php?journalID=325&year=2012&vol=3&issue=1/2}",
  	doi	=	"ISSN 1757-8779",
  }

  ] K. Barkaoui , B. Monsuez , D. Poitrenaud - International Journal of Critical Computer-Based Systems (IJCCBS), IJCCBS, vol. 3(1/2), pp. 1-150, 2012, (doi:ISSN 1757-8779)
• [REZ12

  @article {
  	REZ12,
  	title	=	"{Interval state estimation for a class of nonlinear systems }",
  	author	=	"T. Raïssi and D. Efimov and A. Zolghadri",
  	journal	=	"IEEE Transactions on Automatic Control",
  	year	=	2012,
  	volume	=	57,
  	number	=	1,
  }

  ] T. Raïssi , D. Efimov , A. Zolghadri - Interval state estimation for a class of nonlinear systems , IEEE Transactions on Automatic Control, vol. 57(1), 2012
• [KMR12

  @article {
  	KMR12,
  	title	=	"{Robust estimation of fractional models in the frequency domain using set membership methods}",
  	author	=	"F. Khemane and R. Malti and T. Raïssi and X. Moreau",
  	journal	=	"Signal Processing",
  	year	=	2012,
  }

  ] F. Khemane , R. Malti , T. Raïssi , X. Moreau - Robust estimation of fractional models in the frequency domain using set membership methods, Signal Processing, 2012
• [Bil12

  @article {
  	Bil12,
  	title	=	"{Designing an optimal connected nature reserve}",
  	author	=	"A. Billionnet",
  	journal	=	"Applied Mathematical Modelling",
  	year	=	2012,
  	volume	=	36,
  	number	=	5,
  	pages	=	"2213-2223",
  	doi	=	"10.1016/j.apm.2011.08.002",
  }

  ] A. Billionnet - Designing an optimal connected nature reserve, Applied Mathematical Modelling, vol. 36(5), pp. 2213-2223, 2012, (doi:10.1016/j.apm.2011.08.002)

Revue Nationale sans comité de lecture

• [Sap12

  @article {
  	Sap12,
  	title	=	"{Il faut pouvoir répondre à l'invasion des données}",
  	author	=	"G. Saporta",
  	journal	=	"Sciences et Avenir",
  	year	=	2012,
  	number	=	782,
  	pages	=	"42-45",
  }

  ] G. Saporta - Il faut pouvoir répondre à l'invasion des données, Sciences et Avenir, pp. 42-45, April 2012

Revue Nationale avec comité de lecture

• [NGV12

  @article {
  	NGV12,
  	title	=	"{Du jeu utile au jeu sérieux : un exemple le projet JEU SERAI}",
  	author	=	"S. Natkin and E. Guardiola and P. Vrignaud and D. Soriano and E. Loarer",
  	journal	=	"",
  	year	=	2012,
  }

  ] S. Natkin , E. Guardiola , P. Vrignaud , D. Soriano , E. Loarer - Du jeu utile au jeu sérieux : un exemple le projet JEU SERAI,
• [LSL12

  @article {
  	LSL12,
  	title	=	"{Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S}",
  	author	=	"N. Levy and S. Stéphane JEAN and F. Losavio and A. Matteo",
  	journal	=	"Technique et Science Informatiques (TSI) ",
  	year	=	2012,
  	volume	=	31,
  	number	=	1,
  	pages	=	"39-69",
  }

  ] N. Levy , S. Stéphane JEAN , F. Losavio , A. Matteo - Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S, Technique et Science Informatiques (TSI) , vol. 31(1), pp. 39-69, 2012

Conférence Internationale avec comité de lecture

• [EFR12a

  @inproceedings {
  	EFR12a,
  	title	=	"{Application of Interval Observers and HOSM Differentiators for Fault Detection}",
  	author	=	" D. Efimov and L. Fridman and T. Raïssi and A. Zolghadri and R. Seydou ",
  	booktitle	=	"{The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes }",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Mexico City, Mexico",
  }

  ] D. Efimov , L. Fridman , T. Raïssi , A. Zolghadri , R. Seydou - Application of Interval Observers and HOSM Differentiators for Fault Detection, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes , August 2012, Mexico City, Mexico,
• [RED12a

  @inproceedings {
  	RED12a,
  	title	=	"{State Estimation and Fault Detection for Linear Switched Systems with Unstable Internal Dynamics}",
  	author	=	" H. Rios and D. Efimov and J. Davila and T. Raïssi and L. Fridman and A. Zolghadri ",
  	booktitle	=	"{The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes }",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Mexico City, Mexico",
  }

  ] H. Rios , D. Efimov , J. Davila , T. Raïssi , L. Fridman , A. Zolghadri - State Estimation and Fault Detection for Linear Switched Systems with Unstable Internal Dynamics, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes , August 2012, Mexico City, Mexico,
• [SRZ12

  @inproceedings {
  	SRZ12,
  	title	=	"{Robust Fault Diagnosis with Interval Continuous-time Parity Equations}",
  	author	=	" R. Seydou and T. Raïssi and A. Zolghadri and D. Efimov ",
  	booktitle	=	"{The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes}",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Mexico City, Mexico",
  }

  ] R. Seydou , T. Raïssi , A. Zolghadri , D. Efimov - Robust Fault Diagnosis with Interval Continuous-time Parity Equations, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes, August 2012, Mexico City, Mexico,
• [CDG12a

  @inproceedings {
  	CDG12a,
  	title	=	"{A certified constraint solver over finite domains}",
  	author	=	" M. Carlier and C. Dubois and A. Gotlieb ",
  	booktitle	=	"{Formal Methods (FM 2012)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"A paraître",
  	address	=	"Paris, France",
  }

  ] M. Carlier , C. Dubois , A. Gotlieb - A certified constraint solver over finite domains, Formal Methods (FM 2012), August 2012, pp.A paraître, Paris, France,
• [BEL12a

  @inproceedings {
  	BEL12a,
  	title	=	"{Convex reformulations of Integer Quadratically Constrained Problems}",
  	author	=	" A. Billionnet and S. Elloumi and A. Lambert ",
  	booktitle	=	"{ISMP (21th International Symposium of Mathematical programming)}",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Berlin, Germany",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - Convex reformulations of Integer Quadratically Constrained Problems, ISMP (21th International Symposium of Mathematical programming), August 2012, Berlin, Germany,
• [Ell12

  @inproceedings {
  	Ell12,
  	title	=	"{A unified view of linear and quadratic convex reformulations for binary quadratic programming}",
  	author	=	" S. Elloumi ",
  	booktitle	=	"{ISMP}",
  	year	=	2012,
  	month	=	"August",
  	address	=	"Berlin, Allemagne",
  }

  ] S. Elloumi - A unified view of linear and quadratic convex reformulations for binary quadratic programming, ISMP, August 2012, Berlin, Allemagne,
• [CPG12

  @inproceedings {
  	CPG12,
  	title	=	"{Toward provably robust watermarking}",
  	author	=	" P. Courtieu and C. Paulin-Mohring and D. Gross-Amblard and D. Baelde ",
  	booktitle	=	"{Interactive theorem proving}",
  	year	=	2012,
  	month	=	"August",
  	series	=	"LNCS",
  	pages	=	"0-0",
  	note	=	"{To appear}",
  }

  ] P. Courtieu , C. Paulin-Mohring , D. Gross-Amblard , D. Baelde - Toward provably robust watermarking, Interactive theorem proving, August 2012, pp.0-0, Series LNCS,
• [ASB12a

  @inproceedings {
  	ASB12a,
  	title	=	"{Log-based Intrusion Detection for MANET}",
  	author	=	" M. Alattar and F. Sailhan and J. Bourgeois ",
  	booktitle	=	"{8th IEEE Wireless Communications and Mobile Computing Conference (IWCMC)}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-6",
  }

  ] M. Alattar , F. Sailhan , J. Bourgeois - Log-based Intrusion Detection for MANET, 8th IEEE Wireless Communications and Mobile Computing Conference (IWCMC), August 2012, pp.1-6,
• [BEL12c

  @inproceedings {
  	BEL12c,
  	title	=	"{A new Branch and Bound algorithm for MIQPs}",
  	author	=	" A. Billionnet and S. Elloumi and A. Lambert ",
  	booktitle	=	"{EURO 2012}",
  	year	=	2012,
  	month	=	"July",
  	address	=	"Vilnius, Lithuania",
  }

  ] A. Billionnet , S. Elloumi , A. Lambert - A new Branch and Bound algorithm for MIQPs, EURO 2012, July 2012, Vilnius, Lithuania,
• [EFR12

  @inproceedings {
  	EFR12,
  	title	=	"{Set-Membership Estimation Improvement Applying HOSM Differentiators}",
  	author	=	" D. Efimov and L. Fridman and T. Raïssi and A. Zolghadri and R. Seydou ",
  	booktitle	=	"{American Control Conference}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Montréal, Canada",
  }

  ] D. Efimov , L. Fridman , T. Raïssi , A. Zolghadri , R. Seydou - Set-Membership Estimation Improvement Applying HOSM Differentiators, American Control Conference, June 2012, Montréal, Canada,
• [DdS12

  @inproceedings {
  	DdS12,
  	title	=	"{Efficient Filtering in Micro-blogging Systems: We Won't Get Flooded Again}",
  	author	=	" R. Dahimene and C. du Mouza and M. Scholl ",
  	booktitle	=	"{Intl. IEEE Conf. on Scientific and Statistical Databases (SSDBM'12)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-9",
  }

  ] R. Dahimene , C. du Mouza , M. Scholl - Efficient Filtering in Micro-blogging Systems: We Won't Get Flooded Again, Intl. IEEE Conf. on Scientific and Statistical Databases (SSDBM'12), June 2012, pp.1-9,
• [JBD12

  @inproceedings {
  	JBD12,
  	title	=	"{Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover}",
  	author	=	" M. Jacquel and K. Berkani and D. Delahaye and C. Dubois ",
  	booktitle	=	"{International Joint Conference on Automated Reasoning (IJCAR 2012)}",
  	year	=	2012,
  	month	=	"June",
  	series	=	"LNAI",
  	volume	=	7364,
  	pages	=	"332--338",
  	address	=	"Manchester, UK",
  }

  ] M. Jacquel , K. Berkani , D. Delahaye , C. Dubois - Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover, International Joint Conference on Automated Reasoning (IJCAR 2012), June 2012, Vol. 7364, pp.332--338, Series LNAI, Manchester, UK,
• [Pl12

  @inproceedings {
  	Pl12,
  	title	=	"{Power allocation for the multi-carrier two-user Gaussian Interference Channel}",
  	author	=	" M. Pischella and D. le Ruyet ",
  	booktitle	=	"{IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012)}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Cesme, Turkey",
  }

  ] M. Pischella , D. le Ruyet - Power allocation for the multi-carrier two-user Gaussian Interference Channel, IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012), June 2012, Cesme, Turkey,
• [AlP12

  @inproceedings {
  	AlP12,
  	title	=	"{Recursive Stream Selection for Sum-Rate Maximization on the Interference Channel}",
  	author	=	" M. Amara and D. le Ruyet and M. Pischella ",
  	booktitle	=	"{IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012)}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Cesme, Turkey",
  }

  ] M. Amara , D. le Ruyet , M. Pischella - Recursive Stream Selection for Sum-Rate Maximization on the Interference Channel, IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2012), June 2012, Cesme, Turkey,
• [OlP12

  @inproceedings {
  	OlP12,
  	title	=	"{Reduced feedback links for power minimization in distributed multicell OFDMA networks}",
  	author	=	" B. Ozbek and D. le Ruyet and M. Pischella ",
  	booktitle	=	"{IEEE International Conference on Communications (ICC 2012)}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Ottawa, Canada",
  }

  ] B. Ozbek , D. le Ruyet , M. Pischella - Reduced feedback links for power minimization in distributed multicell OFDMA networks, IEEE International Conference on Communications (ICC 2012), June 2012, Ottawa, Canada,
• [DJR12a

  @inproceedings {
  	DJR12a,
  	title	=	"{Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment}",
  	author	=	" D. Doligez and M. Jaume and R. Rioboo ",
  	booktitle	=	"{ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) }",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"A paraitre",
  }

  ] D. Doligez , M. Jaume , R. Rioboo - Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment, ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,
• [RED12

  @inproceedings {
  	RED12,
  	title	=	"{State Estimation for Linear Switched Systems with Unknown Inputs}",
  	author	=	" H. Rios and D. Efimov and J. Davila and T. Raïssi and L. Fridman and A. Zolghadri ",
  	booktitle	=	"{4th IFAC Conference on Analysis and Design of Hybrid Systems}",
  	year	=	2012,
  	month	=	"June",
  	address	=	"Eindhoven, The Netherlands",
  }

  ] H. Rios , D. Efimov , J. Davila , T. Raïssi , L. Fridman , A. Zolghadri - State Estimation for Linear Switched Systems with Unknown Inputs, 4th IFAC Conference on Analysis and Design of Hybrid Systems, June 2012, Eindhoven, The Netherlands,
• [CDG12

  @inproceedings {
  	CDG12,
  	title	=	"{A first step in the design of a formally verified constraint-based testing tool: FocalTest}",
  	author	=	" M. Carlier and C. Dubois and A. Gotlieb ",
  	booktitle	=	"{Tests and Proofs }",
  	year	=	2012,
  	month	=	"May",
  	series	=	"LNCS",
  	volume	=	7305,
  	pages	=	"35--50",
  	address	=	"Prague, République tchèque",
  }

  ] M. Carlier , C. Dubois , A. Gotlieb - A first step in the design of a formally verified constraint-based testing tool: FocalTest, Tests and Proofs , May 2012, Vol. 7305, pp.35--50, Series LNCS, Prague, République tchèque,
• [CAP12

  @inproceedings {
  	CAP12,
  	title	=	"{Looking behind Bezels: French Windows for Wall Displays}",
  	author	=	" P. Cubaud and R. Almeida and C. Pillias and E. Pietriga ",
  	booktitle	=	"{ACM AVI '12: Proceedings of the 11th working conference on Advanced visual interfaces}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"8",
  	address	=	"Capri, Italy",
  }

  ] P. Cubaud , R. Almeida , C. Pillias , E. Pietriga - Looking behind Bezels: French Windows for Wall Displays, ACM AVI '12: Proceedings of the 11th working conference on Advanced visual interfaces, May 2012, pp.8, Capri, Italy,
• [PAC12a

  @inproceedings {
  	PAC12a,
  	title	=	"{Transforming multidimensional models into OWL-DL ontologies }",
  	author	=	" N. Prat and J. Akoka and I. Comyn-Wattiau ",
  	booktitle	=	"{Sixth International Conference on Research Challenges in Information Science - RCIS}",
  	year	=	2012,
  	edition	=	"IEEE",
  	month	=	"May",
  	pages	=	"12 pages",
  	address	=	"Valencia, Espagne",
  }

  ] N. Prat , J. Akoka , I. Comyn-Wattiau - Transforming multidimensional models into OWL-DL ontologies , Sixth International Conference on Research Challenges in Information Science - RCIS, May 2012, pp.12 pages, Valencia, Espagne,
• [AYA12

  @inproceedings {
  	AYA12,
  	title	=	"{A Quality Based Approach for the Analysis and Design of Business Process Models}",
  	author	=	" S. AYAD ",
  	booktitle	=	"{Sixth International Conference on Research Challenges in Information Science (RCIS)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1- 5",
  	address	=	"valencia, Espagne",
  }

  ] S. AYAD - A Quality Based Approach for the Analysis and Design of Business Process Models, Sixth International Conference on Research Challenges in Information Science (RCIS), May 2012, pp.1- 5, valencia, Espagne,
• [KVP12

  @inproceedings {
  	KVP12,
  	title	=	"{A New Method for Inter-Cell Interference Estimation in Uplink SC-FDMA Networks}",
  	author	=	" F. Kaddour and E. Vivier and M. Pischella and P. Martins ",
  	booktitle	=	"{IEEE Vehicular Technology Conference (VTC Spring 2012)}",
  	year	=	2012,
  	month	=	"May",
  	address	=	"Yokohama, Japan",
  }

  ] F. Kaddour , E. Vivier , M. Pischella , P. Martins - A New Method for Inter-Cell Interference Estimation in Uplink SC-FDMA Networks, IEEE Vehicular Technology Conference (VTC Spring 2012), May 2012, Yokohama, Japan,
• [BJT12

  @inproceedings {
  	BJT12,
  	title	=	"{Combining simulated annealing and linear programming approaches for reconstructing hv-convex colored images}",
  	author	=	" A. Billionnet and F. Jarray and G. Tlig and E. Zagrouba ",
  	booktitle	=	"{ISCO 2012 (2nd International Symposium on Combinatorial Optimization)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"4 pages",
  	address	=	"Athens, Greece",
  }

  ] A. Billionnet , F. Jarray , G. Tlig , E. Zagrouba - Combining simulated annealing and linear programming approaches for reconstructing hv-convex colored images, ISCO 2012 (2nd International Symposium on Combinatorial Optimization), April 2012, pp.4 pages, Athens, Greece,
• [PAN12

  @inproceedings {
  	PAN12,
  	title	=	"{Generalizations of Dobson approximation algorithm and cooperation with Column Generation for large-size Covering Integer Programs}",
  	author	=	" A. Plateau and L. Alfandari and A. Nagih and J. Sadki ",
  	booktitle	=	"{ISCO 2012, 2nd International Symposium on Combinatorial Optimization}",
  	year	=	2012,
  	month	=	"April",
  	address	=	"Athens, greece",
  }

  ] A. Plateau , L. Alfandari , A. Nagih , J. Sadki - Generalizations of Dobson approximation algorithm and cooperation with Column Generation for large-size Covering Integer Programs, ISCO 2012, 2nd International Symposium on Combinatorial Optimization, April 2012, Athens, greece,
• [THK12

  @inproceedings {
  	THK12,
  	title	=	"{A primer on the Petri Net Markup Language and ISO/IEC 15909-2}",
  	author	=	" N. Treves and L. Hillah and F. Kordon and L. Petrucci ",
  	booktitle	=	"{10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"19",
  }

  ] N. Treves , L. Hillah , F. Kordon , L. Petrucci - A primer on the Petri Net Markup Language and ISO/IEC 15909-2, 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09), April 2012, pp.19,
• [CB12

  @inproceedings {
  	CB12,
  	title	=	"{Social Mobility Models Realism versus Real Traces}",
  	author	=	" H. Costantini and S. Boumerdassi ",
  	booktitle	=	"{2012 IEEE Wireless Communications and Networking Conference: Mobile and Wireless Networks (IEEE WCNC 2012 Track 3 Mobile and Wireless)}",
  	year	=	2012,
  	month	=	"April",
  	address	=	"Paris, FRANCE",
  }

  ] H. Costantini , S. Boumerdassi - Social Mobility Models Realism versus Real Traces, 2012 IEEE Wireless Communications and Networking Conference: Mobile and Wireless Networks (IEEE WCNC 2012 Track 3 Mobile and Wireless), April 2012, Paris, FRANCE,
• [sdl12

  @inproceedings {
  	sdl12,
  	title	=	"{On the Distribution of the SINR in Precoded Multicarrier Systems Using Linear MMSE Equalization}",
  	author	=	" b. sens chang and c. da rocha and D. le Ruyet and D. Roviras ",
  	booktitle	=	"{MELECON 2012, 16th IEEE Mediterranean Electrotechnical Conference}",
  	year	=	2012,
  	month	=	"March",
  	address	=	" Tunisia",
  }

  ] b. sens chang , c. da rocha , D. le Ruyet , D. Roviras - On the Distribution of the SINR in Precoded Multicarrier Systems Using Linear MMSE Equalization, MELECON 2012, 16th IEEE Mediterranean Electrotechnical Conference, March 2012, Tunisia,
• [HKC12

  @inproceedings {
  	HKC12,
  	title	=	"{Subscription Indexes for Web Syndication Systems }",
  	author	=	" Z. Hmedeh and H. Kourdounakis and V. Christophides and C. du Mouza and M. Scholl and N. Travers ",
  	booktitle	=	"{International Conference on Extending Database Technology (EDBT'12)}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"311-322",
  	address	=	"Berlin, Germany",
  }

  ] Z. Hmedeh , H. Kourdounakis , V. Christophides , C. du Mouza , M. Scholl , N. Travers - Subscription Indexes for Web Syndication Systems , International Conference on Extending Database Technology (EDBT'12), March 2012, pp.311-322, Berlin, Germany,
• [AS12

  @inproceedings {
  	AS12,
  	title	=	"{A Generic Service Model for QoS Management (Service Management in Next Generation Network) }",
  	author	=	" T. Aubonnet and N. Simoni ",
  	booktitle	=	"{ICN'2012, International Conference on Networks, Saint-Gilles, Réunion}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"132-138",
  	doi	=	"ISBN : 978-1-61208-183-0",
  }

  ] T. Aubonnet , N. Simoni - A Generic Service Model for QoS Management (Service Management in Next Generation Network) , ICN'2012, International Conference on Networks, Saint-Gilles, Réunion, March 2012, pp.132-138, (DOI: ISBN : 978-1-61208-183-0)
• [ W 12

  @inproceedings {
  	W 12,
  	title	=	"{Resource Allocation for Real Time Services Using Cooperative Game Theory and a Virtual Token Mechanism in LTE Networks}",
  	author	=	" M. Iturralde and A. Wei and T. Yahiya and A. Beylot ",
  	booktitle	=	"{IEEE CCNC 2012}",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"879-883",
  	address	=	" U.S.A",
  }

  ] M. Iturralde , A. Wei , T. Yahiya , A. Beylot - Resource Allocation for Real Time Services Using Cooperative Game Theory and a Virtual Token Mechanism in LTE Networks, IEEE CCNC 2012, January 2012, pp.879-883, U.S.A,

Conférence Nationale avec comité de lecture

• [MDG12

  @inproceedings {
  	MDG12,
  	title	=	"{Conception d'un serious game thérapeutique: l'expérience du Village}",
  	author	=	" S. Mader and J. Dupire and E. Guardiola and S. Natkin ",
  	booktitle	=	"{Handicap 2012}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"6",
  	address	=	"Paris, France",
  }

  ] S. Mader , J. Dupire , E. Guardiola , S. Natkin - Conception d'un serious game thérapeutique: l'expérience du Village, Handicap 2012, June 2012, pp.6, Paris, France,
• [MD12

  @inproceedings {
  	MD12,
  	title	=	"{Un forum de discussion en ligne accessible aux personnes sourdes signantes}",
  	author	=	" Z. Malla Osman and J. Dupire ",
  	booktitle	=	"{Handicap 2012}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"6",
  	address	=	"Paris, France",
  }

  ] Z. Malla Osman , J. Dupire - Un forum de discussion en ligne accessible aux personnes sourdes signantes, Handicap 2012, June 2012, pp.6, Paris, France,
• [VLC12

  @inproceedings {
  	VLC12,
  	title	=	"{De l´analyse des risques à l´expression des exigences de sécurité des systèmes d’informations}",
  	author	=	" M. Vasquez and N. Lammari and I. Comyn-Wattiau and J. Akoka ",
  	booktitle	=	"{30 ème conférence INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"16 pages",
  	address	=	"Montpellier, France",
  }

  ] M. Vasquez , N. Lammari , I. Comyn-Wattiau , J. Akoka - De l´analyse des risques à l´expression des exigences de sécurité des systèmes d’informations, 30 ème conférence INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision), May 2012, pp.16 pages, Montpellier, France,
• [SOU12

  @inproceedings {
  	SOU12,
  	title	=	"{Vers une nouvelle génération de définition des exigences de sécurité fondée sur l'utilisation des ontologies}",
  	author	=	" A. SOUAG ",
  	booktitle	=	"{INFORSID }",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-8",
  	address	=	"Montpellier, France",
  }

  ] A. SOUAG - Vers une nouvelle génération de définition des exigences de sécurité fondée sur l'utilisation des ontologies, INFORSID , May 2012, pp.1-8, Montpellier, France,
• [AYA12a

  @inproceedings {
  	AYA12a,
  	title	=	"{Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil}",
  	author	=	" S. AYAD ",
  	booktitle	=	"{INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-8",
  	address	=	"Montpellier, France",
  }

  ] S. AYAD - Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil, INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), May 2012, pp.1-8, Montpellier, France,
• [CRV12

  @inproceedings {
  	CRV12,
  	title	=	"{Le premier algorithme stabilisant de construction d'arbre totalement polynomial}",
  	author	=	" A. Cournier and S. Rovedakis and V. Villain ",
  	booktitle	=	"{14ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel)}",
  	year	=	2012,
  	month	=	"May",
  	pages	=	"1-4",
  }

  ] A. Cournier , S. Rovedakis , V. Villain - Le premier algorithme stabilisant de construction d'arbre totalement polynomial, 14ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, pp.1-4,
• [BCP12

  @inproceedings {
  	BCP12,
  	title	=	"{Optimisation robuste d’un système d’énergie hybride autonome}",
  	author	=	" A. Billionnet and M.-C. Costa and P. Poirion ",
  	booktitle	=	"{ROADEF 2012, 13ème congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"2 pages",
  	address	=	"Angers, France",
  }

  ] A. Billionnet , M.-C. Costa , P. Poirion - Optimisation robuste d’un système d’énergie hybride autonome, ROADEF 2012, 13ème congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, April 2012, pp.2 pages, Angers, France,
• [BJT12a

  @inproceedings {
  	BJT12a,
  	title	=	"{Programmation discrète pour la reconstruction de matrices convexes}",
  	author	=	" A. Billionnet and F. Jarray and G. Tlig and E. Zagrouba ",
  	booktitle	=	"{ROADEF 2012, 13ème Congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"2 pages",
  	address	=	"Angers, France",
  }

  ] A. Billionnet , F. Jarray , G. Tlig , E. Zagrouba - Programmation discrète pour la reconstruction de matrices convexes, ROADEF 2012, 13ème Congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, April 2012, pp.2 pages, Angers, France,
• [TDB12

  @inproceedings {
  	TDB12,
  	title	=	"{Planification robuste du matériel roulant ferroviaire}",
  	author	=	" S. Tréfond and H. Djellab and A. Billionnet and S. Elloumi ",
  	booktitle	=	"{ROADEF 2012, 13ème congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision }",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"2 pages",
  	address	=	"Angers, France",
  }

  ] S. Tréfond , H. Djellab , A. Billionnet , S. Elloumi - Planification robuste du matériel roulant ferroviaire, ROADEF 2012, 13ème congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision , April 2012, pp.2 pages, Angers, France,
• [NSF12

  @inproceedings {
  	NSF12,
  	title	=	"{Contrôle non paramétrique de procédés par lots basé sur STATIS et la classification }",
  	author	=	" N. Niang Keita and G. Saporta and F. Fogliatto ",
  	booktitle	=	"{Agrostat2012, 12èmes journées Européennes Agro-Industrie et Méthodes Statistiques 28, 29 Février & 1-2 }",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"163-169",
  	address	=	"Paris, France",
  }

  ] N. Niang Keita , G. Saporta , F. Fogliatto - Contrôle non paramétrique de procédés par lots basé sur STATIS et la classification , Agrostat2012, 12èmes journées Européennes Agro-Industrie et Méthodes Statistiques 28, 29 Février & 1-2 , March 2012, pp.163-169, Paris, France,
• [JR12

  @inproceedings {
  	JR12,
  	title	=	"{Développement de systèmes sécurisés avec l'atelier Focalize,}",
  	author	=	" M. Jaume and R. Rioboo ",
  	booktitle	=	"{ 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012)}",
  	year	=	2012,
  	month	=	"February",
  	pages	=	"104--118",
  	address	=	"Carnac, France",
  }

  ] M. Jaume , R. Rioboo - Développement de systèmes sécurisés avec l'atelier Focalize,, 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012), February 2012, pp.104--118, Carnac, France,
• [SDG12

  @inproceedings {
  	SDG12,
  	title	=	"{Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. }",
  	author	=	" D. Sadoun and C. Dubois and Y. Ghamri-Doudane and B. Grau ",
  	booktitle	=	"{congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) }",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"8 pages",
  	address	=	"Lyon, ",
  	note	=	"{http://hal.archives-ouvertes.fr/RFIA2012}",
  }

  ] D. Sadoun , C. Dubois , Y. Ghamri-Doudane , B. Grau - Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. , congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) , January 2012, pp.8 pages, Lyon,
• [BDD12

  @inproceedings {
  	BDD12,
  	title	=	"{BCARe : un environnement pour la vérification de règles de l’Atelier B }",
  	author	=	" K. Berkani and D. Delahaye and C. Dubois and M. Jacquel and M. Keogh and E. Le Lay ",
  	booktitle	=	"{Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012)}",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"46-49",
  	address	=	"Grenoble, France",
  }

  ] K. Berkani , D. Delahaye , C. Dubois , M. Jacquel , M. Keogh , E. Le Lay - BCARe : un environnement pour la vérification de règles de l’Atelier B , Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,

Conférences invitées

• [ML12

  @inproceedings {
  	ML12,
  	title	=	"{Regression modeling of the cumulative incidence function with missing causes of failure using pseudo-observations }",
  	author	=	" M. Moreno-Betancur and A. Latouche ",
  	booktitle	=	"{58. Biometrisches Kolloquium}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"xx",
  	address	=	"Berlin, ",
  	note	=	"{http://www.biometrisches-kolloquium.de/}",
  }

  ] M. Moreno-Betancur , A. Latouche - Regression modeling of the cumulative incidence function with missing causes of failure using pseudo-observations , 58. Biometrisches Kolloquium, March 2012, pp.xx, Berlin,

Conférences Internationales sans actes

• [BB12

  @conference {
  	BB12,
  	title	=	"{CoqInE : Translating the calculus of inductive constructions into the λΠ-calculus modulo.}",
  	author	=	" M. Boespflug and G. Burel ",
  	year	=	2012,
  }

  ] M. Boespflug , G. Burel - CoqInE : Translating the calculus of inductive constructions into the λΠ-calculus modulo., Second International Workshop on Proof Exchange for Theorem Proving (PXTP 2012), Manchester, United Kingdom,

Livre

• [Del12

  @book {
  	Del12,
  	title	=	"{Linux : programmation système et réseau, 4eme édition}",
  	author	=	"J. Delacroix",
  	year	=	2012,
  }

  ] J. Delacroix - Linux : programmation système et réseau, 4eme édition, April 2012,
• [RAR12

  @book {
  	RAR12,
  	title	=	"{Web Data Management}",
  	author	=	"P. Rigaux and S. Abiteboul and M. Rousset and P. Senellart and I. Manolescu",
  	year	=	2012,
  	publisher	=	"Cambrdige University Press",
  	pages	=	"456",
  	isbn	=	"9781107012431",
  }

  ] P. Rigaux , S. Abiteboul , M. Rousset , P. Senellart , I. Manolescu - Web Data Management, February 2012, Cambrdige University Press, pp. 456, (isbn: 9781107012431)

Chapitres de Livre

• [BJL12

  @inbook {
  	BJL12,
  	title	=	"{Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)}",
  	chapter	=	"{BCARe : Contrôle automatique des règles ajoutées à SIEMENS}",
  	author	=	"K. Berkani and M. Jacquel and E. Le Lay",
  	year	=	2012,
  	publisher	=	"Hermes / Lavoisier",
  	pages	=	"-",
  }

  ] K. Berkani , M. Jacquel , E. Le Lay - BCARe : Contrôle automatique des règles ajoutées à SIEMENS, Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,
• [TS12

  @inbook {
  	TS12,
  	title	=	"{La qualité et la gouvernance des données au service de la performance des entreprises}",
  	chapter	=	"{Évaluation de la qualité d’un processus métier - Enjeux, cas d'étude et bonnes pratiques}",
  	author	=	"V. Thion and S. Si-Said Cherfi",
  	year	=	2012,
  }

  ] V. Thion , S. Si-Said Cherfi - Évaluation de la qualité d’un processus métier - Enjeux, cas d'étude et bonnes pratiques, Titre du livre: "La qualité et la gouvernance des données au service de la performance des entreprises", February 2012,
• [SAC12

  @inbook {
  	SAC12,
  	title	=	"{La qualité et la gouvernance des données au service de la performance des entreprises}",
  	chapter	=	"{Qualité des modèles de données}",
  	author	=	"S. Si-Said Cherfi and J. Akoka and I. Comyn-Wattiau",
  	year	=	2012,
  	publisher	=	"(à paraitre chez Hermes)",
  	pages	=	"16 pages",
  	note	=	"{(à paraitre chez Hermes en 2012)}",
  }

  ] S. Si-Said Cherfi , J. Akoka , I. Comyn-Wattiau - Qualité des modèles de données, Titre du livre: "La qualité et la gouvernance des données au service de la performance des entreprises", February 2012, (à paraitre chez Hermes), pp. 16 pages,
• [Tra12

  @inbook {
  	Tra12,
  	title	=	"{Web Data Management}",
  	chapter	=	"{Putting into Practice: Full-Text Indexing with LUCENE}",
  	author	=	"N. Travers",
  	year	=	2012,
  	publisher	=	"Cambridge University Press",
  	pages	=	"355--363",
  	note	=	"{Web Data Management Serge Abiteboul - INRIA Saclay – Île-de- France Ioana Manolescu - INRIA Saclay – Île-de- France Philippe Rigaux - Conservatoire Nationale des Arts et Metiers, Paris Marie-Christine Rousset - Université de Grenoble, France Pierre Senellart - Télécom ParisTech, France http://www.cambridge.org/aus/catalogue/catalogue.asp?isbn=9781107012431}",
  	isbn	=	"9781107012431",
  }

  ] N. Travers - Putting into Practice: Full-Text Indexing with LUCENE, Titre du livre: "Web Data Management", February 2012, Cambridge University Press, pp. 355--363, (isbn: 9781107012431)
• [Cru12

  @inbook {
  	Cru12,
  	title	=	"{J. Benois-Pineau, F. Precioso, M. Cord (eds) Visual indexing and retrieval: from features to decision schemes.}",
  	chapter	=	"{Scalability issues in visual information retrieval}",
  	author	=	"M. Crucianu",
  	year	=	2012,
  	publisher	=	" Springer Verlag",
  	pages	=	"65-81",
  	isbn	=	"978-1-4614-3587-7",
  }

  ] M. Crucianu - Scalability issues in visual information retrieval, Titre du livre: "J. Benois-Pineau, F. Precioso, M. Cord (eds) Visual indexing and retrieval: from features to decision schemes.", January 2012, Springer Verlag, pp. 65-81, (isbn: 978-1-4614-3587-7)
• [D F12

  @inbook {
  	D F12,
  	title	=	"{Statistical learning and data science}",
  	chapter	=	"{Bayesian analysis of structural equation models using parameter expansion}",
  	author	=	"S. Demeyer and J. Foulley and N. Fischer and G. Saporta",
  	year	=	2012,
  	publisher	=	"Chapman & Hall/CRC",
  	pages	=	"135-145",
  	isbn	=	"978-1-4398-6763-1",
  }

  ] S. Demeyer , J. Foulley , N. Fischer , G. Saporta - Bayesian analysis of structural equation models using parameter expansion, Titre du livre: "Statistical learning and data science", January 2012, Chapman & Hall/CRC, pp. 135-145, (isbn: 978-1-4398-6763-1)

Atelier, Poster ou Démonstration dans une Conférence Internationale

• [SCS12a

  @inproceedings {
  	SCS12a,
  	title	=	"{Ontologies for Security Requirements: A Literature Survey and Classification }",
  	author	=	" A. SOUAG and I. Comyn-Wattiau and C. Salinesi ",
  	booktitle	=	"{2nd International Workshop on Information Systems Security Engineering - WISSE’12 conjunction with the 24th International Conference on Advanced Information Systems Engineering CAiSE 2012 }",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-8",
  	address	=	"Gdańsk, Poland",
  }

  ] A. SOUAG , I. Comyn-Wattiau , C. Salinesi - Ontologies for Security Requirements: A Literature Survey and Classification , 2nd International Workshop on Information Systems Security Engineering - WISSE’12 conjunction with the 24th International Conference on Advanced Information Systems Engineering CAiSE 2012 , June 2012, pp.1-8, Gdańsk, Poland,
• [DJR12

  @inproceedings {
  	DJR12,
  	title	=	"{Development of secured systems by mixing programs, specifications andproofs in an object-oriented programming environment }",
  	author	=	" D. Doligez and M. Jaume and R. Rioboo ",
  	booktitle	=	"{ACM SIGPLAN Fifth Workshop on Programming Languages and Analysis for Security (PLAS 2012)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"A paraitre",
  	address	=	"Pékin, Chine",
  }

  ] D. Doligez , M. Jaume , R. Rioboo - Development of secured systems by mixing programs, specifications andproofs in an object-oriented programming environment , ACM SIGPLAN Fifth Workshop on Programming Languages and Analysis for Security (PLAS 2012), June 2012, pp.A paraitre, Pékin, Chine,
• [ASB12

  @inproceedings {
  	ASB12,
  	title	=	"{Trust Enabled Link Spoofing Setection in MANET}",
  	author	=	" M. Alattar and F. Sailhan and J. Bourgeois ",
  	booktitle	=	"{The Ninth Workshop on Wireless Ad hoc and Sensor Networks in cunjunction with Conference on Distributed Computing Systems (ICDCS)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-6",
  }

  ] M. Alattar , F. Sailhan , J. Bourgeois - Trust Enabled Link Spoofing Setection in MANET, The Ninth Workshop on Wireless Ad hoc and Sensor Networks in cunjunction with Conference on Distributed Computing Systems (ICDCS), June 2012, pp.1-6,
• [SSC12

  @inproceedings {
  	SSC12,
  	title	=	"{Ontologies for Security Requirements: A Literature Survey and Classification}",
  	author	=	" A. Souag and C. Salinesi and I. Comyn-Wattiau ",
  	booktitle	=	"{Second International Workshop on Information Systems Security Engineering - in conjunction with 24th International Conference on Advanced Information Systems Engineering (CAiSE12)}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"8 pages",
  	address	=	"Gdansk, Pologne",
  }

  ] A. Souag , C. Salinesi , I. Comyn-Wattiau - Ontologies for Security Requirements: A Literature Survey and Classification, Second International Workshop on Information Systems Security Engineering - in conjunction with 24th International Conference on Advanced Information Systems Engineering (CAiSE12), June 2012, pp.8 pages, Gdansk, Pologne,
• [SMR12

  @inproceedings {
  	SMR12,
  	title	=	"{Application de la génération de requêtes de médiation au dossier médical personnel}",
  	author	=	" A. Soukane and E. Metais and f. Ravaut ",
  	booktitle	=	"{Colloque sur l'Optimisation et les Systèmes d'Information COSI'12 }",
  	year	=	2012,
  	month	=	"May",
  	address	=	"Tlemcen, Algérie",
  }

  ] A. Soukane , E. Metais , f. Ravaut - Application de la génération de requêtes de médiation au dossier médical personnel, Colloque sur l'Optimisation et les Systèmes d'Information COSI'12 , May 2012, Tlemcen, Algérie,
• [Sap12a

  @inproceedings {
  	Sap12a,
  	title	=	"{Mining Official Data: What’s New?}",
  	author	=	" G. Saporta ",
  	booktitle	=	"{2012 SIAM International Conference on Data Mining, Anaheim, California}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	" 17",
  	note	=	"{Invited paper, Data Mining in Official Statistics Workshop, April 28}",
  }

  ] G. Saporta - Mining Official Data: What’s New?, 2012 SIAM International Conference on Data Mining, Anaheim, California, April 2012, pp. 17,
• [CdR12

  @inproceedings {
  	CdR12,
  	title	=	"{A Desktop Interface over Distributed Document Repositories}",
  	author	=	" C. Constantin and C. du Mouza and P. Rigaux and V. Thion and N. Travers ",
  	booktitle	=	"{International Conference on Extending Database Technology (EDBT'12)}",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"104-107",
  	address	=	"Berlin, Germany",
  	note	=	"{Demonstration}",
  }

  ] C. Constantin , C. du Mouza , P. Rigaux , V. Thion , N. Travers - A Desktop Interface over Distributed Document Repositories, International Conference on Extending Database Technology (EDBT'12), March 2012, pp.104-107, Berlin, Germany,

Atelier, Poster ou Démonstration dans une Conférence Nationale

• [ABS12a

  @inproceedings {
  	ABS12a,
  	title	=	"{Modeling and detecting intrusions in ad hoc network routing protocols}",
  	author	=	" M. Alattar and J. Bourgeois and F. Sailhan ",
  	booktitle	=	"{Workshop on Security of Systems and Software resiLiency (3SL)}",
  	year	=	2012,
  	month	=	"April",
  	pages	=	"1-2",
  	address	=	" France",
  }

  ] M. Alattar , J. Bourgeois , F. Sailhan - Modeling and detecting intrusions in ad hoc network routing protocols, Workshop on Security of Systems and Software resiLiency (3SL), April 2012, pp.1-2, France,
• [BTZ12

  @inproceedings {
  	BTZ12,
  	title	=	"{Méthodes multiblocs pour l’identification de gènes associés au vieillissement cutané chez 502 femmes caucasiennes adultes}",
  	author	=	" A. Bernard and A. Tenenhaus and J. Zagury and G. Saporta and C. Guinot ",
  	booktitle	=	"{EGC '2012}",
  	year	=	2012,
  	month	=	"February",
  	volume	=	RNTI,
  	issue	=	E.23,
  	pages	=	"555-556",
  	address	=	"Bordeaux, France",
  }

  ] A. Bernard , A. Tenenhaus , J. Zagury , G. Saporta , C. Guinot - Méthodes multiblocs pour l’identification de gènes associés au vieillissement cutané chez 502 femmes caucasiennes adultes, EGC '2012, February 2012, Vol. RNTI(E.23), pp.555-556, Bordeaux, France,
• [NOB12

  @inproceedings {
  	NOB12,
  	title	=	"{Weighted Hierarchical Mixed Topological Map: une méthode de classification hiérarchique à deux niveaux}",
  	author	=	" N. Niang Keita and M. Ouattara and F. Badran and S. Thiria and C. Mandin ",
  	booktitle	=	"{EGC '2012}",
  	year	=	2012,
  	month	=	"January",
  	pages	=	"xx",
  }

  ] N. Niang Keita , M. Ouattara , F. Badran , S. Thiria , C. Mandin - Weighted Hierarchical Mixed Topological Map: une méthode de classification hiérarchique à deux niveaux, EGC '2012, January 2012, pp.xx,

Mémoire de Thèse

• [Sé12

  @phdthesis {
  	Sé12,
  	title	=	"{Fouille de données textuelles et systèmes de recommandation appliqués aux offres d'emploi diffusées sur le web}",
  	author	=	"J. Séguéla",
  	year	=	2012,
  	pages	=	"202",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{ Directeur: Gilbert Saporta Rapporteur 1: Ludovic Lebart Rapporteur 2: Emmanuel Viennet Examinateur 1: Yves Lechevallier Examinateur 2: Thierry Artieres Examinateur 3: Michel Crucianu Examinateur 4: Yannick Fondeur Examinateur 5: Stéphane Le Viet }",
  }

  ] J. Séguéla - Fouille de données textuelles et systèmes de recommandation appliqués aux offres d'emploi diffusées sur le web, Soutenue le: 03 May 2012, pp. 202,

Rapport Scientifique

• [HGR12

  @techreport {
  	HGR12,
  	title	=	"{A representation of contextual relationships knowledge in images, LAMSADE Research Report no 320}",
  	author	=	"N. Hoang and V. Gouet-Brunet and M. Rukoz",
  	number	=	"{CEDRIC-12-2539}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{11-05-2012},
  	pages	=	"54",
  }

  ] N. Hoang , V. Gouet-Brunet , M. Rukoz - A representation of contextual relationships knowledge in images, LAMSADE Research Report no 320, Date de dépot: 2012/05/11, Nb pages 54, (Tech. Rep.: CEDRIC-12-2539)
• [Rob12

  @techreport {
  	Rob12,
  	title	=	"{Foundations of a Formally Verified Graph Library for Coq: the Example of Dijkstra’s Shortest Path Algorithm }",
  	author	=	"B. Robillard",
  	number	=	"{CEDRIC-12-2432}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{10-02-2012},
  }

  ] B. Robillard - Foundations of a Formally Verified Graph Library for Coq: the Example of Dijkstra’s Shortest Path Algorithm , Date de dépot: 2012/02/10, (Tech. Rep.: CEDRIC-12-2432)

Rapport du Laboratoire

• [ABS12

  @techreport {
  	ABS12,
  	title	=	"{Log based link spoofing detection in manet}",
  	author	=	"M. Alattar and J. Bourgeois and F. Sailhan",
  	number	=	"{}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{29-02-2012},
  	pages	=	"6",
  }

  ] M. Alattar , J. Bourgeois , F. Sailhan - Log based link spoofing detection in manet, Date de dépot: 2012/02/29, Nb pages 6,
• [RBD12

  @techreport {
  	RBD12,
  	title	=	"{Similarity Search in a Very Large Scale Using Hadoop and HBase}",
  	author	=	"P. Rigaux and S. Barton and V. Dohnal",
  	number	=	"{}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{10-01-2012},
  	pages	=	"13",
  }

  ] P. Rigaux , S. Barton , V. Dohnal - Similarity Search in a Very Large Scale Using Hadoop and HBase, Date de dépot: 2012/01/10, Nb pages 13,

Autres

• [CCF12

  @misc {
  	CCF12,
  	title	=	"{GPON. Gagnant dans la catégorie "Réseaux" des "Orange Labs Award 2012" }",
  	author	=	"M. Chardy and M.-C. Costa and A. Faye and S. Francfort and C. Hervet and M. Trampont",
  	year	=	2012,
  }

  ] M. Chardy , M.-C. Costa , A. Faye , S. Francfort , C. Hervet , M. Trampont - GPON. Gagnant dans la catégorie "Réseaux" des "Orange Labs Award 2012" ,

  datepub: January 2012,