The Inverse Method: Parametric Verification of Real-time Embedded Systems

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 ...