Open Access
| Issue |
MATEC Web of Conferences
Volume 35, 2015
2015 4th International Conference on Mechanics and Control Engineering (ICMCE 2015)
|
|
|---|---|---|
| Article Number | 03003 | |
| Number of page(s) | 5 | |
| Section | Computer theory and application | |
| DOI | https://doi.org/10.1051/matecconf/20153503003 | |
| Published online | 16 December 2015 | |
- Sifakis, J., Modeling Real-Time Systems-Challenges and Work Directions, in Proceedings of the First International Workshop on Embedded Software. (2001), Springer-Verlag. p. 373–389. [Google Scholar]
- Dill, D. L., Timing Assumptions and Verification of Finite-State Concurrent Systems, in Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems. 1990, Springer-Verlag. p. 197–212. [Google Scholar]
- Ostroff, J. S., Temporal logic for real time systems. (1989): John Wiley & Sons, Inc. 209. [Google Scholar]
- Henzinger, T. A., Manna, Z., and Pnueli, A., Temporal proof methodologies for real-time systems. (1991), Stanford University. [Google Scholar]
- Baier, C. and Katoen, J. -P., Principles of Model Checking (Representation and Mind Series). (2008): The MIT Press. 975. [Google Scholar]
- Holzmann, G., The SPIN Model Checker: Primer and Reference Manual. (2011): Addison-Wesley Professional. 608. [Google Scholar]
- Thomas, W., Automata on infinite objects, in Handbook of theoretical computer science (vol. B), Jan van, L., Editor. (1990), MIT Press. p. 133–191. [Google Scholar]
- Alur, R. and Dill, D. L., Automata for modeling real-time systems, in Proceedings of the seventeenth international colloquium on Automata, languages and programming. (1990), Springer-Verlag New York, Inc. : Warwick University, England. p. 322–335. [Google Scholar]
- Alur, R. and Dill, D. L., A theory of timed automata. Theor. Comput. Sci., (1994). 126(2): p. 183–235. [CrossRef] [MathSciNet] [Google Scholar]
- Bouyer, P., et al., Timed Modal Logics for Real-Time Systems. J. of Logic, Lang. and Inf., (2011). 20(2): p. 169–203. [CrossRef] [Google Scholar]
- Wilhelm, R., et al., The worst-case execution-time problem—overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst., (2008). 7(3): p. 1–53. [CrossRef] [Google Scholar]
- Holzmann, G. J., Design and validation of computer protocols. (1991): Prentice-Hall, Inc. 500. [Google Scholar]
- Holzmann, G. J., Design and validation of protocols: a tutorial. Comput. Netw. ISDN Syst., (1993). 25(9): p. 981–1017. [CrossRef] [Google Scholar]
- Mihai Florian, E. G., Gerard Holzmann., Logic Model Checking of Time-Periodic Real-Time System. in Aerospace 2012 Conference. (2012). [Google Scholar]
- Tripakis, S. and C. Courcoubetis, Extending Promela and Spin for Real Time, in Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems. (1996), Springer-Verlag. p. 329–348. [Google Scholar]
- Bosnacki, D. and Dams, D., Integrating Real Time into Spin: A Prototype Implementation, in Proceedings of the FIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII). (1998), Kluwer, B. V. p. 423–438. [Google Scholar]
- Bosnacki, D., Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness, in Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking. (1999), Springer-Verlag. p. 40–56. [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.