Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 16 a 24 di 24
Titolo Data di pubblicazione Autore(i) File
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation 1-gen-2023 Rebelo, Luciana; Souza, Érica; Berkenbrock, Gian; Barbosa, Gerson; Silva, Marlon; Endo, André; Vijaykumar, Nandamudi; Trubiani, Catia
A Prototype for Data Race Detection in CSeq 3 1-gen-2022 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL 1-gen-2022 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
Stochastic analysis of energy consumption in pool depletion systems 1-gen-2016 Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G.
Towards Choreographic-Based Monitoring 1-gen-2020 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards Probabilistic Session-Type Monitoring 1-gen-2021 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
A True Concurrent Model of Smart Contracts Executions 1-gen-2020 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Verifying AbC Specifications via Emulation 1-gen-2020 De Nicola, Rocco; Duong, Tan; Inverso, Omar
VisArch: Visualisation of Performance-based Architectural Refactorings 1-gen-2020 Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel
Mostrati risultati da 16 a 24 di 24
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile