Cachan

Results: 458



#Item
31

Synth`ese de contrˆole hybride en pr´esence d’information partielle 1 Encadrants

Add to Reading List

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

- Date: 2016-11-26 11:27:25
    32

    Annexe : axe prioritaire Sécurité et sûreté département STIC Paris-Saclay (version du 01 septembreParticipants au GT : Daniel Augot (INRIA), Jean-Luc Danger (LTCI), Florent Kirchner (CEA LIST), Maryline Laure

    Add to Reading List

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

    - Date: 2015-11-23 06:12:35
      33

      Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey July 2014

      Add to Reading List

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

      - Date: 2015-12-11 09:44:05
        34

        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
          35

          Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

          Add to Reading List

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

          - Date: 2014-03-02 08:51:30
            36

            PDF Document

            Add to Reading List

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

            - Date: 2008-09-23 07:58:13
              37

              A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

              Add to Reading List

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

              - Date: 2014-01-21 06:29:06
                38

                Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

                Add to Reading List

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

                - Date: 2015-06-23 07:23:45
                  39

                  S. Demri, R. Lazi´ c and D. Nowak On the freeze quantifier in constraint LTL: decidability and complexity

                  Add to Reading List

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

                  - Date: 2005-09-29 04:27:56
                    40

                    1 Non-deterministic Phase Semantics and the Undecidability of Boolean BI DOMINIQUE LARCHEY-WENDLING, LORIA – CNRS DIDIER GALMICHE, LORIA – University Henri Poincar´e We solve the open problem of the decidability of

                    Add to Reading List

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

                    - Date: 2014-03-15 21:53:30
                      UPDATE