Thomas Henzinger | Academic Influence

Thomas Henzinger's AcademicInfluence.com Rankings

Thomas Henzinger

Computer Science

#1241

World Rank

#1281

Historical Rank

Database

#346

World Rank

#361

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Thomas Henzinger's Degrees

PhD Computer Science Stanford University
Masters Electrical Engineering Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Thomas Henzinger Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Thomas Henzinger is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria. Early life and education Henzinger was born in Austria. He received his bachelor's degree in computer science from Johannes Kepler University Linz, and his PhD from Stanford University in 1991, advised by Zohar Manna. He is married to Monika Henzinger and has three children.

(See a Problem?)

Thomas Henzinger's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The theory of hybrid automata (1996) (2443)
The Algorithmic Analysis of Hybrid Systems (1995) (2184)
Alternating-time temporal logic (1997) (1722)
Interface automata (2001) (1365)
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1992) (1345)
What's decidable about hybrid automata? (1995) (1241)
Lazy abstraction (2002) (1222)
HYTECH: a model checker for hybrid systems (1997) (1200)
Hybrid Systems: Computation and Control (1998) (1020)
Discrete abstractions of hybrid systems (2000) (886)
A really temporal logic (1989) (739)
Reactive Modules (1996) (706)
Logics and Models of Real Time: A Survey (1991) (678)
Automatic symbolic verification of embedded systems (1993) (669)
Probabilistic programming (2014) (667)
Giotto: a time-triggered language for embedded programming (2001) (665)
Real-time logics: complexity and expressiveness (1990) (650)
Executable cell biology (2007) (573)
Computing simulations on finite and infinite graphs (1995) (565)
The benefits of relaxing punctuality (1991) (533)
Software Verification with BLAST (2003) (527)
Symbolic model checking for real-time systems (1992) (470)
MOCHA: Modularity in Model Checking (1998) (449)
The software model checker Blast (2007) (442)
The software model checker B last : Applications to software engineering (2007) (423)
Abstractions from proofs (2004) (422)
Interface Theories for Component-Based Design (2001) (418)
Algorithmic Analysis of Nonlinear Hybrid Systems (1998) (404)
Parametric real-time reasoning (1993) (388)
The Embedded Systems Design Challenge (2006) (376)
Alternating Refinement Relations (1998) (352)
INTERFACE-BASED DESIGN (2005) (341)
A User Guide to HyTech (1995) (336)
What Good Are Digital Clocks? (1992) (322)
Timed Transition Systems (1991) (298)
Strategy logic (2007) (282)
Handbook of Model Checking (2018) (280)
Event-Clock Automata: A Determinizable Class of Timed Automata (1999) (274)
You Assume, We Guarantee: Methodology and Case Studies (1998) (268)
HYTECH: the next generation (1995) (253)
SYNERGY: a new algorithm for property checking (2006) (251)
Hybrid Systems III (1995) (248)
Quantitative languages (2008) (240)
Generating tests from counterexamples (2004) (239)
Algorithms for Omega-Regular Games with Imperfect Information (2006) (239)
HYTECH: The Cornell HYbrid TECHnology Tool (1994) (230)
Concurrent reachability games (1998) (229)
Hybrid systems III : verification and control (1996) (218)
Better Quality in Synthesis through Quantitative Objectives (2009) (214)
Resource Interfaces (2003) (208)
The Discipline of Embedded Systems Design (2007) (204)
The benefits of relaxing punctuality (1991) (204)
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (2007) (203)
Race checking by context inference (2004) (203)
Timed Interfaces (2002) (200)
Temporal-Safety Proofs for Systems Code (2002) (195)
Contracts for System Design (2018) (189)
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods (2000) (185)
Temporal proof methodologies for real-time systems (1991) (182)
Discrete-Time Control for Rectangular Hybrid Automata (1997) (181)
Quantitative stochastic parity games (2004) (179)
Robust Timed Automata (1997) (175)
The Element of Surprise in Timed Games (2003) (167)
Proving non-termination (2008) (167)
Modularity for Timed and Hybrid Systems (1997) (165)
Antichains: A New Algorithm for Checking Universality of Finite Automata (2006) (163)
Discounting the Future in Systems Theory (2003) (162)
Web service interfaces (2005) (161)
Partial-Order Reduction in Symbolic State Space Exploration (1997) (161)
From control models to real-time code using Giotto (2003) (159)
A Determinizable Class of Timed Automata (1994) (152)
Hybrid Automata with Finite Bisimulatioins (1995) (151)
HYTECH: A Model Checker for Hybrid Systems (1997) (151)
Mean-payoff parity games (2005) (149)
Thread-Modular Abstraction Refinement (2003) (147)
Concurrent omega-regular games (2000) (146)
A survey of stochastic ω-regular games (2012) (144)
Markov Decision Processes with Multiple Objectives (2006) (139)
Fair Simulation (1997) (138)
Simple Stochastic Parity Games (2003) (136)
Path invariants (2007) (136)
The Regular Real-Time Languages (1998) (134)
Generalized Mean-payoff and Energy Games (2010) (132)
Synthesizing robust systems (2009) (131)
Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces] (2002) (123)
Abstractions from proofs (2004) (122)
It's About Time: Real-Time Logics Reviewed (1998) (121)
Compositional Methods for Probabilistic Systems (2001) (120)
Permissive interfaces (2005) (117)
The embedded machine: Predictable, portable real-time code (2001) (117)
Model checking discounted temporal properties (2005) (115)
Program Analysis with Dynamic Precision Adjustment (2008) (114)
Temporal Proof Methodologies for Timed Transition Systems (1994) (113)
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development (2007) (113)
Embedded Control Systems Development with Giotto (2001) (113)
Solving Games Without Determinization (2006) (113)
Qualitative networks: a symbolic approach to analyze biological signaling networks (2007) (109)
Using HyTech to Synthesize Control Parameters for a Steam Boiler (1995) (108)
Rectangular Hybrid Games (1999) (107)
Invariant Synthesis for Combined Theories (2007) (107)
Quantitative Synthesis for Concurrent Programs (2011) (106)
An Interface Algebra for Real-Time Components (2006) (106)
Robust Undecidability of Timed and Hybrid Systems (2000) (103)
Assume-Guarantee Synthesis (2007) (103)
Partial-Order Reduction in Symbolic State-Space Exploration (2001) (103)
Environment Assumptions for Synthesis (2008) (103)
Games with secure equilibria (2004) (102)
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems (2001) (102)
Extreme Model Checking (2003) (101)
Temporal Specifications with Accumulative Values (2011) (100)
PSync: a partially synchronous language for fault-tolerant distributed algorithms (2016) (98)
A Comparison of Control Problems for Timed and Hybrid Systems (2002) (97)
Interface theories with component reuse (2008) (96)
Back to the future: towards a theory of timed regular languages (1992) (95)
The complexity of multi-mean-payoff and multi-energy games (2012) (95)
Neural circuit policies enabling auditable autonomy (2020) (94)
Finitary winning in ω-regular games (2009) (94)
Solving the chemical master equation using sliding windows (2010) (93)
Quantitative relaxation of concurrent data structures (2013) (93)
Symbolic Algorithms for Infinite-State Games (2001) (92)
Sliding Window Abstraction for Infinite Markov Chains (2009) (92)
A classification of symbolic transition systems (2000) (91)
Masaccio: A Formal Model for Embedded Components (2000) (90)
The Observational Power of Clocks (1994) (89)
jMocha: a model checking tool that exploits design structure (2001) (88)
The Blast Query Language for Software Verification (2004) (87)
Expressiveness and Closure Properties for Quantitative Languages (2009) (87)
Interface Compatibility Checking for Software Modules (2002) (87)
Conditional model checking: a technique to pass information between verifiers (2012) (86)
Sooner is Safer Than Later (1992) (84)
Automatic Symbolic Veri cation of Embedded Systems (1996) (84)
Permissiveness in Transactional Memories (2008) (84)
Model checking transactional memories (2008) (83)
Decomposing refinement proofs using assume-guarantee reasoning (2000) (82)
Synchronous and Bidirectional Component Interfaces (2002) (79)
Event-Driven Programming with Logical Execution Times (2004) (78)
The temporal specification and verification of real-time systems (1991) (78)
Computing Accumulated Delays in Real-time Systems (1993) (78)
A Theory of Synchronous Relational Interfaces (2011) (76)
Simulation distances (2010) (76)
Quantifying Similarities Between Timed Systems (2005) (75)
Model-Checking omega-Regular Properties of Interval Markov Chains (2008) (74)
A Note on Abstract Interpretation Strategies for Hybrid Automata (1994) (73)
From Pre-Historic to Post-Modern Symbolic Model Checking (1998) (72)
Aspect-Oriented Linearizability Proofs (2013) (72)
Two challenges in embedded systems design: predictability and robustness (2008) (71)
A hierarchical coordination language for interacting real-time tasks (2006) (70)
Trading end-to-end latency for composability (2005) (68)
Counterexample-Guided Control (2003) (67)
Lazy Shape Analysis (2006) (66)
From Quantity to Quality (1997) (66)
Generalized Parity Games (2007) (65)
A Logic-Based Framework for Verifying Consensus Algorithms (2014) (65)
Real-time system = discrete system + clock variables (1994) (65)
Finitary fairness (1998) (65)
What ' s Decidable about Hybrid Automata ? 1 (1995) (64)
Stack size analysis for interrupt-driven programs (2003) (63)
An assume-guarantee rule for checking simulation (1998) (62)
ABC: Algebraic Bound Computation for Loops (2010) (62)
Value Iteration (2008) (62)
Equivalence of Labeled Markov Chains (2008) (61)
Checking Memory Safety with Blast (2005) (60)
Trading memory for randomness (2004) (60)
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment (2010) (60)
Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems (1996) (59)
From verification to control: dynamic programs for omega-regular objectives (2001) (58)
Alternating Weighted Automata (2009) (57)
Biology as reactivity (2011) (57)
Reachability Verification for Hybrid Automata (1998) (56)
The Expressive Power of Clocks (1995) (56)
Half-order modal logic: how to prove real-time properties (1990) (56)
Hybrid numerical solution of the chemical master equation (2010) (55)
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation (2013) (55)
The Complexity of Stochastic Rabin and Streett Games' (2005) (55)
Some lessons from the HYTECH experience (2001) (55)
Composable code generation for distributed giotto (2005) (54)
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking (1996) (53)
Fast Adaptive Uniformization of the Chemical Master Equation (2009) (52)
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems (1999) (52)
Automating Modular Verification (1999) (52)
Automatic Rectangular Refinement of Affine Hybrid Systems (2005) (52)
Randomness for Free (2010) (50)
Schedule-Carrying Code (2003) (49)
Lumpability abstractions of rule-based systems (2010) (49)
Qualitative Analysis of Partially-Observable Markov Decision Processes (2009) (48)
Symbolic Model Checking for Rectangular Hybrid Systems (2000) (47)
Finitary Winning in omega-Regular Games (2006) (47)
Forward Analysis of Depth-Bounded Processes (2010) (47)
Contracts for Systems Design: Theory (2015) (47)
Robustness in the Presence of Liveness (2010) (47)
The Control of Synchronous Systems (2000) (46)
Towards Refining Temporal Specifications into Hybrid Systems (1992) (45)
Time-Safety Checking for Embedded Programs (2002) (45)
Algorithms for Omega-Regular Games with Incomplete Information ∗ (2006) (45)
Strategy Construction for Parity Games with Imperfect Information (2008) (45)
Local Liveness for Compositional Modeling of Fair Reactive Systems (1995) (44)
Timed Alternating-Time Temporal Logic (2006) (44)
Measuring and Synthesizing Systems in Probabilistic Environments (2010) (44)
Quantitative reactive modeling and verification (2013) (44)
Abstract Interpretation of Game Properties (2000) (44)
Detecting Errors Before Reaching Them (2000) (43)
The Beneets of Relaxing Punctuality (1996) (43)
Symbolic analysis of hybrid systems (1997) (43)
A programmable microkernel for real-time systems (2005) (43)
Formalisms for Specifying Markovian Population Models (2009) (42)
Mean-Payoff Automaton Expressions (2010) (42)
Strategy Improvement for Concurrent Reachability Games (2006) (41)
Synthesis of AMBA AHB from formal specification: a case study (2013) (41)
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (2013) (41)
Probabilistic Weighted Automata (2009) (40)
Stochastic limit-average games are in EXPTIME (2008) (39)
Completeness and Nondeterminism in Model Checking Transactional Memories (2008) (39)
Theory in practice for system design and verification (2015) (38)
An interleaving model for real-time (1990) (38)
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (2008) (38)
State Equivalences for Rectangular Hybrid Automata (1996) (37)
Robustness of Sequential Circuits (2010) (37)
Designing Worm-inspired Neural Networks for Interpretable Robotic Control (2019) (37)
Minimum-Time Reachability in Timed Games (2007) (37)
Timed Parity Games: Complexity and Robustness (2008) (36)
The complexity of quantitative concurrent parity games (2006) (36)
A Giotto-Based Helicopter Control System (2002) (36)
Handbook of Networked and Embedded Control Systems (Control Engineering) (2005) (36)
Software Transactional Memory on Relaxed Memory Models (2009) (35)
Faster Statistical Model Checking for Unbounded Temporal Properties (2015) (34)
On relational interfaces (2009) (34)
An Algorithm for the Approximative Analysis of Rectangular Automata (1998) (34)
Stochastic o-regular games (2007) (33)
Verifying Quantitative Properties Using Bound Functions (2005) (32)
Semiperfect-Information Games (2005) (32)
The embedded machine: predictable, portable real-time code (2002) (31)
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems (2016) (30)
Qualitative concurrent parity games (2011) (29)
Algorithms for Interface Synthesis (2007) (29)
Outside the Box: Abstraction-Based Monitoring of Neural Networks (2019) (29)
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates (2013) (29)
Alpaga: A Tool for Solving Parity Games with Imperfect Information (2009) (28)
Algorithms for Büchi Games (2008) (28)
Run-Time Optimization for Learned Controllers Through Quantitative Games (2019) (28)
A survey of partial-observation stochastic parity games (2013) (28)
Prooving Safety Properties of Hybrid Systems (1994) (27)
The Control of Synchronous Systems, Part II (2001) (27)
Gist: A Solver for Probabilistic Games (2010) (27)
Axioms for real-time logics (1998) (27)
Quantitative abstraction refinement (2013) (27)
Formal specification and verification of a dataflow processor array (1999) (27)
Static Scheduling in Clouds (2011) (27)
Synchronizing the Asynchronous (2018) (27)
From Model Checking to Model Measuring (2013) (27)
Reduction of stochastic parity to stochastic mean-payoff games (2008) (26)
Segment Abstraction for Worst-Case Execution Time Analysis (2015) (25)
Compositional Specifications for ioco Testing (2014) (25)
Assume-Guarantee Refinement Between Different Time Scales (1999) (25)
The Target Discounted-Sum Problem (2015) (25)
Fair Bisimulation (2000) (24)
Regression-free Synthesis for Concurrency (2014) (24)
Model-Checking ω-Regular Properties of Interval Markov Chains (2008) (24)
Counterexample-guided Planning (2005) (24)
Adversarial Training is Not Ready for Robot Learning (2021) (24)
Valigator: A Verification Tool with Bound and Invariant Generation (2008) (24)
Model Checking Strategies for Linear Hybrid Systems (1994) (24)
Counterexample-Guided Refinement of Template Polyhedra (2017) (23)
Symbolic Exploration of transition Hierarchies (1998) (23)
Ideal Abstractions for Well-Structured Transition Systems (2012) (23)
Succinct Representation of Concurrent Trace Sets (2015) (22)
Distributed synthesis for LTL fragments (2013) (22)
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks (2015) (22)
Games in system design and verification (2005) (22)
Dynamic Reactive Modules (2011) (22)
Approximation of event probabilities in noisy cellular processes (2009) (22)
Strategy improvement for concurrent reachability and turn-based stochastic safety games (2013) (22)
Abstraction-driven Concolic Testing (2015) (22)
A marketplace for cloud resources (2010) (21)
From Boolean to quantitative notions of correctness (2010) (21)
From non-preemptive to preemptive scheduling using synchronization synthesis (2015) (21)
Invariant and Type Inference for Matrices (2010) (21)
Exact and Approximate Determinization of Discounted-Sum Automata (2014) (21)
Local Linearizability for Concurrent Container-Type Data Structures (2016) (20)
QUASY: Quantitative Synthesis Tool (2011) (20)
How Many Bits Does it Take to Quantize Your Neural Network? (2020) (20)
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters (2017) (20)
Compositional Quantitative Reasoning (2006) (20)
The Complexity of Request-Response Games (2011) (19)
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games (2006) (19)
Executable Biology (2006) (19)
An Application ofWeb-Service Interfaces (2007) (19)
Model Checking Gene Regulatory Networks (2014) (19)
Linear Distances between Markov Chains (2016) (18)
An eclipse plug-in for model checking (2004) (18)
Towards Re ning Temporal Speci cations into Hybrid Systems (1993) (18)
Controller Synthesis with Budget Constraints (2008) (18)
Logical Reliability of Interacting Real-Time Tasks (2008) (18)
Transactions in the jungle (2010) (17)
The Complexity of Quantitative Information Flow Problems (2011) (17)
A Survey of Stochastic Games with Limsup and Liminf Objectives (2009) (17)
Infinite-duration Bidding Games (2017) (17)
Alternating Re nement Relations ? ? ? (1998) (17)
The embedded machine: predictable (2002) (16)
Distributed, Modular HTL (2009) (16)
Battery transition systems (2014) (16)
Proceedings of the 8th International Conference on Computer Aided Verification (1996) (16)
Contracts for the Design of Embedded Systems Part II : Theory (2011) (16)
The BLAST Software Verification System (2005) (15)
From Boolean to quantitative synthesis (2011) (15)
A reusable and platform-independent framework for distributed control systems (2001) (15)
Nested Weighted Automata (2015) (15)
Independent Implementability of Viewpoints (2012) (15)
Trading Probability for Fairness (2002) (15)
An Interface Formalism for Web Services (2007) (15)
On the Universal and Existential Fragments of the µ-Calculus (2003) (15)
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control (1996) (14)
Inductive sequentialization of asynchronous programs (2020) (14)
Verification Methods for the Divergent Runs of Clock Systems (1994) (14)
Dynamic Resource Allocation Games (2016) (14)
Complete composition operators for ioco-testing theory (2015) (14)
EMBEDDED SOFTWARE DESIGN AND SYSTEM INTEGRATION FOR ROTORCRAFT UAV USING PLATFORMS (2002) (14)
MCWEB: A Model-Checking Tool for Web Site Debugging (2001) (14)
Hierarchical Timing Language (2006) (13)
Determinacy in Discrete-Bidding Infinite-Duration Games (2019) (13)
Determinizing Discounted-Sum Automata (2011) (13)
Quantitative Monitor Automata (2016) (13)
Termination criteria for solving concurrent safety and reachability games (2008) (13)
Symbolic algorithms for verification and control (2003) (13)
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results (2010) (12)
Into the unknown: Active monitoring of neural networks (2020) (12)
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks (2010) (12)
Strategy Improvement for Stochastic Rabin and Streett Games (2006) (12)
Scalable Verification of Quantized Neural Networks (2021) (12)
Membership-Based Synthesis of Linear Hybrid Automata (2019) (12)
Invited talk: the blast query language for software verification (2004) (12)
MOCHA: Exploiting Modularity in Model Checking (2000) (12)
Scheduling large jobs by abstraction refinement (2011) (12)
Trading Infinite Memory for Uniform Randomness in Timed Games (2008) (12)
GoTube: Scalable Stochastic Verification of Continuous-Depth Models (2021) (12)
Synthesis of Uninitialized Systems (2002) (11)
Bidding Mechanisms in Graph Games (2019) (11)
Synthesis from incompatible specifications (2012) (11)
Array Folds Logic (2016) (11)
Contracts for Systems Design: Methodology and Application cases (2015) (11)
Model checking the evolution of gene regulatory networks (2016) (11)
Infinite-Duration Poorman-Bidding Games (2018) (11)
Quantitative Automata under Probabilistic Semantics (2016) (11)
Probabilistic Systems with LimSup and LimInf Objectives (2008) (11)
Shape Refinement through Explicit Heap Analysis (2010) (11)
Aligators for Arrays (Tool Paper) (2010) (10)
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales (2021) (10)
Monitorability Under Assumptions (2020) (10)
Introduction to Model Checking (2018) (10)
Edit Distance for Pushdown Automata (2015) (10)
Interface simulation distances (2012) (10)
Continuous-Time Models for System Design and Analysis (2019) (10)
Approximate Determinization of Quantitative Automata (2012) (10)
Compositional Contract Abstraction for System Design (2014) (10)
New directions in refinement checking (1999) (9)
Conditional Model Checking (2011) (9)
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes (2018) (9)
A Theory of Register Monitors (2018) (9)
Fully decidable logics, automata and classical theories for defining regular real-time languages (1999) (9)
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (2012) (9)
The Need for Language Support for Fault-Tolerant Distributed Systems (2015) (9)
Algorithms for B\"uchi Games (2008) (9)
A framework for compositional design and analysis of systems (2007) (9)
Time for Logic (1991) (9)
Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings (1998) (8)
Quantitative Evaluation of BFT Protocols (2011) (8)
The first-order logic of signals: keynote (2018) (8)
Infinite Time Horizon Safety of Bayesian Neural Networks (2021) (8)
Nested Weighted Limit-Average Automata of Bounded Width (2016) (7)
Model measuring for hybrid systems (2014) (7)
Refinement for Structured Concurrent Programs (2020) (7)
Abstract Counterexample-Based Refinement for Powerset Domains (2006) (7)
On the universal and existential fragments of the mu-calculus (2006) (6)
Synthesis of AMBA AHB from Formal Specification (2010) (6)
Aligators for arrays (2010) (6)
Quantitative Simulation Games (2020) (6)
Some myths about formal verification (1996) (6)
Lipschitz Robustness of Finite-state Transducers (2014) (6)
Quantitative fair simulation games (2017) (6)
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code (2012) (6)
Formal Speciication and Veriication of a Dataaow Processor Array (1999) (6)
Conic Abstractions for Hybrid Systems (2017) (6)
A typed assembly language for real-time programs (2004) (6)
GoTube: Scalable Statistical Verification of Continuous-Depth Models (2022) (6)
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (1996) (6)
Formal Methods with a Touch of Magic (2020) (6)
Stochastic Games with Finitary Objectives (2009) (6)
Bounded Asynchrony: A Biologically Inspired Notion of Concurrency (2007) (6)
Symbolic Algorithms for In nite-State Games ? (2001) (6)
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings (1996) (5)
Games, Time, and Probability: Graph Models for System Design and Analysis (2007) (5)
Invariant Clusters for Hybrid Systems (2016) (5)
Algorithms and methodology for scalable model checking (1999) (5)
Automating Modular Veri cation (1999) (5)
Synthesis of hybrid automata with affine dynamics from time-series data (2021) (5)
Model measuring for discrete and hybrid systems (2017) (5)
Nested Weighted Automata (2015) (5)
Local Linearizability (2015) (5)
Flavours of Sequential Information Flow (2021) (5)
History-Deterministic Timed Automata (2023) (5)
Strategy Improvement for Concurrent Reachability and Safety Games (2012) (5)
Discrete Abstraction of Multiaffine Systems (2016) (5)
Games in open systems verification and synthesis (2002) (5)
Generalizing the Correctness of Transactional Memory (2009) (5)
Compositional Specifications for IOCO Testing:Technical Report (2014) (4)
Space-Time Interpolants (2018) (4)
Proceedings of the 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) (2014) (4)
Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (2007) (4)
Timed Interfa es ? (2002) (4)
Proceedings of the First International Workshop on Embedded Software (2001) (4)
Lipschitz Robustness of Timed I/O Systems (2015) (4)
Specification , Verification and Synthesis for Automata Problems (2013) (4)
A Survey of Bidding Games on Graphs (2020) (4)
Transient Memory in Gene Regulation (2019) (4)
Synchronous Interface Theories and Time Triggered Scheduling (2012) (4)
Propagation models for computing biochemical reaction networks (2011) (4)
Undecidability Results for Hybrid Systems (1995) (4)
Bidding Games on Markov Decision Processes (2019) (3)
Entangled Residual Mappings (2022) (3)
Algorithms for Stochastic Parity Games (2005) (3)
The equivalence problem for finite automata (2015) (3)
Tail approximation for the chemical master equation (2011) (3)
The Cost of Exactness in Quantitative Reachability (2017) (3)
Replacing competition with cooperation to achieve scalable lock-free FIFO queues (2013) (3)
The Benefits of Relaxing Punctuality * t (1998) (3)
Monitoring Temporal Logic with Clock Variables (2018) (3)
Quantitative reactive models (2012) (3)
Strategy Improvement for Concurrent Safety Games (2008) (3)
Proceedings of the First International Workshop on Hybrid Systems: Computation and Control (1998) (3)
History-Deterministic Timed Automata Are Not Determinizable (2022) (3)
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees (2017) (3)
Keynote: The First-Order Logic of Signals (2018) (3)
EXACT AND APPROXIMATE DETERMINIZATION OF (2014) (2)
Re tangular Hybrid Games ? (1999) (2)
Model Checking Game Properties of Multi-agent Systems (Abstract) (1998) (2)
Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings (2001) (2)
Specification-centered robustness (2011) (2)
From non-preemptive to preemptive scheduling using synchronization synthesis (2016) (2)
Embedded Software: Better Models, Better Code (2004) (2)
The Symbolic Approach to Hybrid Systems (2002) (2)
Bidirectional Nested Weighted Automata (2017) (2)
Finite Automata with Time-Delay Blocks (Extended Version) (2012) (2)
First International Workshop on Embedded Software, EMSOFT 2001 (2001) (2)
Finite automata with time-delay blocks (2012) (2)
Scalable Verification of Quantized Neural Networks (Technical Report) (2020) (2)
Assume-Guarantee Re nementBetween Di erent Time Scales ? (1999) (2)
Quantitative Generalizations of Languages (2007) (2)
Monitoring Event Frequencies (2019) (2)
Hybrid Automata with Finite Mutual Simulations (1995) (2)
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees (2022) (2)
Proceedings of the 8th international conference on Formal modeling and analysis of timed systems (2010) (2)
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults (2017) (2)
Rich Interfaces for Software Modules (2004) (2)
A Survey of Bidding Games on Graphs (Invited Paper) (2020) (2)
Computing Average Response Time (2018) (2)
Composition and Alternation for Weighted Automata (2008) (2)
Hierarchical timing language. Technical Report UCB/EECS-2006-79 (2006) (2)
Verification of STM on relaxed memory models (2011) (2)
Distributed Schedule Carrying Code ? (2004) (1)
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty (2019) (1)
The Propagation Approach for Computing Biochemical Reaction Networks (2013) (1)
A Preliminary Report on the Embedded Virtual Machine (2004) (1)
Learning Stabilizing Policies in Stochastic Control Systems (2022) (1)
Hybrid Systems Applications: An Oxymoron? (2001) (1)
Optimizing Solution Quality in Synchronization Synthesis (2015) (1)
Information-Flow Interfaces (2020) (1)
Temporal Logics, Automata, and Classical Theories for Defining (1999) (1)
Quantitative and Approximate Monitoring (2021) (1)
Automata for Specifying Component Interfaces (2003) (1)
Preface of the Special Issue in Memoriam Helmut Veith (2017) (1)
Symbolic Algorithms for Innnite-state Games (2001) (1)
Compositionality in deterministic real-time embedded systems (2008) (1)
From Models to Code: The Missing Link in Embedded Software (2002) (1)
Long-Run Average Behavior of Vector Addition Systems with States (2019) (1)
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact) (2020) (1)
Abstract Monitors for Quantitative Specifications (2022) (1)
Analysis of Dynamic Message Passing Programs (A framework for the analysis of depth-bounded systems ) (2013) (1)
Dete ting Errors Before Rea hing Them ? (2000) (1)
The First-Order Logic of Signals (2018) (1)
An Updated Survey of Bidding Games on Graphs (Invited Talk) (2022) (1)
Real-Time Middleware Concepts for Automating the Development of Distributed Embedded Control Systems (2001) (1)
Long lived transients in gene regulation (2021) (1)
Three Algorithms for Interface Synthesis: A Comparative Study (2006) (1)
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution) (2023) (0)
Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology (2015) (0)
Introduction (2001) (0)
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings (2010) (0)
Contents 1 Reactive Modules 1 (2001) (0)
Quantitative reactive modeling and verification (2013) (0)
Exploring the connection of biology with reactive systems to better understand living systems (0)
Program Analysis with Dynamic Change of Precision (2008) (0)
The Most Abstract Common Refinement (1994) (0)
Memoryless Strategies in Concurrent Games with Reachability Objectives (0)
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems (2023) (0)
2 6 Ju n 20 17 Bidirectional Nested Weighted Automata (2017) (0)
A Comparison of Control Problemsfor Timed and Hybrid SystemsFran (2002) (0)
Real-Time Fault Tolerant Networking Protocols (2004) (0)
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning (2022) (0)
Mocha : Exploiting Modularity in Model (2000) (0)
ACM fellows (2007) (0)
Games for the verification of timed systems (2008) (0)
PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction (1985) (0)
2011 CAV award announcement (2012) (0)
Computational Methods in Systems Biology (2013) (0)
Computer-aided Verification C Prerequisite Notions and Notations (0)
Quantitative Monitoring of Software (2021) (0)
30 S ep 2 01 4 Randomness for Free ✩ , ✩ ✩ (2014) (0)
RealType Project Report : Type Analysis for Component – Based Real – Time Programming (0)
Viewpoints on "Logic activities in Europe", twenty years later (2016) (0)
Learning Control Policies for Region Stabilization in Stochastic Systems (2022) (0)
The Ackermann Award 2013 (2013) (0)
From Boolean to Quantitative Theories of Reactive Systems: Invited Presentation at the Third Interaction and Concurrency Experience: Guaranteed Interaction (2010) (0)
Partial-Order Reduction in Symbolic State Space (2017) (0)
Axioms for Real-Time Logics 1 ; 2 (1999) (0)
Axioms for Real-Time Logics 1 (1999) (0)
The quest for average response time (2017) (0)
Synthesis of AMBA AHB from formal specification: a case study (2011) (0)
Computer-aided Verification of Embedded Systems (1998) (0)
L O ] 2 9 D ec 2 01 5 Abstraction-driven Concolic Testing ‹ (2015) (0)
2011 CAV award announcement (2012) (0)
Introduction (1999) (0)
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap (2022) (0)
Computer-aided verification technology for biology (2014) (0)
Turn-Based Qualitative Solution of Concurrent Parity Games ∗ (2008) (0)
Counterexample-based Refinement for Relational Domains (2006) (0)
Real-time System = Discrete System + Clock Variables y (1997) (0)
Counterexample-based Refinement for Powerset Domains (2007) (0)
Improved lower bounds for request-response and finitary Streett games (2009) (0)
Foundations of Hybrid and Embedded Software Systems (2003) (0)
Rectangular Hybrid Games (Extended Abstract) (1999) (0)
Temporal Logics for Multi-Agent Systems (2018) (0)
New trends in program synthesis: Invited Presentation at the Fourth International Symposium on Games, Automata, Logics and Formal Verification (2013) (0)
Neural circuit policies enabling auditable autonomy (2020) (0)
Synchronizing the Asynchronous Preprint , 4 August 2017 (2017) (0)
Model checking the evolution of gene regulatory networks (2016) (0)
Synthesis of Parametric Hybrid Automata from Time Series (2022) (0)
Solving the Chemical Master Equation Using Creeping Windows (2009) (0)
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States (2020) (0)
1996 Index IEEE Transactions on Software Engineering Vol. 22 (1996) (0)
Quantitative Safety and Liveness (2023) (0)
Proceedings of the 21st international workshop and the 16th Annual Conference of the EACSL on Computer Science Logic (2007) (0)
Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50) (1993) (0)
Integrated Design and Analysis Tools for Software-Based Control Systems (2005) (0)
Differential Monitoring (2021) (0)
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2012) (0)
A survey of partial-observation stochastic parity games (2012) (0)
Keynote on "the propagation approach for computing biochemical reaction networks" (2012) (0)
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings ... Science / Lecture Notes in Bioinformatics) (2013) (0)
Reachability Veri cation for Hybrid Automata ? (1998) (0)
The 2008 CAV Award citation (2009) (0)
Preface of the Special Issue in Memoriam Helmut Veith (2017) (0)
The Decidability Frontier for Probabilistic Automata on Infinite Words (2011) (0)
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks (2022) (0)
Introduction (1999) (0)
Bounded Asynchrony for Modeling Cell-Cell Interactions (2008) (0)
Exploiting Design Structure in Model Checking (2000) (0)
Simulation Games: Invited Presentation at the 2nd International Workshop on Strategic Reasoning (2014) (0)
Qualitative Crosstalk Analysis of Wnt and Notch Signaling in Mammalian Skin (2007) (0)
Distributed Sytnehsis for LTL Fragments (2013) (0)
Algorithms and Tools for the Automatic Analysis of Embedded Systems. (1997) (0)
Quantitative Fitness Measures for Embedded Systems (2013) (0)
How free is your linearizable concurrent data structure (2013) (0)
Model Checking: From Hardware to Software (2003) (0)
Fault Tolerant Real-Time Networks (2007) (0)
Proceedings of the 11th International Conference on Computational Methods in Systems Biology - Volume 8130 (2013) (0)
On Depth-bounded Message Passing Systems (2009) (0)
Trading Probability for Fairness ( Extended abstract ) (2002) (0)
The Theory of Hybrid Automata 1 Hybrid Automata 1.1 Syntax (1996) (0)
364 Approximate Determinization of Quantitative Automata (2012) (0)
Vamos: Middleware for Best-Effort Third-Party Monitoring (2023) (0)
Integrating Shape Analysis into the Model Checker BLAST (2006) (0)
New directions in computer-aided verification (2000) (0)
Specification-Centered Robustness (Invited Paper) (2011) (0)
Compositional Speci cations for IOCO Testing : 13 (2019) (0)
New Results - Analysis of Biological Pathways (2007) (0)
Interfa e Compatibility Che kingfor Software Modules ? (2002) (0)
Synthesizing robust systems (2013) (0)
Figure 15: a Run of the Bouncing-ball Automaton Automatic Veriication of Nite-state Con- Current Systems Using Temporal-logic Speciications. Acm Transactions on Programming Figure 13: Two-pass Approximative Analysis down up Y 0 Z 0 (1994) (0)
The Element of Surprise in Timed Games ⋆ In Proc. of CONCUR 2003: 14th International Conference on Concurrency Theory, Lectures Notes in Computer Science, Springer-Verlag, 2003. (2003) (0)
Formal Methods Lecture 6 (2013) (0)
To create an institute with world-class ambitions from scratch (2013) (0)
The Control of Syn hronous Systems ? (2000) (0)
System F with Coercion Constraints Julien Cretin Didier Rémy INRIA (2017) (0)
Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic (2007) (0)
( EC ) 2 in EC 2 (2010) (0)
Internship Proposal ( M 2 ) : Sensitivity Analysis in Timed Automata (2015) (0)
F L ] 3 J un 2 01 5 Lipschitz Robustness of Timed I / O Systems (2018) (0)
Discrete Abstraction of Multia ne Systems (2016) (0)
Algorithms for Interface Synthesis (Invited Tutorial) (2007) (0)
Session details: Verification (2004) (0)

This paper list is powered by the following services:

Other Resources About Thomas Henzinger

en.wikipedia.org

What Schools Are Affiliated With Thomas Henzinger?

Thomas Henzinger is affiliated with the following schools: