
Thomas A. Henzinger
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
- 2020
- [j94]Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic resource allocation games. Theor. Comput. Sci. 807: 42-55 (2020) - [c333]Bernhard Kragl
, Shaz Qadeer, Thomas A. Henzinger
:
Refinement for Structured Concurrent Programs. CAV (1) 2020: 275-298 - [c332]Guy Avni, Thomas A. Henzinger:
A Survey of Bidding Games on Graphs (Invited Paper). CONCUR 2020: 2:1-2:21 - [c331]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 - [c330]Thomas Ferrère, Thomas A. Henzinger
, Bernhard Kragl
:
Monitoring Event Frequencies. CSL 2020: 20:1-20:16 - [c329]Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI 2020: 2433-2440 - [c328]Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina:
Formal Methods with a Touch of Magic. FMCAD 2020: 138-147 - [c327]Bernhard Kragl
, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer:
Inductive sequentialization of asynchronous programs. PLDI 2020: 227-242 - [c326]Thomas A. Henzinger, N. Ege Saraç:
Monitorability Under Assumptions. RV 2020: 3-18 - [c325]Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner:
How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) 2020: 79-97 - [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
- [j93]Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-duration Bidding Games. J. ACM 66(4): 31:1-31:29 (2019) - [j92]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15(3) (2019) - [c324]Miriam García Soto
, Thomas A. Henzinger
, Christian Schilling
, Luka Zeleznik:
Membership-Based Synthesis of Linear Hybrid Automata. CAV (1) 2019: 297-314 - [c323]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 - [c322]Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov
, Ali Sezgin:
Transient Memory in Gene Regulation. CMSB 2019: 155-187 - [c321]Milad Aghajohari, Guy Avni
, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. CONCUR 2019: 20:1-20:17 - [c320]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Long-Run Average Behavior of Vector Addition Systems with States. CONCUR 2019: 27:1-27:16 - [c319]Hui Kong, Ezio Bartocci
, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141 - [c318]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 - [c317]Guy Avni
, Thomas A. Henzinger, Dorde Zikelic:
Bidding Mechanisms in Graph Games. MFCS 2019: 11:1-11:13 - [c316]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
- [j91]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) - [c315]Thomas A. Henzinger:
Temporal Logics for Multi-Agent Systems. AAMAS 2018: 1 - [c314]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Computing Average Response Time. Principles of Modeling 2018: 143-161 - [c313]Hui Kong, Ezio Bartocci
, Thomas A. Henzinger:
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. CAV (1) 2018: 449-467 - [c312]Goran Frehse
, Mirco Giacobbe, Thomas A. Henzinger:
Space-Time Interpolants. CAV (1) 2018: 468-486 - [c311]Bernhard Kragl
, Shaz Qadeer, Thomas A. Henzinger:
Synchronizing the Asynchronous. CONCUR 2018: 21:1-21:17 - [c310]Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic:
The first-order logic of signals: keynote. EMSOFT 2018: 1 - [c309]Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger:
Monitoring Temporal Logic with Clock Variables. FORMATS 2018: 53-70 - [c308]Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç:
A Theory of Register Monitors. LICS 2018: 394-403 - [c307]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
- [j90]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) - [j89]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) - [j88]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) - [j87]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
, Yaron Velner:
Quantitative fair simulation games. Inf. Comput. 254: 143-166 (2017) - [j86]Krishnendu Chatterjee
, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
:
Edit Distance for Pushdown Automata. Log. Methods Comput. Sci. 13(3) (2017) - [j85]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) - [j84]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Automata. ACM Trans. Comput. Log. 18(4): 31:1-31:44 (2017) - [c306]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools 2017: 367-381 - [c305]Stanley Bak, Sergiy Bogomolov
, Thomas A. Henzinger, Aviral Kumar:
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV 2017: 83-89 - [c304]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Bidirectional Nested Weighted Automata. CONCUR 2017: 5:1-5:16 - [c303]Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-Duration Bidding Games. CONCUR 2017: 21:1-21:18 - [c302]Sergiy Bogomolov
, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong:
Conic Abstractions for Hybrid Systems. FORMATS 2017: 116-132 - [c301]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 - [c300]Thomas A. Henzinger:
The quest for average response time. MEMOCODE 2017: 4 - [c299]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 - [c298]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
- [j83]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) - [j82]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) - [c297]Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. CAV (2) 2016: 230-248 - [c296]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 - [c295]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
:
Linear Distances between Markov Chains. CONCUR 2016: 20:1-20:15 - [c294]Hui Kong, Ezio Bartocci
, Sergiy Bogomolov
, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
:
Discrete Abstraction of Multiaffine Systems. HSB 2016: 128-144 - [c293]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 - [c292]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Automata under Probabilistic Semantics. LICS 2016: 76-85 - [c291]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Limit-Average Automata of Bounded Width. MFCS 2016: 24:1-24:14 - [c290]Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
PSync: a partially synchronous language for fault-tolerant distributed algorithms. POPL 2016: 400-415 - [c289]Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic Resource Allocation Games. SAGT 2016: 153-166 - [c288]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Monitor Automata. SAS 2016: 23-38 - [c287]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
:
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016: 112-129 - [c286]Thomas A. Henzinger, Jan Otop
, Roopsha Samanta:
Lipschitz Robustness of Timed I/O Systems. VMCAI 2016: 250-267 - [c285]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
- [j81]Thomas A. Henzinger, Jean-François Raskin:
The equivalence problem for finite automata: technical perspective. Commun. ACM 58(2): 86 (2015) - [j80]Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
:
Aspect-oriented linearizability proofs. Log. Methods Comput. Sci. 11(1) (2015) - [j79]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) - [j78]Krishnendu Chatterjee
, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for free. Inf. Comput. 245: 3-16 (2015) - [j77]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) - [j76]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. ACM SIGLOG News 2(1): 46-51 (2015) - [j75]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) - [c284]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 - [c283]Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110 - [c282]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 - [c281]Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr:
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP 2015: 105-131 - [c280]Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen
, Jan Otop
:
Edit Distance for Pushdown Automata. ICALP (2) 2015: 121-133 - [c279]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Automata. LICS 2015: 725-737 - [c278]Udi Boker, Thomas A. Henzinger, Jan Otop
:
The Target Discounted-Sum Problem. LICS 2015: 750-761 - [c277]Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach:
Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444 - [c276]Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
The Need for Language Support for Fault-Tolerant Distributed Systems. SNAPL 2015: 90-102 - [c275]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
- [j74]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) - [j73]Udi Boker, Thomas A. Henzinger:
Exact and Approximate Determinization of Discounted-Sum Automata. Log. Methods Comput. Sci. 10(1) (2014) - [j72]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014) - [j71]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) - [c274]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-Free Synthesis for Concurrency. CAV 2014: 568-584 - [c273]Thomas A. Henzinger:
Computer-aided verification technology for biology. FMCAD 2014: 11 - [c272]Thomas A. Henzinger, Jan Otop
, Roopsha Samanta:
Lipschitz Robustness of Finite-state Transducers. FSTTCS 2014: 431-443 - [c271]Thomas A. Henzinger, Jan Otop
:
Model measuring for hybrid systems. HSCC 2014: 213-222 - [c270]Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani:
Probabilistic programming. FOSE 2014: 167-181 - [c269]Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. ICST 2014: 373-382 - [c268]Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna:
Battery transition systems. POPL 2014: 595-606 - [c267]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
- [j70]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. 43(2): 268-284 (2013) - [j69]Thomas A. Henzinger:
Quantitative reactive modeling and verification. Comput. Sci. Res. Dev. 28(4): 331-344 (2013) - [j68]