LSV-2

Results: 45



#Item
1

Accurate Approximate Diagnosability of Stochastic Systems Nathalie Bertrand1 , Serge Haddad2 , Engel Lefaucheux1,2 1 Inria, France 2 LSV, ENS Cachan & CNRS & Inria, France MeFoSyLoMa, March 4th 2016

Add to Reading List

Source URL: www.mefosyloma.fr

Language: English - Date: 2018-06-25 06:32:19
    2

    Diagnosis in Infinite-State Probabilistic Systems Nathalie Bertrand1 , Serge Haddad2 , Engel Lefaucheux1,2 1 Inria Rennes, France 2 LSV, ENS Cachan & CNRS & Inria, France Infinity 2016, Singapore

    Add to Reading List

    Source URL: people.rennes.inria.fr

    Language: English - Date: 2016-08-29 09:23:20
      3

      Diagnosis with Dynamic MSC Languages Benedikt Bollig1 and Stefan Haar and Lo¨ıc H´elou¨et2 1 LSV, ENS Cachan, CNRS, INRIA, France 2

      Add to Reading List

      Source URL: people.rennes.inria.fr

      Language: English - Date: 2015-02-28 19:54:45
        4

        Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

        Add to Reading List

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

        - Date: 2014-02-21 17:46:20
          5

          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
            6

            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
              7

              A Generic Security API for Symmetric Key Management on Cryptographic Devices V´eronique Cortier1 and Graham Steel2 1 2

              Add to Reading List

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

              - Date: 2009-07-29 11:28:11
                8

                Robust Controller Synthesis in Timed Automata Ocan Sankur1 , Patricia Bouyer1 , Nicolas Markey1 , Pierre-Alain Reynier2 1 2

                Add to Reading List

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

                - Date: 2013-06-19 03:54:44
                  9

                  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
                    10

                    Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

                    Add to Reading List

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

                    - Date: 2015-06-23 07:31:00
                      UPDATE