![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Thomas A. Henzinger
Person information
- affiliation: Institute of Science and Technology Austria
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c374]Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik:
Bidding Games with Charging. CONCUR 2024: 8:1-8:17 - [c373]Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash:
History-Determinism vs Fair Simulation. CONCUR 2024: 12:1-12:16 - [c372]Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR 2024: 29:1-29:20 - [c371]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 - [c370]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 - [d4]Marek Chalupa
, Stefanie Muroya Lei
, Fabian Muehlboeck
, Thomas A. Henzinger
:
VAMOS: Middleware for Best-Effort Third-Party Monitoring. Version 2. Zenodo, 2024 [all versions] - [i91]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow Interfaces and Security Lattices. CoRR abs/2406.14374 (2024) - [i90]Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik:
Bidding Games with Charging. CoRR abs/2407.06288 (2024) - [i89]Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash:
History-Determinism vs Fair Simulation. CoRR abs/2407.08620 (2024) - [i88]Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CoRR abs/2407.10473 (2024) - 2023
- [j103]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]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]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]Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee:
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI 2023: 11926-11935 - [c368]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]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]Thomas A. Henzinger
, Mahyar Karimi
, Konstantin Kueffner
, Kaushik Mallik
:
Monitoring Algorithmic Fairness. CAV (2) 2023: 358-382 - [c365]Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CONCUR 2023: 17:1-17:18 - [c364]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic
, Ana Oliveira da Costa:
Hypernode Automata. CONCUR 2023: 21:1-21:16 - [c363]Marek Chalupa
, Fabian Muehlboeck
, Stefanie Muroya Lei
, Thomas A. Henzinger
:
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE 2023: 260-281 - [c362]Thomas A. Henzinger
, Mahyar Karimi
, Konstantin Kueffner
, Kaushik Mallik
:
Runtime Monitoring of Dynamic Fairness Properties. FAccT 2023: 604-614 - [c361]Samuel Pastva, Thomas A. Henzinger:
Binary Decision Diagrams on Modern Hardware. FMCAD 2023: 122-131 - [c360]Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç
:
Quantitative Safety and Liveness. FoSSaCS 2023: 349-370 - [c359]Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi
, N. Ege Saraç
:
Regular Methods for Operator Precedence Languages. ICALP 2023: 129:1-129:20 - [c358]Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger:
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS 2023 - [c357]Marek Chalupa
, Thomas A. Henzinger
:
Monitoring Hyperproperties with Prefix Transducers. RV 2023: 168-190 - [c356]Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness Under Partial Observations. RV 2023: 291-311 - [c355]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]Marek Chalupa
, Thomas A. Henzinger
:
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). TACAS (2) 2023: 535-540 - [d3]Marek Chalupa
, Thomas A. Henzinger
:
Monitoring Hyperproperties With Prefix Transducers. Zenodo, 2023 - [d2]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]Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Quantitative Safety and Liveness. CoRR abs/2301.11175 (2023) - [i86]Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
:
History-deterministic Timed Automata. CoRR abs/2304.03183 (2023) - [i85]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode Automata. CoRR abs/2305.02836 (2023) - [i84]Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi
, N. Ege Saraç:
Regular Methods for Operator Precedence Languages. CoRR abs/2305.03447 (2023) - [i83]Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Runtime Monitoring of Dynamic Fairness Properties. CoRR abs/2305.04699 (2023) - [i82]Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness. CoRR abs/2305.15979 (2023) - [i81]Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CoRR abs/2307.06016 (2023) - [i80]Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness under Partial Observations. CoRR abs/2308.00341 (2023) - [i79]Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties With Prefix Transducers. CoRR abs/2308.03626 (2023) - [i78]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]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]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI 2022: 7326-7336 - [c351]Miriam García Soto
, Thomas A. Henzinger
, Christian Schilling
:
Synthesis of Parametric Hybrid Automata from Time Series. ATVA 2022: 337-353 - [c350]Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke
:
History-Deterministic Timed Automata. CONCUR 2022: 14:1-14:21 - [c349]Ezio Bartocci
, Thomas Ferrère
, Thomas A. Henzinger
, Dejan Nickovic
, Ana Oliveira da Costa
:
Information-flow Interfaces. FASE 2022: 3-22 - [c348]Guy Avni, Thomas A. Henzinger:
An Updated Survey of Bidding Games on Graphs (Invited Talk). MFCS 2022: 3:1-3:6 - [c347]Sougata Bose
, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
:
History-Deterministic Timed Automata Are Not Determinizable. RP 2022: 67-76 - [c346]Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç
:
Abstract Monitors for Quantitative Specifications. RV 2022: 200-220 - [c345]Ezio Bartocci
, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
:
Flavors of Sequential Information Flow. VMCAI 2022: 1-19 - [i77]Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger:
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. CoRR abs/2204.07373 (2022) - [i76]Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger:
Learning Stabilizing Policies in Stochastic Control Systems. CoRR abs/2205.11991 (2022) - [i75]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]Miriam García Soto, Thomas A. Henzinger, Christian Schilling:
Synthesis of Parametric Hybrid Automata from Time Series. CoRR abs/2208.06383 (2022) - [i73]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]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]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]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]Guy Avni, Thomas A. Henzinger, Dorde Zikelic:
Bidding mechanisms in graph games. J. Comput. Syst. Sci. 119: 133-144 (2021) - [j99]Milad Aghajohari, Guy Avni, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. Log. Methods Comput. Sci. 17(1) (2021) - [j98]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]Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Scalable Verification of Quantized Neural Networks. AAAI 2021: 3787-3795 - [c343]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]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]Thomas A. Henzinger, N. Ege Saraç
:
Quantitative and Approximate Monitoring. LICS 2021: 1-14 - [c340]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS 2021: 10171-10185 - [c339]Anna Lukina
, Christian Schilling
, Thomas A. Henzinger
:
Into the Unknown: Active Monitoring of Neural Networks. RV 2021: 42-61 - [c338]Fabian Muehlboeck
, Thomas A. Henzinger
:
Differential Monitoring. RV 2021: 231-243 - [c337]Thomas A. Henzinger:
Quantitative Monitoring of Software. VSTTE 2021: 3-6 - [i69]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]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]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]Thomas A. Henzinger, N. Ege Saraç:
Quantitative and Approximate Monitoring. CoRR abs/2105.08353 (2021) - [i65]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]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR abs/2111.03165 (2021) - [i63]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]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]Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic resource allocation games. Theor. Comput. Sci. 807: 42-55 (2020) - [c336]Bernhard Kragl
, Shaz Qadeer, Thomas A. Henzinger
:
Refinement for Structured Concurrent Programs. CAV (1) 2020: 275-298 - [c335]Guy Avni, Thomas A. Henzinger:
A Survey of Bidding Games on Graphs (Invited Paper). CONCUR 2020: 2:1-2:21 - [c334]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]Thomas Ferrère, Thomas A. Henzinger
, Bernhard Kragl
:
Monitoring Event Frequencies. CSL 2020: 20:1-20:16 - [c332]Thomas A. Henzinger, Anna Lukina
, Christian Schilling
:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI 2020: 2433-2440 - [c331]Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
:
Formal Methods with a Touch of Magic. FMCAD 2020: 138-147 - [c330]Bernhard Kragl
, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer:
Inductive sequentialization of asynchronous programs. PLDI 2020: 227-242 - [c329]Thomas A. Henzinger, N. Ege Saraç
:
Monitorability Under Assumptions. RV 2020: 3-18 - [c328]Mirco Giacobbe
, Thomas A. Henzinger, Mathias Lechner:
How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) 2020: 79-97 - [d1]Bernhard Kragl
, Constantin Enea
, Thomas A. Henzinger
, Suha Orhun Mutluergil
, Shaz Qadeer:
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact). Zenodo, 2020 - [i62]Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-Flow Interfaces. CoRR abs/2002.06465 (2020) - [i61]Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina:
Formal Methods with a Touch of Magic. CoRR abs/2005.12175 (2020) - [i60]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]Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: Active monitoring of neural networks. CoRR abs/2009.06429 (2020) - [i58]Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
Scalable Verification of Quantized Neural Networks (Technical Report). CoRR abs/2012.08185 (2020)
2010 – 2019
- 2019
- [j95]Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-duration Bidding Games. J. ACM 66(4): 31:1-31:29 (2019) - [j94]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15(3) (2019) - [c327]Miriam García Soto
, Thomas A. Henzinger
, Christian Schilling
, Luka Zeleznik:
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) 2019: 297-314 - [c326]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]Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov
, Ali Sezgin:
Transient Memory in Gene Regulation. CMSB 2019: 155-187 - [c324]Milad Aghajohari, Guy Avni
, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. CONCUR 2019: 20:1-20:17 - [c323]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Long-Run Average Behavior of Vector Addition Systems with States. CONCUR 2019: 27:1-27:16 - [c322]Hui Kong, Ezio Bartocci
, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141 - [c321]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]Guy Avni
, Thomas A. Henzinger, Dorde Zikelic:
Bidding Mechanisms in Graph Games. MFCS 2019: 11:1-11:13 - [c319]Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný
:
Bidding Games on Markov Decision Processes. RP 2019: 1-12 - [p2]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]Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. CoRR abs/1904.07083 (2019) - [i56]Milad Aghajohari, Guy Avni, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. CoRR abs/1905.03588 (2019) - [i55]Guy Avni, Thomas A. Henzinger, Dorde Zikelic:
Bidding Mechanisms in Graph Games. CoRR abs/1905.03835 (2019) - [i54]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Long-Run Average Behavior of Vector Addition Systems with States. CoRR abs/1905.05537 (2019) - [i53]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]Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl:
Monitoring Event Frequencies. CoRR abs/1910.06097 (2019) - [i51]Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. CoRR abs/1911.09032 (2019) - 2018
- [j93]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]Thomas A. Henzinger:
Temporal Logics for Multi-Agent Systems. AAMAS 2018: 1 - [c317]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Computing Average Response Time. Principles of Modeling 2018: 143-161 - [c316]Hui Kong, Ezio Bartocci
, Thomas A. Henzinger:
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. CAV (1) 2018: 449-467 - [c315]Goran Frehse
, Mirco Giacobbe
, Thomas A. Henzinger:
Space-Time Interpolants. CAV (1) 2018: 468-486 - [c314]Bernhard Kragl
, Shaz Qadeer, Thomas A. Henzinger:
Synchronizing the Asynchronous. CONCUR 2018: 21:1-21:17 - [c313]Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic:
The first-order logic of signals: keynote. EMSOFT 2018: 1 - [c312]Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger:
Monitoring Temporal Logic with Clock Variables. FORMATS 2018: 53-70 - [c311]Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç
:
A Theory of Register Monitors. LICS 2018: 394-403 - [c310]Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen:
Infinite-Duration Poorman-Bidding Games. WINE 2018: 21-36 - [p1]Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith:
Introduction to Model Checking. Handbook of Model Checking 2018: 1-26 - [e10]Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
:
Handbook of Model Checking. Springer 2018, ISBN 978-3-319-10574-1 [contents] - [i50]Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen:
Infinite-Duration Poorman-Bidding Games. CoRR abs/1804.04372 (2018) - 2017
- [j92]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]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]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]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
, Yaron Velner:
Quantitative fair simulation games. Inf. Comput. 254: 143-166 (2017) - [j88]Krishnendu Chatterjee
, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
:
Edit Distance for Pushdown Automata. Log. Methods Comput. Sci. 13(3) (2017) - [j87]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]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Automata. ACM Trans. Comput. Log. 18(4): 31:1-31:44 (2017) - [c309]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools 2017: 367-381 - [c308]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]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Bidirectional Nested Weighted Automata. CONCUR 2017: 5:1-5:16 - [c306]Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-Duration Bidding Games. CONCUR 2017: 21:1-21:18 - [c305]Sergiy Bogomolov
, Mirco Giacobbe
, Thomas A. Henzinger, Hui Kong:
Conic Abstractions for Hybrid Systems. FORMATS 2017: 116-132 - [c304]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]Thomas A. Henzinger:
The quest for average response time. MEMOCODE 2017: 4 - [c302]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]Sergiy Bogomolov
, Goran Frehse
, Mirco Giacobbe
, Thomas A. Henzinger:
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) 2017: 589-606 - [i49]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]Guy Avni, Ventsislav Chonev, Thomas A. Henzinger:
Infinite-Duration Bidding Games. CoRR abs/1705.01433 (2017) - [i47]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Bidirectional Nested Weighted Automata. CoRR abs/1706.08316 (2017) - 2016
- [j85]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]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]Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. CAV (2) 2016: 230-248 - [c299]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]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
:
Linear Distances between Markov Chains. CONCUR 2016: 20:1-20:15 - [c297]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]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]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Automata under Probabilistic Semantics. LICS 2016: 76-85 - [c294]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Limit-Average Automata of Bounded Width. MFCS 2016: 24:1-24:14 - [c293]Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
PSync: a partially synchronous language for fault-tolerant distributed algorithms. POPL 2016: 400-415 - [c292]Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic Resource Allocation Games. SAGT 2016: 153-166 - [c291]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Monitor Automata. SAS 2016: 23-38 - [c290]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
:
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016: 112-129 - [c289]Thomas A. Henzinger, Jan Otop
, Roopsha Samanta:
Lipschitz Robustness of Timed I/O Systems. VMCAI 2016: 250-267 - [c288]Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. VMCAI 2016: 328-347 - [i46]Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. CoRR abs/1603.06850 (2016) - [i45]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Quantitative Automata under Probabilistic Semantics. CoRR abs/1604.06764 (2016) - [i44]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CoRR abs/1605.00186 (2016) - [i43]Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger:
Invariant Clusters for Hybrid Systems. CoRR abs/1605.01450 (2016) - [i42]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Limit-Average Automata of Bounded Width. CoRR abs/1606.03598 (2016) - 2015
- [j83]Thomas A. Henzinger, Jean-François Raskin:
The equivalence problem for finite automata: technical perspective. Commun. ACM 58(2): 86 (2015) - [j82]Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
:
Aspect-oriented linearizability proofs. Log. Methods Comput. Sci. 11(1) (2015) - [j81]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]Krishnendu Chatterjee
, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for free. Inf. Comput. 245: 3-16 (2015) - [j79]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]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]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]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]Nikola Benes
, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110 - [c285]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]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]Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen
, Jan Otop
:
Edit Distance for Pushdown Automata. ICALP (2) 2015: 121-133 - [c282]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Automata. LICS 2015: 725-737 - [c281]Udi Boker, Thomas A. Henzinger, Jan Otop
:
The Target Discounted-Sum Problem. LICS 2015: 750-761 - [c280]Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna
, Roopsha Samanta, Thorsten Tarrach:
Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444 - [c279]Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
The Need for Language Support for Fault-Tolerant Distributed Systems. SNAPL 2015: 90-102 - [c278]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]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]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. CoRR abs/1504.05739 (2015) - [i39]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Nested Weighted Automata. CoRR abs/1504.06117 (2015) - [i38]Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop:
Edit Distance for Pushdown Automata. CoRR abs/1504.08259 (2015) - [i37]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]Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Timed I/O Systems. CoRR abs/1506.01233 (2015) - [i35]Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. CoRR abs/1511.02615 (2015) - [i34]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]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]Udi Boker, Thomas A. Henzinger:
Exact and Approximate Determinization of Discounted-Sum Automata. Log. Methods Comput. Sci. 10(1) (2014) - [j74]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. ACM SIGPLAN Notices 49(4S): 79-91 (2014) - [j73]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
:
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014) - [j72]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]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-Free Synthesis for Concurrency. CAV 2014: 568-584 - [c276]Thomas A. Henzinger:
Computer-aided verification technology for biology. FMCAD 2014: 11 - [c275]Thomas A. Henzinger, Jan Otop
, Roopsha Samanta:
Lipschitz Robustness of Finite-state Transducers. FSTTCS 2014: 431-443 - [c274]Thomas A. Henzinger, Jan Otop
:
Model measuring for hybrid systems. HSCC 2014: 213-222 - [c273]Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani:
Probabilistic programming. FOSE 2014: 167-181 - [c272]Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. ICST 2014: 373-382 - [c271]Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
:
Battery transition systems. POPL 2014: 595-606 - [c270]Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder
, Damien Zufferey:
A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI 2014: 161-181 - [e9]Thomas A. Henzinger, Dale Miller:
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. ACM 2014, ISBN 978-1-4503-2886-9 [contents] - [i33]Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Finite-state Transducers. CoRR abs/1404.6452 (2014) - [i32]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-free Synthesis for Concurrency. CoRR abs/1407.3681 (2014) - [i31]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]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]Thomas A. Henzinger:
Quantitative reactive modeling and verification. Comput. Sci. Res. Dev. 28(4): 331-344 (2013) - [j69]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]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]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]Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger:
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. CAV 2013: 174-190 - [c268]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV 2013: 951-967 - [c267]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]Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
:
Aspect-Oriented Linearizability Proofs. CONCUR 2013: 242-256 - [c265]Thomas A. Henzinger, Jan Otop
:
From Model Checking to Model Measuring. CONCUR 2013: 273-287 - [c264]Anuj Dawar
, Thomas A. Henzinger, Damian Niwinski:
The Ackermann Award 2013. CSL 2013: 1-4 - [c263]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
, Andreas Pavlogiannis:
Distributed synthesis for LTL fragments. FMCAD 2013: 18-25 - [c262]Thomas A. Henzinger:
Quantitative Fitness Measures for Embedded Systems. PECCS 2013 - [c261]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
:
Quantitative abstraction refinement. POPL 2013: 115-128 - [c260]Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
:
Quantitative relaxation of concurrent data structures. POPL 2013: 317-328 - [e8]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]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]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]Krishnendu Chatterjee
, Thomas A. Henzinger:
A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2): 394-413 (2012) - [j64]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]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
:
Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012) - [j62]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]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]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
:
Finite automata with time-delay blocks. EMSOFT 2012: 43-52 - [c257]Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna
, Nishant Totla:
Synthesis from incompatible specifications. EMSOFT 2012: 53-62 - [c256]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]Udi Boker, Thomas A. Henzinger:
Approximate Determinization of Quantitative Automata. FSTTCS 2012: 362-373 - [c254]Thomas A. Henzinger:
Quantitative Reactive Models. MoDELS 2012: 1-2 - [c253]Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. Monterey Workshop 2012: 380-395 - [c252]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]Damien Zufferey, Thomas Wies, Thomas A. Henzinger:
Ideal Abstractions for Well-Structured Transition Systems. VMCAI 2012: 445-460 - [c250]Thomas A. Henzinger:
Keynote on "the propagation approach for computing biochemical reaction networks". WSC 2012: 320:1 - [c249]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
:
Interface Simulation Distances. GandALF 2012: 29-42 - [i30]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability and Safety Games. CoRR abs/1201.2834 (2012) - [i29]Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. CoRR abs/1207.1373 (2012) - [i28]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Finite Automata with Time-Delay Blocks (Extended Version). CoRR abs/1207.7019 (2012) - [i27]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]Jasmin Fisher
, David Harel, Thomas A. Henzinger:
Biology as reactivity. Commun. ACM 54(10): 72-82 (2011) - [j60]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
:
Timed Parity Games: Complexity and Robustness. Log. Methods Comput. Sci. 7(4) (2011) - [j59]Rachid Guerraoui
, Thomas A. Henzinger, Vasu Singh:
Verification of STM on relaxed memory models. Formal Methods Syst. Des. 39(3): 297-331 (2011) - [j58]Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011) - [j57]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]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28:1-28:51 (2011) - [j55]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]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259 - [c247]Thomas A. Henzinger, Maria Mateescu:
Propagation models for computing biochemical reaction networks. CMSB 2011: 1-3 - [c246]Jasmin Fisher
, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman
, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418 - [c245]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger:
The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217 - [c244]Udi Boker, Thomas A. Henzinger:
Determinizing Discounted-Sum Automata. CSL 2011: 82-96 - [c243]Pavol Cerný, Thomas A. Henzinger:
From boolean to quantitative synthesis. EMSOFT 2011: 149-154 - [c242]Thomas A. Henzinger, Vasu Singh, Thomas Wies
, Damien Zufferey:
Scheduling large jobs by abstraction refinement. EuroSys 2011: 329-342 - [c241]Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey:
Static Scheduling in Clouds. HotCloud 2011 - [c240]Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn:
The Complexity of Request-Response Games. LATA 2011: 227-237 - [c239]Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman:
Temporal Specifications with Accumulative Values. LICS 2011: 43-52 - [c238]Raluca Halalai, Thomas A. Henzinger, Vasu Singh:
Quantitative Evaluation of BFT Protocols. QEST 2011: 255-264 - [c237]Roderick Bloem
, Krishnendu Chatterjee
, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Specification-centered robustness. SIES 2011: 176-185 - [c236]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271 - [i26]Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol:
The Decidability Frontier for Probabilistic Automata on Infinite Words. CoRR abs/1104.0127 (2011) - [i25]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011) - [i24]Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler:
Conditional Model Checking. CoRR abs/1109.6926 (2011) - 2010
- [j54]Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger:
Solving the chemical master equation using sliding windows. BMC Syst. Biol. 4: 42 (2010) - [j53]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. Log. Methods Comput. Sci. 6(3) (2010) - [j52]Rachid Guerraoui
, Thomas A. Henzinger, Vasu Singh:
Model checking transactional memories. Distributed Comput. 22(3): 129-145 (2010) - [j51]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
:
Strategy logic. Inf. Comput. 208(6): 677-693 (2010) - [j50]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]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative languages. ACM Trans. Comput. Log. 11(4): 23:1-23:38 (2010) - [c235]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]Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84 - [c233]Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. ATVA 2010: 1-16 - [c232]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60 - [c231]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
Measuring and Synthesizing Systems in Probabilistic Environments. CAV 2010: 380-395 - [c230]Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Robustness in the Presence of Liveness. CAV 2010: 410-424 - [c229]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna:
Gist: A Solver for Probabilistic Games. CAV 2010: 665-669 - [c228]Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf:
Hybrid numerical solution of the chemical master equation. CMSB 2010: 55-65 - [c227]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation Distances. CONCUR 2010: 253-268 - [c226]Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou:
Mean-Payoff Automaton Expressions. CONCUR 2010: 269-283 - [c225]Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies
, Damien Zufferey:
A marketplace for cloud resources. EMSOFT 2010: 1-8 - [c224]Dirk Beyer
, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey:
Shape Refinement through Explicit Heap Analysis. FASE 2010: 263-277 - [c223]Thomas Wies, Damien Zufferey, Thomas A. Henzinger:
Forward Analysis of Depth-Bounded Processes. FoSSaCS 2010: 94-108 - [c222]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516 - [c221]Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
:
ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118 - [c220]Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
, Andrey Rybalchenko:
Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356 - [c219]Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for Free. MFCS 2010: 246-257 - [c218]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS 2010: 258-269 - [c217]Thomas A. Henzinger:
From Boolean to quantitative notions of correctness. POPL 2010: 157-158 - [c216]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]Rachid Guerraoui
, Thomas A. Henzinger, Michal Kapalka, Vasu Singh:
Transactions in the jungle. SPAA 2010: 263-272 - [c214]Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
, Andrei Voronkov:
Invariant and Type Inference for Matrices. VMCAI 2010: 163-179 - [c213]Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
:
Lumpability Abstractions of Rule-based Systems. MeCBIC 2010: 142-161 - [e6]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]Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger:
Synthesis of AMBA AHB from Formal Specification. CoRR abs/1001.2811 (2010) - [i22]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
Measuring and Synthesizing Systems in Probabilistic Environments. CoRR abs/1004.0739 (2010) - [i21]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna:
GIST: A Solver for Probabilistic Games. CoRR abs/1004.2367 (2010) - [i20]Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf:
Hybrid Numerical Solution of the Chemical Master Equation. CoRR abs/1005.0747 (2010) - [i19]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]Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for Free. CoRR abs/1006.0673 (2010) - [i17]Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou:
Mean-payoff Automaton Expressions. CoRR abs/1006.1492 (2010) - [i16]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Generalized Mean-payoff and Energy Games. CoRR abs/1007.1669 (2010)
2000 – 2009
- 2009
- [j48]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]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]Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156 - [c211]Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336 - [c210]Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352 - [c209]Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188 - [c208]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CONCUR 2009: 244-258 - [c207]Stavros Tripakis
, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
:
On relational interfaces. EMSOFT 2009: 67-76 - [c206]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Alternating Weighted Automata. FCT 2009: 3-13 - [c205]Roderick Bloem
, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Synthesizing robust systems. FMCAD 2009: 85-92 - [c204]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15 - [c203]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. LICS 2009: 199-208 - [c202]Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn:
Stochastic Games with Finitary Objectives. MFCS 2009: 34-54 - [c201]Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. RP 2009: 3-23 - [c200]Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques
, Ana Sokolova
:
Distributed, Modular HTL. RTSS 2009: 171-180 - [c199]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206 - [c198]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]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]Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives. CoRR abs/0904.2638 (2009) - [i13]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. CoRR abs/0905.2195 (2009) - [i12]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Qualitative Analysis of Partially-observable Markov Decision Processes. CoRR abs/0909.1645 (2009) - [i11]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CoRR abs/0909.1647 (2009) - 2008
- [j46]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]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008) - [j44]Krishnendu Chatterjee, Thomas A. Henzinger:
Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008) - [c197]Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35 - [c196]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Environment Assumptions for Synthesis. CONCUR 2008: 147-161 - [c195]Dietmar Berwanger
, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje:
Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339 - [c194]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative Languages. CSL 2008: 385-400 - [c193]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]Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov:
Interface theories with component reuse. EMSOFT 2008: 79-88 - [c191]Jasmin Fisher
, Thomas A. Henzinger, Maria Mateescu, Nir Piterman
:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32 - [c190]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
:
Timed Parity Games: Complexity and Robustness. FORMATS 2008: 124-140 - [c189]Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger:
Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317 - [c188]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Controller Synthesis with Budget Constraints. HSCC 2008: 72-86 - [c187]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC 2008: 87-100 - [c186]Dirk Beyer
, Thomas A. Henzinger, Grégory Théoduloz:
Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38 - [c185]Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
:
Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342 - [c184]Rachid Guerraoui
, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh:
Model checking transactional memories. PLDI 2008: 372-382 - [c183]Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu:
Proving non-termination. POPL 2008: 147-158 - [c182]Krishnendu Chatterjee, Thomas A. Henzinger:
Value Iteration. 25 Years of Model Checking 2008: 107-138 - [c181]Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
Permissiveness in Transactional Memories. DISC 2008: 305-319 - [i10]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Safety Games. CoRR abs/0804.4530 (2008) - [i9]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Algorithms for Büchi Games. CoRR abs/0805.2620 (2008) - [i8]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic Limit-Average Games are in EXPTIME. CoRR abs/0805.2622 (2008) - [i7]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Environment Assumptions for Synthesis. CoRR abs/0805.4167 (2008) - [i6]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness. CoRR abs/0807.1165 (2008) - [i5]Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Systems with LimSup and LimInf Objectives. CoRR abs/0809.1465 (2008) - [i4]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination Criteria for Solving Concurrent Safety and Reachability Games. CoRR abs/0809.4017 (2008) - 2007
- [j43]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]Thomas A. Henzinger, Joseph Sifakis:
The Discipline of Embedded Systems Design. Computer 40(10): 32-40 (2007) - [j41]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]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]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]Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007) - [j37]Thomas A. Henzinger, Christoph M. Kirsch:
The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): 33 (2007) - [c180]Dirk Beyer
, Thomas A. Henzinger, Vasu Singh:
Algorithms for Interface Synthesis. CAV 2007: 4-19 - [c179]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]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy Logic. CONCUR 2007: 59-73 - [c177]Thomas A. Henzinger:
Quantitative Generalizations of Languages. Developments in Language Theory 2007: 20-22 - [c176]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Generalized Parity Games. FoSSaCS 2007: 153-167 - [c175]Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin:
Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837 - [c174]Dirk Beyer
, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia:
An Application ofWeb-Service Interfaces. ICWS 2007: 831-838 - [c173]Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Systems with LimSup and LimInf Objectives. ILC 2007: 32-45 - [c172]Dirk Beyer
, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Path invariants. PLDI 2007: 300-309 - [c171]Thomas A. Henzinger:
Games, Time, and Probability: Graph Models for System Design and Analysis. SOFSEM (1) 2007: 103-110 - [c170]Krishnendu Chatterjee, Thomas A. Henzinger:
Assume-Guarantee Synthesis. TACAS 2007: 261-275 - [c169]Dirk Beyer
, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394 - [e5]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]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]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]Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
:
Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006) - [c168]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]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]Dirk Beyer
, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis. CAV 2006: 532-546 - [c165]Krishnendu Chatterjee, Thomas A. Henzinger:
Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR 2006: 375-389 - [c164]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302 - [c163]Thomas A. Henzinger, Nir Piterman:
Solving Games Without Determinization. CSL 2006: 395-410 - [c162]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]Thomas A. Henzinger, Joseph Sifakis:
The Embedded Systems Design Challenge. FM 2006: 1-15 - [c160]Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Alternating-Time Temporal Logic. FORMATS 2006: 1-17 - [c159]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Compositional Quantitative Reasoning. QEST 2006: 179-188 - [c158]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300 - [c157]Thomas A. Henzinger, Slobodan Matic:
An Interface Algebra for Real-Time Components. IEEE Real Time Technology and Applications Symposium 2006: 253-266 - [c156]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]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The complexity of quantitative concurrent parity games. SODA 2006: 678-687 - [c154]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336 - [c153]Krishnendu Chatterjee, Thomas A. Henzinger:
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS 2006: 512-523 - [c152]Krishnendu Chatterjee, Thomas A. Henzinger:
Finitary Winning in omega-Regular Games. TACAS 2006: 257-271 - [c151]Jasmin Fisher
, Thomas A. Henzinger:
Executable biology. WSC 2006: 1675-1682 - [i2]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]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]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]Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64 - [c149]Dirk Beyer
, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Checking Memory Safety with Blast. FASE 2005: 2-18 - [c148]Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161 - [c147]Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
:
Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241 - [c146]Krishnendu Chatterjee, Thomas A. Henzinger:
Semiperfect-Information Games. FSTTCS 2005: 1-18 - [c145]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890 - [c144]Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Composable code generation for distributed giotto. LCTES 2005: 21-30 - [c143]Krishnendu Chatterjee
, Thomas A. Henzinger, Marcin Jurdzinski:
Mean-Payoff Parity Games. LICS 2005: 178-187 - [c142]Slobodan Matic, Thomas A. Henzinger:
Trading End-to-End Latency for Composability. RTSS 2005: 99-110 - [c141]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40 - [c140]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The BLAST Software Verification System. SPIN 2005: 25-26 - [c139]Thomas A. Henzinger:
Games in system design and verification. TARK 2005: 1-4 - [c138]Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. UAI 2005: 104-111 - [c137]Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger:
A programmable microkernel for real-time systems. VEE 2005: 35-45 - [c136]Dirk Beyer
, Arindam Chakrabarti, Thomas A. Henzinger:
Web service interfaces. WWW 2005: 148-159 - 2004
- [j32]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]Thomas A. Henzinger:
Embedded Software: Better Models, Better Code. ICATPN 2004: 35-36 - [c134]Thomas A. Henzinger:
Rich Interfaces for Software Modules. ECOOP 2004: 517-518 - [c133]Thomas A. Henzinger, Christoph M. Kirsch:
A typed assembly language for real-time programs. EMSOFT 2004: 104-113 - [c132]Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
:
Games with Secure Equilibria. FMCO 2004: 141-161 - [c131]Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371 - [c130]Dirk Beyer
, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Generating Tests from Counterexamples. ICSE 2004: 326-335 - [c129]Dirk Beyer
, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255 - [c128]Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with Secure Equilibria. LICS 2004: 160-169 - [c127]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]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Race checking by context inference. PLDI 2004: 1-13 - [c125]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. POPL 2004: 232-244 - [c124]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]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Trading Memory for Randomness. QEST 2004: 206-217 - [c122]Dirk Beyer
, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The Blast Query Language for Software Verification.. SAS 2004: 2-18 - [c121]Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger:
Quantitative stochastic parity games. SODA 2004: 121-130 - [c120]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties. TACAS 2004: 77-92 - 2003
- [j31]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]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: a time-triggered language for embedded programming. Proc. IEEE 91(1): 84-99 (2003) - [c119]Thomas A. Henzinger:
Model Checking: From Hardware to Software. APLAS 2003: 176-177 - [c118]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido:
Extreme Model Checking. Verification: Theory and Practice 2003: 332-358 - [c117]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer:
Thread-Modular Abstraction Refinement. CAV 2003: 262-274 - [c116]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]Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger:
Simple Stochastic Parity Games. CSL 2003: 100-113 - [c114]Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Resource Interfaces. EMSOFT 2003: 117-133 - [c113]Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic:
Schedule-Carrying Code. EMSOFT 2003: 241-256 - [c112]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-Guided Control. ICALP 2003: 886-902 - [c111]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Discounting the Future in Systems Theory. ICALP 2003: 1022-1037 - [c110]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]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Software Verification with BLAST. SPIN 2003: 235-239 - [c108]Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64 - [c107]Thomas A. Henzinger:
Automata for Specifying Component Interfaces. CIAA 2003: 1-2 - 2002
- [j29]Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. Inf. Comput. 173(1): 64-81 (2002) - [j28]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002) - [j27]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]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]Thomas A. Henzinger:
The Symbolic Approach to Hybrid Systems. CAV 2002: 57 - [c105]Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427 - [c104]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]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]Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger:
Trading Probability for Fairness. CSL 2002: 292-305 - [c101]Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree:
A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60 - [c100]Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic:
Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92 - [c99]Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Timed Interfaces. EMSOFT 2002: 108-122 - [c98]Thomas A. Henzinger:
From Models to Code: The Missing Link in Embedded Software. HSCC 2002: 5-6 - [c97]Franck Cassez
, Thomas A. Henzinger, Jean-François Raskin:
A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148 - [c96]Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang:
Synthesis of Uninitialized Systems. ICALP 2002: 644-656 - [c95]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]Thomas A. Henzinger, Christoph M. Kirsch:
The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326 - [c93]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Lazy abstraction. POPL 2002: 58-70 - 2001
- [j25]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]Rajeev Alur, Thomas A. Henzinger:
Introduction. Inf. Comput. 164(2): 233 (2001) - [c92]Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi:
Some lessons from the HYTECH experience. CDC 2001: 2887-2892 - [c91]Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala:
Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365 - [c90]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550 - [c89]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582 - [c88]Luca de Alfaro, Thomas A. Henzinger:
Interface Theories for Component-Based Design. EMSOFT 2001: 148-165 - [c87]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184 - [c86]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]Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
:
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290 - [c84]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]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Embedded Control Systems Development with Giotto. LCTES/OM 2001: 64-72 - [c82]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290 - [c81]Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch:
Embedded Control Systems Development with Giotto. OM@PLDI 2001: 64-72 - [c80]Luca de Alfaro, Thomas A. Henzinger:
Interface automata. ESEC / SIGSOFT FSE 2001: 109-120 - [c79]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001 - [e4]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]Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A Classification of Symbolic Transition Systems. CoRR cs.LO/0101013 (2001) - 2000
- [j23]Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas
:
Discrete abstractions of hybrid systems. Proc. IEEE 88(7): 971-984 (2000) - [j22]Thomas A. Henzinger:
New directions in computer-aided verification. ACM SIGSOFT Softw. Eng. Notes 25(1): 56-57 (2000) - [c78]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Detecting Errors Before Reaching Them. CAV 2000: 186-201 - [c77]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems. CONCUR 2000: 458-473 - [c76]Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144 - [c75]Thomas A. Henzinger, Jean-François Raskin:
Robust Undecidability of Timed and Hybrid Systems. HSCC 2000: 145-159 - [c74]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD 2000: 245-252 - [c73]Thomas A. Henzinger:
Masaccio: A Formal Model for Embedded Components. IFIP TCS 2000: 549-563 - [c72]Luca de Alfaro, Thomas A. Henzinger:
Concurrent Omega-Regular Games. LICS 2000: 141-154 - [c71]Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin:
Abstract Interpretation of Game Properties. SAS 2000: 220-239 - [c70]Thomas A. Henzinger, Rupak Majumdar:
A Classification of Symbolic Transition Systems. STACS 2000: 13-34 - [c69]Thomas A. Henzinger, Rupak Majumdar:
Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156 - [c68]Thomas A. Henzinger, Sriram K. Rajamani:
Fair Bisimulation. TACAS 2000: 299-314 - [c67]Thomas A. Henzinger:
Exploiting Design Structure in Model Checking. MTCS 2000: 322
1990 – 1999
- 1999
- [j21]Rajeev Alur, Thomas A. Henzinger:
Introduction. Formal Methods Syst. Des. 14(3): 235 (1999) - [j20]Rajeev Alur, Thomas A. Henzinger:
Introduction. Formal Methods Syst. Des. 15(1): 5 (1999) - [j19]Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. Formal Methods Syst. Des. 15(1): 7-48 (1999) - [j18]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]Thomas A. Henzinger, Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata. Theor. Comput. Sci. 221(1-2): 369-392 (1999) - [c66]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221 - [c65]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315 - [c64]Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Automating Modular Verification. CONCUR 1999: 82-97 - [c63]Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar:
Rectangular Hybrid Games. CONCUR 1999: 320-335 - [c62]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]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]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]Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. ACM Trans. Program. Lang. Syst. 20(6): 1171-1194 (1998) - [c61]Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206 - [c60]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451 - [c59]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]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
Alternating Refinement Relations. CONCUR 1998: 163-178 - [c57]Jean-François Raskin
, Pierre-Yves Schobbens, Thomas A. Henzinger:
Axioms for Real-Time Logics. CONCUR 1998: 219-236 - [c56]Thomas A. Henzinger:
It's About Time: Real-Time Logics Reviewed. CONCUR 1998: 439-454 - [c55]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432 - [c54]Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent Reachability Games. FOCS 1998: 564-575 - [c53]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]Thomas A. Henzinger, Vlad Rusu:
Reachability Verification for Hybrid Automata. HSCC 1998: 190-204 - [c51]Thomas A. Henzinger:
Model Checking Game Properties of Multi-agent Systems (Abstract). ICALP 1998: 543 - [c50]Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens
:
The Regular Real-Time Languages. ICALP 1998: 580-591 - [c49]Thomas A. Henzinger:
Computer-aided Verification of Embedded Systems. IFIP Congress: Fundamentals - Foundations of Computer Science 1998: 89-92 - [c48]Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani:
Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344 - [e3]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]Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. Formal Methods Syst. Des. 11(2): 137-155 (1997) - [j12]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]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]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]Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463 - [c45]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-Time Temporal Logic. COMPOS 1997: 23-60 - [c44]Rajeev Alur, Thomas A. Henzinger:
Modularity for Timed and Hybrid Systems. CONCUR 1997: 74-88 - [c43]Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. CONCUR 1997: 273-287 - [c42]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-time Temporal Logic. FOCS 1997: 100-109 - [c41]Thomas A. Henzinger, Orna Kupferman:
From Quantity to Quality. HART 1997: 48-62 - [c40]Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan:
Robust Timed Automata. HART 1997: 331-345 - [c39]Thomas A. Henzinger, Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata. ICALP 1997: 582-593 - 1996
- [j10]Thomas A. Henzinger:
Some Myths About Formal Verification. ACM Comput. Surv. 28(4es): 119 (1996) - [j9]Rajeev Alur, Tomás Feder, Thomas A. Henzinger:
The Benefits of Relaxing Punctuality. J. ACM 43(1): 116-146 (1996) - [j8]Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996) - [c38]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]Thomas A. Henzinger, Peter W. Kopke:
State Equivalences for Rectangular Hybrid Automata. CONCUR 1996: 530-545 - [c36]Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. LICS 1996: 207-218 - [c35]Thomas A. Henzinger:
The Theory of Hybrid Automata. LICS 1996: 278-292 - [e2]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]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]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]Rajeev Alur, Thomas A. Henzinger:
Local Liveness for Compositional Modeling of Fair Reactive Systems. CAV 1995: 166-179 - [c33]Thomas A. Henzinger, Pei-Hsin Ho:
Algorithmic Analysis of Nonlinear Hybrid Systems. CAV 1995: 225-238 - [c32]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]Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke:
Computing Simulations on Finite and Infinite Graphs. FOCS 1995: 453-462 - [c30]Thomas A. Henzinger, Howard Wong-Toi:
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems 1995: 377-388 - [c29]Thomas A. Henzinger:
Hybrid Automata with Finite Bisimulatioins. ICALP 1995: 324-335 - [c28]Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi:
The Expressive Power of Clocks. ICALP 1995: 417-428 - [c27]Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HyTech: The Next Generation. RTSS 1995: 56-65 - [c26]Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya:
What's decidable about hybrid automata? STOC 1995: 373-382 - [c25]Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
A User Guide to HyTech. TACAS 1995: 41-71 - 1994
- [j6]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
:
Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994) - [j5]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput. 112(2): 273-337 (1994) - [j4]Rajeev Alur, Thomas A. Henzinger:
A Really Temporal Logic. J. ACM 41(1): 181-204 (1994) - [c24]Rajeev Alur, Limor Fix, Thomas A. Henzinger:
A Determinizable Class of Timed Automata. CAV 1994: 1-13 - [c23]Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
The Observational Power of Clocks. CONCUR 1994: 162-177 - [c22]Thomas A. Henzinger, Peter W. Kopke:
Verification Methods for the Divergent Runs of Clock Systems. FTRTFT 1994: 351-372 - [c21]Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454 - [c20]Thomas A. Henzinger, Pei-Hsin Ho:
A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264 - [c19]Thomas A. Henzinger, Pei-Hsin Ho:
HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293 - [c18]Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. LICS 1994: 52-61 - 1993
- [j3]Rajeev Alur, Thomas A. Henzinger:
Real-Time Logics: Complexity and Expressiveness. Inf. Comput. 104(1): 35-77 (1993) - [j2]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]Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. CAV 1993: 181-193 - [c16]Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. RTSS 1993: 2-11 - [c15]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Parametric real-time reasoning. STOC 1993: 592-601 - 1992
- [j1]Thomas A. Henzinger:
Sooner is Safer Than Later. Inf. Process. Lett. 43(3): 135-141 (1992) - [c14]Rajeev Alur, Thomas A. Henzinger:
Back to the Future: Towards a Theory of Timed Regular Languages. FOCS 1992: 177-186 - [c13]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76 - [c12]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]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
What Good Are Digital Clocks? ICALP 1992: 545-558 - [c10]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406 - 1991
- [b1]Thomas A. Henzinger:
The temporal specification and verification of real-time systems. Stanford University, USA, 1991 - [c9]Rajeev Alur, Tomás Feder, Thomas A. Henzinger:
The Benefits of Relaxing Punctuality. PODC 1991: 139-152 - [c8]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366 - [c7]Rajeev Alur, Thomas A. Henzinger:
Logics and Models of Real Time: A Survey. REX Workshop 1991: 74-106 - [c6]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Timed Transition Systems. REX Workshop 1991: 226-251 - 1990
- [c5]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
An interleaving model for real-time. Jerusalem Conference on Information Technology 1990: 717-730 - [c4]Rajeev Alur, Thomas A. Henzinger:
Real-time Logics: Complexity and Expressiveness. LICS 1990: 390-401 - [c3]Thomas A. Henzinger:
Half-Order Modal Logic: How to Prove Real-Time Properties. PODC 1990: 281-296
1980 – 1989
- 1989
- [c2]Rajeev Alur, Thomas A. Henzinger:
A Really Temporal Logic. FOCS 1989: 164-169 - 1985
- [c1]Thomas A. Henzinger, Hubert Hofbauer:
PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. ÖGAI 1985: 173-184
Coauthor Index
aka: Christoph Meyer Kirsch
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-30 20:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint