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
[j107]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BartocciFHNC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BartocciFHNC25
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow interfaces. Formal Methods Syst. Des. 66(1): 3-48 (2025)
[j106]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BokerHMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BokerHMS25
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Safety and Liveness of Quantitative Properties and Automata. Log. Methods Comput. Sci. 21(2) (2025)
[j105]
- view
  - electronic edition via DOI (open access)
  - details & citations
  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)
[c392]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0001HKKM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001HKKM25
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik:
Fairness Shields: Safeguarding against Biased Decision Makers. AAAI 2025: 15659-15668
[c391]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/YuZH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/YuZH25
Emily Yu, Dorde Zikelic, Thomas A. Henzinger:
Neural Control and Certificate Repair via Runtime Monitoring. AAAI 2025: 26409-26417
[c390]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Henzinger25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Henzinger25
Thomas A. Henzinger:
Reminiscences of a Real-Time Researcher. Real Time and Such 2025: 154-164
[c389]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerMSZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerMSZ25
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic:
Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. CAV (2) 2025: 29-55
[c388]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/HenzingerKT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HenzingerKT25
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini:
Privacy-Preserving Runtime Verification. CCS 2025: 2774-2787
[c387]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/HenzingerKMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HenzingerKMS25
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Language Automata. CONCUR 2025: 21:1-21:24
[c386]
- view
  authority control:
- export record
  dblp key:
  - conf/kdd/0001HKMP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdd/0001HKMP25
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape:
Monitoring Robustness and Individual Fairness. KDD (2) 2025: 790-801
[c385]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/l4dc/HenzingerKMYZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/HenzingerKMYZ25
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Djordje Zikelic:
Predictive Monitoring of Black-Box Dynamical Systems. L4DC 2025: 804-816
[c384]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/BriceHT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BriceHT25
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini:
Finding Equilibria: Simpler for Pessimists, Simplest for Optimists. MFCS 2025: 30:1-30:18
[c383]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/Henzinger0T25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Henzinger0T25
Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini:
Resolving Nondeterminism with Randomness. MFCS 2025: 57:1-57:18
[c382]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/neus/KresseYLH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/neus/KresseYLH25
Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger:
Logic Gate Neural Networks are Good for Verification. NeuS 2025: 90-103
[c381]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CanoHK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CanoHK25
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner:
Algorithmic Fairness: A Runtime Perspective. RV 2025: 1-21
[c380]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerKY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerKY25
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu:
Formal Verification of Neural Certificates Done Dynamically. RV 2025: 54-72
[c379]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerKSS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerKSS25
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun:
Alignment Monitoring. RV 2025: 140-159
[c378]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChalupaHC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChalupaHC25
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Hypernode Logic Over Infinite Domains. RV 2025: 417-437
[c377]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChalupaHMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChalupaHMS25
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Automating the Analysis of Quantitative Automata with QuAK. TACAS (1) 2025: 303-312
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/11/AnsaripourCHLVZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/AnsaripourCHLVZ25
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Abhinav Verma, Dorde Zikelic:
NeuralStoc: A Tool for Neural Stochastic Control and Verification. Version 0.1.0. Zenodo, 2025 [all versions]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/11/AnsaripourCHLVZ25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/AnsaripourCHLVZ25a
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Abhinav Verma, Dorde Zikelic:
NeuralStoc: A Tool for Neural Stochastic Control and Verification. Version 2. Zenodo, 2025 [all versions]
[i109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-16088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-16088
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Automating the Analysis of Quantitative Automata with QuAK. CoRR abs/2501.16088 (2025)
[i108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-05316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-05316
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini:
Finding equilibria: simpler for pessimists, simplest for optimists. CoRR abs/2502.05316 (2025)
[i107]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-12872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-12872
Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini:
Resolving Nondeterminism with Randomness. CoRR abs/2502.12872 (2025)
[i106]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-09276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-09276
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini:
Privacy-Preserving Runtime Verification. CoRR abs/2505.09276 (2025)
[i105]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-18833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-18833
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic:
Supermartingale Certificates for Quantitative Omega-regular Verification and Control. CoRR abs/2505.18833 (2025)
[i104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2505-19932
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2505-19932
Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger:
Logic Gate Neural Networks are Good for Verification. CoRR abs/2505.19932 (2025)
[i103]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-00496
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-00496
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape:
Monitoring Robustness and Individual Fairness. CoRR abs/2506.00496 (2025)
[i102]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-05158
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-05158
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Language Automata. CoRR abs/2506.05158 (2025)
[i101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-03048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-03048
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Monitoring of Static Fairness. CoRR abs/2507.03048 (2025)
[i100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-11987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-11987
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu:
Formal Verification of Neural Certificates Done Dynamically. CoRR abs/2507.11987 (2025)
[i99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-20711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-20711
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner:
Algorithmic Fairness: A Runtime Perspective. CoRR abs/2507.20711 (2025)
[i98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-00021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-00021
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun:
Alignment Monitoring. CoRR abs/2508.00021 (2025)
[i97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-02301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-02301
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Hyperproperties over Observed and Constructed Traces. CoRR abs/2508.02301 (2025)
[i96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-12298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-12298
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Flavors of Quantifiers in Hyperlogics. CoRR abs/2510.12298 (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)
[c376]
- 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
[c375]
- 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
[c374]
- 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
[c373]
- 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
[c372]
- 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
[c371]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ChalupaHC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ChalupaHC24
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Extended Hypernode Logic. IFM 2024: 151-171
[c370]
- view
  - electronic edition via DOI (open access)
  - details & citations
  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
[d5]
- 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]
[d4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/ChalupaHMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/ChalupaHMS24
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzochci, N. Ege Saraç:
QuAK: Quantitative Automata Kit (artifact). Zenodo, 2024
[i95]
- 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)
[i94]
- 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)
[i93]
- 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)
[i92]
- 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)
[i91]
- 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)
[i90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-11994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-11994
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik:
Fairness Shields: Safeguarding against Biased Decision Makers. CoRR abs/2412.11994 (2024)
[i89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-12996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-12996
Emily Yu, Dorde Zikelic, Thomas A. Henzinger:
Neural Control and Certificate Repair via Runtime Monitoring. CoRR abs/2412.12996 (2024)
[i88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-16564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-16564
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Dorde Zikelic:
Predictive Monitoring of Black-Box Dynamical Systems. CoRR abs/2412.16564 (2024)
2023
[j103]
- view
  - electronic edition via DOI (open access)
  - details & citations
  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 2014, 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
- 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
- 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