MASSINK, MIEKE
MASSINK, MIEKE
Fisica e Astronomia
ECAS 2018 Foreword: 3rd Workshop on Engineering Collective Adaptive Systems
2019 Cabri G.; Dobson S.; De Sanctis M.; Bourcier J.; Schiendorfer A.; Dustdar S.; Damiani F.; Musolesi M.; Wirsing M.; Hillston J.; Viroli M.; Bortolussi L.; Teuscher C.; Massink M.; Gallo F.; Trubiani C.; Spalazzese R.; Iovino L.; Pahl C.; Klos V.; Geihs K.; Caporuscio M.; Loreti M.; Inverardi P.; Lewis P.; Markey N.; Melgratti H.; Bagnoli F.; Clarke S.; Di Marzo Serugendo G.; Powers S.; Mourshed M.; Coore D.
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 |
|---|---|---|---|
| ECAS 2018 Foreword: 3rd Workshop on Engineering Collective Adaptive Systems | 2019 | Cabri G.; Dobson S.; De Sanctis M.; Bourcier J.; Schiendorfer A.; Dustdar S.; Damiani F.; Musolesi M.; Wirsing M.; Hillston J.; Viroli M.; Bortolussi L.; Teuscher C.; Massink M.; Gallo F.; Trubiani C.; Spalazzese R.; Iovino L.; Pahl C.; Klos V.; Geihs K.; Caporuscio M.; Loreti M.; Inverardi P.; Lewis P.; Markey N.; Melgratti H.; Bagnoli F.; Clarke S.; Di Marzo Serugendo G.; Powers S.; Mourshed M.; Coore D. | |
| 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 |