Within the scope of the SENSORIA project we developed stochastic techniques for analysing quantitative aspects of services.

Deliverables

• D4.1.a: Stochastic Core Calculi
• D4.1.b: Stochastic Reasoning on Core Calculi
• D4.2.a: Stochastic Logics
• D4.2.b: Model Checking Stochastic Logics
• D4.3.a: Quantitative Measurements of Quality of Service for Service Level Agreements
• D4.4.a: Quantitative Techniques for Measuring Resource Usage
• D4.4.b: Quantitative techniques for measuring resource usage (second version)
• D4.a: Quantitative Reasoning on the Financial Case Study