MASSINK, MIEKE
MASSINK, MIEKE
Fisica e Astronomia
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.002 secondi).
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
2015 Latella, Diego; Loreti, Michele; Massink, Mieke
MarCaSPiS: a Markovian Extension of a Calculus for Services
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
Model checking mobile stochastic logic
2007 R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK
On StocS: A Stochastic Extension of SCEL
2015 Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio
On-the-fly fluid model checking via discrete time population models
2015 Latella, Diego; Loreti, Michele; Massink, Mieke
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
2015 Latella, Diego; Loreti, Michele; Massink, Mieke
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
2015 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
Rate-Based Transition Systems for Stochastic Process Calculi
2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | |
| MarCaSPiS: a Markovian Extension of a Calculus for Services | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink | |
| Model checking mobile stochastic logic | 2007 | R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK | |
| On StocS: A Stochastic Extension of SCEL | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio | |
| On-the-fly fluid model checking via discrete time population models | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | |
| On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination | 2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | |
| Qualitative and Quantitative Monitoring of Spatio-Temporal Properties | 2015 | Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke | |
| Rate-Based Transition Systems for Stochastic Process Calculi | 2009 | R. De Nicola; D. Latella; M. Loreti; M. Massink |