SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Formal Aspects of Computing

Volumn 6, Issue 5, 1994, Pages 512-535

A logic for reasoning about time and reliability

(2) Hansson, Hans a Jonsson, Bengt a

a UPPSALA UNIVERSITY (Sweden)

Author keywords

Automatic verification; CTL; Markov chains; Modal logic; Model checking; Probability; Real time; Soft deadlines

Indexed keywords

EID: 0003096318 PISSN: 09345043 EISSN: 1433299X Source Type: Journal
DOI: 10.1007/BF01211866 Document Type: Article

Times cited : (1149)

References (56)

1
- 84934427248
- Ajmone Marsan, M., Balbo, G. and Conte, G.: Performance Models of Multiprocessor Systems. MIT Press, 1986.

2
- 84934427251
- Abrahamson, K.: Decidability and Expressiveness of Logics of Processes. PhD thesis, Univ. of Washington, 1980.

3
- 84934427250
- Alur, R.¹

4
- 84934427254
- Alur, R.¹

5
- 84934427255
- Alur, R., Courcoubetis, C. and Dill, D.: Verifying Automata Specifications of Probabilistic Real-Time Systems. In J. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 28–44. Springer Verlag, 1992.

6
- 84934427256
- Alur, R.¹ Dill, D.²

7
- 84934427257
- Alur, R.¹ Henzinger, T.²

8
- 84934427264
- Alur, R. and Henzinger, T.: Logics and Models of Real Time: A Survey. In J. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 28–44. Springer Verlag, 1992.

9
- 84934427263
- Aho, A.V., Hopcroft, J.E. and Ullman, J.D.: The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, 1974.

10
- 84934427262
- Bernstein, A.¹ Harter, P.K.²

11
- 0001531470
- A note on reliable full-duplex transmissions over half duplex lines
- (1969) Communications of the ACM , vol.2 , Issue.5 , pp. 260-261
- Bartlett, K.¹ Scantlebury, R.² Wilkinson, P.³

12
- 84934427261
- Christoff, L.¹ Christoff²

13
- 0022706656
- Automatic verification of finite-state concurrent systems using temporal logic specification
- (1986) ACM Trans. on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
- Clarke, E.M.¹ Emerson, E.A.² Sistla, A.P.³

14
- 84934427260
- Chiola, G.: A software package for the analysis of generalized stochastic Petri net models. In Proc. Int. Workshop on Time Petri Nets, pages 136–143, July 1985.

15
- 84934427259
- Proc. of the third International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Kyoto, Japan
- (1989) Spnp: Stochastic petri net package
- Ciardo, G.¹ Muppala, J.² Trivedi, K.S.³

16
- 84934427258
- Courcoubetis, C.¹

17
- 84934427266
- Courcoubetis, C.¹ Yannakakis, C.²

18
- 84934427267
- Courcoubetis, C. and Yannakakis, C.: The complexity of probabilistic verification. Bell labs Murry Hill, 1989.

19
- 84934427265
- de Bakker, J., Huizing, C., de Roever, W-.P. and Rozenberg, G.: editors. Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer Verlag, 1992.

20
- 0020226119
- Using branching time Temporal Logic to synthesize synchronization skeletons
- (1982) Science of Computer Programming , vol.2 , Issue.3 , pp. 241-266
- Emerson, E.A.¹ Clarke, E.M.²

21
- 84934427269
- Emerson, A.: Real-Time and the Mu-Calculus. In J. de Bakker, C. Huizing, W-.P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 176–194. Springer Verlag, 1992.

22
- 0027042242
- Quantitative temporal reasoning
- (1992) Real-Time Systems — The International Journal of Time-Critical Computing Systems , vol.4 , pp. 331-352
- Emerson, A.¹ Mok, A.² Sistla, A.³ Srinivasan, J.⁴

23
- 84934427268
- Feldman, Y.¹

24
- 84934427271
- Gibbons, A.: Algorithmic Graph Theory. Cambridge University Press, 1985.

25
- 84934427270
- Hansson, H.: Time and Probabilities in Formal Design of Distributed Systems. PhD thesis, Department of Computer Systems, Uppsala University, 1991. Available as report DoCS 91/27, Department of Computer Systems, Uppsala University, Sweden, and as report 05 in SICS dissertation series, SICS, Kista, Sweden. A revised version of the thesis will appear in the Elsevier book series Real-Time Safety Critical Systems.

26
- 62649108583
- Proc. 11^th IEEE Real -Time Systems Symp., IEEE Computer Society Press, Orlando, Fl.
- (1990) A calculus for communicating systems with time and probabilities , pp. 278-287
- Hansson, H.¹ Jonsson, B.²

27
- 84934427273
- Hooman, J.: Specification and Compositional Verification of Real-Time Systems, volume 558 of Lecture Notes in Computer Science. North-Holland, 1991.

28
- 84934427272
- Hart, S.¹ Sharir, M.²

29
- 84976798378
- Termination of probabilistic concurrent programs
- (1983) ACM Transactions on Programming Languages and Systems , vol.5 , pp. 356-380
- Hart, S.¹ Sharir, M.² Pnueli, A.³

