European Educational Forum: School on Formal Methods and Performance Analysis 2000

@proceedings{DBLP:conf/eef/2000,
  editor    = {Ed Brinksma and
               Holger Hermanns and
               Joost-Pieter Katoen},
  title     = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
               Summer School on Trends in Computer Science, Berg en Dal, The
               Netherlands, July 3-7, 2000, Revised Lectures},
  booktitle = {Euro Summer School on Trends in Computer Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2090},
  year      = {2001},
  isbn      = {3-540-42479-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Ulrich Herzog:
  Formal Methods for Performance Evaluation. 1-37
  
• Boudewijn R. Haverkort:
  Markovian Models for Performance and Dependability Evaluation. 38-83
  
• Gianfranco Balbo:
  Introduction to Stochastic Petri Nets. 84-155
  
• Reinhard German:
  Non-Markovian Analysis. 156-182
  
• Ed Brinksma, Holger Hermanns:
  Process Algebra and Markov Chains. 183-231
  
• Roberto Segala:
  Verification of Randomized Distributed Algorithms. 232-260
  
• Pierre Wolper:
  Constructing Automata from Temporal Logic Formulas: A Tutorial. 261-277
  
• Jane Hillston:
  Exploiting Structure in Solution: Decomposing Compositional Models. 278-314
  
• William H. Sanders, John F. Meyer:
  Stochastic Activity Networks: Formal Definitions and Concepts. 315-343
  
• Gianfranco Ciardo:
  Distributed and Structured Analysis Approaches to Study Large and Complex Systems. 344-374
  
• Joost-Pieter Katoen, Pedro R. D'Argenio:
  General Distributions in Process Algebra. 375-430
  

Last update Fri May 25 05:56:26 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page