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

메뉴 건너뛰기

Journal of Logic and Algebraic Programming

Volumn 52-53, Issue , 2002, Pages 183-220

Linear parametric model checking of timed automata

(4) Hune, Thomas a Romijn, Judi b,c Stoelinga, Mariëlle b Vaandrager, Frits b

a AARHUS UNIVERSITY (Denmark)

b RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

c NONE (Netherlands)

Author keywords

Model checking; Parameter synthesis; Real time; Timed automata; Verification

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED ANALYSIS; REAL TIME SYSTEMS;

TIMED AUTOMATA;

LOGIC PROGRAMMING;

EID: 0036656308 PISSN: 15678326 EISSN: None Source Type: Journal
DOI: 10.1016/S1567-8326(02)00037-1 Document Type: Article

Times cited : (168)

References (28)

1
- 84944407299
- Symbolic techniques for parametric reasoning about counter and clock systems
- E.A. Emerson, A.P. Sistla (Eds.), Proceedings of the 12th International Conference on Computer Aided Verification, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1855 , pp. 419-434
- Annichini, A.¹ Asarin, E.² Bouajjani, A.³

2
- 84958752919
- TReX: A tool for reachability analysis of complex systems
- G. Berry, H. Comon, A. Finkel (Eds.). Proceedings of the International Conference on Computer Aided Verification (CAV'01), Paris, France, Springer, Berlin
- (2001) Lecture Notes in Computer Science , vol.1855
- Annichini, A.¹ Bouajjani, A.² Sighireanu, M.³

3
- 85031771187
- Automata for modeling real-time systems
- M. Paterson (Ed.), Proceedings of the 17th ICALP, Warwick, Springer, Berlin, Full version appeared as [4]
- (1990) Lecture Notes in Computer Science , vol.443 , pp. 322-335
- Alur, R.¹ Dill, D.L.²

4
- 0028413052
- A theory of timed automata
- (1994) Theoret. Comput. Sci. , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.L.²

5
- 0027308411
- Parametric real-time reasoning
- ACM Press, New York
- (1993) Proceedings of the 25th Annual Symposium on Theory of Computing , pp. 592-601
- Alur, R.¹ Henzinger, T.A.² Vardi, M.Y.³

6
- 84968436089
- An old-fashioned recipe for real time
- J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (Eds.), Proceedings REX Workshop on Real-Time: Theory in Practice, Mook, The Netherlands, June, Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.600 , pp. 1-27
- Abadi, M.¹ Lamport, L.²

7
- 0003325283
- Timed automata
- Springer, Berlin, to appear
- (1998) NATO-ASI Summer School on Verification of Digital and Hybrid Systems
- Alur, R.¹

8
- 84863918586
- Kronos: A model-checking tool for real-time systems
- A.J. Hu, M.Y. Vardi (Eds.), Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, BC, Canada, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1427 , pp. 546-550
- Bozga, M.¹ Daws, C.² Maler, O.³ Olivero, A.⁴ Tripakis, S.⁵ Yovine, S.⁶

9
- 0034966038
- Application of parametric model checking - The root contention protocol using {LPMC}
- (2001) Proceedings of the 34th Hawaii International Conference on System Sciences (HICCS'01)
- Bandini, G.¹ Lutje Spelberg, R.L.² De Rooij, R.C.H.³ Toetenel, W.J.⁴

10
- 0003962322
- MIT Press, Cambridge, MA
- (1999) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.³

11
- 0004116989
- McGraw-Hill, New York
- (1991) Introduction to Algorithms
- Cormen, T.H.¹ Leiserson, C.E.² Rivest, R.L.³

12
- 0010360179
- Parameterized reachability analysis of the IEEE 1394 Root Contention Protocol using TReX
- P. Pettersson, S. Yovine (Eds.)
- (2001) Proceedings of the Workshop on Real-Time Tools (RT-TOOLS'2001)
- Collomb-Annichini, A.¹ Sighireanu, M.²

13
- 84944099472
- Timing assumptions and verification of finite-state concurrent systems
- J. Sifakis (Ed.), Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, Springer Berlin
- (1990) Lecture Notes in Computer Science , vol.407 , pp. 197-212
- Dill, D.¹

14
- 84958770017
- The bounded retransmission protocol must be on time!
- E. Brinksma (Ed.), Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Enschede, The Netherlands, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1217 , pp. 416-431
- D'Argenio, P.R.¹ Katoen, J.-P.² Ruys, T.C.³ Tretmans, J.⁴

15
- 84947423533
- HyTech: A model checker for hybrid systems
- O. Grumberg (Ed.), Proceedings of the 9th International Conference on Computer Aided Verification, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1254 , pp. 460-463
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

16
- 84903159824
- Linear parametric model checking of timed automata
- T. Margaria, W. Yi (Eds.), Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Genova, Italy, Springer, Berlin
- (2001) Lecture Notes in Computer Science , vol.2031 , pp. 189-203
- Hune, T.S.¹ Romijn, J.M.T.² Stoelinga, M.I.A.³ Vaandrager, F.W.⁴

17
- 0004061773
- August
- (1996) IEEE Standard for a High Performance Serial Bus. Std 1394-1995

18
- 84957009456
- A compositional proof of a real-time mutual exclusion protocol
- M. Bidoit, M. Dauchet (Eds.), Proceedings TAPSOFT'97: Theory and Practice of Software Development, Lille, France, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1214 , pp. 565-579
- Kristoffersen, K.J.¹ Laroussinie, F.² Larsen, K.G.³ Pettersson, P.⁴ Yi, W.⁵

19
- 0023288130
- A fast mutual exclusion algorithm
- (1987) ACM Trans. Comput. Syst. , vol.5 , Issue.1 , pp. 1-11
- Lamport, L.¹

20
- 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
- Larsen, K.G.¹ Larsson, F.² Pettersson, P.³ Wang, Y.⁴

21
- 84896693115
- Uppaal in a nutshell
- (1997) Int. J. Software Tools Technol. Transfer , vol.1 , Issue.1-2 , pp. 134-152
- Larsen, K.G.¹ Pettersson, P.² Wang, Y.³

22
- 84958598850
- Partition refinement in real-time model checking
- A.P. Ravn, H. Rischel (Eds.), Proceedings of the Fifth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), Lyngby, Denmark, Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1486 , pp. 143-157
- Lutje Spelberg, R.F.¹ Toetenel, W.J.² Ammerlaan, M.³

23
- 0004215089
- Morgan Kaufmann, San Fransisco, CA
- (1996) Distributed Algorithms
- Lynch, N.A.¹

24
- 84936039193
- Time constrained automata
- J.C.M. Baeten, J.F. Groote (Eds.), Proceedings CONCUR 91, Amsterdam, Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.527 , pp. 408-423
- Merritt, M.¹ Modugno, F.² Tuttle, M.³

25
- 84896691521
- Mechanical verification of the IEEE 1394a root contention protocol using uppaal2k
- (2001) Springer International Journal on Software Tools for Technology Transfer (STTT) , vol.3 , pp. 469-485
- Simons, D.P.L.¹ Stoelinga, M.I.A.²

26
- 35048903012
- Fun with firewire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
- to appear
- (2002) Formal Aspects of Computing
- Stoelinga, M.I.A.¹

27
- 84957671111
- Root contention in IEEE 1394
- J.-P. Katoen (Ed.), Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, Bamberg, Germany, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1601 , pp. 53-74
- Stoelinga, M.I.A.¹ Vaandrager, F.W.²

28
- 84958967825
- Model checking timed automata
- G. Rozenberg, F.W. Vaandrager (Eds.), Lectures on Embedded Systems, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1494 , pp. 114-152
- Yovine, S.¹

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