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

메뉴 건너뛰기

Journal of Logic and Algebraic Programming

Volumn 52-53, Issue , 2002, Pages 163-181

Automated verification of an audio-control protocol using Uppaal

(7) Bengtsson, Johan a David Griffioen, W O b Kristoffersen, Kåre J c Larsen, Kim G d Larsson, Fredrik a Pettersson, Paul a Yi, Wang a

a UPPSALA UNIVERSITY (Sweden)

b Department of Software Technology ^* (Netherlands)

c IT UNIVERSITY OF COPENHAGEN (Denmark)

d AALBORG UNIVERSITY (Denmark)

Author keywords

Design tools and techniques; Protocol verification; Requirements specifications; Software program verification

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; NETWORK PROTOCOLS; REAL TIME SYSTEMS;

PROTOCOL VERIFICATION;

LOGIC PROGRAMMING;

EID: 0036655939 PISSN: 15678326 EISSN: None Source Type: Journal
DOI: 10.1016/S1567-8326(02)00036-X Document Type: Article

Times cited : (32)

References (24)

1
- 0010314272
- Uppaal - Now, next, and future
- F. Cassez, C. Jard, B. Rozoy, M. Ryan (Eds.), Modelling and Verification of Parallel Processes, Springer, Berlin
- (2001) Lecture Notes in Computer Science , vol.2067 , pp. 100-125
- Amnell, T.¹ Behrmann, G.² Bengtsson, J.³ D'Argenio, P.R.⁴ David, A.⁵ Fehnker, A.⁶ Hune, T.⁷ Jeannet, B.⁸ Larsen, K.G.⁹ Möller, M.O.¹⁰ Pettersson, P.¹¹ Weise, C.¹² Yi, W.¹³

2
- 85031771187
- Automata for modelling real-time systems
- Proceedings of the International Colloquium on Algorithms Languages and Programming
- (1990) Lecture Notes in Computer Science , vol.443 , pp. 322-335
- Alur, R.¹ Dill, D.²

3
- 84958044638
- Timing analysis in COSPAN
- R. Alur, T.A. Henzinger, E.D. Sontag (Eds.), Proceedings of Workshop on Verification and Control of Hybrid Systems III, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1066 , pp. 220-231
- Alur, R.¹ Kurshan, R.P.²

4
- 84957375295
- Verification of an audio protocol with bus collision using Uppaal
- R. Alur, T.A. Henzinger (Eds.), Proceedings of the 8th International Conference on Computer Aided Verification, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1102 , pp. 244-256
- Bengtsson, J.¹ David Griffioen, W.O.² Kristoffersen, K.J.³ Larsen, K.G.⁴ Larsson, F.⁵ Pettersson, P.⁶ Yi, W.⁷

5
- 1642498989
- Master's thesis, Uppsala University
- (1996) Uppaal a tool for automatic verification of real-time systems
- Bengtsson, J.¹ Larsson, F.²

6
- 84958037228
- Uppaal - A tool suite for automatic verification of real-time systems
- Proceedings of Workshop on Verification and Control of Hybrid Systems III, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1066 , pp. 232-243
- Bengtsson, J.¹ Larsen, K.G.² Larsson, F.³ Pettersson, P.⁴ Yi, W.⁵

7
- 0003360526
- New Generation of Uppaal
- June
- (1998) International Workshop on Software Tools for Technology Transfer
- Bengtsson, J.¹ Larsen, K.G.² Larsson, F.³ Pettersson, P.⁴ Yi, W.⁵ Weise, C.⁶

8
- 84974717679
- Verification of an audio-control protocol
- Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems
- (1994) Lecture Notes in Computer Science , vol.863
- Bosscher, D.¹ Polak, I.² Vaandrager, F.³

9
- 0000289556
- Formal methods: State of the art and future directions
- (1996) ACM Computing Surveys , vol.28 , Issue.4 , pp. 626-643
- Clarke, E.M.¹ Wing, J.M.²

10
- 0029488677
- Two examples of verification of multirate timed automata with Kronos
- IEEE Computer Society Press, Silverspring, MD
- (1995) Proceedings of the 16th IEEE Real-Time Systems Symposium , pp. 66-75
- Daws, C.¹ Yovine, S.²

11
- 0010404862
- Master's thesis, University of Amsterdam, Programming Research Group
- (1994) Analysis of an Audio Control Protocol with Bus Collision
- David Griffioen, W.O.¹

12
- 0029535775
- HyTech: The next generation
- IEEE Computer Society Press, Silverspring, MD
- (1995) Proceedings of the 16th IEEE Real-Time Systems Symposium , pp. 56-65
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

13
- 84896819101
- HyTech: A model checker for hybrid systems
- (1997) International Journal on Software Tools for Technology Transfer , vol.1 , Issue.1-2 , pp. 134-152
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

14
- 0000217258
- Symbolic model checking for real-time systems
- (1994) Information and Computation , vol.111 , Issue.2 , pp. 193-244
- Henzinger, T.A.¹ Nicollin, X.² Sifakis, J.³ Yovine, S.⁴

15
- 0003406298
- Prentice Hall, Englewood Cliffs, NJ
- (1991) The Design and Validation of Computer Protocols
- Holzmann, G.¹

16
- 84947909019
- Automated analysis of an audio control protocol
- Proceedings of the 7th International Conference on Computer Aided Verification, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.939
- Ho, P.-H.¹ Wong-Toi, H.²

17
- 0031357735
- Efficient verification of real-time systems: Compact data structures and state-space reduction
- IEEE Computer Society Press, Silverspring, MD
- (1997) Proceedings of the 18th IEEE Real-Time Systems Symposium , pp. 14-24
- Larsson, F.¹ Larsen, K.G.² Pettersson, P.³ Yi, W.⁴

18
- 84896693115
- Uppaal in a nutshell
- (1997) International Journal on Software Tools for Technology Transfer , vol.1 , Issue.1-2 , pp. 134-152
- Larsen, K.G.¹ Pettersson, P.² Yi, W.³

19
- 84947433149
- Uppaal: Status and developments
- O. Grumberg (Ed.), Proceedings of the 9th International Conference on Computer Aided Verification, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1254 , pp. 456-459
- Larsen, K.G.¹ Pettersson, P.² Yi, W.³

20
- 84896692819
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- (1997) International Journal on Software Tools for Technology Transfer , vol.1 , Issue.1-2 , pp. 64-85
- Larsen, K.G.¹ Steffen, B.² Weise, C.³

21
- 0003954103
- Prentice Hall, Englewood Cliffs, NJ
- (1989) Communication and Concurrency
- Milner, R.¹

22
- 0010313456
- Parametric real-time model checking using splitting trees
- (2001) Nordic Journal , vol.8 , Issue.1 , pp. 88-120
- LutjeSpelberg, R.F.¹ Toetenel, W.J.²

23
- 84896693998
- A verification tool for real time systems
- (1997) International Journal on Software Tools for Technology Transfer , vol.1 , Issue.1-2 , pp. 134-152
- Yovine, S.¹

24
- 0002381572
- Automatic verification of real-time communicating systems by constraint-solving
- D. Hogrefe, S. Leue (Eds.), North-Holland, Amsterdam
- (1994) Proceedings of the 7th International Conference on Formal Description Techniques , pp. 223-238
- Yi, W.¹ Pettersson, P.² Daniels, M.³

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