SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 131-135

Towards fine-grained automated verification of Publish-Subscribe architectures

(3) Baresi, Luciano a Ghezzi, Carlo a Mottola, Luca a

a POLITECNICO DI MILANO (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DATABASE SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS; FORMAL METHODS; MODELING LANGUAGES; PUBLISHING;

APPLICATION COMPONENTS; OPEN PROBLEM; PUBLISH-SUBSCRIBE ARCHITECTURES; REAL CONTEXTS; ASYNCHRONOUS COMMUNICATION MECHANISMS; AUTOMATED VERIFICATION; AUTOMATIC VERIFICATION; DISTRIBUTED APPLICATIONS; PUBLISH-SUBSCRIBE; REALISTIC COMMUNICATION; STATE-SPACE EXPLOSION;

COMPUTER ARCHITECTURE; MODEL CHECKING;

EID: 33750549842 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/11888116_10 Document Type: Conference Paper

Times cited : (12)

References (9)

1
- 0345565888
- The many faces of publish/subscribe
- Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of publish/subscribe. ACM Comput. Surv. 35 (2003)
- (2003) ACM Comput. Surv. , vol.35
- Eugster, P.T.¹ Felber, P.A.² Guerraoui, R.³ Kermarrec, A.M.⁴

2
- 1542265569
- Model-checking middleware-based event-driven real-time embedded software
- st Int. Symposium on Formal Methods for Components and Objects. (2002)
- (2002) st Int. Symposium on Formal Methods for Components and Objects
- Deng, X.¹ Dwyer, M.B.² Hatcliff, J.³ Jung, G.⁴

3
- 0037587555
- Cadena: An integrated development, analysis, and verification environment for component-based systems
- th Int. Conf. on Software Engineering (ICSE03). (2003)
- (2003) th Int. Conf. on Software Engineering (ICSE03)
- Hatcliff, J.¹ Deng, X.² Dwyer, M.B.³ Jung, G.⁴ Ranganath, V.⁵

4
- 33244470888
- A case study on the automated verification of groupware protocols
- th Int. Conf. on Software engineering (ICSE05). (2005)
- (2005) th Int. Conf. on Software Engineering (ICSE05)
- Beek, M.H.¹ Massink, M.² Latella, D.³ Gnesi, S.⁴ Forghieri, A.⁵ Sebastianis, M.⁶

5
- 4544345238
- Compositional verification of middleware-based software architecture descriptions
- th Int. Conf. on Software engineering (ICSE04). (2004)
- (2004) th Int. Conf. on Software Engineering (ICSE04)
- Caporuscio, M.¹ Inverardi, P.² Pelliccione, P.³

6
- 84954116353
- Model checking implicit-invocation systems
- th Int. Workshop on Software Specification and Design. (2000)
- (2000) th Int. Workshop on Software Specification and Design
- Garlan, D.¹ Khersonsky, S.²

7
- 1542286891
- Evaluating and improving the automatic analysis of implicit invocation systems
- th European software engineering Conf. (2003)
- (2003) th European Software Engineering Conf.
- Bradbury, J.S.¹ Dingel, J.²

8
- 33244488065
- An approach to model and validate publish/subscribe architectures
- Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish/subscribe architectures. In: Proc. of the SAVCBS'03 Workshop. (2003)
- (2003) Proc. of the SAVCBS'03 Workshop
- Zanolin, L.¹ Ghezzi, C.² Baresi, L.³

9
- 1542347185
- Bogor: An extensible and highly-modular software model checking framework
- th European software engineering Conf. (2003)
- (2003) th European Software Engineering Conf.
- Robby¹ Dwyer, M.B.² Hatcliff, J.³

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