Cachan

Results: 458



#Item
21Robustness of Time Petri Nets under architectural constraints ? S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Didier Lime3 and Olivier H. Roux3 1 INRIA/IRISA Rennes, France ENS Cachan Bretagne, Rennes, France

Robustness of Time Petri Nets under architectural constraints ? S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Didier Lime3 and Olivier H. Roux3 1 INRIA/IRISA Rennes, France ENS Cachan Bretagne, Rennes, France

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2012-07-04 11:20:32
    22Web-based Attacks on Host-Proof Encrypted Storage Karthikeyan Bhargavan INRIA Antoine Delignat-Lavaud ENS Cachan

    Web-based Attacks on Host-Proof Encrypted Storage Karthikeyan Bhargavan INRIA Antoine Delignat-Lavaud ENS Cachan

    Add to Reading List

    Source URL: antoine.delignat-lavaud.fr

    Language: English - Date: 2012-10-26 23:58:22
      23Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

      Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

      Add to Reading List

      Source URL: www.cs.bham.ac.uk.

      Language: English - Date: 2011-05-05 05:25:30
        246th International Workshop on Security Issues in Concurrency (SecCo’08) http://www.lsv.ens-cachan.fr/SecCo08/ August 23, 2008, Toronto (Canada) Affiliated to CONCUR 2008

        6th International Workshop on Security Issues in Concurrency (SecCo’08) http://www.lsv.ens-cachan.fr/SecCo08/ August 23, 2008, Toronto (Canada) Affiliated to CONCUR 2008

        Add to Reading List

        Source URL: www.lsv.fr

        - Date: 2008-04-18 05:56:15
          25Ecole Normale Sup´erieure de Cachan Th`ese en vue de l’obtention du diplˆome de docteur de l’Ecole Normale Sup´erieure de Cachan en Informatique Directeurs de th`ese : Fran¸cois Laroussinie et Nicolas Markey

          Ecole Normale Sup´erieure de Cachan Th`ese en vue de l’obtention du diplˆome de docteur de l’Ecole Normale Sup´erieure de Cachan en Informatique Directeurs de th`ese : Fran¸cois Laroussinie et Nicolas Markey

          Add to Reading List

          Source URL: people.irisa.fr

          - Date: 2016-11-22 06:48:41
            26Unfolding of Parametric Logical Regulatory Networks ˇ anek, Stefan Haar, Lo¨ıc Paulev´e Juraj Kolˇca´k, David Safr´ To cite this version: ˇ anek, Stefan Haar, Lo¨ıc Paulev´e. Unfolding of Parametric Logical

            Unfolding of Parametric Logical Regulatory Networks ˇ anek, Stefan Haar, Lo¨ıc Paulev´e Juraj Kolˇca´k, David Safr´ To cite this version: ˇ anek, Stefan Haar, Lo¨ıc Paulev´e. Unfolding of Parametric Logical

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2016-09-26 09:28:41
              27UnIPaN: 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

              Add to Reading List

              Source URL: www.lsv.fr

              - Date: 2016-05-10 08:52:04
                28N ◦ ENSC-2008/– THESE DE DOCTORAT DE L’ECOLE NORMALE SUPERIEURE DE CACHAN Pr´esent´ee par Ghassan OREIBY (1‫)ﻏﺴﺎﻥ ﺍﻟﻌﺮﻳﺒﻲ‬

                N ◦ ENSC-2008/– THESE DE DOCTORAT DE L’ECOLE NORMALE SUPERIEURE DE CACHAN Pr´esent´ee par Ghassan OREIBY (1‫)ﻏﺴﺎﻥ ﺍﻟﻌﺮﻳﺒﻲ‬

                Add to Reading List

                Source URL: people.irisa.fr

                - Date: 2016-11-24 10:17:57
                  29Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph Hugues Mandon, Stefan Haar, Lo¨ıc Paulev´e To cite this version: Hugues Mandon, Stefan Haar, Lo¨ıc Paulev´e. Relat

                  Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph Hugues Mandon, Stefan Haar, Lo¨ıc Paulev´e To cite this version: Hugues Mandon, Stefan Haar, Lo¨ıc Paulev´e. Relat

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2016-09-24 12:34:25
                    30Inria International program Associate Team proposalSubmission form LifeForm

                    Inria International program Associate Team proposalSubmission form LifeForm

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2016-07-27 07:46:45