Items where Author is "Massink, Mieke"

Article

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

Book Section

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Working Paper

Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted)

Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio Stochastically timed predicate-based communication primitives for autonomic computing. Technical Report #3/2014 QUANTICOL Project

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca