T.A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the HyTech experience. In Proceedings of the 40th Annual Conference on Decision and Control. IEEE Press, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Possibly Not Closed Convex Polyhedra and the Parma.. - Bagnara, Ricci.. (2002) (7 citations) (Correct)
....particular care has been taken concerning the possibility of interfacing the library with other constraint domains and with respect to scalability issues. It is clear that any user of any polyhedra library must face the possibility of excessive CPU time consumption and or excessive memory usage [24]. As we have seen, one far from satisfactory but possible solution is to hope for the best but eventually kill those processes requiring more than the available resources [8] In contrast, what we aim at is support for the dynamic and automatic composition of the trade o# between expressivity ....
T. A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages 2887--2892. IEEE Computer Society Press, 2001.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
.... in [26] Henzinger and Ho propose a new extrapolation operator for use in the HyTech model checker since Halbwachs s widening operator [ is sometimes too coarse for [their] purposes (symbolic model checking of linear hybrid systems) A further step toward more precision is proposed in [28], where the authors present another extrapolation operator used in the HyTech system: This operator is tighter than (and therefore less aggressive than) both the widening operator of [23] and the extrapolation operator of [26] which is not monotone in its second argument. Other extrapolation ....
T. A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages 2887--2892. IEEE Computer Society Press, 2001.
Possibly Not Closed Convex Polyhedra and the Parma.. - Bagnara, Ricci.. (2002) (7 citations) (Correct)
....speedup) if the implementation exploits the freedom it has from the user interface. In the design of the library, particular care has been taken concerning issues of scalability since any user of any polyhedra library must face the possibility of excessive CPU time consumption and or memory usage [23]. A far from satisfactory but possible solution is to hope for the best but eventually kill those processes requiring more than the available resources [7] In contrast, what we aim at is support for the dynamic and automatic composition of the trade o# between expressivity and e#ciency. In this ....
T. A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages 2887--2892. IEEE Computer Society Press, 2001.
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (1 citation) (Correct)
No context found.
T.A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the HyTech experience. In Proceedings of the 40th Annual Conference on Decision and Control. IEEE Press, 2001.
Hybrid System Verification Is Not a Sinecure - The Electronic .. - Fehnker, Krogh (2004) (Correct)
No context found.
T.A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages 2887--2892. IEEE Press, 2001.
Hybrid System Verification is not a Sinecure - The Electronic .. - Fehnker, Krogh (Correct)
No context found.
T.A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages pp. 2887--2892. IEEE Press, 2001.
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (1 citation) (Correct)
No context found.
T.A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the HyTech experience. In Proceedings of the 40th Annual Conference on Decision and Control. IEEE Press, 2001.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
T. A. Henzinger, J. Preussig, H. Wong-Toi, Some lessons from the hytech experience, in: Proceedings of the 40th Annual Conference on Decision and Control, IEEE Computer Society Press, 2001, pp. 2887--2892.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
T. A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages 2887--2892. IEEE Computer Society Press, 2001.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
T. A. Henzinger, J. Preussig, H. Wong-Toi, Some lessons from the hytech experience, in: Proceedings of the 40th Annual Conference on Decision and Control, IEEE Computer Society Press, 2001, pp. 2887--2892.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) (Correct)
No context found.
T. A. Henzinger, J. Preussig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual Conference on Decision and Control, pages 2887--2892. IEEE Computer Society Press, 2001.
Symbolic Model Checking of Biochemical Networks - Chabrier, Fages (2003) (4 citations) (Correct)
No context found.
T. Henzinger, J. Preusig, and H.Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual IEEE Conference on Decision and Control, CDC'2001, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC