TIMED

Results: 632



#Item
71

ESTIMATED TIMED AGENDA CALIFORNIA TRANSPORTATION COMMISSION http://www.catc.ca.gov December 7, 2016 Riverside, California

Add to Reading List

Source URL: www.catc.ca.gov

- Date: 2016-11-23 17:07:25
    72

    CWS: A timed service-oriented calculus? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@dsi.unifi.it Abstra

    Add to Reading List

    Source URL: rap.dsi.unifi.it

    - Date: 2007-06-28 09:44:15
      73

      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
        74

        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
          75

          SIMULATION-BASED ANALYSIS OF TIMED REBECA USING TEPROP AND SQL Brynjar Magnússon Master of Science Software Engineering

          Add to Reading List

          Source URL: rebeca.cs.ru.is

          - Date: 2013-03-01 07:15:44
            76

            Online Timed Pattern Matching using Derivatives Dogan Ulus1 , Thomas Ferrère1 , Eugene Asarin2 , and Oded Maler1 1 V ERIMAG, Université Grenoble-Alpes/CNRS, France

            Add to Reading List

            Source URL: www-verimag.imag.fr

            - Date: 2016-01-08 10:07:58
              77

              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
                78

                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
                  79

                  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
                    80

                    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
                      UPDATE