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

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday von Raskin, Jean-François, Chatterjee, Krishnendu, Doyen, Laurent, Majumdar, Rupak

Volltext

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

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

Discrete abstractions of hybrid systems von Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.

Volltext

Giotto: a time-triggered language for embedded programming von Henzinger, T.A., Horowitz, B., Kirsch, C.M.

Volltext

The algorithmic analysis of hybrid systems von Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.

Volltext

Automatic symbolic verification of embedded systems von Alur, R., Henzinger, T.A., Pei-Hsin Ho

Volltext

Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings von Henzinger, Thomas A, Kirsch, Christoph M

Volltext

Antichains: A New Algorithm for Checking Universality of Finite Automata von De Wulf, M., Doyen, L., Henzinger, T. A., Raskin, J. -F.

Volltext

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings von Gupta, Ashutosh, Henzinger, Thomas A

Volltext

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

Volltext

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

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 benefits of relaxing punctuality von ALUR, R, FEDER, T, HENZINGER, T. A

Volltext

Algorithmic analysis of nonlinear hybrid systems von Henzinger, T.A., Pei-Hsin Ho, Wong-Toi, H.

Volltext

MOCHA: Modularity in model checking von Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., Tasiran, S.

Volltext

Event-clock automata: a determinizable class of timed automata von Alur, Rajeev, Fix, Limor, Henzinger, Thomas A.

Volltext

Alternating refinement relations von ALUR, R, HENZINGER, T. A, KUPFERMAN, O, VARDI, M. Y

Volltext