SCOPUS 정보 검색 플랫폼

Computer Journal

Volumn 45, Issue 3, 2002, Pages 260-277

Quantitative analysis of UML statechart models of dependable systems

(5) Huszerl, Gábor a Majzik, István a Pataricza, András a Kosmidis, Konstantinos b Dal Cin, Mario b

a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS (Hungary)

b UNIVERSITY OF ERLANGEN NUREMBERG (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; ROBOTIC ARMS; STOCHASTIC CONTROL SYSTEMS; SYSTEMS ANALYSIS;

STOCHASTIC REWARD NETS (SRN); UNIFIED MODELING LANGUAGE (UML);

COMPUTER CONTROL SYSTEMS;

EID: 0036272034 PISSN: 00104620 EISSN: None Source Type: Journal
DOI: 10.1093/comjnl/45.3.260 Document Type: Article

Times cited : (36)

References (29)

1
- 0003547470
- Addison-Wesley Longman, Inc., Reading, MA
- (1999) The Unified Modeling Language Reference Manual
- Rumbaugh, J.¹ Jacobson, I.² Booch, G.³

2
- 0004205924
- Object Management Group, Needham, MA
- (1997) UML Semantics, Version 1.3

3
- 0033740002
- High-level integrated design environment for dependability (HIDE)
- Monterey, CA, November 18-20. IEEE Computer Society, Los Alamitos, CA
- (1999) Proc. Fifth Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS-99F) , pp. 87-92
- Bondavalli, A.¹ Dal Cin, M.² Latella, D.³ Pataricza, A.⁴

4
- 0023365727
- Statecharts: A visual formalism for complex systems
- (1987) Sci. Comput. Program. , vol.8 , pp. 231-274
- Hard, D.¹

5
- 0009361024
- Transformation of guarded statecharts for quantitative evaluation of dependable embedded systems
- Vienna, Austria, May 6-7, Österreichische Computer Gesellschaft, Vienna
- (1999) Proc. 10th Eur. Workshop on Dependable Computing (EWDC-10) , pp. 143-148
- Dal Cin, M.¹ Huszerl, G.² Kosmidis, K.³

6
- 36849067480
- Quantitative evaluation of dependability critical systems based on guarded statechart models
- Washington, DC, November 17-19. IEEE Computer Society, Los Alamitos, CA
- (1999) Proc. HASE'99, Fourth IEEE Int. Symp. on High Assurance Systems Engineering
- Dal Cin, M.¹ Huszerl, G.² Kosmidis, K.³

7
- 0005439729
- Stochastic Petri nets: An elementary introduction
- Rozenberg, G. (ed.), Springer, Wien, Berlin
- (1991) Advances in Petri Nets , pp. 1-29
- Ajmone Marsan, M.¹

8
- 0001470680
- Automated generation and analysis of Markov reward models using stochastic reward nets
- Meyer, C. and Plemmons, R. J. (eds), Springer, Berlin
- (1993) IMA Volumes in Mathematics and its Applications: Linear Algebra, Markov Chains and Queueing Models , vol.48 , pp. 145-191
- Ciardo, G.¹ Blakemore, A.² Chimento, P.³ Muppala, J.⁴ Trivedi, K.⁵

9
- 0003268981
- Stochastic reward nets for reliability prediction
- (1994) Commun. Reliab., Maintain. Service , vol.1 , pp. 9-20
- Muppala, J.K.¹ Ciardo, G.² Trivedi, K.S.³

10
- 61349116245
- Hierarchically combined queueing Petri nets
- Proc. 11th Int. Conf. on Analysis and Optimization of Systems, Discrete Event Systems, Sophia-Antipolis, France, June, Springer, Wien, New York
- (1994) Lecture Notes in Computer Science , vol.199 , pp. 176-182
- Bause, F.¹ Buchholz, P.² Kemper, P.³

11
- 84955612267
- Extended Markovian process algebra
- Proc. 7th Int. Conf. on Concurrency Theory (CONCUR'96), Pisa, Italy, August 26-29, Springer, Wien, New York
- (1996) Lecture Notes in Computer Science , vol.1119 , pp. 315-330
- Beruardo, M.¹ Gorrieri, R.²

12
- 0029506865
- A comparison of performance evaluation process algebra and generalized stochastic Petri nets
- Duke University, NC, October 3-6. IEEE Computer Society, Los Alamitos, CA
- (1995) Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM'95)
- Donatelli, S.¹ Hillston, J.² Ribaudo, M.³

13
- 0024908784
- SPNP - Stochastic Petri net package
- Kyoto, Japan, December 11-13, IEEE Computer Society, Los Alamitos, CA
- (1989) Proc. IEEE 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89) , pp. 142-151
- Ciardo, G.¹ Muppala, J.² Trivedi, K.S.³

