TIPPtool: Compositional Specification and Analysis of Markovian Performance Models

H. Hermanns; N. Halbwachs; D. Peled; V. Mertsiotakis; M. Siegle

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models

H. Hermanns, N. Halbwachs (Editor), D. Peled (Editor), V. Mertsiotakis, M. Siegle

Research output: Contribution to conference › Paper › peer-review

117 Downloads (Pure)

Abstract

In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.

Original language	Undefined
Pages	487-490
Number of pages	4
Publication status	Published - 1999
Event	11th International Conference on Computer Aided Verification, CAV 1999 - Trento, Italy Duration: 6 Jul 1999 → 10 Jul 1999 Conference number: 11

Conference

Conference	11th International Conference on Computer Aided Verification, CAV 1999
Abbreviated title	CAV
Country/Territory	Italy
City	Trento
Period	6/07/99 → 10/07/99

Keywords

FMT-PA: PROCESS ALGEBRAS
FMT-PM: PROBABILISTIC METHODS
IR-66281
FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
EWI-6506

Access to Document

http://www.springerlink.com/content/7jdpavg4g887mr2t/

Cite this

@conference{6079809ee3434e1daf3bd3e1c58ac7fa,

title = "TIPPtool: Compositional Specification and Analysis of Markovian Performance Models",

abstract = "In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.",

keywords = "FMT-PA: PROCESS ALGEBRAS, FMT-PM: PROBABILISTIC METHODS, IR-66281, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6506",

author = "H. Hermanns and N. Halbwachs and D. Peled and V. Mertsiotakis and M. Siegle",

year = "1999",

language = "Undefined",

pages = "487--490",

note = "11th International Conference on Computer Aided Verification, CAV 1999 ; Conference date: 06-07-1999 Through 10-07-1999",

}

TY - CONF

T1 - TIPPtool: Compositional Specification and Analysis of Markovian Performance Models

AU - Hermanns, H.

AU - Mertsiotakis, V.

AU - Siegle, M.

A2 - Halbwachs, N.

A2 - Peled, D.

N1 - Conference code: 11

PY - 1999

Y1 - 1999

N2 - In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.

AB - In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-PM: PROBABILISTIC METHODS

KW - IR-66281

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - EWI-6506

M3 - Paper

SP - 487

EP - 490

T2 - 11th International Conference on Computer Aided Verification, CAV 1999

Y2 - 6 July 1999 through 10 July 1999

ER -