O'Reilly logo

The Inverse Method: Parametric Verification of Real-time Embedded Systems by Romain Soulat, Etienne André

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Bibliography

[ADB 02] ADBEDDAÏM Y., MALER O., “Preemptive job-shop scheduling using stopwatch automata”, Proceedings of the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’02), Lecture Notes in Computer Science, vol. 2280, Springer, Grenoble, France, pp. 113–126, 2002.

[ALU 92a] ALUR R., Techniques for automatic verification of real-time systems, PhD Thesis, Stanford, CA, USA, 1992.

[ALU 92b] ALUR R., COURCOUBETIS C., HALBWACHS N., DILL D.L., WONG-TOI H., “Minimization of timed transition systems”, Proceedings of the 3rd International Conference on Concurrency Theory (CONCUR’92), Lecture Notes in Computer Science, vol. 630, Springer, Stony Brook, NY, pp. 340–354, 1992.

[ALU 93a] ALUR R., COURCOUBETIS C., DILL D.L., “Model-checking in dense real-time”, Information and Computation, vol. 104, no. 1, pp. 2–34, 1993.

[ALU 93b] ALUR R., COURCOUBETIS C., HENZINGER T.A., HO P.-H., “Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems”, Hybrid Systems’92, Lecture Notes in Computer Science, vol. 736, Springer, pp. 209–229, 1993.

[ALU 93c] ALUR R., HENZINGER T.A., VARDI M.Y., “Parametric real-time reasoning”, Proceedings of the 25th Annual ACM Symposium on Theory of Computing (STOC’93), ACM, New York, NY, USA, pp. 592–601, 1993.

[ALU 94] ALUR R., dILL D.L., “A theory of timed automata”, Theoretical Computer Science, vol. 126, no. 2, pp. 183–235, 1994.

[ALU 95] ALUR R., COURCOUBETIS C., HALBWACHS ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required