Differences

This shows you the differences between two versions of the page.

--- didattica:magistrale:atse:ay_1718:main [2018/06/07 15:40]
michele [Study Material]
+++ didattica:magistrale:atse:ay_1718:main [2020/09/17 16:55] (current)
@@ Line 75: / Line 75: @@
   * Lecture 30/01/2018 Quantitative semantics of STL  (Part I) [[http://www-verimag.imag.fr/~maler/Papers/STLRobustAlgo.pdf|Reference]] [[https://unicam.webex.com/unicam/ldr.php?RCID=686ebc432a2d89bf827f95155a4dcbd4|View]] [[https://unicam.webex.com/unicam/lsr.php?RCID=af42661f9625c1f7bc4e64948fa4b428 |Download]]
   * Lecture 31/01/2018 (3 h) Quantitative semantics of STL  (Part II) [[https://unicam.webex.com/unicam/ldr.php?RCID=6b376cb123e82dc6ca1c4a72d8391cdd|View]] [[https://unicam.webex.com/unicam/lsr.php?RCID=ad98f708709d092f8691d356cf7b2694 |Download]]
+  * Lecture 06/06/2018 Stochastic Process Algebras: ([[http://www.dcs.ed.ac.uk/pepa/|PEPA]]) ([[http://lanther.co.uk/papers/FM2009.pdf|paper]]) ([[http://www.dcs.ed.ac.uk/pepa/tools/plugin/index.html|Tool]]) [[https://unicam.webex.com/unicam/ldr.php?RCID=0f809f09cd3550ea7ea5374139e27926 |View]] [[https://unicam.webex.com/unicam/lsr.php?RCID=4126b9fe0d57c731623693eb02331ed7 |Download]]
+  * Lecture 06/06/2018 (4h) Stochastic Process Algebras: CARMA ({{ :didattica:magistrale:atse:ay_1718:slides_carma.pdf |slides}}) ([[http://lanther.co.uk/papers/FM2009.pdf|paper]]) ([[http://quanticol.github.io/CARMA/|Tool]]) ({{ :didattica:magistrale:atse:ay_1718:carmatutorial.pdf |docs}})[[https://unicam.webex.com/unicam/ldr.php?RCID=c3120e1b317e16fc658a2faaf7642e49 |View]] [[https://unicam.webex.com/unicam/lsr.php?RCID=e8ba63cfb73da0e51ba30fc4f9b886bc |Download]]
 </WRAP>
@@ Line 87: / Line 89: @@
   * {{ :didattica:magistrale:atse:ay_1718:10.1007_s10009-014-0350-1.pdf |Statistical Model Checking}}
   * [[https://arxiv.org/abs/1506.08234|Robust Online Monitoring of Signal Temporal Logic]]
-  * Use of PEPA ([[http://www.dcs.ed.ac.uk/pepa/tools/plugin/|link]])
+  * [[https://www.sciencedirect.com/science/article/pii/S0304397515002224?via%3Dihub| System design of stochastic models using robustness of temporal properties]]
-  * Use of CARMA ([[http://quanticol.github.io|link]])
+  * Use of PEPA ([[http://www.dcs.ed.ac.uk/pepa/tools/plugin/|link]]) to model one of the scenarios described below
+  * Use of CARMA ([[http://quanticol.github.io|link]])to model one of the scenarios described below
+**Scenarios**
+  * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]]
+  * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]]
+  * [[https://en.wikipedia.org/wiki/Lotka–Volterra_equations|Predator-Prey Model]]
+  * [[http://www.prismmodelchecker.org/casestudies/asynchronous_leader.php|Asynchronous Leader Election]]
 ** Results **
   * N/A
 </WRAP>