Cachan

Results: 458



#Item
81

An Introduction to Security API Analysis ? Riccardo Focardi1 , Flaminia L. Luccio1 and Graham Steel2 1

Add to Reading List

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

- Date: 2011-09-12 03:35:59
    82

    A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

    Add to Reading List

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

    - Date: 2015-01-28 03:31:41
      83

      Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London

      Add to Reading List

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

      - Date: 2014-02-28 18:10:36
        84

        PeerCube: a Hypercube-based P2P Overlay Robust against Collusion and Churn E. Anceaume, R. Ludinard, A. Ravoaja IRISA/CNRS/INRIA/ENS Cachan Campus Universitaire de Beaulieu Rennes, France

        Add to Reading List

        Source URL: people.rennes.inria.fr

        - Date: 2013-05-27 08:17:29
          85

          Abella: A System for Reasoning about Relational Specifications DAVID BAELDE LSV, ENS Cachan, France KAUSTUV CHAUDHURI

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2015-02-05 11:20:10
            86

            Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

            Add to Reading List

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

            - Date: 2014-03-02 08:55:00
              87

              Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS & ENS Cachan – France Universit´e Libre de Bruxelles – Belgium

              Add to Reading List

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

              - Date: 2013-09-06 05:42:30
                88

                Logical Investigations on Separation Logics Day 5: Decision Procedures ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

                Add to Reading List

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

                - Date: 2015-08-14 05:29:48
                  89

                  Thymeflow, A Personal Knowledge Base with Spatio-temporal Data David Montoya Thomas Pellissier Tanon

                  Add to Reading List

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

                  - Date: 2016-11-10 06:36:20
                    90

                    Robust Reachability in Timed Automata: A Game-based Approach ? Patricia Bouyer, Nicolas Markey, and Ocan Sankur LSV, CNRS & ENS Cachan, France. {bouyer,markey,sankur}@lsv.ens-cachan.fr

                    Add to Reading List

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

                    - Date: 2012-05-18 09:46:04
                      UPDATE