Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

DOI10.1007/978-3-540-75211-0MaRDI QIDQ932893zbMATH OpenOpenAlexFDO

Authors

Publication date 17 July 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-75211-0

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Formal methods and stochastic models for performance evaluation. Third European performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21--22, 2006. Proceedings.
• Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 -- June 2, 2007. Advanced lectures
• Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12--14, 2001. Proceedings
• Computer performance engineering. 7th European performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23--24, 2010. Proceedings
• Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures
• Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings
• scientific article; zbMATH DE number 1786471
• Modelling and performance evaluation methodology. Proceedings of the International Seminar, Paris, France, January 24-26, 1983. (INRIA)
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems

Cited in

(1)

• Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings

This page was built for publication: Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

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