T. A. Henzinger, X. Nicollin, J. Sifakis, and S.Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193--243, 1994. 498 J.S. Dong et al. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Robust Timed Automata - Vineet Gupta Thomas (1997) (21 citations) Self-citation (Henzinger) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193--244, 1994. Special issue for LICS 92. 17
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (14 citations) Self-citation (Henzinger) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111:193--244, 1994.
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) Self-citation (Henzinger) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193--244, 1994.
Timed Patterns: TCOZ to Timed Automata - Jin Song Dong (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S.Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193--243, 1994. 498 J.S. Dong et al.
Algorithmic Algebraic Model Checking II: - Decidability Of Semi-Algebraic (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-time Systems. In 7th Annual IEEE Symposium on Logic in Computer Science, pages 394--406. IEEE, IEEE Computer Society Press, June 1992.
Weak Bisimulation for Probabilistic Timed Automata - And Applications To (Correct)
No context found.
Henzinger, T. A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-time Systems. Information and Computation 111 (1994), 193-244.
Models and Temporal Logics for Timed Component Connectors - Arbab, Baier, de Boer.. (2004) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111(2):193--244, 1994.
Binary Reachability Analysis of Discrete Pushdown.. - Dang, Ibarra, Bultan, .. (2000) (6 citations) (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. "Symbolic Model Checking for Real-time Systems," Information and Computation, 111 (1994) 193-244
Bounded Model Checking for Timed Systems - Audemard, Cimatti, Kornilowicz.. (2002) (9 citations) (Correct)
No context found.
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
No context found.
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Symp. on Logic in Computer Science, 1992.
Compositional Validation of Time-Critical Systems Using.. - Bucci, Vicario (1995) (17 citations) (Correct)
No context found.
T.A.Henzinger, X.Nicollin, J.Sifakis, S.Yovine, "Symbolic Model Checking for Real-Time Systems," Proc. of the 7th Symp. on Logics in Computer Science (LICS), 1992.
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111:193--244, 1994.
Abstracting Continuous System Behaviours into Timed.. - Helias, Guerrin, Steyer (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis and S. Yovine. `Symbolic Model Checking for Real-Time Systems', Information and Computation, 111, 193-244, (1994).
Timed Automata: Semantics, Algorithms and Tools - Bengtsson, Yi (Correct)
No context found.
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Symbolic model checking for real-time systems. Journal of Information and Computation, 111(2):193--244, 1994.
Timed Automata: Semantics, Algorithms and Tools - Bengtsson, Yi (Correct)
No context found.
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Symbolic model checking for real-time systems. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, pages 394--406, 1992.
Scheduling with Timed Automata - Abdeddaim, Maler (2003) (Correct)
No context found.
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model-checking for Realtime Systems, Information and Computation 111, 193--244, 1994.
Weak Bisimulation for Probabilistic Timed Automata and.. - Lanotte, Troina (2003) (1 citation) (Correct)
No context found.
Henzinger, T. A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-time Systems. Information and Computation 111 (1994), 193-244.
Real Time Symbolic Timing Diagrams - Feyerabend (1996) (3 citations) (Correct)
No context found.
Thomas Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Symbolic model checking for real-time systems. Information and Computation 111(2), pages 193 -- 244, 1994.
Almost ASAP Semantics: From Timed Models to Timed Implementations - De Wulf, al. (2003) (1 citation) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the Seventh Annual Symposium on Logic in Computer Science, pages 394--406. IEEE Computer Society Press, 1992.
Automatic Verification of Multi-queue Discrete Timed Automata - Pietro, Dang (2003) (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for realtime systems. Information and Computation, 111(2):193--244, June 1994.
Analysing Randomized Distributed Algorithms - Norman (Correct)
No context found.
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proc. Symp. Logic in Computer Science (LICS'98), pages 394-406. IEEE Computer Society Press, 1992.
Reconciling Real-Time with Asynchronous Message Passing - Broy, Grosu, Klein (1997) (1 citation) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the Seventh Annual Symposium on Logic in Computer Science, pages 394--406. IEEE Computer Society Press, 1992.
PCTL model checking of symbolic probabilistic - Systems Marta Kwiatkowska (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
Temporal Property-driven Verification by Abstract Interpretation - Massé (2002) (Correct)
No context found.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. In 7th. Symposium of Logics in Computer Science, pages 394--406, Santa-Cruz, California, 1992. IEEE Computer Scienty Press.
Lazy Theorem Proving for Bounded Model Checking over In.. - de Moura, Rueß, Sorea (2002) (21 citations) (Correct)
No context found.
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, June 1994.
First 50 documents Next 50
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