Formal methods for performance evaluation

DOI10.1007/3-540-44667-2_1MaRDI QIDQ4547763zbMATH OpenFDO

Authors Ulrich Herzog

Publication date 21 August 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2090/20900001

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computing methodologies and applications (68U99)

Recommendations

• Process algebra for performance evaluation
• Formal techniques for performance analysis: blending SAN and PEPA
• scientific article; zbMATH DE number 1946767
• Model checking for performability
• scientific article; zbMATH DE number 1497767
• Formally-based design evaluation

Cited in

(5)

• Construction and verification of performance and reliability models
• Stochastic activity networks: Formal definitions and concepts
• Applications and Theory of Petri Nets 2004
• Formal techniques for performance analysis: blending SAN and PEPA
• Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

This page was built for publication: Formal methods for performance evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4547763)