SCOPUS 정보 검색 플랫폼

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2001, Pages 48-57

Verification of hybrid systems: Formalization and proof rules in PVS

(3) Abraham Mumm E a Hannemann, U a Steffen, M a

Author keywords

Deductive methods; Hybrid systems; Machine assisted verification

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL METHODS; DATA COMMUNICATION SYSTEMS; HYBRID COMPUTERS; MATHEMATICAL MODELS; PROGRAM DIAGNOSTICS; SEMANTICS; SYNCHRONIZATION; THEOREM PROVING;

DEDUCTIVE METHODS; HYBRID SYSTEMS; MACHINE ASSISTED VERIFICATION; MODEL CHECKING;

PARALLEL PROCESSING SYSTEMS;

EID: 0034875415 PISSN: 27708527 EISSN: 27708535 Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (29)

References (25)

1
- 0003962026
- Verification of hybrid systems: Formalization and proof rules in PVS
- Lehrstuhl für Software-Technologie, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel, Jan.
- (2001) Technical Report TR-ST-01-1
- Ábrahám-Mumm, E.¹ Hannemann, U.² Steffen, M.³

2
- 0029637354
- The algorithmic analysis of hybrid systems
- A preliminary version appeared in the proceedings of 11th. International Conference on Analysis and Optimization of Systems: Discrete Event Systems (LNCI 199)
- (1995) Theoretical Computer Science , vol.138 , pp. 3-34
- Alur, R.¹ Courcoubetis, C.² Henzinger, T.³ Ho, P.⁴ Nicollin, X.⁵ Olivero, A.⁶ Sifakis, J.⁷ Yovine, S.⁸

3
- 0028413052
- A theory of timed automata
- (1994) Theoretical Computer Science , vol.126 , pp. 252-235
- Alur, R.¹ Dill, D.²

4
- 0027849447
- Automatic symbolic verification of embedded systems
- IEEE Computer Society Press
- (1993) Proc. 14th Annual Real-Time Systems Symposium , pp. 2-11
- Alur, R.¹ Henzinger, T.A.² Ho, P.³

5
- 21744457495
- Verifying hybrid systems modeled as timed automata: A case study
- In O. Maler, editor; Springer-Verlag
- (1997) Hybrid and Real-Time Systems (HART'97), Number 1201 in Lecture Notes in Computer Science , pp. 171-185
- Archer, M.¹ Heitmeyer, C.²

6
- 0003962519
- Formal methods for reflective system specification
- In J. Grabowski and S. Heymer, editors; Universität Lübeck/Shaker Verlag, Aachen, Juni 2000
- (2000) Formale Beschreibungstechniken für Verteilte Systeme , pp. 51-57
- De Meer, J.B.¹ Ábrahám-Mumm, E.²

7
- 0003940516
- Cambridge University Press; to appear
- (2001) Concurrency Verification: Introduction to Compositional and Noncompositional Proof Methods
- De Roever, W.-P.¹ De Boer, F.² Hannemann, U.³ Hooman, J.⁴ Lakhnech, Y.⁵ Poel, M.⁶ Zwiers, J.⁷

8
- 0002780749
- Assigning meanings to programs
- (1967) Proc. Symp. in Applied Mathematics , vol.19 , pp. 19-32
- Floyd, R.W.¹

9
- 85178852976
- Modular analysis of discrete controllers for distributed hybrid systems. 2001
- Technical Report, submitted for publication
- Frehse, G.F.¹ Stursberg, O.² Engel, S.³ Huuck, R.⁴ Lukoschus, B.⁵

10
- 0003601982
- R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors; Springer-Verlag
- (1993) Hybrid Systems, Volume 736 of Lecture Notes in Computer Science

11
- 4243426229
- Semantic analysis of compositional proof methods for concurrency
- PhD thesis, Utrecht Universiteit, Oct.
- (2000)
- Hannemann, U.¹

12
- 0001954045
- What's decidable about hybrid automata
- ACM Press
- (1995) 27th Annual ACM Symposium on Theory of Computing
- Henzinger, T.A.¹ Kopke, P.W.² Puri, A.³ Varaiya, P.⁴

13
- 84944200168
- Assume-guarantee reasoning for hierarchical hybrid systems
- In M. D. D. Benedetto and A. Sangiovanni-Vincentelli, editors; Springer-Verlag
- (2001) Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome, Volume 2034 of Lecture Notes in Computer Science , pp. 275-290
- Henzinger, T.A.¹ Minea, M.² Prabhu, V.³

14
- 85178868871
- Reachability verification for hybrid automata
- Henzinger and Sastry , vol.15 , pp. 190-204
- Henzinger, T.A.¹ Rusu, V.²

15
- 85178864856
- Henzinger T. A. and S. Sastry, editors; Springer
- (1998) Proceedings of the First International Workshop on Hybrid Systems: Computation and Control (HSCC'98), Volume 1386 of Lecture Notes in Computer Science

16
- 0042468312
- A compositional approach to the design of hybrid systems
- In Grossman et al. [10]
- Hooman, J.¹

17
- 85088409941
- Proving safety properties of hybrid systems
- In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors; Kiel, Germany, September; Springer-Verlag. 3rd International School and Symposium
- (1994) Formal Techniques in Real-Time and Fault-Tolerant Systems 1994, Volume 863 of Lecture Notes in Computer Science
- Kapur, A.¹ Henzinger, T.A.² Manna, Z.³ Pnueli, A.⁴

18
- 0038096571
- Integration graphs: A class of decidable hybrid systems
- In Grossman et al. [10]
- Kesten, Y.¹ Pnueli, A.² Sifakis, J.³ Yovine, S.⁴

19
- 0002854495
- Approaches to the formal verification of hybrid systems
- Feb.
- (2001) At-Automatisierungstechnik. Special Issue: Hybrid Systems II: Analysis, Modeling, and Verification , vol.49 , Issue.2 , pp. 66-74
- Kowalewski, S.¹ Herrmann, P.² Engell, S.³ Krumm, H.⁴ Treseler, H.⁵ Lakhnech, Y.⁶ Huuck, R.⁷ Lukoschus, B.⁸

20
- 85178862022
- Hybrid I/O automata revisited
- to appear
- Proceedings of HSCC'01, 2001
- Lynch, N.A.¹ Segala, R.² Vaandrager, F.W.³

21
- 0003959332
- Deductive verification of hybrid systems using STeP
- In Henzinger and Sastry [15]
- Manna, Z.¹ Sipma, H.B.²

22
- 84944677742
- PVS: A prototype verification system
- In D. Kapur, editor; Springer-Verlag
- (1992) Automated Deduction (CADE-11), Volume 607 of Lecture Notes in Computer Science , pp. 748-752
- Owre, S.¹ Rushby, J.M.² Shankar, N.³

23
- 0003961477
- Uniformity for the decidability of hybrid automata
- In R. Cousot and D. A. Schmidt, editors; Springer-Verlag
- (1996) Proceedings of SAS '96, Volume 1145 of Lecture Notes in Computer Science , pp. 301-316
- Roux, O.¹ Rusu, V.²

24
- 84949196526
- Lazy compositional verification
- In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors; Springer
- (1998) Compositionality: The Significant Difference (Compos '97), Volume 1536 of Lecture Notes in Computer Science , pp. 541-564
- Shankar, N.¹

25
- 0004043124
- Assertional specification and verification using PVS of the steam boiler system
- Springer
- (1996) Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control System, Volume 1165 of Lecture Notes in Computer Science , pp. 453-472
- Vitt, J.¹ Hooman, J.²

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