MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:26:23 GMT
Content-Type: text/html
Content-Length: 13407
Last-Modified: Wednesday, 13-Dec-95 02:42:30 GMT
Tom Henzinger: Publications
List of Publications
Thomas A. Henzinger
- Rajeev Alur and Thomas A. Henzinger.
Local liveness for compositional modeling of fair reactive systems.
Proceedings of the
Seventh International Conference on Computer-aided Verification
(CAV 1995),
Lecture Notes in Computer Science 939,
Springer-Verlag, 1995, pp. 166-179.
- Rajeev Alur and Thomas A. Henzinger.
Finitary fairness.
Proceedings of the
Ninth Annual IEEE Symposium on Logic in Computer Science
(LICS 1994), pp. 52-61.
- Monika R. Henzinger, Thomas A. Henzinger, and Peter W. Kopke.
Computing simulations on finite and infinite graphs.
Proceedings of the
36th Annual IEEE Symposium on Foundations of Computer Science
(FOCS 1995),
pp. 453-462.
- Rajeev Alur and Thomas A. Henzinger.
Time for logic.
SIGACT News 22:6-12, 1991.
- Rajeev Alur and Thomas A. Henzinger.
Logics and models of real time: a survey.
In
Real Time: Theory in Practice,
Lecture Notes in Computer Science 600,
Springer-Verlag, 1992, pp. 74-106.
Abstract.
Ftp
postscript.
- Rajeev Alur and Thomas A. Henzinger.
A really temporal logic.
Journal of the ACM 41:181-204, 1994.
A preliminary version appeared in the
Proceedings of the
30th Annual IEEE Symposium on Foundations of Computer Science
(FOCS 1989), pp. 164-169.
Abstract.
Ftp
postscript.
- Rajeev Alur and Thomas A. Henzinger.
Real-time logics: complexity and expressiveness.
Information and Computation 104:35-77, 1993.
A preliminary version appeared in the
Proceedings of the
Fifth Annual IEEE Symposium on Logic in Computer Science
(LICS 1990), pp. 390-401.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger.
Half-order modal logic: how to prove real-time properties.
Proceedings of the
Ninth Annual ACM Symposium on Principles of Distributed Computing
(PODC 1990), pp. 281-296.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger, Zohar Manna, and Amir Pnueli.
Temporal proof methodologies for timed transition systems.
Information and Computation 112:273-337, 1994.
Preliminary versions of the two parts appeared, respectively, in the
Proceedings of the
18th Annual ACM Symposium on Principles of Programming Languages
(POPL 1991), pp. 353-366, and in
Real Time: Theory in Practice,
Lecture Notes in Computer Science 600,
Springer-Verlag, 1992, pp. 226-251.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger, Zohar Manna, and Amir Pnueli.
What good are digital clocks?
Proceedings of the
19th International Colloquium on Automata, Languages, and Programming
(ICALP 1992),
Lecture Notes in Computer Science 623,
Springer-Verlag, 1992, pp. 545-558.
Abstract.
Ftp
postscript.
- Rajeev Alur, Tomas Feder, and Thomas A. Henzinger.
The benefits of relaxing punctuality.
Proceedings of the
Tenth Annual ACM Symposium on Principles of Distributed Computing
(PODC 1991), pp. 139-152.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger.
Sooner is safer than later.
Information Processing Letters 43:135-141, 1992.
Abstract.
- Rajeev Alur and Thomas A. Henzinger.
Real-time system = discrete system + clock variables.
In
Theories and Experiences for Real-time System Development
(T. Rus, C. Rattray, eds.),
AMAST Series in Computing 2,
World Scientific, 1994, pp. 1-29.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger and Peter Kopke.
Verification methods for the divergent runs of clock systems.
Proceedings of the
Third International Symposium on Formal Techniques in Real-time and
Fault-tolerant Systems
(FTRTFT 1994),
Lecture Notes in Computer Science 863,
Springer-Verlag, 1993, pp. 351-372.
- Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine.
Symbolic model checking for real-time systems.
Information and Computation 111:193-244, 1994.
A preliminary version appeared in the
Proceedings of the
Seventh Annual IEEE Symposium on Logic in Computer Science
(LICS 1992), pp. 394-406.
Abstract.
Ftp
postscript.
- Rajeev Alur, Thomas A. Henzinger, and Moshe Y. Vardi.
Parametric real-time reasoning.
Proceedings of the
25th Annual ACM Symposium on Theory of Computing
(STOC 1993), pp. 592-601.
Abstract.
Ftp
postscript.
- Rajeev Alur, Costas Courcoubetis, and Thomas A. Henzinger.
Computing accumulated delays in real-time systems.
Proceedings of the
Fifth International Conference on Computer-aided Verification
(CAV 1993),
Lecture Notes in Computer Science 697,
Springer-Verlag, 1993, pp. 181-193.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger, Peter Kopke, and Howard Wong-Toi.
The expressive power of clocks.
Proceedings of the
22nd International Colloquium on Automata, Languages, and Programming
(ICALP 1995),
Lecture Notes in Computer Science 944,
Springer-Verlag, 1995, pp. 417-428.
- Rajeev Alur, Costas Courcoubetis, and Thomas A. Henzinger.
The observational power of clocks.
Proceedings of the
Fifth International Conference on Concurrency Theory
(CONCUR 1994),
Lecture Notes in Computer Science 836,
Springer-Verlag, 1994, pp. 162-177.
Abstract.
Ftp
postscript.
- Rajeev Alur and Thomas A. Henzinger.
Back to the future: towards a theory of timed regular languages.
Proceedings of the
33rd Annual IEEE Symposium on Foundations of Computer Science
(FOCS 1992), pp. 177-186.
Abstract.
Ftp
postscript.
- Rajeev Alur, Limor Fix, and Thomas A. Henzinger.
A determinizable class of timed automata.
Proceedings of the
Sixth International Conference on Computer-aided Verification
(CAV 1994),
Lecture Notes in Computer Science 818,
Springer-Verlag, 1994, pp. 1-13.
- Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho.
Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems.
In
Hybrid Systems I,
Lecture Notes in Computer Science 736,
Springer-Verlag, 1993, pp. 209-229.
Abstract.
Ftp
postscript.
- Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Nicolas Halbwachs,
Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and
Sergio Yovine.
The algorithmic analysis of hybrid systems.
Theoretical Computer Science 138:3-34, 1995.
A preliminary version appeared in the
Proceedings of the 11th International
Conference on Analysis and Optimization of Systems: Discrete-event Systems,
Lecture Notes in Control and Information Sciences 199,
Springer-Verlag, 1994, pp. 331-351.
Abstract.
Ftp
postscript.
- Rajeev Alur, Thomas A. Henzinger, and Pei-Hsin Ho.
Automatic symbolic verification of embedded systems.
Proceedings of the
14th Annual IEEE Real-time Systems Symposium
(RTSS 1993), pp. 2-11.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger and Pei-Hsin Ho.
A note on abstract-interpretation strategies for hybrid automata.
In
Hybrid Systems II,
Lecture Notes in Computer Science 999,
Springer-Verlag, 1995, pp. 252-264.
Abstract.
Ftp
postscript.
- Thomas A. Henzinger and Pei-Hsin Ho.
HyTech: The Cornell HYbrid TECHnology Tool.
In
Hybrid Systems II,
Lecture Notes in Computer Science 999,
Springer-Verlag, 1995, pp. 265-294.
- Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi,
HyTech: The Next Generation.
Proceedings of the
16th Annual IEEE Real-time Systems Symposium
(RTSS 1995), pp. 56-65.
- Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
A user guide to HyTech.
Proceedings of the
First Workshop on Tools and Algorithms for the Construction and Analysis of
Systems
(TACAS 1995),
Lecture Notes in Computer Science 1019,
Springer-Verlag, 1995, pp. 41-71.
Full version available as Cornell Technical Report CSD-TR-95-1532, 1995.
- Thomas A. Henzinger, Peter Kopke, Anuj Puri, and Pravin Varaiya.
What's decidable about hybrid automata?
Proceedings of the
27th Annual ACM Symposium on Theory of Computing
(STOC 1995), pp. 373-382.
- Thomas A. Henzinger.
Hybrid automata with finite bisimulations.
Proceedings of the
22nd International Colloquium on Automata, Languages, and Programming
(ICALP 1995),
Lecture Notes in Computer Science 944,
Springer-Verlag, 1995, pp. 324-335.
- Thomas A. Henzinger and Pei-Hsin Ho.
Algorithmic analysis of nonlinear hybrid systems.
Proceedings of the
Seventh International Conference on Computer-aided Verification
(CAV 1995),
Lecture Notes in Computer Science 939,
Springer-Verlag, 1995, pp. 225-238.
- Thomas A. Henzinger, Zohar Manna, and Amir Pnueli.
Towards refining temporal specifications into hybrid systems.
In
Hybrid Systems I,
Lecture Notes in Computer Science 736,
Springer-Verlag, 1993, pp. 60-76.
Abstract.
Ftp
postscript.
- Arjun Kapur, Thomas A. Henzinger, Zohar Manna, and Amir Pnueli.
Proving safety properties of hybrid systems.
Proceedings of the
Third International Symposium on Formal Techniques in Real-time and
Fault-tolerant Systems
(FTRTFT 1994),
Lecture Notes in Computer Science 863,
Springer-Verlag, 1993, pp. 431-454.
Last updated on September 1, 1995.
tah@cs.cornell.edu