-
1
-
-
0025623486
-
Model-checking for real-time systems
-
IEEE Computer Society Press
-
Rajeev Alur, Costas Courcoubetis, David Dill, Model-checking for real-time systems, in: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS'90), IEEE Computer Society Press, 1990, pp. 414-425.
-
(1990)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS'90)
, pp. 414-425
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
-
5
-
-
0025658607
-
-
Rajeev Alur, Thomas A. Henzinger, Real-time logics: complexity and expressiveness, in: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS'90), IEEE Computer Society Press, 1990, pp. 390-401 (Preliminary version of Ref. [8]).
-
Rajeev Alur, Thomas A. Henzinger, Real-time logics: complexity and expressiveness, in: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS'90), IEEE Computer Society Press, 1990, pp. 390-401 (Preliminary version of Ref. [8]).
-
-
-
-
7
-
-
51549096502
-
Logics and models of real-time: A survey
-
Real-Time: Theory in Practice, Proceedings of the REX Workshop, Springer
-
Rajeev Alur, Thomas A. Henzinger, Logics and models of real-time: a survey, in: Real-Time: Theory in Practice, Proceedings of the REX Workshop 1991, Lecture Notes in Computer Science, vol. 600, Springer, 1992, pp. 74-106.
-
(1991)
Lecture Notes in Computer Science
, vol.600
, pp. 74-106
-
-
Alur, R.1
Henzinger, T.A.2
-
8
-
-
43949167687
-
Real-time logics: complexity and expressiveness
-
Alur R., and Henzinger T.A. Real-time logics: complexity and expressiveness. Information and Computation 104 1 (1993) 35-77
-
(1993)
Information and Computation
, vol.104
, Issue.1
, pp. 35-77
-
-
Alur, R.1
Henzinger, T.A.2
-
10
-
-
0003434514
-
-
Ph.D. Thesis, Stanford University, Stanford, CA, USA
-
Rajeev Alur, Techniques for Automatic Verification of Real-Time Systems, Ph.D. Thesis, Stanford University, Stanford, CA, USA, 1991.
-
(1991)
Techniques for Automatic Verification of Real-Time Systems
-
-
Alur, R.1
-
11
-
-
27244442285
-
-
Patricia Bouyer, Franck Cassez, François Laroussinie, Modal logics for timed control, in: Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), Lecture Notes in Computer Science, 3821, Springer, 2005, pp. 81-94.
-
Patricia Bouyer, Franck Cassez, François Laroussinie, Modal logics for timed control, in: Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), Lecture Notes in Computer Science, vol. 3821, Springer, 2005, pp. 81-94.
-
-
-
-
12
-
-
21844488819
-
-
Ahmad Bouajjani, Yassine Lakhnech, Temporal logic + timed automata: expressiveness and decidability, in: Proceedings of the Sixth International Conference on Concurrency Theory (CONCUR'95), Lecture Notes in Computer Science, 962, Springer, 1995, pp. 531-545.
-
Ahmad Bouajjani, Yassine Lakhnech, Temporal logic + timed automata: expressiveness and decidability, in: Proceedings of the Sixth International Conference on Concurrency Theory (CONCUR'95), Lecture Notes in Computer Science, vol. 962, Springer, 1995, pp. 531-545.
-
-
-
-
13
-
-
73549125047
-
On the expressiveness of TPTL in the pointwise and continuous semantics
-
Unpublished manuscript
-
Deepak D'Souza, Raveendra Holla, Deepak Vankadaru, On the expressiveness of TPTL in the pointwise and continuous semantics, Unpublished manuscript, 2007.
-
(2007)
-
-
D'Souza, D.1
Holla, R.2
Vankadaru, D.3
-
14
-
-
73549096674
-
Eliminating Past Operators in Metric Temporal Logic
-
Technical Report IISc-CSA-TR-2006-11, IISC Bangalore, India
-
Deepak D'Souza, Mohan M. Raj, Pavithra Prabhakar, Eliminating Past Operators in Metric Temporal Logic, Technical Report IISc-CSA-TR-2006-11, IISC Bangalore, India, 2006.
-
(2006)
-
-
D'Souza, D.1
Raj, M.M.2
Prabhakar, P.3
-
15
-
-
33750374989
-
-
Deepak D'Souza, Pavithra Prabhakar, On the expressiveness of MTL with past operators, in: Proceedings of the Fourth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'06), Lecture Notes in Computer Science, 4202, Springer, 2006, pp. 322-336.
-
Deepak D'Souza, Pavithra Prabhakar, On the expressiveness of MTL with past operators, in: Proceedings of the Fourth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'06), Lecture Notes in Computer Science, vol. 4202, Springer, 2006, pp. 322-336.
-
-
-
-
16
-
-
33947604549
-
On the expressiveness of MTL in the pointwise and continuous semantics
-
D'Souza D., and Prabhakar P. On the expressiveness of MTL in the pointwise and continuous semantics. Formal Methods Letters 9 1 (2007) 1-4
-
(2007)
Formal Methods Letters
, vol.9
, Issue.1
, pp. 1-4
-
-
D'Souza, D.1
Prabhakar, P.2
-
17
-
-
0022514018
-
Sometimes and not never revisited: on branching versus linear time temporal logic
-
Allen Emerson E., and Halpern J.Y. Sometimes and not never revisited: on branching versus linear time temporal logic. Journal of the ACM 33 1 (1986) 151-178
-
(1986)
Journal of the ACM
, vol.33
, Issue.1
, pp. 151-178
-
-
Allen Emerson, E.1
Halpern, J.Y.2
-
18
-
-
0001449325
-
Temporal and modal logic
-
MIT Press Cambridge
-
E. Allen Emerson, Temporal and modal logic, in: Formal Models and Semantics, Handbook of Theoretical Computer Science, vol. B, MIT Press Cambridge, 1991, pp. 995-1072.
-
(1991)
Formal Models and Semantics, Handbook of Theoretical Computer Science
, vol.B
, pp. 995-1072
-
-
Allen Emerson, E.1
-
19
-
-
38149096211
-
On the expressiveness of mtl variants over dense time
-
Jean-François Raskin, P.S. Thiagarajan (Eds, Proceedings of the Fifth International Conferences on Formal Modelling and Analysis of Timed Systems FORMATS'07, Springer-Verlag
-
Carlo A. Furia, Matteo Rossi, On the expressiveness of mtl variants over dense time, in: Jean-François Raskin, P.S. Thiagarajan (Eds.), Proceedings of the Fifth International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'07), Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 163-178.
-
(2007)
Lecture Notes in Computer Science
, pp. 163-178
-
-
Furia, C.A.1
Rossi, M.2
-
20
-
-
0019112115
-
On the temporal analysis of fairness
-
ACM Press
-
Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi, On the temporal analysis of fairness, in: Conference Record Seventh ACM Symposium on Principles of Programming Languages (POPL'80), ACM Press, 1980, pp. 163-173.
-
(1980)
Conference Record Seventh ACM Symposium on Principles of Programming Languages (POPL'80)
, pp. 163-173
-
-
Gabbay, D.M.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
21
-
-
84945905717
-
-
Thomas A. Henzinger, It's about time: real-time logics reviewed, in: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science, 1466, Springer, 1998, pp. 439-454.
-
Thomas A. Henzinger, It's about time: real-time logics reviewed, in: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science, vol. 1466, Springer, 1998, pp. 439-454.
-
-
-
-
22
-
-
0000217258
-
Symbolic model-checking for real-time systems
-
Henzinger T.A., Nicollin X., Sifakis J., and Yovine S. Symbolic model-checking for real-time systems. Information and Computation 111 2 (1994) 193-244
-
(1994)
Information and Computation
, vol.111
, Issue.2
, pp. 193-244
-
-
Henzinger, T.A.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
23
-
-
33750053537
-
An expressive temporal logic for real time
-
Rastislav Královič, Pawel Urzyczyn (Eds, Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science MFCS'06, Springer-Verlag
-
Yoram Hirshfeld, Alexander Rabinovich, An expressive temporal logic for real time, in: Rastislav Královič, Pawel Urzyczyn (Eds.), Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science (MFCS'06), Lecture Notes in Computer Science, vol. 4162, Springer-Verlag, 2006, pp. 492-504.
-
(2006)
Lecture Notes in Computer Science
, vol.4162
, pp. 492-504
-
-
Hirshfeld, Y.1
Rabinovich, A.2
-
25
-
-
0003954424
-
-
Ph.D. Thesis, UCLA, Los Angeles, CA, USA
-
Johan A.W. Kamp, Tense Logic and the Theory of Linear Order, Ph.D. Thesis, UCLA, Los Angeles, CA, USA, 1968.
-
(1968)
Tense Logic and the Theory of Linear Order
-
-
Kamp, J.A.W.1
-
26
-
-
0001601021
-
Specifying real-time properties with metric temporal logic
-
Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems 2 4 (1990) 255-299
-
(1990)
Real-Time Systems
, vol.2
, Issue.4
, pp. 255-299
-
-
Koymans, R.1
-
27
-
-
0029323608
-
About the expressive power of CTL combinators
-
Laroussinie F. About the expressive power of CTL combinators. Information Processing Letters 54 6 (1995) 343-345
-
(1995)
Information Processing Letters
, vol.54
, Issue.6
, pp. 343-345
-
-
Laroussinie, F.1
-
28
-
-
0036044742
-
Temporal logic with forgettable past
-
IEEE Computer Society Press
-
François Laroussinie, Nicolas Markey, Philippe Schnoebelen, Temporal logic with forgettable past, in: Proceedings of the 17th Annual Symposium on Logic in Computer Science (LICS'02), IEEE Computer Society Press, 2002, pp. 383-392.
-
(2002)
Proceedings of the 17th Annual Symposium on Logic in Computer Science (LICS'02)
, pp. 383-392
-
-
Laroussinie, F.1
Markey, N.2
Schnoebelen, P.3
-
29
-
-
85035040046
-
The glory of the past
-
Proceedings of the Conference on Logics of Programs, Springer-Verlag
-
Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck, The glory of the past, in: Proceedings of the Conference on Logics of Programs, Lecture Notes in Computer Science, vol. 193, Springer-Verlag, 1985, pp. 413-424.
-
(1985)
Lecture Notes in Computer Science
, vol.193
, pp. 413-424
-
-
Lichtenstein, O.1
Pnueli, A.2
Zuck, L.D.3
-
30
-
-
21144457914
-
Temporal logic with past is exponentially more succinct
-
Markey N. Temporal logic with past is exponentially more succinct. EATCS Bulletin 79 (2003) 122-128
-
(2003)
EATCS Bulletin
, vol.79
, pp. 122-128
-
-
Markey, N.1
-
31
-
-
33746296273
-
Model checking restricted sets of timed paths
-
Markey N., and Raskin J.-F. Model checking restricted sets of timed paths. Theoretical Computer Science 358 2-3 (2006) 273-292
-
(2006)
Theoretical Computer Science
, vol.358
, Issue.2-3
, pp. 273-292
-
-
Markey, N.1
Raskin, J.-F.2
-
32
-
-
0026853042
-
Formal methods for the specification and design of real-time safety critical systems
-
Ostroff J.S. Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software 18 1 (1992) 33-60
-
(1992)
Journal of Systems and Software
, vol.18
, Issue.1
, pp. 33-60
-
-
Ostroff, J.S.1
-
35
-
-
73549089950
-
-
Jean-François Raskin, Logics, Automata and Classical Theories for Deciding Real-Time, Ph.D. Thesis, University of Namur, Namur, Belgium, 1999.
-
Jean-François Raskin, Logics, Automata and Classical Theories for Deciding Real-Time, Ph.D. Thesis, University of Namur, Namur, Belgium, 1999.
-
-
-
-
36
-
-
23844553226
-
The complexity of the temporal logic with until over general linear time
-
Reynolds M. The complexity of the temporal logic with until over general linear time. Journal of Computer and System Sciences 66 2 (2003) 393-426
-
(2003)
Journal of Computer and System Sciences
, vol.66
, Issue.2
, pp. 393-426
-
-
Reynolds, M.1
-
37
-
-
4644330183
-
Axioms for real-time logics
-
Proceedings of the Ninth International Conference on Concurrency Theory CONCUR'98, Springer
-
Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger, Axioms for real-time logics, in: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science, Springer, vol. 1466, 1998, pp. 219-236.
-
(1998)
Lecture Notes in Computer Science
, vol.1466
, pp. 219-236
-
-
Raskin, J.-F.1
Schobbens, P.-Y.2
Henzinger, T.A.3
-
38
-
-
0022092438
-
The complexity of propositional linear temporal logics
-
Prasad Sistla A., and Clarke E.M. The complexity of propositional linear temporal logics. Journal of the ACM 32 3 (1985) 733-749
-
(1985)
Journal of the ACM
, vol.32
, Issue.3
, pp. 733-749
-
-
Prasad Sistla, A.1
Clarke, E.M.2
-
39
-
-
11344251138
-
Monitoring algorithms for metric temporal logic specifications
-
Proceedings of the Fourth International Workshop on Runtime Verification RV'04, Elsevier
-
Prasanna Thati, Grigore Rosu, Monitoring algorithms for metric temporal logic specifications, in: Proceedings of the Fourth International Workshop on Runtime Verification (RV'04), Electronic Notes in Computer Science, vol. 113, Elsevier, 2005.
-
(2005)
Electronic Notes in Computer Science
, vol.113
-
-
Thati, P.1
Rosu, G.2
-
41
-
-
84947731286
-
An automata-theoretic approach to linear temporal logic
-
Proceedings of the Logics for Concurrency: Structure Versus Automata, Springer
-
Moshe Y. Vardi, An automata-theoretic approach to linear temporal logic, in: Proceedings of the Logics for Concurrency: Structure Versus Automata, Lecture Notes in Computer Science, vol. 1043, Springer, 1996, pp. 238-266.
-
(1996)
Lecture Notes in Computer Science
, vol.1043
, pp. 238-266
-
-
Vardi, M.Y.1
-
43
-
-
0003897325
-
-
Ph.D. Thesis, Institut National Polytechnique de Grenoble, Grenoble, France
-
Sergio Yovine, Méthodes et outils pour la vérification symbolique de systèmes temporisés, Ph.D. Thesis, Institut National Polytechnique de Grenoble, Grenoble, France, 1993.
-
(1993)
Méthodes et outils pour la vérification symbolique de systèmes temporisés
-
-
Yovine, S.1
|