Вы здесь

Главная

Henzinger T. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Rich Interfaces for Software Modules 2004 Henzinger T. A. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.07.2004
СТ Abstractions from Proofs 2004 Henzinger T. A., Jhala R., Majumdar R., Mcmillan K. L. POPL 2004 09.06.2004
СТ Extreme Model Checking 2003 Henzinger T. A., Jhala R., Majumdar R., Sanvido M.A. A. Lecture Notes in Computer Science 26.03.2004
СТ Software Verification with BLAST 2003 Henzinger T. A., Jhala R., Majumdar R., Sutre G. Lecture Notes in Computer Science 29.05.2003
СТ A Giotto-Based Helicopter Control System 2002 Kirsch C. M., Savido M.A. A., Henzinger T. A., Pree W. Lecture Notes in Computer Science 11.11.2002
СТ Time-Safety Checking for Embedded Programs 2002 Henzinger T. A., Kirsch C. M., Majumdar R., Matic S. Lecture Notes in Computer Science 11.11.2002
СТ Temporal-Safety Proofs for Systems Code 2002 Henzinger T. A., Jhala R., Majumdar R., Necula G. C., Sutre G., Weimer W. Lecture Notes in Computer Science 31.08.2002
СТ Giotto: A Time-Triggered Language for Embedded Programming 2001 Henzinger T. A., Horowitz B., Kirsch C. M. Lecture Notes in Computer Science 03.11.2001
СТ Automating Modular Verification 1999 Alur R., De Alfaro L., Henzinger T. A., Mang F.Y. C. Lecture Notes in Computer Science 15.09.1999
СТ Assume-Guarantee Refinement between Different Time Scales 1999 Henzinger T. A., Qadeer S., Rajamani S. K. Lecture Notes in Computer Science 16.07.1999
СТ Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems 1999 Henzinger T. A., Qadeer S., Rajamani S. K. Lecture Notes in Computer Science 16.07.1999
СТ Finitary Fairness 1998 Alur R., Henzinger T. A. ACM Trans. on Programming Languages and Systems 21.06.1999
СТ Alternating-Time Temporal Logic 1998 Alur R., Henzinger T. A., Kupferman O. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Axioms for Real-Time Logics 1998 Raskin J. -F., Schobbens P. -Y., Henzinger T. A. Lecture Notes in Computer Science 11.09.1998
СТ The Regular Real-Time Languages 1998 Henzinger T. A., Raskin J. -F., Schobbens P. -Y. Lecture Notes in Computer Science 11.08.1998
СТ From Pre-historic to Post-modern Symbolic Model Checking 1998 Henzinger T. A., Kupferman O., Qadeer S. Lecture Notes in Computer Science 03.07.1998
П A User Guide to HyTech 1996 Henzinger T. A., Ho P. -H., Wong-Toi H. Basic Research in Computer Science 21.01.1997
П Automatic Verification of Real-Time and Hybrid Systems 1996 Henzinger T. A. Basic Research in Computer Science 21.01.1997
СТ Hybrid Automata with Finite Bisimulations 1995 Henzinger T. A. Lecture Notes in Computer Science Automata, Languages and Programming 10.09.1995
СТ Local Liveness for Compositional Modeling of Fair Reactive Systems 1995 Alur R., Henzinger T. A. Lecture Notes in Computer Science 27.07.1995
СТ Algorithmic Analysis of Nonlinear Hybrid Systems 1995 Henzinger T. A., Ho P. -H. Lecture Notes in Computer Science 27.07.1995
СТ Verification Methods for the Divergent Runs of Clock Systems 1994 Henzinger T. A., Kopke P. W. Lecture Notes in Computer Science 19.10.1994
СТ The Observational Power of Clocks 1994 Alur R., Courcoubetis C., Henzinger T. A. Lecture Notes in Computer Science 26.08.1994
СТ A Determinizable Class of Timed Automata 1994 Alur R., Fix L., Henzinger T. A. Lecture Notes in Computer Science 21.07.1994
СТ A Really Temporal Logic 1994 Alur R., Henzinger T. A. J. of the ACM 27.04.1994
СТ Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems 1993 Alur R., Courcoubetis C., Henzinger T. A., Ho P. -H. Lecture Notes in Computer Science 09.12.1993
СТ Towards Refining Temporal Specifications into Hybrid Systems 1993 Henzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.12.1993
СТ Logic and Models of Real Time: A Survey 1992 Alur R., Henzinger T. A. Lecture Notes in Computer Science 08.08.1992
СТ Timed Transition Systems 1992 Henzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.08.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/8th Iternational Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 2012 2013 Lecture Notes in Computer Science
  1. Kucera A.
  2. Henzinger T. A.
  3. Nesetril J.
  4. Vojnar T.
 19.02.2013
СБ Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010 2010 Lecture Notes in Computer Science
  1. Chatterjee K.
  2. Henzinger T. A.
 23.11.2010
СБ Embedded Software: Proc./First Intern. Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 2001 2001 Lecture Notes in Computer Science
  1. Henzinger T. A.
  2. Kirsch C. M.
 03.11.2001
СБ Hybrids Systems: Computation and Control: Proc./First Intern. Workshop, HSCC 98. Berkeley, California, USA, April 1998 1998 Lecture Notes in Computer Science
  1. Henzinger T. A.
  2. Sastry S.
 30.05.1998
СБ Computer Aided Verification: Proc./8th International Conference, CAV 96. New Brunswick.NJ.USA,July/August 1996 1996 Lecture Notes in Computer Science
  1. Alur R.
  2. Henzinger T. A.
 04.10.1996
СБ Hybrid Systems III: Verification and Control 1996 Lecture Notes in Computer Science
  1. Alur R.
  2. Henzinger T. A.
  3. Sontag E. D.
 17.05.1996