Contracts for System Design von Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A., Larsen, Kim G.

Volltext

Handbook of Model Checking von Clarke, Edmund M, Henzinger, Thomas A, Veith, Helmut, Bloem, Roderick

Volltext

Robust Satisfaction of Temporal Logic over Real- Valued Signals von Donzé, Alexandre, Maler, Oded

Volltext

Alternating-time temporal logic von Alur, Rajeev, Henzinger, Thomas A, Kupferman, Orna

Volltext

Two challenges in embedded systems design: predictability and robustness von Henzinger, Thomas A

Volltext

Hybrid Systems III: Verification and Control von Alur, Rajeev, Henzinger, Thomas A, Sontag, Eduardo D

Volltext

Executable cell biology von Fisher, Jasmin, Henzinger, Thomas A

Volltext

Predictive modeling of signaling crosstalk during C. elegans vulval development von Fisher, Jasmin, Piterman, Nir, Hajnal, Alex, Henzinger, Thomas A

Volltext

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings von Henzinger, Thomas A, Sastry, Shankar

Volltext

Infinite-duration Bidding Games von Avni, Guy, Henzinger, Thomas A., Chonev, Ventsislav

Volltext

A survey of stochastic ω-regular games von Chatterjee, Krishnendu, Henzinger, Thomas A.

Volltext

Neural circuit policies enabling auditable autonomy von Lechner, Mathias, Hasani, Ramin, Amini, Alexander, Henzinger, Thomas A., Rus, Daniela, Grosu, Radu

Volltext

Qualitative networks: a symbolic approach to analyze biological signaling networks von Schaub, Marc A, Henzinger, Thomas A, Fisher, Jasmin

Volltext

Interface Theories for Component-Based Design von de Alfaro, Luca, Henzinger, Thomas A.

Volltext

Into the unknown: active monitoring of neural networks (extended version) von Kueffner, Konstantin, Lukina, Anna, Schilling, Christian, Henzinger, Thomas A.

Volltext

Expressiveness and Closure Properties for Quantitative Languages von Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A

Volltext

The software model checker Blast: Applications to software engineering von Beyer, Dirk, Henzinger, Thomas A., Jhala, Ranjit, Majumdar, Rupak

Volltext

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings von Alur, Rajeev, Henzinger, Thomas A

Volltext

The Discipline of Embedded Systems Design von Henzinger, T.A., Sifakis, J.

Volltext

Quantitative languages von Chatterjee, Krishnendu, Doyen, Laurent, Henzinger, Thomas A.

Volltext