Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

by Valerio Senni, Michele Stawowy
Published 2014-07-01

Stochastically timed predicate-based communication primitives for autonomic computing

by Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
Published 2014-06-01

An Application of SMC to continuous validation of heterogeneous systems

by Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
Published 2017-02-01

An Application of SMC to continuous validation of heterogeneous systems

by Alexandre Arnold, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
Published 2017-12-01