default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSFM 2007: Bertinoro, Italy
- Marco Bernardo, Jane Hillston:
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. Lecture Notes in Computer Science 4486, Springer 2007, ISBN 978-3-540-72482-7 - William J. Stewart:
Performance Modelling and Markov Chains. 1-33 - Simonetta Balsamo, Andrea Marin:
Queueing Networks. 34-82 - Gianfranco Balbo:
Introduction to Generalized Stochastic Petri Nets. 83-131 - Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Stochastic Process Algebras. 132-179 - Marco Bernardo:
A Survey of Markovian Behavioral Equivalences. 180-219 - Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Model Checking. 220-270 - Marco Gribaudo
, Miklós Telek:
Fluid Models in Performance Analysis. 271-317 - William J. Knottenbelt, Jeremy T. Bradley:
Tackling Large State Spaces in Performance Modelling. 318-370 - Gianfranco Ciardo:
Data Representation and Efficient Solution: A Decision Diagram Approach. 371-394 - Connie U. Smith:
Introduction to Software Performance Engineering: Origins and Outstanding Problems. 395-428 - C. Murray Woodside:
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. 429-467
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-19 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
