Articles with public access mandates - Thomas HenzingerLearn more
Not available anywhere: 6
Introduction to model checking
EM Clarke, TA Henzinger, H Veith
Handbook of Model Checking, 1-26, 2018
Mandates: Austrian Science Fund, European Commission
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
ACM SIGPLAN Notices 48 (1), 115-128, 2013
Mandates: Austrian Science Fund
Quantitative monitor automata
K Chatterjee, TA Henzinger, J Otop
Static Analysis Symposium, 23-38, 2016
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
Continuous-time models for system design and analysis
R Alur, M Giacobbe, TA Henzinger, KG Larsen, M Mikučionis
Computing and Software Science: State of the Art and Perspectives, 452-477, 2019
Mandates: Austrian Science Fund, National Natural Science Foundation of China, Danish …
Independent implementability of viewpoints
TA Henzinger, D Ničković
Monterey Workshop on Large-Scale Complex IT Systems, 380-395, 2012
Mandates: Austrian Science Fund
Quantitative monitoring of software
TA Henzinger
International Workshop on Numerical Software Verification, 3-6, 2021
Mandates: Austrian Science Fund
Available somewhere: 166
Executable cell biology
J Fisher, TA Henzinger
Nature Biotechnology 25 (11), 1239, 2007
Mandates: Swiss National Science Foundation
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
ACM-IEEE International Conference on Software Engineering, 167-181, 2014
Mandates: Austrian Science Fund, European Commission
Contracts for systems design
A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ...
Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018
Mandates: Austrian Science Fund
Quantitative languages
K Chatterjee, L Doyen, TA Henzinger
ACM Transactions on Computational Logic 11 (4), 23:1-38, 2010
Mandates: Swiss National Science Foundation
Concurrent reachability games
L De Alfaro, TA Henzinger, O Kupferman
Theoretical Computer Science 386 (3), 188-217, 2007
Mandates: Swiss National Science Foundation
The discipline of embedded systems design
TA Henzinger, J Sifakis
IEEE Computer 40 (10), 32-40, 2007
Mandates: Swiss National Science Foundation
Strategy logic
K Chatterjee, TA Henzinger, N Piterman
Information and Computation 208 (6), 677-693, 2010
Mandates: Swiss National Science Foundation
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
Conference on Computer Aided Verification, 140-156, 2009
Mandates: Swiss National Science Foundation
Proving non-termination
A Gupta, TA Henzinger, R Majumdar, A Rybalchenko, RG Xu
ACM SIGPLAN Notices 43 (1), 147-158, 2008
Mandates: Swiss National Science Foundation
Neural circuit policies enabling auditable autonomy
M Lechner, R Hasani, A Amini, TA Henzinger, D Rus, R Grosu
Nature Machine Intelligence 2 (10), 642-652, 2020
Mandates: US National Science Foundation, US Department of Defense, Austrian Science …
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
Mandates: Swiss National Science Foundation, Austrian Science Fund, European Commission
Program analysis with dynamic precision adjustment
D Beyer, TA Henzinger, G Théoduloz
ACM-IEEE Conference on Automated Software Engineering, 29-38, 2008
Mandates: Swiss National Science Foundation
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
Conference on Concurrency Theory, 147-161, 2008
Mandates: Swiss National Science Foundation
Conditional model checking: A technique to pass information between verifiers
D Beyer, TA Henzinger, ME Keremoglu, P Wendler
ACM Symposium on the Foundations of Software Engineering, 57, 2012
Mandates: Austrian Science Fund
Publication and funding information is determined automatically by a computer program