11![Covert channels detection in protocols using scenarios Loïc Hélouët1 , Claude Jard2 , Marc Zeitoun3 Irisa/INRIA, Campus de Beaulieu, FRennes, France Irisa/ENS Cachan-Bretagne, Campus de Ker-Lann,FBruz, F Covert channels detection in protocols using scenarios Loïc Hélouët1 , Claude Jard2 , Marc Zeitoun3 Irisa/INRIA, Campus de Beaulieu, FRennes, France Irisa/ENS Cachan-Bretagne, Campus de Ker-Lann,FBruz, F](https://www.pdfsearch.io/img/bd722ed90d242fb68097b38bdba4df5a.jpg) | Add to Reading ListSource URL: gray-world.netLanguage: English - Date: 2010-06-12 03:14:41
|
---|
12![The Sigali Tool Box Environment Loic Besnard Herv´e Marchand IRISA-CNRS IRISA-INRIA Campus Univ. de Beaulieu, 35042 Rennes,France {Loic.Besnard, Herve.Marchand}@irisa.fr The Sigali Tool Box Environment Loic Besnard Herv´e Marchand IRISA-CNRS IRISA-INRIA Campus Univ. de Beaulieu, 35042 Rennes,France {Loic.Besnard, Herve.Marchand}@irisa.fr](https://www.pdfsearch.io/img/3dc48326f46ca5c175a51aac39808aa7.jpg) | Add to Reading ListSource URL: www.irisa.frLanguage: English - Date: 2006-07-21 07:37:54
|
---|
13![Revisiting Statechart Synthesis with an Algebraic Approach Tew k Ziadi, Loc Hlout, Jean-Marc Jzquel IRISA, Campus de Beaulieu, 35042 Rennes Cedex, F rance {tewk.ziadi, loic.helouet, jeze quel}@irisa.fr Abstract Revisiting Statechart Synthesis with an Algebraic Approach Tew k Ziadi, Loc Hlout, Jean-Marc Jzquel IRISA, Campus de Beaulieu, 35042 Rennes Cedex, F rance {tewk.ziadi, loic.helouet, jeze quel}@irisa.fr Abstract](https://www.pdfsearch.io/img/ee069c8ebf534a267f1aae04ef2ba0aa.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2012-04-12 09:43:46
|
---|
14![Cell wall biosynthesis and control of morphogenesis in Physcomitrella patens Remco Viëtor2, Florent Brun1, Gregory Mouille1, Anne-Catherine Fitchette2, Loïc Faye2, Patrice Lerouge2 and Martine Gonneau1 1 Laboratoire d Cell wall biosynthesis and control of morphogenesis in Physcomitrella patens Remco Viëtor2, Florent Brun1, Gregory Mouille1, Anne-Catherine Fitchette2, Loïc Faye2, Patrice Lerouge2 and Martine Gonneau1 1 Laboratoire d](https://www.pdfsearch.io/img/4b33c3ee392a3a939015daa3ba687f34.jpg) | Add to Reading ListSource URL: biology4.wustl.eduLanguage: English - Date: 2005-03-22 16:31:37
|
---|
15![compte la dimension « publique » du service : résultats de la recherche-action Irstea-Nantes Métropole Marie Tsanga Tabi, Dominique Verdon et Loïc Even Le 4 pages compte la dimension « publique » du service : résultats de la recherche-action Irstea-Nantes Métropole Marie Tsanga Tabi, Dominique Verdon et Loïc Even Le 4 pages](https://www.pdfsearch.io/img/9676a793faa0a02feb8aef62bd81d30d.jpg) | Add to Reading ListSource URL: geste.engees.euLanguage: French - Date: 2017-02-18 16:11:58
|
---|
16![WORKING PAPER N° Discrimination in hiring: the curse of motorcycle women LOÏC DU PARQUET, EMMANUEL DUGUET, YANNICK L’HORTY, PASCALE PETIT WORKING PAPER N° Discrimination in hiring: the curse of motorcycle women LOÏC DU PARQUET, EMMANUEL DUGUET, YANNICK L’HORTY, PASCALE PETIT](https://www.pdfsearch.io/img/4dabdaa334a9140f76c5041a70c31c33.jpg) | Add to Reading ListSource URL: www.tepp.euLanguage: English - Date: 2017-11-22 19:52:04
|
---|
17![UnIPaN: Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks PhD proposal Advisors • Stefan Haar (DR Inria, Inria Saclay, Mexico team) http://www.lsv.ens-cachan.fr/~haar/ • Loïc Paule UnIPaN: Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks PhD proposal Advisors • Stefan Haar (DR Inria, Inria Saclay, Mexico team) http://www.lsv.ens-cachan.fr/~haar/ • Loïc Paule](https://www.pdfsearch.io/img/cc31f6c9b36f86ca7f75a3f2d51f6ceb.jpg) | Add to Reading ListSource URL: www.lsv.fr- Date: 2016-05-10 08:52:04
|
---|
18![Abstract Modelling and Analysis of Large Biological Regulatory Networks ETH Zurich - BISON Seminar - 4th April 2012 Loïc Paulevé LIX, École Polytechnique, France Abstract Modelling and Analysis of Large Biological Regulatory Networks ETH Zurich - BISON Seminar - 4th April 2012 Loïc Paulevé LIX, École Polytechnique, France](https://www.pdfsearch.io/img/8605e1e58716a9f74bc4c69bd72fba15.jpg) | Add to Reading ListSource URL: loicpauleve.name- Date: 2014-05-28 09:53:18
|
---|
19![INSIGHTS ON THE CONFIGURATION AND PERFORMANCES OF SOME/IP SERVICE DISCOVERY Jan R. SEYLER, Daimler A.G, Mercedes Cars Nicolas NAVET, University of Luxembourg Loïc FEJOZ, RealTime-at-Work (RTaW) INSIGHTS ON THE CONFIGURATION AND PERFORMANCES OF SOME/IP SERVICE DISCOVERY Jan R. SEYLER, Daimler A.G, Mercedes Cars Nicolas NAVET, University of Luxembourg Loïc FEJOZ, RealTime-at-Work (RTaW)](https://www.pdfsearch.io/img/5414859cbde6167355cf89722efaaee6.jpg) | Add to Reading ListSource URL: www.realtimeatwork.com- Date: 2015-04-26 09:30:53
|
---|
20![Modelling, Simulation and Verification of Large Biological Regulatory Networks Journée AFSEC - Méthodes formelles pour la bio-informatique - 20 octobre 2011 Loïc Paulevé1,2 , Morgan Magnin2 , Olivier Roux2 1: Modelling, Simulation and Verification of Large Biological Regulatory Networks Journée AFSEC - Méthodes formelles pour la bio-informatique - 20 octobre 2011 Loïc Paulevé1,2 , Morgan Magnin2 , Olivier Roux2 1:](https://www.pdfsearch.io/img/efcc5a2b8842779134997e2fe408f55f.jpg) | Add to Reading ListSource URL: loicpauleve.name- Date: 2014-05-28 09:53:18
|
---|