Cachan

Results: 458



#Item
61

Attacking and Fixing PKCS#11 Security Tokens Matteo Bortolozzo, Matteo Centenaro Riccardo Focardi and Graham Steel Universita` Ca’ Foscari, Venezia and LSV, INRIA & CNRS & ENS-Cachan

Add to Reading List

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

- Date: 2010-10-06 15:10:24
    62

    Foundation of Diagnosis and Predictability in Probabilistic Systems Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

    Add to Reading List

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

    - Date: 2014-07-07 11:19:42
      63

      A Canonical Contraction for Safe Petri Nets? Thomas Chatain and Stefan Haar INRIA & LSV (CNRS & ENS Cachan) 61, avenue du Président WilsonCACHAN Cedex, France {chatain, haar}@lsv.ens-cachan.fr

      Add to Reading List

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

      - Date: 2013-09-03 10:01:58
        64

        Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

        Add to Reading List

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

        - Date: 2012-09-14 10:37:26
          65

          Weighted strategy logic with boolean goals over one-counter games Patricia Bouyer, Patrick Gardy, Nicolas Markey October 2015

          Add to Reading List

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

          - Date: 2015-10-13 09:51:49
            66

            On the semantics of Strategy LogicI Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract We define and study a slight variation on the semantics of Strategy Logi

            Add to Reading List

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

            - Date: 2015-10-15 03:09:54
              67

              Logical Investigations on Separation Logics Lecture 2: Propositional Separation Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

              Add to Reading List

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

              - Date: 2015-08-11 05:14:22
                68

                Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

                Add to Reading List

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

                - Date: 2014-07-25 05:56:10
                  69

                  Tractable Reasoning in a Fragment of Separation Logic Byron Cook1,3 , Christoph Haase2 , Jo¨el Ouaknine2 , Matthew Parkinson1, and James Worrell2 1

                  Add to Reading List

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

                  - Date: 2015-06-23 07:46:37
                    UPDATE