skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Tini, Simone remover autor: Maggiolo-Schettini, Andrea remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone

Logical methods in computer science, 2018-08, Vol.14 (2) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
2
A framework to measure the robustness of programs in the unpredictable environment
A framework to measure the robustness of programs in the unpredictable environment
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework to measure the robustness of programs in the unpredictable environment

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone

Logical methods in computer science, 2023-01, Vol.19, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, Daniel ; Larsen, Kim G. ; Tini, Simone

Logical methods in computer science, 2016-01, Vol.12, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Equational Reasonings in Wireless Network Gossip Protocols
Equational Reasonings in Wireless Network Gossip Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Equational Reasonings in Wireless Network Gossip Protocols

Ruggero Lanotte ; Massimo Merro ; Simone Tini

Logical methods in computer science, 2018-09, Vol.14, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
A framework to measure the robustness of programs in the unpredictable environment
A framework to measure the robustness of programs in the unpredictable environment
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework to measure the robustness of programs in the unpredictable environment

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks

Xiang, Jian ; Lanotte, Ruggero ; Tini, Simone ; Chong, Stephen ; Merro, Massimo

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

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

Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone

arXiv.org, 2022-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Logical Characterization of Bisimulation Metrics
Logical Characterization of Bisimulation Metrics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical Characterization of Bisimulation Metrics

Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone

arXiv.org, 2016-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Logical Characterization of Trace Metrics
Logical Characterization of Trace Metrics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical Characterization of Trace Metrics

Castiglioni, Valentina ; Tini, Simone

arXiv.org, 2017-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (30)
  2. Revistas revisadas por pares (12)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (30)
  2. Book Chapters  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2009  (3)
  2. 2009Até2011  (5)
  3. 2012Até2014  (3)
  4. 2015Até2018  (12)
  5. Após 2018  (9)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.