Filtros de búsqueda

Lista de obras de

A uniform definition of stochastic process calculi

artículo científico publicado en 2013

An Experimental Spatio-Temporal Model Checker

artículo científico publicado en 2015

Analysing Robot Swarm Decision-Making with Bio-PEPA

CARMA: Collective Adaptive Resource-sharing Markovian Agents

artículo científico publicado en 2015

Continuous approximation of collective system behaviour: A tutorial

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

artículo científico publicado en 2014

FlyFast: A Mean Field Model Checker

artículo científico publicado en 2017

FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation

artículo científico publicado en 2017

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

artículo científico publicado en 2015

MarCaSPiS: a Markovian Extension of a Calculus for Services

artículo científico publicado en 2009

Metric semantics for true concurrent real time

article by Joost-Pieter Katoen et al published March 2001 in Theoretical Computer Science

Model Checking Spatial Logics for Closure Spaces

artículo científico publicado en 2017

Model checking mobile stochastic logic

Modelling Non-linear Crowd Dynamics in Bio-PEPA

artículo científico publicado en 2011

On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics

On-the-fly Fast Mean-Field Model-Checking

artículo científico publicado en 2014

On-the-fly Fluid Model Checking via Discrete Time Population Models

artículo científico publicado en 2015

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

artículo científico publicado en 2015

On-the-fly Probabilistic Model Checking

artículo científico publicado en 2014

Spatial Logic and Spatial Model Checking for Closure Spaces

artículo científico publicado en 2016

Spatio-temporal model checking of vehicular movement in public transport systems

artículo científico publicado en 2018

Specifying and Verifying Properties of Space

artículo científico publicado en 2014

Stochastically timed predicate-based communication primitives for autonomic computing

artículo científico publicado en 2014

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE

artículo científico publicado en 1991

Towards a Logic for Performance and Mobility

article

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda