Resultados da busca - Simone Tini

Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators por Daniel Gebler, Simone Tini

Obter o texto integral

Compositionality of Approximate Bisimulation for Probabilistic Systems por Daniel Gebler, Simone Tini

Obter o texto integral

Logical Characterization of Trace Metrics por Valentina Castiglioni, Simone Tini

Obter o texto integral

Equational Reasonings in Wireless Network Gossip Protocols por Ruggero Lanotte, Massimo Merro, Simone Tini

Obter o texto integral

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes por Valentina Castiglioni, Daniel Gebler, Simone Tini

Obter o texto integral

A framework to measure the robustness of programs in the unpredictable environment por Valentina Castiglioni, Michele Loreti, Simone Tini

Obter o texto integral

Logical Characterization of Bisimulation Metrics por Valentina Castiglioni, Daniel Gebler, Simone Tini

Obter o texto integral

Compositional bisimulation metric reasoning with Probabilistic Process Calculi por Daniel Gebler, Kim G. Larsen, Simone Tini

Obter o texto integral

Formal Quantitative Tolerance of Cyber-Physical Systems Under Periodic Attacks por Jian Xiang, Simone Tini, Ruggero Lanotte, Massimo Merro

Obter o texto integral

Aspects of multiscale modelling in a process algebra for biological systems por Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini

Obter o texto integral