Techniques for automatic verification of real-time systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Techniques for automatic verification of real-time systems

Purchase a copy

Source

Year of Publication: 1992

Order Number:UMI Order No. GAX92-06729

Author

Rajeev Alur

Stanford Univ., Stanford, CA

Publisher

Stanford University Stanford, CA, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 13

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Doctoral Thesis Save this Doctoral Thesis to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 13

	Rajeev Alur , Thomas A. Henzinger , Moshe Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.592-601, May 16-18, 1993, San Diego, California, United States
	Edmund M. Clarke , Bernd-Holger Schlingloff, Model checking, Handbook of automated reasoning, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 2001
	A. Burns, How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study, Real-Time Systems, v.24 n.2, p.135-151, March 2003
	Stavros Tripakis , Sergio Yovine, Analysis of Timed Systems Using Time-Abstracting Bisimulations, Formal Methods in System Design, v.18 n.1, p.25-68, January.2001
	Sascha Konrad , Betty H. C. Cheng, Real-time specification patterns, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Xavier Nicollin , Joseph Sifakis , Sergio Yovine, Compiling Real-Time Specifications into Extended Automata, IEEE Transactions on Software Engineering, v.18 n.9, p.794-804, September 1992
	Stavros Tripakis , Sergio Yovine , Ahmed Bouajjani, Checking Timed Büchi Automata Emptiness Efficiently, Formal Methods in System Design, v.26 n.3, p.267-292, May 2005
	F. Laroussinie , N. Markey , Ph. Schnoebelen, Efficient timed model checking for discrete-time systems, Theoretical Computer Science, v.353 n.1, p.249-271, 14 March 2006
	Mustapha Nourelfath , Ahmed Khoumsi, Grid automata and supervisory control of dense real-time discrete event systems, Mathematics and Computers in Simulation, v.70 n.5, p.408-418, 24 February 2006
	Inhye Kang , Insup Lee , Young-Si Kim, An Efficient State Space Generation for the Analysis of Real-Time Systems, IEEE Transactions on Software Engineering, v.26 n.5, p.453-477, May 2000
	George Spanoudakis , Christos Kloukinas , Kelly Androutsopoulos, Towards security monitoring patterns, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Osman Hasan , Sofiène Tahar, Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL, Journal of Automated Reasoning, v.42 n.1, p.1-33, January 2009
	P. Bellini , P. Nesi , D. Rogai, Expressing and organizing real-time specification patterns via temporal logics, Journal of Systems and Software, v.82 n.2, p.183-196, February, 2009