Conferences in DBLP

School on Formal Methods for the Design of Computer, Communication and Software Systems (sfm)
2007 (conf/sfm/2007)

1. William J. Stewart
   Performance Modelling and Markov Chains. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:1-33 [Conf]
   
2. Simonetta Balsamo, Andrea Marin
   Queueing Networks. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:34-82 [Conf]
   
3. Gianfranco Balbo
   Introduction to Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:83-131 [Conf]
   
4. Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
   Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:132-179 [Conf]
   
5. Marco Bernardo
   A Survey of Markovian Behavioral Equivalences. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:180-219 [Conf]
   
6. Marta Z. Kwiatkowska, Gethin Norman, David Parker
   Stochastic Model Checking. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:220-270 [Conf]
   
7. Marco Gribaudo, Miklós Telek
   Fluid Models in Performance Analysis. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:271-317 [Conf]
   
8. William J. Knottenbelt, Jeremy T. Bradley
   Tackling Large State Spaces in Performance Modelling. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:318-370 [Conf]
   
9. Gianfranco Ciardo
   Data Representation and Efficient Solution: A Decision Diagram Approach. [Citation Graph (0, 0)][DBLP]
   SFM, 2007, pp:371-394 [Conf]
   
10. Connie U. Smith
    Introduction to Software Performance Engineering: Origins and Outstanding Problems. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:395-428 [Conf]
    
11. C. Murray Woodside
    From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:429-467 [Conf]