Cachan

Results: 458



#Item
91Emptiness and Universality Problems in Timed Automata with Positive Frequency★ Nathalie Bertrand1 , Patricia Bouyer2 , Thomas Brihaye3 , and Am´elie Stainer1 1 2

Emptiness and Universality Problems in Timed Automata with Positive Frequency★ Nathalie Bertrand1 , Patricia Bouyer2 , Thomas Brihaye3 , and Am´elie Stainer1 1 2

Add to Reading List

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

- Date: 2011-05-03 05:01:55
    92Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

    Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

    Add to Reading List

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

    - Date: 2016-01-04 08:35:09
      93Timed Automata Can Always Be Made Implementable★ Patricia Bouyer1 , Kim G. Larsen2 , Nicolas Markey1 , Ocan Sankur1 , and Claus Thrane2 1

      Timed Automata Can Always Be Made Implementable★ Patricia Bouyer1 , Kim G. Larsen2 , Nicolas Markey1 , Ocan Sankur1 , and Claus Thrane2 1

      Add to Reading List

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

      - Date: 2011-06-24 09:42:56
        94From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

        From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

        Add to Reading List

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

        - Date: 2015-06-23 07:39:28
          95Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

          Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

          Add to Reading List

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

          - Date: 2016-01-18 11:51:05
            96Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri

            Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri

            Add to Reading List

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

            - Date: 2014-07-22 07:58:02
              97Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model t

              Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model t

              Add to Reading List

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

              - Date: 2013-06-19 03:54:32
                98Beyond Shapes: Lists with Ordered Data Kshitij Bansal ?1

                Beyond Shapes: Lists with Ordered Data Kshitij Bansal ?1

                Add to Reading List

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

                - Date: 2009-01-07 15:26:13
                  99Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                  Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                  Add to Reading List

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

                  - Date: 2012-03-07 10:57:44
                    100Fundamenta Informaticae XX–5 1 IOS Press

                    Fundamenta Informaticae XX–5 1 IOS Press

                    Add to Reading List

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

                    - Date: 2012-11-13 09:59:30