skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Lal, Akash ; Tonetta, Stefano

Cham: Springer International Publishing AG 2023

Sem texto completo

Citações Citado por
2
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Guiochet, Jérémie ; Tonetta, Stefano ; Bitsch, Friedemann

Cham: Springer 2023

Sem texto completo

Citações Citado por
3
Making the Case for Safety of Machine Learning in Highly Automated Driving
Making the Case for Safety of Machine Learning in Highly Automated Driving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Making the Case for Safety of Machine Learning in Highly Automated Driving

Burton, Simon ; Gauerhof, Lydia ; Heinzemann, Christian Schoitsch, Erwin ; Bitsch, Friedemann ; Tonetta, Stefano

Computer Safety, Reliability, and Security, p.5-16 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
4
Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

Tonetta, Stefano ; Lal, Akash

Cham: Springer International Publishing 2023

Sem texto completo

Citações Citado por
5
Linear-time Temporal Logic with Event Freezing Functions
Linear-time Temporal Logic with Event Freezing Functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Linear-time Temporal Logic with Event Freezing Functions

Tonetta, Stefano

Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.195-209

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Safety-Aware Control of Swarms of Drones
Safety-Aware Control of Swarms of Drones
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Safety-Aware Control of Swarms of Drones

Majd, Amin ; Troubitsyna, Elena ; Daneshtalab, Masoud Schoitsch, Erwin ; Bitsch, Friedemann ; Tonetta, Stefano

Computer Safety, Reliability, and Security, 2017, p.249-260 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
Certifying proofs for SAT-based model checking
Certifying proofs for SAT-based model checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Certifying proofs for SAT-based model checking

Griggio, Alberto ; Roveri, Marco ; Tonetta, Stefano

Formal methods in system design, 2021-08, Vol.57 (2), p.178-210 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
8
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Guiochet, Jérémie ; Tonetta, Stefano ; Schoitsch, Erwin ; Roy, Matthieu ; Bitsch, Friedemann

Cham: Springer 2023

Sem texto completo

Citações Citado por
9
A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain
A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain

Dürrwang, Jürgen ; Beckers, Kristian ; Kriesten, Reiner Schoitsch, Erwin ; Bitsch, Friedemann ; Tonetta, Stefano

Computer Safety, Reliability, and Security, p.305-319 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings

Tonetta, Stefano ; Bitsch, Friedemann ; Guiochet, Jérémie

Cham: Springer Nature Switzerland

Sem texto completo

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (78)
  2. Revistas revisadas por pares (191)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (132)
  2. Anais de Congresso  (69)
  3. Artigos  (47)
  4. Livros  (6)
  5. Web Resources  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (4)
  2. 2006Até2009  (15)
  3. 2010Até2013  (22)
  4. 2014Até2018  (94)
  5. Após 2018  (118)
  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.