TIMED

Results: 632



#Item
61

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
    62

    Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

    Add to Reading List

    Source URL: nigam.info

    - Date: 2016-06-23 07:42:17
      63

      Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders Vivek Nigam1 , Carolyn Talcott2 and Abra˜ao Aires Urquiza1 1

      Add to Reading List

      Source URL: nigam.info

      - Date: 2016-07-01 05:16:14
        64

        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
          65

          Robust Reachability in Timed Automata and Games: A Game-based Approach I Patricia Bouyera , Nicolas Markeya , Ocan Sankurb a LSV, CNRS & ENS Cachan, Cachan, France.

          Add to Reading List

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

          - Date: 2014-08-25 11:21:22
            66

            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
              67

              Measuring with Timed Patterns CAV’15 Thomas Ferr` ere1 1

              Add to Reading List

              Source URL: www-verimag.imag.fr

              - Date: 2015-11-26 12:25:42
                68

                Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

                Add to Reading List

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

                - Date: 2012-09-14 10:37:26
                  69

                  Perturbation & adaptation models for timed systems Abstract The main objective of this PhD is to consider perturbations in tied models, formal modeling of perturbation correction techniques, and the robustness of timed

                  Add to Reading List

                  Source URL: www.irisa.fr

                  - Date: 2016-09-22 09:43:28
                    70

                    @let@token Online Timed Pattern Matching using Derivatives

                    Add to Reading List

                    Source URL: www-verimag.imag.fr

                    - Date: 2016-04-18 09:37:40
                      UPDATE