Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tini, Simone
59  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

RobTL: A Temporal Logic for the Robustness of Cyber-Physica..:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
http://arxiv.org/abs/2212.11158.  , 2022
Link: http://arxiv.org/abs/221..
 
?
2

EvTL: A Temporal Logic for the Transient Analysis of Cyber-..:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
http://arxiv.org/abs/2204.13357.  , 2022
Link: http://arxiv.org/abs/220..
 
?
3

A framework to measure the robustness of programs in the un..:

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone
http://arxiv.org/abs/2111.15319.  , 2021
Link: http://arxiv.org/abs/211..
 
?
4

Proceedings Combined 25th International Workshop on Express..:

Pérez, Jorge A ; Tini, Simone
http://arxiv.org/abs/1808.08071.  , 2018
Link: http://arxiv.org/abs/180..
 
?
5

SOS-based modal decomposition on nondeterministic probabili..:

Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone
Castiglioni , V , Gebler , D & Tini , S 2018 , ' SOS-based modal decomposition on nondeterministic probabilistic processes ' , Logical Methods in Computer Science , vol. 14 , no. 2 , 18 , pp. 1-51 . https://doi.org/10.23638/LMCS-14(2:18)2018.  , 2018
Link: https://research.vu.nl/e..
 
?
6

Towards a formal notion of impact metric for cyber-physical..:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
http://arxiv.org/abs/1806.10463.  , 2018
Link: http://arxiv.org/abs/180..
 
?
7

Equational Reasonings in Wireless Network Gossip Protocols:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
http://arxiv.org/abs/1707.03215.  , 2017
Link: http://arxiv.org/abs/170..
 
?
8

Compositional weak metrics for group key update:

Lanotte, Ruggero ; MERRO, Massimo ; Tini, Simone
info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-046-0.  , 2017
Link: http://hdl.handle.net/11..
 
?
9

Compositional Weak Metrics for Group Key Update:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
doi:10.4230/LIPIcs.MFCS.2017.72.  , 2017
Link: https://doi.org/10.4230/..
 
?
10

SOS-based Modal Decomposition on Nondeterministic Probabili..:

Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone
http://arxiv.org/abs/1701.08330.  , 2017
Link: http://arxiv.org/abs/170..
 
?
11

Compositional bisimulation metric reasoning with Probabilis..:

Gebler, Daniel ; Larsen, Kim Guldstrand ; Tini, Simone
https://vbn.aau.dk/da/publications/59ae7bef-d788-4a79-adb6-a89672908c15.  , 2017
Link: https://vbn.aau.dk/da/pu..
 
?
12

Logical Characterization of Trace Metrics:

Castiglioni, Valentina ; Tini, Simone
http://arxiv.org/abs/1707.04124.  , 2017
Link: http://arxiv.org/abs/170..
 
?
13

A Probabilistic Calculus of Cyber-Physical Systems:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
http://arxiv.org/abs/1707.02279.  , 2017
Link: http://arxiv.org/abs/170..
 
?
14

Proceedings Combined 24th International Workshop on Express..:

Peters, Kirstin ; Tini, Simone
http://arxiv.org/abs/1709.00049.  , 2017
Link: http://arxiv.org/abs/170..
 
?
15

Weak Simulation Quasimetric in a Gossip Scenario:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-60225-7_10.  , 2017
Link: https://hal.inria.fr/hal..
 
1-15