default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas A. Henzinger

> Home > Persons

Person information

affiliation: Institute of Science and Technology Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j105]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChalupaMLH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChalupaMLH25
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for best-effort third-party monitoring. Sci. Comput. Program. 240: 103212 (2025)
2024
[j104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BoseHLST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BoseHLST24
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-deterministic Timed Automata. Log. Methods Comput. Sci. 20(4) (2024)
[c375]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AvniGHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AvniGHM24
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik:
Bidding Games with Charging. CONCUR 2024: 8:1-8:17
[c374]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BokerHL024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BokerHL024
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash:
History-Determinism vs Fair Simulation. CONCUR 2024: 12:1-12:16
[c373]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerMS24
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR 2024: 29:1-29:20
[c372]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/CanoHKKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/CanoHKKM24
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik:
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). FSCD 2024: 2:1-2:17
[c371]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LechnerHAWHR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LechnerHAWHR24
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus:
Overparametrization helps offline-to-online generalization of closed-loop control from pixels. ICRA 2024: 2774-2782
[c370]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChalupaHMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChalupaHMS24
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. ISoLA (4) 2024: 3-20
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/ChaupaLMH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChaupaLMH24
Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger:
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Version 2. Zenodo, 2024 [all versions]
[i92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-14374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-14374
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow Interfaces and Security Lattices. CoRR abs/2406.14374 (2024)
[i91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-06288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-06288
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik:
Bidding Games with Charging. CoRR abs/2407.06288 (2024)
[i90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-08620
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-08620
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash:
History-Determinism vs Fair Simulation. CoRR abs/2407.08620 (2024)
[i89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-10473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-10473
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CoRR abs/2407.10473 (2024)
[i88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-03569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-03569
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. CoRR abs/2409.03569 (2024)
2023
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/TrinhBHP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/TrinhBHP23
Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva:
Trap spaces of multi-valued networks: definition, computation, and applications. Bioinform. 39(Supplement-1): 513-522 (2023)
[j102]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ral/LechnerARH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/LechnerARH23
Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger:
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. IEEE Robotics Autom. Lett. 8(3): 1595-1602 (2023)
[j101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/KueffnerLSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KueffnerLSH23
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25(4): 575-592 (2023)
[c369]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZikelicLHC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZikelicLHC23
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee:
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI 2023: 11926-11935
[c368]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LechnerZCHR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LechnerZCHR23
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus:
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI 2023: 14964-14973
[c367]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AnsaripourCHLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AnsaripourCHLZ23
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) 2023: 357-379
[c366]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerKKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerKKM23
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness. CAV (2) 2023: 358-382
[c365]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BokerHMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BokerHMS23
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CONCUR 2023: 17:1-17:18
[c364]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BartocciHNC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BartocciHNC23
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode Automata. CONCUR 2023: 21:1-21:16
[c363]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChalupaMLH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChalupaMLH23
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE 2023: 260-281
[c362]
- view
  authority control:
- export record
  dblp key:
  - conf/fat/HenzingerKKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fat/HenzingerKKM23
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Runtime Monitoring of Dynamic Fairness Properties. FAccT 2023: 604-614
[c361]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/PastvaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PastvaH23
Samuel Pastva, Thomas A. Henzinger:
Binary Decision Diagrams on Modern Hardware. FMCAD 2023: 122-131
[c360]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/HenzingerMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/HenzingerMS23
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Safety and Liveness. FoSSaCS 2023: 349-370
[c359]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerKMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerKMS23
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç:
Regular Methods for Operator Precedence Languages. ICALP 2023: 129:1-129:20
[c358]
- view
  - electronic edition @ nips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/ZikelicLVCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/ZikelicLVCH23
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger:
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS 2023
[c357]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties with Prefix Transducers. RV 2023: 168-190
[c356]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerKM23
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness Under Partial Observations. RV 2023: 291-311
[c355]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChatterjeeHLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChatterjeeHLZ23
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) 2023: 3-25
[c354]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). TACAS (2) 2023: 535-540
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties With Prefix Transducers. Zenodo, 2023
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/ChaupaLMH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChaupaLMH23
Marek Chalupa, Stefanie Muroya Lei, Fabian Muehlboeck, Thomas A. Henzinger:
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Version 1.0.0. Zenodo, 2023 [all versions]
[i87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11175
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Safety and Liveness. CoRR abs/2301.11175 (2023)
[i86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-03183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-03183
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-deterministic Timed Automata. CoRR abs/2304.03183 (2023)
[i85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02836
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02836
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode Automata. CoRR abs/2305.02836 (2023)
[i84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-03447
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-03447
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç:
Regular Methods for Operator Precedence Languages. CoRR abs/2305.03447 (2023)
[i83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-04699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-04699
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Runtime Monitoring of Dynamic Fairness Properties. CoRR abs/2305.04699 (2023)
[i82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-15979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-15979
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness. CoRR abs/2305.15979 (2023)
[i81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-06016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-06016
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CoRR abs/2307.06016 (2023)
[i80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-00341
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-00341
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness under Partial Observations. CoRR abs/2308.00341 (2023)
[i79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-03626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-03626
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties With Prefix Transducers. CoRR abs/2308.03626 (2023)
[i78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-01456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-01456
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger:
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR abs/2312.01456 (2023)
2022
[c353]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GruenbacherLHRH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GruenbacherLHRH22
Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu:
GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI 2022: 6755-6764
[c352]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LechnerZCH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LechnerZCH22
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI 2022: 7326-7336
[c351]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SotoHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SotoHS22
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Parametric Hybrid Automata from Time Series. ATVA 2022: 337-353
[c350]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerLT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerLT22
Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke:
History-Deterministic Timed Automata. CONCUR 2022: 14:1-14:21
[c349]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BartocciFHNC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BartocciFHNC22
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow Interfaces. FASE 2022: 3-22
[c348]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/AvniH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/AvniH22
Guy Avni, Thomas A. Henzinger:
An Updated Survey of Bidding Games on Graphs (Invited Talk). MFCS 2022: 3:1-3:6
[c347]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BoseHLST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BoseHLST22
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-Deterministic Timed Automata Are Not Determinizable. RP 2022: 67-76
[c346]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerMS22
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Abstract Monitors for Quantitative Specifications. RV 2022: 200-220
[c345]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BartocciFHNC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BartocciFHNC22
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Flavors of Sequential Information Flow. VMCAI 2022: 1-19
[i77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-07373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-07373
Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger:
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. CoRR abs/2204.07373 (2022)
[i76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11991
Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger:
Learning Stabilizing Policies in Stochastic Control Systems. CoRR abs/2205.11991 (2022)
[i75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01261
Mathias Lechner, Ramin M. Hasani, Zahra Babaiee, Radu Grosu, Daniela Rus, Thomas A. Henzinger, Sepp Hochreiter:
Entangled Residual Mappings. CoRR abs/2206.01261 (2022)
[i74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-06383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-06383
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Parametric Hybrid Automata from Time Series. CoRR abs/2208.06383 (2022)
[i73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-04303
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-04303
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus:
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap. CoRR abs/2210.04303 (2022)
[i72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-05304
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-05304
Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR abs/2210.05304 (2022)
[i71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-05308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-05308
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee:
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR abs/2210.05308 (2022)
[i70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-16187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-16187
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus:
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR abs/2211.16187 (2022)
2021
[j100]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/AvniHZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/AvniHZ21
Guy Avni, Thomas A. Henzinger, Dorde Zikelic:
Bidding mechanisms in graph games. J. Comput. Syst. Sci. 119: 133-144 (2021)
[j99]
- view
  - electronic edition @ episciences.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/lmcs/AghajohariAH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AghajohariAH21
Milad Aghajohari, Guy Avni, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. Log. Methods Comput. Sci. 17(1) (2021)
[j98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PetrovISHG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PetrovISHG21
Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet:
Long lived transients in gene regulation. Theor. Comput. Sci. 893: 1-16 (2021)
[c344]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HenzingerLZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HenzingerLZ21
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Scalable Verification of Quantized Neural Networks. AAAI 2021: 3787-3795
[c343]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SotoH021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SotoH021
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of hybrid automata with affine dynamics from time-series data. HSCC 2021: 2:1-2:11
[c342]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LechnerHGRH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LechnerHGRH21
Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger:
Adversarial Training is Not Ready for Robot Learning. ICRA 2021: 4140-4147
[c341]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HenzingerS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HenzingerS21
Thomas A. Henzinger, N. Ege Saraç:
Quantitative and Approximate Monitoring. LICS 2021: 1-14
[c340]
- view
  - electronic edition @ neurips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/LechnerZCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/LechnerZCH21
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS 2021: 10171-10185
[c339]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LukinaSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LukinaSH21
Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the Unknown: Active Monitoring of Neural Networks. RV 2021: 42-61
[c338]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MuehlboeckH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MuehlboeckH21
Fabian Muehlboeck, Thomas A. Henzinger:
Differential Monitoring. RV 2021: 231-243
[c337]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Henzinger21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Henzinger21
Thomas A. Henzinger:
Quantitative Monitoring of Software. VSTTE 2021: 3-6
[i69]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-12734
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-12734
Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. CoRR abs/2102.12734 (2021)
[i68]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-08187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-08187
Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger:
Adversarial Training is Not Ready for Robot Learning. CoRR abs/2103.08187 (2021)
[i67]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-02013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-02013
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Flavours of Sequential Information Flow. CoRR abs/2105.02013 (2021)
[i66]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-08353
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-08353
Thomas A. Henzinger, N. Ege Saraç:
Quantitative and Approximate Monitoring. CoRR abs/2105.08353 (2021)
[i65]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08467
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08467
Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu:
GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR abs/2107.08467 (2021)
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-03165
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-03165
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR abs/2111.03165 (2021)
[i63]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-09495
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-09495
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR abs/2112.09495 (2021)
2020
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/natmi/LechnerHAHRG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/natmi/LechnerHAHRG20
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu:
Neural circuit policies enabling auditable autonomy. Nat. Mach. Intell. 2(10): 642-652 (2020)
[j96]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AvniHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AvniHK20
Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic resource allocation games. Theor. Comput. Sci. 807: 42-55 (2020)
[c336]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KraglQH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KraglQH20
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger:
Refinement for Structured Concurrent Programs. CAV (1) 2020: 275-298
[c335]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AvniH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AvniH20
Guy Avni, Thomas A. Henzinger:
A Survey of Bidding Games on Graphs (Invited Paper). CONCUR 2020: 2:1-2:21
[c334]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeHO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeHO20
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. CONCUR 2020: 23:1-23:22
[c333]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/FerrereHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/FerrereHK20
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl:
Monitoring Event Frequencies. CSL 2020: 20:1-20:16
[c332]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/HenzingerL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HenzingerL020
Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI 2020: 2433-2440
[c331]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AlamdariAHL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AlamdariAHL20
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina:
Formal Methods with a Touch of Magic. FMCAD 2020: 138-147
[c330]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KraglEHMQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KraglEHMQ20
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer:
Inductive sequentialization of asynchronous programs. PLDI 2020: 227-242
[c329]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerS20
Thomas A. Henzinger, N. Ege Saraç:
Monitorability Under Assumptions. RV 2020: 3-18
[c328]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GiacobbeHL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GiacobbeHL20
Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner:
How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) 2020: 79-97
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KraglEHMQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KraglEHMQ20
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer:
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact). Zenodo, 2020
[i62]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2002-06465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-06465
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-Flow Interfaces. CoRR abs/2002.06465 (2020)
[i61]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-12175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-12175
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina:
Formal Methods with a Touch of Magic. CoRR abs/2005.12175 (2020)
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-08917
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-08917
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. CoRR abs/2007.08917 (2020)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-06429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06429
Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: Active monitoring of neural networks. CoRR abs/2009.06429 (2020)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08185
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Scalable Verification of Quantized Neural Networks (Technical Report). CoRR abs/2012.08185 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j95]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/AvniHC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/AvniHC19
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-duration Bidding Games. J. ACM 66(4): 31:1-31:29 (2019)
[j94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ChatterjeeHO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ChatterjeeHO19
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15(3) (2019)
[c327]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SotoHSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SotoHSZ19
Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik:
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) 2019: 297-314
[c326]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AvniBCHKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AvniBCHKP19
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger:
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) 2019: 630-649
[c325]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/GuetHIPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/GuetHIPS19
Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin:
Transient Memory in Gene Regulation. CMSB 2019: 155-187
[c324]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AghajohariAH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AghajohariAH19
Milad Aghajohari, Guy Avni, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. CONCUR 2019: 20:1-20:17
[c323]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeHO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeHO19
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Long-Run Average Behavior of Vector Addition Systems with States. CONCUR 2019: 27:1-27:16
[c322]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KongB0H19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KongB0H19
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141
[c321]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LechnerHZHG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LechnerHZHG19
Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu:
Designing Worm-inspired Neural Networks for Interpretable Robotic Control. ICRA 2019: 87-94
[c320]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/AvniHZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/AvniHZ19
Guy Avni, Thomas A. Henzinger, Dorde Zikelic:
Bidding Mechanisms in Graph Games. MFCS 2019: 11:1-11:13
[c319]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AvniHIN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AvniHIN19
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný:
Bidding Games on Markov Decision Processes. RP 2019: 1-12
[p2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - series/lncs/AlurGHLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AlurGHLM19
Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis:
Continuous-Time Models for System Design and Analysis. Computing and Software Science 2019: 452-477
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07083
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07083
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. CoRR abs/1904.07083 (2019)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-03588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-03588
Milad Aghajohari, Guy Avni, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. CoRR abs/1905.03588 (2019)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-03835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-03835
Guy Avni, Thomas A. Henzinger, Dorde Zikelic:
Bidding Mechanisms in Graph Games. CoRR abs/1905.03835 (2019)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-05537
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-05537
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Long-Run Average Behavior of Vector Addition Systems with States. CoRR abs/1905.05537 (2019)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11514
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR abs/1907.11514 (2019)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-06097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-06097
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl:
Monitoring Event Frequencies. CoRR abs/1910.06097 (2019)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-09032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-09032
Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. CoRR abs/1911.09032 (2019)
2018
[j93]
- view
  authority control:
- export record
  dblp key:
  - journals/fteda/BenvenisteCNPRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018)
[c318]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/Henzinger18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Henzinger18
Thomas A. Henzinger:
Temporal Logics for Multi-Agent Systems. AAMAS 2018: 1
[c317]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChatterjeeHO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChatterjeeHO18
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Computing Average Response Time. Principles of Modeling 2018: 143-161
[c316]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KongBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KongBH18
Hui Kong, Ezio Bartocci, Thomas A. Henzinger:
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. CAV (1) 2018: 449-467
[c315]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FrehseGH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FrehseGH18
Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger:
Space-Time Interpolants. CAV (1) 2018: 468-486
[c314]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/KraglQH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KraglQH18
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger:
Synchronizing the Asynchronous. CONCUR 2018: 21:1-21:17
[c313]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/BakhirkinFHN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/BakhirkinFHN18
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic:
The first-order logic of signals: keynote. EMSOFT 2018: 1
[c312]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ElgyuttFH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ElgyuttFH18
Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger:
Monitoring Temporal Logic with Clock Variables. FORMATS 2018: 53-70
[c311]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FerrereHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FerrereHS18
Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç:
A Theory of Register Monitors. LICS 2018: 394-403
[c310]
- view
  authority control:
- export record
  dblp key:
  - conf/wine/AvniHI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wine/AvniHI18
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen:
Infinite-Duration Poorman-Bidding Games. WINE 2018: 21-36
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/ClarkeHV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/ClarkeHV18
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith:
Introduction to Model Checking. Handbook of Model Checking 2018: 1-26
[e10]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/2018
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem:
Handbook of Model Checking. Springer 2018, ISBN 978-3-319-10574-1 [contents]
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04372
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04372
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen:
Infinite-Duration Poorman-Bidding Games. CoRR abs/1804.04372 (2018)
2017
[j92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/acta/GiacobbeGGHPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/GiacobbeGGHPP17
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model checking the evolution of gene regulatory networks. Acta Informatica 54(8): 765-787 (2017)
[j91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/CernyCHRRST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CernyCHRRST17
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50(2-3): 97-139 (2017)
[j90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/GottlobHW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GottlobHW17
Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher:
Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods Syst. Des. 51(2): 267-269 (2017)
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ChatterjeeHOV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChatterjeeHOV17
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner:
Quantitative fair simulation games. Inf. Comput. 254: 143-166 (2017)
[j88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ChatterjeeHIO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ChatterjeeHIO17
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop:
Edit Distance for Pushdown Automata. Log. Methods Comput. Sci. 13(3) (2017)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/DacaHKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/DacaHKP17
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18(2): 12:1-12:25 (2017)
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChatterjeeHO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChatterjeeHO17
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Automata. ACM Trans. Comput. Log. 18(4): 31:1-31:44 (2017)
[c309]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Chatterjee0H17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Chatterjee0H17
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools 2017: 367-381
[c308]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BakBHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BakBHK17
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar:
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV 2017: 83-89
[c307]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeHO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeHO17
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Bidirectional Nested Weighted Automata. CONCUR 2017: 5:1-5:16
[c306]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AvniHC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AvniHC17
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-Duration Bidding Games. CONCUR 2017: 21:1-21:18
[c305]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BogomolovGHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BogomolovGHK17
Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong:
Conic Abstractions for Hybrid Systems. FORMATS 2017: 116-132
[c304]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KongBSJH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KongBSJH17
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC 2017: 163-172
[c303]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Henzinger17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Henzinger17
Thomas A. Henzinger:
The quest for average response time. MEMOCODE 2017: 4
[c302]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AvniGHR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AvniGHR17
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas:
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. TACAS (2) 2017: 169-187
[c301]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BogomolovFGH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BogomolovFGH17
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger:
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) 2017: 589-606
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AvniGHR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AvniGHR17
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas:
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. CoRR abs/1701.03519 (2017)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AvniCH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AvniCH17
Guy Avni, Ventsislav Chonev, Thomas A. Henzinger:
Infinite-Duration Bidding Games. CoRR abs/1705.01433 (2017)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChatterjeeHO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeHO17
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Bidirectional Nested Weighted Automata. CoRR abs/1706.08316 (2017)
2016
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/SchillingBHPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/SchillingBHPR16
Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess:
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149: 15-25 (2016)
[j84]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/AcetoHKTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AcetoHKTV16
Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS 118 (2016)
[c300]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DacaHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DacaHK16
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. CAV (2) 2016: 230-248
[c299]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/HaasHHKLPSSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HaasHHKLPSSV16
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith:
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR 2016: 6:1-6:15
[c298]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DacaHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DacaHKP16
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CONCUR 2016: 20:1-20:15
[c297]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/KongBBGHJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/KongBBGHJS16
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling:
Discrete Abstraction of Multiaffine Systems. HSB 2016: 128-144
[c296]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BakBHJP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BakBHJP16
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash:
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC 2016: 155-164
[c295]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeHO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeHO16
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Quantitative Automata under Probabilistic Semantics. LICS 2016: 76-85
[c294]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeHO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeHO16
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Limit-Average Automata of Bounded Width. MFCS 2016: 24:1-24:14
[c293]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/DragoiHZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/DragoiHZ16
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
PSync: a partially synchronous language for fault-tolerant distributed algorithms. POPL 2016: 400-415
[c292]
- view
  authority control:
- export record
  dblp key:
  - conf/sagt/AvniHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sagt/AvniHK16
Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic Resource Allocation Games. SAGT 2016: 153-166
[c291]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChatterjeeHO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChatterjeeHO16
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Quantitative Monitor Automata. SAS 2016: 23-38
[c290]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DacaHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DacaHKP16
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016: 112-129
[c289]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HenzingerOS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HenzingerOS16
Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Timed I/O Systems. VMCAI 2016: 250-267
[c288]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DacaGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DacaGH16
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. VMCAI 2016: 328-347
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DacaHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DacaHK16
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. CoRR abs/1603.06850 (2016)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChatterjeeHO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeHO16
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Quantitative Automata under Probabilistic Semantics. CoRR abs/1604.06764 (2016)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DacaHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DacaHKP16
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CoRR abs/1605.00186 (2016)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KongBSJH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KongBSJH16
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Invariant Clusters for Hybrid Systems. CoRR abs/1605.01450 (2016)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChatterjeeHO16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeHO16a
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Limit-Average Automata of Bounded Width. CoRR abs/1606.03598 (2016)
2015
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/HenzingerR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/HenzingerR15
Thomas A. Henzinger, Jean-François Raskin:
The equivalence problem for finite automata: technical perspective. Commun. ACM 58(2): 86 (2015)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChakrabortyHSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChakrabortyHSV15
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis:
Aspect-oriented linearizability proofs. Log. Methods Comput. Sci. 11(1) (2015)
[j81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/VelnerC0HRR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/VelnerC0HRR15
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin:
The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. 241: 177-196 (2015)
[j80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Chatterjee0GH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Chatterjee0GH15
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for free. Inf. Comput. 245: 3-16 (2015)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/ChatterjeeHJ015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/ChatterjeeHJ015
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
Measuring and Synthesizing Systems in Probabilistic Environments. J. ACM 62(1): 9:1-9:34 (2015)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AlurHV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AlurHV15
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. ACM SIGLOG News 2(1): 46-51 (2015)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/GuptaH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/GuptaH15
Ashutosh Gupta, Thomas A. Henzinger:
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology. ACM Trans. Model. Comput. Simul. 25(2): 7:1-7:2 (2015)
[c287]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CernyCHRRST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CernyCHRRST15
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) 2015: 180-197
[c286]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/BenesDHKN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/BenesDHKN15
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110
[c285]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BogomolovHPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BogomolovHPRS15
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling:
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB 2015: 77-89
[c284]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CernyHKRZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CernyHKRZ15
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr:
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP 2015: 105-131
[c283]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChatterjeeHIO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeHIO15
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop:
Edit Distance for Pushdown Automata. ICALP (2) 2015: 121-133
[c282]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeHO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeHO15
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Automata. LICS 2015: 725-737
[c281]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BokerHO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BokerHO15
Udi Boker, Thomas A. Henzinger, Jan Otop:
The Target Discounted-Sum Problem. LICS 2015: 750-761
[c280]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GuptaHRST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GuptaHRST15
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach:
Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444
[c279]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/DragoiHZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/DragoiHZ15
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
The Need for Language Support for Fault-Tolerant Distributed Systems. SNAPL 2015: 90-102
[c278]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GiacobbeGGHPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GiacobbeGGHPP15
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks. TACAS 2015: 469-483
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HaasHHKLPSSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HaasHHKLPSSV15
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith:
Local Linearizability. CoRR abs/1502.07118 (2015)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DacaHKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DacaHKP15
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. CoRR abs/1504.05739 (2015)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChatterjeeHO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeHO15
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Automata. CoRR abs/1504.06117 (2015)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChatterjeeHIO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeHIO15
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop:
Edit Distance for Pushdown Automata. CoRR abs/1504.08259 (2015)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CernyCHRRST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CernyCHRRST15
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR abs/1505.04533 (2015)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HenzingerOS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HenzingerOS15
Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Timed I/O Systems. CoRR abs/1506.01233 (2015)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DacaGH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DacaGH15
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. CoRR abs/1511.02615 (2015)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CernyCHRRST15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CernyCHRRST15a
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
Optimizing Solution Quality in Synchronization Synthesis. CoRR abs/1511.07163 (2015)
2014
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BloemCGHHJKK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BloemCGHHJKK14
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer:
Synthesizing robust systems. Acta Informatica 51(3-4): 193-220 (2014)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BokerH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BokerH14
Udi Boker, Thomas A. Henzinger:
Exact and Approximate Determinization of Discounted-Sum Automata. Log. Methods Comput. Sci. 10(1) (2014)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/HenzingerJMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/HenzingerJMM14
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. ACM SIGPLAN Notices 49(4S): 79-91 (2014)
[j73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CernyCHR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CernyCHR14
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BokerCHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BokerCHK14
Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman:
Temporal Specifications with Accumulative Values. ACM Trans. Comput. Log. 15(4): 27:1-27:25 (2014)
[c277]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CernyHRRT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CernyHRRT14
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-Free Synthesis for Concurrency. CAV 2014: 568-584
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Henzinger14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Henzinger14
Thomas A. Henzinger:
Computer-aided verification technology for biology. FMCAD 2014: 11
[c275]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/HenzingerOS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/HenzingerOS14
Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Finite-state Transducers. FSTTCS 2014: 431-443
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerO14
Thomas A. Henzinger, Jan Otop:
Model measuring for hybrid systems. HSCC 2014: 213-222
[c273]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GordonHNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GordonHNR14
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani:
Probabilistic programming. FOSE 2014: 167-181
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DacaHKN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DacaHKN14
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. ICST 2014: 373-382
[c271]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BokerHR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BokerHR14
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna:
Battery transition systems. POPL 2014: 595-606
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DragoiHVWZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DragoiHVWZ14
Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey:
A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI 2014: 161-181
[e9]
- view
- export record
  dblp key:
  - conf/csl/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/2014
Thomas A. Henzinger, Dale Miller:
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. ACM 2014, ISBN 978-1-4503-2886-9 [contents]
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HenzingerOS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HenzingerOS14
Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Finite-state Transducers. CoRR abs/1404.6452 (2014)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CernyHRRT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CernyHRRT14
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-free Synthesis for Concurrency. CoRR abs/1407.3681 (2014)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GiacobbeGGHPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GiacobbeGGHPP14
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks. CoRR abs/1410.7704 (2014)
2013
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Chatterjee0H13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Chatterjee0H13
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. 43(2): 268-284 (2013)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/Henzinger13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/Henzinger13
Thomas A. Henzinger:
Quantitative reactive modeling and verification. Comput. Sci. Res. Dev. 28(4): 331-344 (2013)
[j69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/ChatterjeeAH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/ChatterjeeAH13
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. 79(5): 640-657 (2013)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GodhalCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GodhalCH13
Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger:
Synthesis of AMBA AHB from formal specification: a case study. Int. J. Softw. Tools Technol. Transf. 15(5-6): 585-601 (2013)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/tcbb/HenzingerM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcbb/HenzingerM13
Thomas A. Henzinger, Maria Mateescu:
The Propagation Approach for Computing Biochemical Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 10(2): 310-322 (2013)
[c269]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DragoiGH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DragoiGH13
Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger:
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. CAV 2013: 174-190
[c268]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CernyHRRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CernyHRRT13
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV 2013: 951-967
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/cf/HaasLHPSKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cf/HaasLHPSKS13
Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin:
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers 2013: 17:1-17:9
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerSV13
Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis:
Aspect-Oriented Linearizability Proofs. CONCUR 2013: 242-256
[c265]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerO13
Thomas A. Henzinger, Jan Otop:
From Model Checking to Model Measuring. CONCUR 2013: 273-287
[c264]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/DawarHN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/DawarHN13
Anuj Dawar, Thomas A. Henzinger, Damian Niwinski:
The Ackermann Award 2013. CSL 2013: 1-4
[c263]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/ChatterjeeHOP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChatterjeeHOP13
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis:
Distributed synthesis for LTL fragments. FMCAD 2013: 18-25
[c262]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/peccs/Henzinger13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/peccs/Henzinger13
Thomas A. Henzinger:
Quantitative Fitness Measures for Embedded Systems. PECCS 2013
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CernyHR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CernyHR13
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative abstraction refinement. POPL 2013: 115-128
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HenzingerKPSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HenzingerKPSS13
Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova:
Quantitative relaxation of concurrent data structures. POPL 2013: 317-328
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/2013
Ashutosh Gupta, Thomas A. Henzinger:
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Lecture Notes in Computer Science 8130, Springer 2013, ISBN 978-3-642-40707-9 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/memics/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/2012
Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7721, Springer 2013, ISBN 978-3-642-36044-2 [contents]
2012
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/VardiHAK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/VardiHAK12
Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska:
2011 CAV award announcement. Formal Methods Syst. Des. 41(1): 1-2 (2012)
[j65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/ChatterjeeH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/ChatterjeeH12
Krishnendu Chatterjee, Thomas A. Henzinger:
A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2): 394-413 (2012)
[j64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GhosalIKHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GhosalIKHS12
Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77(2): 96-112 (2012)
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CernyHR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CernyHR12
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012)
[j62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FeretHKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FeretHKP12
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov:
Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431: 137-164 (2012)
[c259]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuetGHMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuetGHMS12
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin:
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV 2012: 294-309
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/ChatterjeeHP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/ChatterjeeHP12
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Finite automata with time-delay blocks. EMSOFT 2012: 43-52
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/CernyGHRT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/CernyGHRT12
Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla:
Synthesis from incompatible specifications. EMSOFT 2012: 53-62
[c256]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/DelahayeFHLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DelahayeFHLN12
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218
[c255]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BokerH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BokerH12
Udi Boker, Thomas A. Henzinger:
Approximate Determinization of Quantitative Automata. FSTTCS 2012: 362-373
[c254]
- view
  authority control:
- export record
  dblp key:
  - conf/models/Henzinger12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Henzinger12
Thomas A. Henzinger:
Quantitative Reactive Models. MoDELS 2012: 1-2
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/HenzingerN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/HenzingerN12
Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. Monterey Workshop 2012: 380-395
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BeyerHKW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BeyerHKW12
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler:
Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE 2012: 57
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ZuffereyWH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ZuffereyWH12
Damien Zufferey, Thomas Wies, Thomas A. Henzinger:
Ideal Abstractions for Well-Structured Transition Systems. VMCAI 2012: 445-460
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/Henzinger12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/Henzinger12
Thomas A. Henzinger:
Keynote on "the propagation approach for computing biochemical reaction networks". WSC 2012: 320:1
[c249]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2450
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2450
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface Simulation Distances. GandALF 2012: 29-42
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1201-2834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-2834
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability and Safety Games. CoRR abs/1201.2834 (2012)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1207-1373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1373
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. CoRR abs/1207.1373 (2012)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1207-7019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-7019
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Finite Automata with Time-Delay Blocks (Extended Version). CoRR abs/1207.7019 (2012)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1209-3234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-3234
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin:
The Complexity of Multi-Mean-Payoff and Multi-Energy Games. CoRR abs/1209.3234 (2012)
2011
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/FisherHH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/FisherHH11
Jasmin Fisher, David Harel, Thomas A. Henzinger:
Biology as reactivity. Commun. ACM 54(10): 72-82 (2011)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-0688
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0688
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness. Log. Methods Comput. Sci. 7(4) (2011)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GuerraouiHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GuerraouiHS11
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Verification of STM on relaxed memory models. Formal Methods Syst. Des. 39(3): 297-331 (2011)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/HenzingerJW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/HenzingerJW11
Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DidierHMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DidierHMW11
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412(21): 2128-2141 (2011)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChatterjeeAH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChatterjeeAH11
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28:1-28:51 (2011)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/TripakisLHL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/TripakisLHL11
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14:1-14:41 (2011)
[c248]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CernyCHRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CernyCHRS11
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/HenzingerM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/HenzingerM11
Thomas A. Henzinger, Maria Mateescu:
Propagation models for computing biochemical reaction networks. CMSB 2011: 1-3
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FisherHNPSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FisherHNPSV11
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CernyCH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CernyCH11
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger:
The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217
[c244]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/BokerH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BokerH11
Udi Boker, Thomas A. Henzinger:
Determinizing Discounted-Sum Automata. CSL 2011: 82-96
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/CernyH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/CernyH11
Pavol Cerný, Thomas A. Henzinger:
From boolean to quantitative synthesis. EMSOFT 2011: 149-154
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/HenzingerSWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/HenzingerSWZ11
Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey:
Scheduling large jobs by abstraction refinement. EuroSys 2011: 329-342
[c241]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/hotcloud/HenzingerSSWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotcloud/HenzingerSSWZ11
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey:
Static Scheduling in Clouds. HotCloud 2011
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/ChatterjeeHH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/ChatterjeeHH11
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn:
The Complexity of Request-Response Games. LATA 2011: 227-237
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BokerCHK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BokerCHK11
Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman:
Temporal Specifications with Accumulative Values. LICS 2011: 43-52
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/HalalaiHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/HalalaiHS11
Raluca Halalai, Thomas A. Henzinger, Vasu Singh:
Quantitative Evaluation of BFT Protocols. QEST 2011: 255-264
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/BloemCGHJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/BloemCGHJ11
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Specification-centered robustness. SIES 2011: 176-185
[c236]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChatterjeeHJS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChatterjeeHJS11
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-0127
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-0127
Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol:
The Decidability Frontier for Probabilistic Automata on Infinite Words. CoRR abs/1104.0127 (2011)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-4306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-4306
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1109-6926
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-6926
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler:
Conditional Model Checking. CoRR abs/1109.6926 (2011)
2010
[j54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcsb/WolfGMH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcsb/WolfGMH10
Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger:
Solving the chemical master equation using sliding windows. BMC Syst. Biol. 4: 42 (2010)
[j53]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-4018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-4018
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. Log. Methods Comput. Sci. 6(3) (2010)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/GuerraouiHS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/GuerraouiHS10
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Model checking transactional memories. Distributed Comput. 22(3): 129-145 (2010)
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ChatterjeeHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChatterjeeHP10
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy logic. Inf. Comput. 208(6): 677-693 (2010)
[j50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BerwangerCWDH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BerwangerCWDH10
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChatterjeeDH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChatterjeeDH10
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative languages. ACM Trans. Comput. Log. 11(4): 23:1-23:38 (2010)
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcloud/HenzingerSSWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcloud/HenzingerSSWZ10
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey:
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE CLOUD 2010: 83-90
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/DoyenHLN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/DoyenHLN10
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChatterjeeH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChatterjeeH10
Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. ATVA 2010: 1-16
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CernyHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CernyHR10
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60
[c231]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChatterjeeHJS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChatterjeeHJS10
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
Measuring and Synthesizing Systems in Probabilistic Environments. CAV 2010: 380-395
[c230]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BloemCGHJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BloemCGHJ10
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Robustness in the Presence of Liveness. CAV 2010: 410-424
[c229]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChatterjeeHJR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChatterjeeHJR10
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna:
Gist: A Solver for Probabilistic Games. CAV 2010: 665-669
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/HenzingerMMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/HenzingerMMW10
Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf:
Hybrid numerical solution of the chemical master equation. CMSB 2010: 55-65
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CernyHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CernyHR10
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation Distances. CONCUR 2010: 253-268
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeDEHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeDEHR10
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou:
Mean-Payoff Automaton Expressions. CONCUR 2010: 269-283
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/HenzingerSSWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/HenzingerSSWZ10
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey:
A marketplace for cloud resources. EMSOFT 2010: 1-8
[c224]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BeyerHTZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BeyerHTZ10
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey:
Shape Refinement through Explicit Heap Analysis. FASE 2010: 263-277
[c223]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/WiesZH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/WiesZH10
Thomas Wies, Damien Zufferey, Thomas A. Henzinger:
Forward Analysis of Depth-Bounded Processes. FoSSaCS 2010: 94-108
[c222]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ChatterjeeDHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ChatterjeeDHR10
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BlancHHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BlancHHK10
Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács:
ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HenzingerHKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HenzingerHKR10
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko:
Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeDGH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeDGH10
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for Free. MFCS 2010: 246-257
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeDH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeDH10
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS 2010: 258-269
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Henzinger10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Henzinger10
Thomas A. Henzinger:
From Boolean to quantitative notions of correctness. POPL 2010: 157-158
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DidierHMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DidierHMW10
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST 2010: 193-194
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/GuerraouiHKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/GuerraouiHKS10
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh:
Transactions in the jungle. SPAA 2010: 263-272
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HenzingerHKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HenzingerHKV10
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov:
Invariant and Type Inference for Matrices. VMCAI 2010: 163-179
[c213]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-0496
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0496
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov:
Lumpability Abstractions of Rule-based Systems. MeCBIC 2010: 142-161
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2010
Krishnendu Chatterjee, Thomas A. Henzinger:
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6246, Springer 2010, ISBN 978-3-642-15296-2 [contents]
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1001-2811
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-2811
Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger:
Synthesis of AMBA AHB from Formal Specification. CoRR abs/1001.2811 (2010)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1004-0739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-0739
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
Measuring and Synthesizing Systems in Probabilistic Environments. CoRR abs/1004.0739 (2010)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2367
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna:
GIST: A Solver for Probabilistic Games. CoRR abs/1004.2367 (2010)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1005-0747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-0747
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf:
Hybrid Numerical Solution of the Chemical Master Equation. CoRR abs/1005.0747 (2010)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1005-2819
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-2819
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. CoRR abs/1005.2819 (2010)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-0673
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-0673
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for Free. CoRR abs/1006.0673 (2010)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-1492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1492
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou:
Mean-payoff Automaton Expressions. CoRR abs/1006.1492 (2010)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-1669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-1669
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Generalized Mean-payoff and Energy Games. CoRR abs/1007.1669 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BryantGHV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BryantGHV09
Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi:
The 2008 CAV Award citation. Formal Methods Syst. Des. 35(1): 4-5 (2009)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChatterjeeHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChatterjeeHH09
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn:
Finitary winning in omega-regular games. ACM Trans. Comput. Log. 11(1): 1:1-1:27 (2009)
[c212]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BloemCHJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BloemCHJ09
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
[c211]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuerraouiHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuerraouiHS09
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336
[c210]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerMW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerMW09
Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/DidierHMW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/DidierHMW09
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CONCUR 2009: 244-258
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/TripakisLHL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/TripakisLHL09
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
On relational interfaces. EMSOFT 2009: 67-76
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Alternating Weighted Automata. FCT 2009: 3-13
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BloemGHJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BloemGHJ09
Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Synthesizing robust systems. FMCAD 2009: 85-92
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. LICS 2009: 199-208
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeHH09
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn:
Stochastic Games with Finitary Objectives. MFCS 2009: 34-54
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HenzingerJW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HenzingerJW09
Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. RP 2009: 3-23
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HenzingerKMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HenzingerKMS09
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova:
Distributed, Modular HTL. RTSS 2009: 171-180
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/soda/ChatterjeeAH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soda/ChatterjeeAH09
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206
[c198]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BerwangerCWDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BerwangerCWDH09
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0901-4728
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0901-4728
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information. CoRR abs/0901.4728 (2009)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0904-2638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-2638
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives. CoRR abs/0904.2638 (2009)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0905-2195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-2195
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. CoRR abs/0905.2195 (2009)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0909-1645
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-1645
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Qualitative Analysis of Partially-observable Markov Decision Processes. CoRR abs/0909.1645 (2009)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0909-1647
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-1647
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CoRR abs/0909.1647 (2009)
2008
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/DoyenHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/DoyenHR08
Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/ChatterjeeMH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/ChatterjeeMH08
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/ChatterjeeH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/ChatterjeeH08
Krishnendu Chatterjee, Thomas A. Henzinger:
Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008)
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GuerraouiHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GuerraouiHS08
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeHJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeHJ08
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Environment Assumptions for Synthesis. CONCUR 2008: 147-161
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BerwangerCDHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BerwangerCDHR08
Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje:
Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/ChatterjeeDH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeDH08
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative Languages. CSL 2008: 385-400
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChatterjeeGHIKPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChatterjeeGHIKPS08
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/DoyenHJP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/DoyenHJP08
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov:
Interface theories with component reuse. EMSOFT 2008: 79-88
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsb/FisherHMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsb/FisherHMP08
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ChatterjeeHP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ChatterjeeHP08
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness. FORMATS 2008: 124-140
[c189]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/ChatterjeeSH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/ChatterjeeSH08
Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger:
Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ChatterjeeMH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ChatterjeeMH08
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ChatterjeeHP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ChatterjeeHP08
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC 2008: 87-100
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BeyerHT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BeyerHT08
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HenzingerHK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HenzingerHK08
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács:
Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GuerraouiHJS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GuerraouiHJS08
Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh:
Model checking transactional memories. PLDI 2008: 372-382
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GuptaHMRX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GuptaHMRX08
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu:
Proving non-termination. POPL 2008: 147-158
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChatterjeeH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChatterjeeH08
Krishnendu Chatterjee, Thomas A. Henzinger:
Value Iteration. 25 Years of Model Checking 2008: 107-138
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/GuerraouiHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/GuerraouiHS08
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Permissiveness in Transactional Memories. DISC 2008: 305-319
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0804-4530
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0804-4530
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Safety Games. CoRR abs/0804.4530 (2008)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0805-2620
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0805-2620
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Algorithms for Büchi Games. CoRR abs/0805.2620 (2008)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0805-2622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0805-2622
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic Limit-Average Games are in EXPTIME. CoRR abs/0805.2622 (2008)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0805-4167
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0805-4167
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Environment Assumptions for Synthesis. CoRR abs/0805.4167 (2008)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0807-1165
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0807-1165
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness. CoRR abs/0807.1165 (2008)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0809-1465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-1465
Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Systems with LimSup and LimInf Objectives. CoRR abs/0809.1465 (2008)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0809-4017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-4017
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination Criteria for Solving Concurrent Safety and Reachability Games. CoRR abs/0809.4017 (2008)
2007
[j43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcsb/SchaubHF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcsb/SchaubHF07
Marc A. Schaub, Thomas A. Henzinger, Jasmin Fisher:
Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst. Biol. 1: 4 (2007)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/HenzingerS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/HenzingerS07
Thomas A. Henzinger, Joseph Sifakis:
The Discipline of Embedded Systems Design. Computer 40(10): 32-40 (2007)
[j41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/RaskinCDH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/RaskinCDH07
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Algorithms for Omega-Regular Games with Imperfect Information. Log. Methods Comput. Sci. 3(3) (2007)
[j40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ploscb/FisherPHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ploscb/FisherPHH07
Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger:
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Comput. Biol. 3(5) (2007)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BeyerHJM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BeyerHJM07
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The software model checker Blast. Int. J. Softw. Tools Technol. Transf. 9(5-6): 505-525 (2007)
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlfaroHK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlfaroHK07
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HenzingerK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HenzingerK07
Thomas A. Henzinger, Christoph M. Kirsch:
The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): 33 (2007)
[c180]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BeyerHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeyerHS07
Dirk Beyer, Thomas A. Henzinger, Vasu Singh:
Algorithms for Interface Synthesis. CAV 2007: 4-19
[c179]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BeyerHT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeyerHT07
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV 2007: 504-518
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeHP07
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy Logic. CONCUR 2007: 59-73
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/Henzinger07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/Henzinger07
Thomas A. Henzinger:
Quantitative Generalizations of Languages. Developments in Language Theory 2007: 20-22
[c176]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/ChatterjeeHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/ChatterjeeHP07
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Generalized Parity Games. FoSSaCS 2007: 153-167
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BrihayeHPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BrihayeHPR07
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin:
Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BeyerCHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BeyerCHS07
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia:
An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/ilc/ChatterjeeH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ilc/ChatterjeeH07
Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Systems with LimSup and LimInf Objectives. ILC 2007: 32-45
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BeyerHMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BeyerHMR07
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Path invariants. PLDI 2007: 300-309
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/Henzinger07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/Henzinger07
Thomas A. Henzinger:
Games, Time, and Probability: Graph Models for System Design and Analysis. SOFSEM (1) 2007: 103-110
[c170]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChatterjeeH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChatterjeeH07
Krishnendu Chatterjee, Thomas A. Henzinger:
Assume-Guarantee Synthesis. TACAS 2007: 261-275
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BeyerHMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BeyerHMR07
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/2007
Jacques Duparc, Thomas A. Henzinger:
Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Lecture Notes in Computer Science 4646, Springer 2007, ISBN 978-3-540-74914-1 [contents]
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0706-2619
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0706-2619
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Algorithms for Omega-Regular Games with Imperfect Information. CoRR abs/0706.2619 (2007)
2006
[j36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HenzingerKM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HenzingerKM06
Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006)
[j35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChatterjeeHJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChatterjeeHJ06
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006)
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ManevichFHRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ManevichFHRS06
Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv:
Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
[c167]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/WulfDHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WulfDHR06
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV 2006: 17-30
[c166]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BeyerHT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeyerHT06
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis. CAV 2006: 532-546
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeH06
Krishnendu Chatterjee, Thomas A. Henzinger:
Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR 2006: 375-389
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/ChatterjeeDHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeDHR06
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Algorithms for Omega-Regular Games with Imperfect Information^,. CSL 2006: 287-302
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/HenzingerP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/HenzingerP06
Thomas A. Henzinger, Nir Piterman:
Solving Games Without Determinization. CSL 2006: 395-410
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/GhosalSKHI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/GhosalSKHI06
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan:
A hierarchical coordination language for interacting real-time tasks. EMSOFT 2006: 132-141
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HenzingerS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HenzingerS06
Thomas A. Henzinger, Joseph Sifakis:
The Embedded Systems Design Challenge. FM 2006: 1-15
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HenzingerP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HenzingerP06
Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Alternating-Time Temporal Logic. FORMATS 2006: 1-17
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ChatterjeeAFHMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ChatterjeeAFHMS06
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Compositional Quantitative Reasoning. QEST 2006: 179-188
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ChatterjeeAH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ChatterjeeAH06
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/HenzingerM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/HenzingerM06
Thomas A. Henzinger, Slobodan Matic:
An Interface Algebra for Real-Time Components. IEEE Real Time Technology and Applications Symposium 2006: 253-266
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GulavaniHKNR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GulavaniHKNR06
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani:
SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127
[c155]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/soda/ChatterjeeAH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soda/ChatterjeeAH06
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The complexity of quantitative concurrent parity games. SODA 2006: 678-687
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/ChatterjeeMH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/ChatterjeeMH06
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/ChatterjeeH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/ChatterjeeH06
Krishnendu Chatterjee, Thomas A. Henzinger:
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS 2006: 512-523
[c152]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChatterjeeH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChatterjeeH06
Krishnendu Chatterjee, Thomas A. Henzinger:
Finitary Winning in omega-Regular Games. TACAS 2006: 257-271
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/FisherH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/FisherH06
Jasmin Fisher, Thomas A. Henzinger:
Executable biology. WSC 2006: 1675-1682
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BeyerHT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeyerHT06
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
2005
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlfaroFHMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlfaroFHMS05
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/HenzingerMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/HenzingerMR05
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
[c150]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/charme/ChakrabartiCHKM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ChakrabartiCHKM05
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
[c149]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BeyerHJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BeyerHJM05
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Checking Memory Safety with Blast. FASE 2005: 2-18
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DoyenHR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DoyenHR05
Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HenzingerMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HenzingerMP05
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ChatterjeeH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ChatterjeeH05
Krishnendu Chatterjee, Thomas A. Henzinger:
Semiperfect-Information Games. FSTTCS 2005: 1-18
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChatterjeeAH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeAH05
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/HenzingerKM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/HenzingerKM05
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Composable code generation for distributed giotto. LCTES 2005: 21-30
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeHJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeHJ05
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Mean-Payoff Parity Games. LICS 2005: 178-187
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/MaticH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/MaticH05
Slobodan Matic, Thomas A. Henzinger:
Trading End-to-End Latency for Composability. RTSS 2005: 99-110
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HenzingerJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HenzingerJM05
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HenzingerJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HenzingerJM05
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The BLAST Software Verification System. SPIN 2005: 25-26
[c139]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/tark/Henzinger05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/Henzinger05
Thomas A. Henzinger:
Games in system design and verification. TARK 2005: 1-4
[c138]
- view
  - electronic edition @ dslpitt.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/uai/ChatterjeeHJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/ChatterjeeHJM05
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. UAI 2005: 104-111
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/KirschSH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/KirschSH05
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger:
A programmable microkernel for real-time systems. VEE 2005: 35-45
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/www/BeyerCH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/BeyerCH05
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger:
Web service interfaces. WWW 2005: 148-159
2004
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ChatterjeeMMZHP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChatterjeeMMZHP04
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004)
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Henzinger04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Henzinger04
Thomas A. Henzinger:
Embedded Software: Better Models, Better Code. ICATPN 2004: 35-36
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Henzinger04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Henzinger04
Thomas A. Henzinger:
Rich Interfaces for Software Modules. ECOOP 2004: 517-518
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/HenzingerK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/HenzingerK04
Thomas A. Henzinger, Christoph M. Kirsch:
A typed assembly language for real-time programs. EMSOFT 2004: 104-113
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/ChatterjeeHJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/ChatterjeeHJ04
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with Secure Equilibria. FMCO 2004: 141-161
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GhosalHKS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GhosalHKS04
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeyerCM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeyerCM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Generating Tests from Counterexamples. ICSE 2004: 326-335
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/BeyerHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/BeyerHJM04
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeHJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeHJ04
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with Secure Equilibria. LICS 2004: 160-169
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PEPM 2004: 201-202
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HenzingerJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HenzingerJM04
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Race checking by context inference. PLDI 2004: 1-13
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HenzingerJMM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HenzingerJMM04
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. POPL 2004: 232-244
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PPDP 2004: 1-2
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ChatterjeeAH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ChatterjeeAH04
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Trading Memory for Randomness. QEST 2004: 206-217
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The Blast Query Language for Software Verification.. SAS 2004: 2-18
[c121]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/soda/ChatterjeeJH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soda/ChatterjeeJH04
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger:
Quantitative stochastic parity games. SODA 2004: 121-130
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlfaroFHMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlfaroFHMS04
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
2003
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HenzingerKQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HenzingerKQ03
Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods Syst. Des. 23(3): 303-327 (2003)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/HenzingerHK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/HenzingerHK03
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: a time-triggered language for embedded programming. Proc. IEEE 91(1): 84-99 (2003)
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Henzinger03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Henzinger03
Thomas A. Henzinger:
Model Checking: From Hardware to Software. APLAS 2003: 176-177
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HenzingerJMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HenzingerJMS03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido:
Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerJMQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerJMQ03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer:
Thread-Modular Abstraction Refinement. CAV 2003: 262-274
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroFHMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroFHMS03
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
The Element of Surprise in Timed Games. CONCUR 2003: 142-156
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/ChatterjeeJH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeJH03
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger:
Simple Stochastic Parity Games. CSL 2003: 100-113
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/ChakrabartiAHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/ChakrabartiAHS03
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Resource Interfaces. EMSOFT 2003: 117-133
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/HenzingerKM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/HenzingerKM03
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Schedule-Carrying Code. EMSOFT 2003: 241-256
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerJM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerJM03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-Guided Control. ICALP 2003: 886-902
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/AlfaroHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AlfaroHM03
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChatterjeeMMZHP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChatterjeeMMZHP03
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HenzingerJMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HenzingerJMS03
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Software Verification with BLAST. SPIN 2003: 235-239
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerKM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerKM03
Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Henzinger03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Henzinger03
Thomas A. Henzinger:
Automata for Specifying Component Interfaces. CIAA 2003: 1-2
2002
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HenzingerKR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HenzingerKR02
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. Inf. Comput. 173(1): 64-81 (2002)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/AlurHK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/AlurHK02
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SchobbensRH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SchobbensRH02
Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger:
Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HenzingerQRT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HenzingerQRT02
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002)
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Henzinger02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Henzinger02
Thomas A. Henzinger:
The Symbolic Approach to Hybrid Systems. CAV 2002: 57
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChakrabartiAHM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChakrabartiAHM02
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChakrabartiAHJM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChakrabartiAHJM02
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang:
Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerJMNSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerJMNSW02
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer:
Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/JurdzinskiKH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/JurdzinskiKH02
Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger:
Trading Probability for Fairness. CSL 2002: 292-305
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/KirschSHP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/KirschSHP02
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree:
A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/HenzingerKMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/HenzingerKMM02
Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic:
Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AlfaroHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AlfaroHS02
Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Timed Interfaces. EMSOFT 2002: 108-122
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Henzinger02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Henzinger02
Thomas A. Henzinger:
From Models to Code: The Missing Link in Embedded Software. HSCC 2002: 5-6
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/CassezHR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/CassezHR02
Franck Cassez, Thomas A. Henzinger, Jean-François Raskin:
A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerKKM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerKKM02
Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang:
Synthesis of Uninitialized Systems. ICALP 2002: 644-656
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PasseroneAHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PasseroneAHS02
Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HenzingerK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HenzingerK02
Thomas A. Henzinger, Christoph M. Kirsch:
The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HenzingerJMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HenzingerJMS02
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Lazy abstraction. POPL 2002: 58-70
2001
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurBHQR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurBHQR01
Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. 18(2): 97-116 (2001)
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlurH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlurH01
Rajeev Alur, Thomas A. Henzinger:
Introduction. Inf. Comput. 164(2): 233 (2001)
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HenzingerPW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HenzingerPW01
Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi:
Some lessons from the HYTECH experience. CDC 2001: 2887-2892
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHJ01
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala:
Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHM01
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHM01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHM01a
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AlfaroH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AlfaroH01
Luca de Alfaro, Thomas A. Henzinger:
Interface Theories for Component-Based Design. EMSOFT 2001: 148-165
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/HenzingerHK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/HenzingerHK01
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01
Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerMP01
Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu:
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlurAGHKKMMW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlurAGHKKMMW01
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang:
JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/HenzingerHK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/HenzingerHK01
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Embedded Control Systems Development with Giotto. LCTES/OM 2001: 64-72
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlfaroHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlfaroHM01
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HenzingerHK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HenzingerHK01
Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch:
Embedded Control Systems Development with Giotto. OM@PLDI 2001: 64-72
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AlfaroH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AlfaroH01
Luca de Alfaro, Thomas A. Henzinger:
Interface automata. ESEC / SIGSOFT FSE 2001: 109-120
[c79]
- view
  - electronic edition @ www10.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/www/AlfaroHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/AlfaroHM01
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/2001
Thomas A. Henzinger, Christoph M. Kirsch:
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Lecture Notes in Computer Science 2211, Springer 2001, ISBN 3-540-42673-6 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0101013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0101013
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A Classification of Symbolic Transition Systems. CoRR cs.LO/0101013 (2001)
2000
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/AlurHLP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/AlurHLP00
Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas:
Discrete abstractions of hybrid systems. Proc. IEEE 88(7): 971-984 (2000)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Henzinger00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Henzinger00
Thomas A. Henzinger:
New directions in computer-aided verification. ACM SIGSOFT Softw. Eng. Notes 25(1): 56-57 (2000)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlfaroHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlfaroHM00
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Detecting Errors Before Reaching Them. CAV 2000: 186-201
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHM00
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems. CONCUR 2000: 458-473
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerHMW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerHMW00
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerR00
Thomas A. Henzinger, Jean-François Raskin:
Robust Undecidability of Timed and Hybrid Systems. HSCC 2000: 145-159
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/HenzingerQR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/HenzingerQR00
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD 2000: 245-252
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/Henzinger00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/Henzinger00
Thomas A. Henzinger:
Masaccio: A Formal Model for Embedded Components. IFIP TCS 2000: 549-563
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlfaroH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlfaroH00
Luca de Alfaro, Thomas A. Henzinger:
Concurrent Omega-Regular Games. LICS 2000: 141-154
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HenzingerMMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HenzingerMMR00
Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin:
Abstract Interpretation of Game Properties. SAS 2000: 220-239
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/HenzingerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/HenzingerM00
Thomas A. Henzinger, Rupak Majumdar:
A Classification of Symbolic Transition Systems. STACS 2000: 13-34
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerM00
Thomas A. Henzinger, Rupak Majumdar:
Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerR00
Thomas A. Henzinger, Sriram K. Rajamani:
Fair Bisimulation. TACAS 2000: 299-314
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Henzinger02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Henzinger02
Thomas A. Henzinger:
Exploiting Design Structure in Model Checking. MTCS 2000: 322

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99
Rajeev Alur, Thomas A. Henzinger:
Introduction. Formal Methods Syst. Des. 14(3): 235 (1999)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurH99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99a
Rajeev Alur, Thomas A. Henzinger:
Introduction. Formal Methods Syst. Des. 15(1): 5 (1999)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurH99b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99b
Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. Formal Methods Syst. Des. 15(1): 7-48 (1999)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlurFH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlurFH99
Rajeev Alur, Limor Fix, Thomas A. Henzinger:
Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. 211(1-2): 253-273 (1999)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HenzingerK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HenzingerK99
Thomas A. Henzinger, Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata. Theor. Comput. Sci. 221(1-2): 369-392 (1999)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerQR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerQR99
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerQR99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerQR99a
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurAHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurAHM99
Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Automating Modular Verification. CONCUR 1999: 82-97
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerHM99
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar:
Rectangular Hybrid Games. CONCUR 1999: 320-335
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/HenzingerLQR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/HenzingerLQR99
Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499
1998
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/HenzingerKPV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/HenzingerKPV98
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya:
What's Decidable about Hybrid Automata? J. Comput. Syst. Sci. 57(1): 94-124 (1998)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/HenzingerHW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/HenzingerHW98
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control. 43(4): 540-554 (1998)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AlurH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AlurH98
Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. ACM Trans. Program. Lang. Syst. 20(6): 1171-1194 (1998)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerKQ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerKQ98
Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerQR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerQR98
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurHMQRT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurHMQRT98
Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
MOCHA: Modularity in Model Checking. CAV 1998: 521-525
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurHKV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurHKV98
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
Alternating Refinement Relations. CONCUR 1998: 163-178
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/RaskinSH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/RaskinSH98
Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger:
Axioms for Real-Time Logics. CONCUR 1998: 219-236
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Henzinger98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Henzinger98
Thomas A. Henzinger:
It's About Time: Real-Time Logics Reviewed. CONCUR 1998: 439-454
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/HenzingerQRT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HenzingerQRT98
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/AlfaroHK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/AlfaroHK98
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent Reachability Games. FOCS 1998: 564-575
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/PreussigKWH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/PreussigKWH98
Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger:
An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT 1998: 228-240
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerR98
Thomas A. Henzinger, Vlad Rusu:
Reachability Verification for Hybrid Automata. HSCC 1998: 190-204
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Henzinger98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Henzinger98
Thomas A. Henzinger:
Model Checking Game Properties of Multi-agent Systems (Abstract). ICALP 1998: 543
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerRS98
Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens:
The Regular Real-Time Languages. ICALP 1998: 580-591
[c49]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Henzinger98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Henzinger98
Thomas A. Henzinger:
Computer-aided Verification of Embedded Systems. IFIP Congress: Fundamentals - Foundations of Computer Science 1998: 89-92
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlurHR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlurHR98
Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani:
Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/1998
Thomas A. Henzinger, Shankar Sastry:
Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Lecture Notes in Computer Science 1386, Springer 1998, ISBN 3-540-64358-3 [contents]
1997
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurCH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurCH97
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. Formal Methods Syst. Des. 11(2): 137-155 (1997)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AlurH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlurH97
Rajeev Alur, Thomas A. Henzinger:
Real-Time System = Discrete System + Clock Variables. Int. J. Softw. Tools Technol. Transf. 1(1-2): 86-109 (1997)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HenzingerHW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HenzingerHW97
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. Int. J. Softw. Tools Technol. Transf. 1(1-2): 110-122 (1997)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurBHQR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurBHQR97
Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerHW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerHW97
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/compos/AlurHK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compos/AlurHK97
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-Time Temporal Logic. COMPOS 1997: 23-60
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurH97
Rajeev Alur, Thomas A. Henzinger:
Modularity for Timed and Hybrid Systems. CONCUR 1997: 74-88
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerKR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerKR97
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. CONCUR 1997: 273-287
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/AlurHK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/AlurHK97
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-time Temporal Logic. FOCS 1997: 100-109
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerK97
Thomas A. Henzinger, Orna Kupferman:
From Quantity to Quality. HART 1997: 48-62
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GuptaHJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GuptaHJ97
Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan:
Robust Timed Automata. HART 1997: 331-345
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerK97a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerK97a
Thomas A. Henzinger, Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata. ICALP 1997: 582-593
1996
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/Henzinger96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/Henzinger96
Thomas A. Henzinger:
Some Myths About Formal Verification. ACM Comput. Surv. 28(4es): 119 (1996)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/AlurFH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/AlurFH96
Rajeev Alur, Tomás Feder, Thomas A. Henzinger:
The Benefits of Relaxing Punctuality. J. ACM 43(1): 116-146 (1996)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AlurHH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AlurHH96
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerKV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerKV96
Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerK96
Thomas A. Henzinger, Peter W. Kopke:
State Equivalences for Rectangular Hybrid Automata. CONCUR 1996: 530-545
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlurH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlurH96
Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. LICS 1996: 207-218
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Henzinger96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Henzinger96
Thomas A. Henzinger:
The Theory of Hybrid Automata. LICS 1996: 278-292
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/1996
Rajeev Alur, Thomas A. Henzinger:
Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Lecture Notes in Computer Science 1102, Springer 1996, ISBN 3-540-61474-5 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/1995
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag:
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science 1066, Springer 1996, ISBN 3-540-61155-X [contents]
1995
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlurCHHHNOSY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurH95
Rajeev Alur, Thomas A. Henzinger:
Local Liveness for Compositional Modeling of Fair Reactive Systems. CAV 1995: 166-179
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerH95
Thomas A. Henzinger, Pei-Hsin Ho:
Algorithmic Analysis of Nonlinear Hybrid Systems. CAV 1995: 225-238
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/HenzingerW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HenzingerW95
Thomas A. Henzinger, Howard Wong-Toi:
Using HyTech to Synthesize Control Parameters for a Steam Boiler. Formal Methods for Industrial Applications 1995: 265-282
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/HenzingerHK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/HenzingerHK95
Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke:
Computing Simulations on Finite and Infinite Graphs. FOCS 1995: 453-462
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerW95
Thomas A. Henzinger, Howard Wong-Toi:
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems 1995: 377-388
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Henzinger95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Henzinger95a
Thomas A. Henzinger:
Hybrid Automata with Finite Bisimulatioins. ICALP 1995: 324-335
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerKW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerKW95
Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi:
The Expressive Power of Clocks. ICALP 1995: 417-428
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HyTech: The Next Generation. RTSS 1995: 56-65
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HenzingerKPV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HenzingerKPV95
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya:
What's decidable about hybrid automata? STOC 1995: 373-382
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
A User Guide to HyTech. TACAS 1995: 41-71
1994
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HenzingerNSY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HenzingerNSY94
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HenzingerMP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HenzingerMP94
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput. 112(2): 273-337 (1994)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/AlurH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/AlurH94
Rajeev Alur, Thomas A. Henzinger:
A Really Temporal Logic. J. ACM 41(1): 181-204 (1994)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurFH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurFH94
Rajeev Alur, Limor Fix, Thomas A. Henzinger:
A Determinizable Class of Timed Automata. CAV 1994: 1-13
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurCH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurCH94
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
The Observational Power of Clocks. CONCUR 1994: 162-177
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/HenzingerK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/HenzingerK94
Thomas A. Henzinger, Peter W. Kopke:
Verification Methods for the Divergent Runs of Clock Systems. FTRTFT 1994: 351-372
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/KapurHMP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/KapurHMP94
Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerH94
Thomas A. Henzinger, Pei-Hsin Ho:
A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerH94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerH94a
Thomas A. Henzinger, Pei-Hsin Ho:
HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlurH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlurH94
Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. LICS 1994: 52-61
1993
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlurH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlurH93
Rajeev Alur, Thomas A. Henzinger:
Real-Time Logics: Complexity and Expressiveness. Inf. Comput. 104(1): 35-77 (1993)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Henzinger93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Henzinger93
Thomas A. Henzinger:
Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50). SIGACT News 24(1): 27-28 (1993)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurCH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurCH93
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. CAV 1993: 181-193
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/AlurHH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/AlurHH93
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. RTSS 1993: 2-11
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/AlurHV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/AlurHV93
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Parametric real-time reasoning. STOC 1993: 592-601
1992
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Henzinger92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Henzinger92
Thomas A. Henzinger:
Sooner is Safer Than Later. Inf. Process. Lett. 43(3): 135-141 (1992)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/AlurH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/AlurH92
Rajeev Alur, Thomas A. Henzinger:
Back to the Future: Towards a Theory of Timed Regular Languages. FOCS 1992: 177-186
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerMP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerMP92
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlurCHH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlurCHH92
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho:
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1992: 209-229
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerMP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerMP92
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
What Good Are Digital Clocks? ICALP 1992: 545-558
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HenzingerNSY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HenzingerNSY92
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406
1991
[b1]
- view
  - electronic edition @ stanford.edu
  - details & citations
- export record
  dblp key:
  - phd/us/Henzinger91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Henzinger91
Thomas A. Henzinger:
The temporal specification and verification of real-time systems. Stanford University, USA, 1991
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/AlurFH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/AlurFH91
Rajeev Alur, Tomás Feder, Thomas A. Henzinger:
The Benefits of Relaxing Punctuality. PODC 1991: 139-152
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HenzingerMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HenzingerMP91
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/AlurH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/AlurH91
Rajeev Alur, Thomas A. Henzinger:
Logics and Models of Real Time: A Survey. REX Workshop 1991: 74-106
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/HenzingerMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/HenzingerMP91
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Timed Transition Systems. REX Workshop 1991: 226-251
1990
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/jcit/HenzingerMP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jcit/HenzingerMP90
Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
An interleaving model for real-time. Jerusalem Conference on Information Technology 1990: 717-730
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlurH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlurH90
Rajeev Alur, Thomas A. Henzinger:
Real-time Logics: Complexity and Expressiveness. LICS 1990: 390-401
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/Henzinger90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/Henzinger90
Thomas A. Henzinger:
Half-Order Modal Logic: How to Prove Real-Time Properties. PODC 1990: 281-296

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/AlurH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/AlurH89
Rajeev Alur, Thomas A. Henzinger:
A Really Temporal Logic. FOCS 1989: 164-169
1985
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ogai/HenzingerH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ogai/HenzingerH85
Thomas A. Henzinger, Hubert Hofbauer:
PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. ÖGAI 1985: 173-184

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.