30
- 84934427275
- Holliday, M.A. and Vernon, M.K.: The GTPN Analyzer: numerical methods and user interface. Technical Report 639, Dept. of Computer Science, Univ. of Wisconsin — Madison, Apr. 1986.

31
- 0023142518
- Exact performance estimates for multiprocessor memory and bus interface
- (1987) IEEE Trans. on Computers , vol.100-136 , pp. 76-85
- Holliday, M.A.¹ Vernon, M.K.²

32
- 84934427274
- Holliday, M.A. and Vernon, M.K.: A generalized timed Petri net model for performance analysis. IEEE Trans. on Software Engineering, SE-13(12), 1987.

33
- 0001625292
- Safety analysis of timing properties in real-time systems
- (1986) IEEE Trans. on Software Engineering , vol.12 SE , Issue.9 , pp. 890-904
- Jahanian, F.¹ Mok, K.-L.²

34
- 0023399846
- A graph-theoretic approach for timing analysis and its implementation
- (1987) IEEE Trans, on Computers , vol.36 , Issue.8 , pp. 961-975
- Jahanian, F.¹ Mok, A.K.²

35
- 84934427276
- Joseph, M.: editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 331 of Lecture Notes in Computer Science. Springer Verlag, 1988.

36
- 84934427277
- Koymans, R.¹

37
- 0020138113
- Reasoning with time and chance
- (1982) Information and Control , vol.53 , pp. 165-198
- Lehmann, D.¹ Shelah, S.²

38
- 84934427286
- Larsen, K.G.¹ Skou, A.²

39
- 84934427281
- Milner, R.: Communication and Concurrency. Prentice-Hall, 1989.

40
- 0020175425
- Performance analysis using stochastic petri nets
- (1982) IEEE Trans. on Computers , vol.100-131 , Issue.9 , pp. 913-917
- Molloy, M.K.¹

41
- 84976730945
- Proving liveness properties of concurrent programs
- (1982) ACM Transactions on Programming Languages and Systems , vol.4 , Issue.3 , pp. 455-495
- Owicki, S.¹ Lamport, L.²

42
- 84934427280
- Ostroff, J.: Automatic verification of timed transition models. In Sifakis, editor, Workshop on automatic verification methods for finite state systems, volume 407 of Lecture Notes in Computer Science, pages 247–256. Springer Verlag, 1989.

43
- 84934427279
- Ostroff, J. and Wonham, W.: Modelling, specifying and verifying real-time embedded computer systems. In Proc. IEEE Real-time Systems Symp., pages 124–132, Dec. 1987.

44
- 19344376280
- Fairness Properties in Process Algebra
- Uppsala University, Uppsala, Sweden
- (1985) PhD thesis
- Parrow, J.¹

45
- 84934427278
- Pnueli, A. and Harel, E.: Applications of temporal logic to the specification of real-time systems. In M. Joseph, editor, Proc. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 331 of Lecture Notes in Computer Science, pages 84–98. Springer Verlag, 1988.

46
- 49149133038
- The temporal semantics of concurrent programs
- (1982) Theoretical Computer Science , vol.13 , pp. 45-60
- Pnueli, A.¹

47
- 0022562228
- Verification of multiprocess probabilistic protocols
- (1986) Distributed Computing , vol.1 , Issue.1 , pp. 53-72
- Pnueli, A.¹ Zuck, L.²

48
- 84934427285
- Razouk, R.R.: The derivation of performance expressions for communication protocols from timed Petri net models. In Proc. ACM SIGCOMM '84, pages 210–217, Montréal, Québec, 1984.

49
- 84934427284
- Razouk, R.R. and Phelps, C.V.: Performance analysis of timed Petri net models. In Proc. IFIP WG 6.2 Symp. on Protocol Specification, Testing, and Verification IV, pages 126–129. North-Holland, June 1984.

50
- 0023399921
- Time dependent distributed systems: Proving safety, liveness and real-time properties
- (1987) Distributed Computing , vol.2 , pp. 61-79
- Shankar, A.U.¹ Lam, S.S.²

51
- 84934427283
- Sanders, W.H. and Meyer, J.F.: Metasan: a performability evaluation tool based on stochastic activity networks. In Proc of the ACM-IEEE Comp. Soc. Fall Joint Conf. IEEE Computer Society Press, November 1986.

52
- 84934427282
- Vardi, M¹

53
- 84934427287
- Vernon, M.K. and Holliday, M.A.: Performance analysis of multiprocessor cache consistency protocols using generalized timed Petri nets. In Proc. of Performance 86 and ACM SIGMETRICS 1986 Joint conf. on Computer Performance Modelling, Measurement, and Evaluation, pages 9–17. ACM press, May 1986.

54
- 84934427288
- Vardi, M.Y. and Wolper, P.: An automata-theoretic approach to automatic program verification. In Proc. IEEE Symp. on Logic in Computer Science, pages 332–344, June 1986.

55
- 84934427289
- Vytopil, P.: editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science. Springer Verlag, 1991.

56
- 0022207535
- Proc. International Workshop on Timed Petri Nets, IEEE Computer Society Press, Torino Italy
- (1985) Performance evaluation using extended timed Petri nets , pp. 272-278
- Zuberek, W.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.