SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 128, Issue 6, 2005, Pages 311-324

Model-checking the preservation of temporal properties upon feature integration

(3) Guelev, Dimitar P a Ryan, Mark a Schobbens, Pierre Yves b

a UNIVERSITY OF BIRMINGHAM (United Kingdom)

b UNIVERSITY OF NAMUR (Belgium)

Author keywords

Features; Model checking; Property preservation; Safety properties; Temporal properties

Indexed keywords

COMPUTATIONAL METHODS; FEATURE EXTRACTION; INTERACTIVE COMPUTER GRAPHICS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; TELECOMMUNICATION SYSTEMS; THEOREM PROVING;

FEATURES; MODEL CHECKING; PROPERTY PRESERVATION; SAFETY PROPERTIES; TEMPORAL PROPERTIES;

COMPUTER SCIENCE;

EID: 18744397522 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/j.entcs.2005.04.019 Document Type: Conference Paper

Times cited : (3)

References (12)

1
- 84888210118
- The forspec temporal logic: A new temporal property-specification language
- Proceedings of TACAS'02, Springer
- R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, Eli Singerman, A. Tiemeyer, M.Y. Vardi, and Y. Zbar The forspec temporal logic: A new temporal property-specification language Proceedings of TACAS'02 LNCS volume 2280 2002 Springer 296 311
- (2002) LNCS , vol.2280 , pp. 296-311
- Armoni, R.¹ Fix, L.² Flaisher, A.³ Gerth, R.⁴ Ginsburg, B.⁵ Kanza, T.⁶ Landver, A.⁷ Mador-Haim, S.⁸ Eli, S.⁹ Tiemeyer, A.¹⁰ Vardi, M.Y.¹¹ Zbar, Y.¹²

2
- 2942710313
- IOS Press
- D. Amyot L. Logrippo Feature Interactions in Telecommunications and Software Systems VII 2003 IOS Press
- (2003) Feature Interactions in Telecommunications and Software Systems VII
- Amyot, D.¹ Logrippo, L.²

3
- 0006818851
- Formal analysis of feature interactions by model checking
- St. Petersburg, FL, U.S.A., December
- L.G. Bouma and J. Zuidweg. Formal analysis of feature interactions by model checking. In Proceedings First International Workshop on Feature Interactions in Telecommunications Systems, St. Petersburg, FL, U.S.A., December 1992
- (1992) Proceedings First International Workshop on Feature Interactions in Telecommunications Systems
- Bouma, L.G.¹ Zuidweg, J.²

4
- 0003720567
- IOS Press
- M. Calder E. Magill Feature Interactions in Telecommunications and Software Systems VI 2000 IOS Press
- (2000) Feature Interactions in Telecommunications and Software Systems VI
- Calder, M.¹ Magill, E.²

5
- 84894619954
- Using spin for feature interaction analysis - A case study
- Proceedings of The 8th International SPIN Workshop on Model Checking of Software, (SPIN'2001), Toronto, Canada May
- M. Calder, and A. Miller Using spin for feature interaction analysis - a case study Proceedings of The 8th International SPIN Workshop on Model Checking of Software (SPIN'2001), Toronto, Canada LNCS volume 2057 May 2001 143 162
- (2001) LNCS , vol.2057 , pp. 143-162
- Calder, M.¹ Miller, A.²

6
- 84958047646
- Feature interaction detection using testing and model-checking experience report
- Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems
- L. du Bousquet Feature interaction detection using testing and model-checking experience report Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems Lecture Notes In Computer Science volume 1 1999 622 641
- (1999) Lecture Notes in Computer Science , vol.1 , pp. 622-641
- Du Bousquet, L.¹

7
- 0021011328
- A Hardware Semantics Based on Temporal Intervals
- Proceedings of ICALP'83, Springer
- J. Halpern, Z. Manna, and B. Moszkowski A Hardware Semantics Based on Temporal Intervals Proceedings of ICALP'83 LNCS volume 154 1983 Springer 278 291
- (1983) LNCS , vol.154 , pp. 278-291
- Halpern, J.¹ Manna, Z.² Moszkowski, B.³

8
- 0003524414
- Cambridge University Press
- M.R. Huth, and M.D. Ryan Logic in Computer Science: Modelling and Reasoning about Systems 2000 Cambridge University Press
- (2000) Logic in Computer Science: Modelling and Reasoning about Systems
- Huth, M.R.¹ Ryan, M.D.²

9
- 0036044742
- Temporal logic with forgettable past
- (LICS'02) IEEE Computer Society Press
- F. Laroussinie, N. Markey, and Ph. Schnoebelen Temporal logic with forgettable past 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) 2002 IEEE Computer Society Press 383 392
- (2002) 17th Annual IEEE Symposium on Logic in Computer Science , pp. 383-392
- Laroussinie, F.¹ Markey, N.² Schnoebelen, Ph.³

10
- 85035040046
- The glory of the past
- Proceedings of the Confenerence on Logic of Programs, Springer
- O. Lichtenstein, A. Pnueli, and L. Zuck The glory of the past Proceedings of the Confenerence on Logic of Programs LNCS volume 193 1985 Springer 196 218
- (1985) LNCS , vol.193 , pp. 196-218
- Lichtenstein, O.¹ Pnueli, A.² Zuck, L.³

11
- 85034845659
- The anchored version of the temporal framework
- Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, J.W. De Bakker W.-P. de Roever G. Rozenberg Springer
- Z. Manna, and A. Pnueli The anchored version of the temporal framework J.W. De Bakker W.-P. de Roever G. Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency LNCS volume 354 1989 Springer 201 284
- (1989) LNCS , vol.354 , pp. 201-284
- Manna, Z.¹ Pnueli, A.²

12
- 0035452436
- Feature integration using a feature construct
- M.C. Plath, and M.D. Ryan Feature integration using a feature construct Science of Computer Programming 2001
- (2001) Science of Computer Programming
- Plath, M.C.¹ Ryan, M.D.²

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