Thomas Henzinger

Results: 26



#Item
1Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
2Model Checking Gene Regulatory Networks  ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Add to Reading List

Source URL: pub.ist.ac.at

Language: English - Date: 2018-05-10 06:54:26
3Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria)

Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria)

Add to Reading List

Source URL: ecee.colorado.edu

Language: English - Date: 2013-01-11 01:48:00
    4Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH  AND

    Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH AND

    Add to Reading List

    Source URL: cs.uni-salzburg.at

    Language: English - Date: 2018-07-24 07:01:05
      5Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch`  Hannes Payer`

      Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer`

      Add to Reading List

      Source URL: cs.uni-salzburg.at

      Language: English - Date: 2018-07-24 07:01:05
        6Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH  AND

        Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH AND

        Add to Reading List

        Source URL: www.cs.uni-salzburg.at

        Language: English - Date: 2018-07-24 07:01:05
          7Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

          Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

          Add to Reading List

          Source URL: www.cis.upenn.edu

          Language: English - Date: 2014-03-05 17:31:43
            8Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

            Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

            Add to Reading List

            Source URL: cs.uni-salzburg.at

              9MCWEB: A Model-Checking Tool for Web Site Debugging Luca de Alfaro Thomas A. Henzinger  Freddy Y.C. Mang

              MCWEB: A Model-Checking Tool for Web Site Debugging Luca de Alfaro Thomas A. Henzinger Freddy Y.C. Mang

              Add to Reading List

              Source URL: www10.org

              - Date: 2001-02-07 00:11:20
                10Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

                Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

                Add to Reading List

                Source URL: www.cs.uni-salzburg.at

                Language: English