14
- 0009425857
- PANDA - Petri net analysis and design assistant
- Tools Descriptions, 9th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation (Tools'97), St. Malo, France, June 2-6. Springer, Wien, New York
- (1997) Lecture Notes in Computer Science , vol.1245 , pp. 58-60
- Allmaier, S.¹ Dalibor, S.²

15
- 0003739649
- Addison-Wesley Longman, Inc., Reading, MA
- (1998) Real-Time UML
- Douglass, B.P.¹

16
- 0002404838
- Towards a formal operational semantics of UML statechart diagrams
- Florence, Italy, February, Kluwer, New York
- (1999) Proc. FMOODS'99, IFIP TC6/WG6.1, 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems , pp. 331-347
- Latella, D.¹ Majzik, I.² Massink, M.³

17
- 84929343103
- Quantitative analysis of dependability critical systems based on UML statechart models
- Albuquerque, NM, November 15-17, IEEE Computer Society, Los Alamitos, CA
- (2000) Proc. HASE 2000, Fifth IEEE Int. Symp. on High Assurance Systems Engineering , pp. 83-92
- Huszerl, G.¹ Majzik, I.²

18
- 0004026250
- Springer, Wien, New York
- (1990) Fault Tolerance, Principles and Practice
- Lee, P.A.¹ Anderson, T.²

19
- 85040771032
- Checking modification tolerance
- Washington, DC, November 13-14, IEEE Computer Society, Los Alamitos, CA
- (1998) Proc. Third IEEE Int. High-Assurance Systems Engineering Symp., HASE 98 , pp. 9-12
- Dal Cin, M.¹

20
- 0030640746
- Verifying fault-tolerant behavior of state machines
- Washington, DC, August 11-12, IEEE Computer Society, Los Alamitos, CA
- (1997) Proc. Second IEEE High-Assurance Systems Engineering Workshop, HASE 97 , pp. 94-99
- Dal Cin, M.¹

21
- 0009407856
- Modeling fault-tolerant system behavior
- Albrecht, R. (ed.), Springer, Wien, New York
- (1998) Advances in Computing Science , vol.3 , pp. 213-234
- Dal Cin, M.¹

22
- 0009315677
- Master's Thesis, TU Budapest/University of Erlangen-Nuremberg
- (1998) Formal Verification of Fault-Tolerant Systems. A Relational Approach to Model Checking
- Huszerl, G.¹

23
- 0009414628
- Structured language for specification of quantitative requirements
- Albuquerque, NM, November 15-17, IEEE Computer Society, Los Alamitos, CA
- (2000) Proc. HASE 2000, Fifth IEEE Int. Symp. on High Assurance Systems Engineering , pp. 221-227
- Dal Cin, M.¹

24
- 0000179363
- Automated dependability analysis of UML designs
- Saint Malo, France, May 2-5, IEEE Computer Society, Los Alamitos, CA
- (1999) Proc. 2nd IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing (ISORC'99) , pp. 139-144
- Bondavalli, A.¹ Majzik, I.² Mura, I.³

25
- 0009319587
- UML - Extensions for quantitative analysis
- York, October. LMU-München, Institut für Informatik, München, Germany
- (2000) Proc. UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions , pp. 70-75
- Huszerl, G.¹ Kosmidis, K.²

26
- 84889052319
- Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts
- Warsaw, Poland, September 4-6, IEEE Computer Society, Los Alamitos, CA
- (2001) Proc. 27th Euromicro Conf., Workshop on Software Process and Product Improvement , pp. 200-207
- Huszerl, G.¹ Majzik, I.²

27
- 0003262645
- Formal development of reactive systems: Case study production cell
- Springer, Wien, New York
- (1995) Lecture Notes in Computer Science , vol.891
- Lewerentz, C.¹ Lindner, Th.²

28
- 0030637986
- Automated computation of decomposable synchronization conditions
- Washington, DC, August 11-12, IEEE Computer Society, Los Alamitos, CA
- (1997) Proc. Second IEEE High-Assurance Systems Engineering Symp., HASE 97 , pp. 72-77
- Matos, G.¹ Purtilo, J.² White, E.³

29
- 0009315678
- Technical Report ESPRIT Project 27439 (HIDE) deliverable 5 (HIDE/D5/TUB/1/v2)
- (1998) The Demonstrator
- Csertán, Gy.¹ Dal Cin, M.² Huszerl, G.³ Jávorszky, J.⁴ Kosmidis, K.⁵ Pataricza, A.⁶ Szász, Cs.⁷

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