Analyzing real-time systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Analyzing real-time systems

Full text

Publisher Site , Pdf

Pdf (96 KB)

Source

Design, Automation, and Test in Europe archive
Proceedings of the conference on Design, automation and test in Europe table of contents

Paris, France

Pages: 243 - 249

Year of Publication: 2000

ISBN:1-58113-244-1

Authors

Jürgen Ruf	Wilhelm-Schickard-Institute, University of Tübingen, Sand 13, 72076 Tübingen, Germany
Thomas Kropf	Wilhelm-Schickard-Institute, University of Tübingen, Sand 13, 72076 Tübingen, Germany

Sponsors

EDAA : European Design Automation Association
SIGDA: ACM Special Interest Group on Design Automation
ECSI :
RAS : RAS
EDAC : Electronic Design Automation Consortium
IEEE-CS : Computer Society
IFIP : International Federation for Information Processing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 4, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/343647.343775 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Sérgio Vale Aguiar Campos , Edmund M. Clarke , Marius Minea, The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems, Proceedings of the 9th International Conference on Computer Aided Verification, p.452-455, June 22-25, 1997
	2	Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, Aug. 1986 [doi>10.1109/TC.1986.1676819]
	3	R. Alur, C. Courcoubetics, and D. Dill. Model Checking for Real- Time Systems. In LICS, Washington, D.C., June 1990. IEEE CSP.
	4	T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. In LICS, Santa-Cruz, June 1992. IEEE Computer Society Press.
	5	Marius Bozga , Oded Maler , Amir Pnueli , Sergio Yovine, Some Progress in the Symbolic Verification of Timed Automata, Proceedings of the 9th International Conference on Computer Aided Verification, p.179-190, June 22-25, 1997
	6	Jürgen Ruf , Thomas Kropf, Symbolic model checking for a discrete clocked temporal logic with intervals, Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification, p.146-163, October 16-18, 1997
	7	E. M. Clarke , K. L. McMillan , X Zhao , M. Fujita , J. Yang, Spectral transforms for large boolean functions with applications to technology mapping, Proceedings of the 30th international conference on Design automation, p.54-60, June 14-18, 1993, Dallas, Texas, United States [doi>10.1145/157485.164569]
	8	R. Iris Bahar , Erica A. Frohm , Charles M. Gaona , Gary D. Hachtel , Enrico Macii , Abelardo Pardo , Fabio Somenzi, Algebraic decision diagrams and their applications, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.188-191, November 07-11, 1993, Santa Clara, California, United States
	9	Jürgen Ruf , Thomas Kropf, Using MTBDDs for Compostion and Model Checking of Real-Time Systems, Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, p.185-202, November 04-06, 1998
	10	Jürgen Ruf , Thomas Kropf, Modleing and Checking Networks of Communicating Real-Time Process, Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, p.265-279, September 27-29, 1999
	11	J. Burch, E. Clarke, K. McMillan and D. Dill. Symbolic Model Checking: 102o States and Beyond. In LICS, IEEE Computer Society press, June 1990.
	12	J. Ruf and T. Kropf. Using MTBDDs for discrete timed symbolic model checking. Multiple-Valued Logic - An International Journal, 1998. Gordon and Breach publisher.
	13	Sergio Campos , Edmund Clarke , Wilfredo Marrero , Marius Minea , Hiromi Hiraishi, Computing Quantitative Characteristics of Finite-State Real-Time Systems, Carnegie Mellon University, Pittsburgh, PA, 1994