Cachan

Results: 458



#Item
41Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan & CNRS, France.

Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan & CNRS, France.

Add to Reading List

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

- Date: 2013-07-16 08:47:10
    42Logical Investigations on Separation Logics Day 4: Relationships To Other Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

    Logical Investigations on Separation Logics Day 4: Relationships To Other Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

    Add to Reading List

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

    - Date: 2015-08-13 05:24:07
      43Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. Chapters

      Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. Chapters

      Add to Reading List

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

      - Date: 2014-03-02 18:39:23
        44Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics

        Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics

        Add to Reading List

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

        - Date: 2011-08-09 04:16:30
          45Probabilistic Aspects of Computer Science: Markovian Models S. Haddad1 April 2,

          Probabilistic Aspects of Computer Science: Markovian Models S. Haddad1 April 2,

          Add to Reading List

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

          - Date: 2014-04-02 04:16:36
            46Robustness in Real-time Systems Nicolas Markey∗ LSV – CNRS & ENS Cachan, France Abstract

            Robustness in Real-time Systems Nicolas Markey∗ LSV – CNRS & ENS Cachan, France Abstract

            Add to Reading List

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

            - Date: 2011-06-11 04:36:40
              47Logical Investigations on Separation Logics Lecture 1: First Steps in Separation Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

              Logical Investigations on Separation Logics Lecture 1: First Steps in Separation Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

              Add to Reading List

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

              - Date: 2015-08-10 06:09:10
                48Back in Time Petri Nets Thomas Chatain1 and Claude Jard2 1 LSV, ENS Cachan, INRIA, CNRS, France 2

                Back in Time Petri Nets Thomas Chatain1 and Claude Jard2 1 LSV, ENS Cachan, INRIA, CNRS, France 2

                Add to Reading List

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

                - Date: 2013-09-03 09:20:51
                  49Logical Investigations on Separation Logics Day 3: Expressiveness of Separation Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

                  Logical Investigations on Separation Logics Day 3: Expressiveness of Separation Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

                  Add to Reading List

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

                  - Date: 2015-08-12 01:21:30
                    50Parametric Interrupt Timed Automata? B. B´erard1 , S. Haddad2 , A. Jovanovi´c3 , and D. Lime3 1 3

                    Parametric Interrupt Timed Automata? B. B´erard1 , S. Haddad2 , A. Jovanovi´c3 , and D. Lime3 1 3

                    Add to Reading List

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

                    - Date: 2013-08-27 18:01:12