Search Results - "Massink, Mieke"

Spatial logics and model checking for medical imaging by Banci Buonamici, Fabrizio, Belmonte, Gina, Ciancia, Vincenzo, Latella, Diego, Massink, Mieke

“…Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical methods for topological spaces…”
Get full text

Model Checking Spatial Logics for Closure Spaces by Ciancia, Vincenzo, Latella, Diego, Loreti, Michele, Massink, Mieke

“…Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing…”
Get full text

Geometric Model Checking of Continuous Space by Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Grilletti, Gianluca, Latella, Diego, Massink, Mieke

“…Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The…”
Get full text

Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination by Latella, Diego, Massink, Mieke

“…Collective Adaptive Systems (CAS) consist of a large number of interacting objects. The design of such systems requires scalable analysis tools and methods,…”
Get full text

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging by Belmonte, Gina, Ciancia, Vincenzo, Latella, Diego, Massink, Mieke

“…Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side…”
Get full text

CARMA: Collective Adaptive Resource-sharing Markovian Agents by Bortolussi, Luca, De Nicola, Rocco, Galpin, Vashti, Gilmore, Stephen, Hillston, Jane, Latella, Diego, Loreti, Michele, Massink, Mieke

“…In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process…”
Get full text

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically by Latella, Diego, Massink, Mieke, De Vink, Erik P

“…Labeled state-to-function transition systems, FuTS for short, are characterized by transitions which relate states to functions of states over general…”
Get full text

A Definition Scheme for Quantitative Bisimulation by Latella, Diego, Massink, Mieke, de Vink, Erik

“…FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as…”
Get full text

Stochastically timed predicate-based communication primitives for autonomic computing by Latella, Diego, Loreti, Michele, Massink, Mieke, Senni, Valerio

“…Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time…”
Get full text

On-the-fly Probabilistic Model Checking by Latella, Diego, Loreti, Michele, Massink, Mieke

“…Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal…”
Get full text

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021) by Hojjat, Hossein, Massink, Mieke

Get full text

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019) by Hojjat, Hossein, Massink, Mieke

Get full text

Continuous approximation of collective system behaviour: A tutorial by Bortolussi, Luca, Hillston, Jane, Latella, Diego, Massink, Mieke

“…In this paper we present an overview of the field of deterministic approximation of Markov processes, both in discrete and continuous times. We will discuss…”
Get full text

A refined mean field approximation of synchronous discrete-time population models by Gast, Nicolas, Latella, Diego, Massink, Mieke

“…Mean field approximation is a popular method to study the behaviour of stochastic models composed of a large number of interacting objects. When the objects…”
Get full text

Spatio-temporal model checking of vehicular movement in public transport systems by Ciancia, Vincenzo, Gilmore, Stephen, Grilletti, Gianluca, Latella, Diego, Loreti, Michele, Massink, Mieke

“…We present the use of a novel spatio-temporal model checker to detect problems in the data and operation of a collective adaptive system. Data correctness is…”
Get full text

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination by Latella, Diego, Loreti, Michele, Massink, Mieke

“…•We show a new procedure combining on-the-fly model-checking and mean-field.•We prove the asymptotic correctness of the on-the-fly model-checking procedure.•We…”
Get full text

Quantitative Aspects of Programming Languages and Systems (2011–12) by Massink, Mieke, Norman, Gethin, Wiklicky, Herbert

Get full text

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL by L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, M. Massink

“…In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city…”
Get full text

On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics by Massink, Mieke, Brambilla, Manuele, Latella, Diego, Dorigo, Marco, Birattari, Mauro

“…In this paper we analyse a swarm robotics system using Bio-PEPA. Bio-PEPA is a process algebra language originally developed to analyse biochemical systems. A…”
Get full text

Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems: Preface by Wiklicky, Herbert, Massink, Mieke

Get full text