Relazione in Atti di Convegno: [14972] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.501 a 1.520 di 14.972
Titolo Data di pubblicazione Autore(i) File
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 1-gen-2020 Delzanno, G; Guerrini, G; Mascardi, V; Gelati, L; Petito, V; Vitali, F; Ferrando, A; Ancona, D; Chessa, M; Noceti, N; Odone, F
A deterministic event calculus for effective runtime verification 1-gen-2019 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 1-gen-2021 Ferrando, Angelo; Malvone, Vadim
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 1-gen-2016 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Verifying and validating autonomous systems: Towards an integrated approach 1-gen-2019 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 1-gen-2016 Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo
Increasing confidence in autonomous systems 1-gen-2021 Fisher, Michael; Ferrando, Angelo; Cardoso, Rafael C.
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 1-gen-2020 Biagetti, A; Ferrando, A; Mascardi, V
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 1-gen-2022 Ancona, D.; Ferrando, A.; Mascardi, V.
Recognising assumption violations in autonomous systems verification 1-gen-2018 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
Runtime Verification with Imperfect Information Through Indistinguishability Relations 1-gen-2022 Ferrando, A.; Malvone, V.
Automated Planning and {BDI} Agents: {A} Case Study 1-gen-2021 Cardoso, Rafael C.; Ferrando, Angelo; Papacchini, Fabio
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems 1-gen-2022 Ferrando, A.; Malvone, V.
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 1-gen-2023 Ferrando, Angelo; Delzanno, Giorgio
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 1-gen-2019 Ferrando, Angelo; Winikoff, Michael; Cranefield, Stephen; Dignum, Frank; Mascardi, Viviana
Declarative parameterized verification of topology-sensitive distributed protocols 1-gen-2019 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
ROSMonitoring: A Runtime Verification Framework for ROS 1-gen-2020 Ferrando, A.; Cardoso, R. C.; Fisher, M.; Ancona, D.; Franceschini, L.; Mascardi, V.
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 1-gen-2016 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
Combine Model Checking and Runtime Verification in Multi-Agent Systems 1-gen-2021 Ferrando, Angelo; Malvone, Vadim
Runtime Verification of Hash Code in Mutable Classes 1-gen-2023 Ancona, D.; Ferrando, A.; Mascardi, V.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.501 a 1.520 di 14.972
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

Scopri
Tipologia
  • Atti di CONVEGNO14971
  • Contributo su VOLUME1
Autore
  • CUCCHIARA, Rita447
  • ZAMBONELLI, Franco281
  • SELMI, LUCA228
  • FANTUZZI, Cesare217
  • GUNDUZ, Deniz215
  • FERRARI, Fabrizio212
  • BERGAMASCHI, Sonia203
  • SECCHI, Cristian195
  • LARCHER, Luca186
  • PALESTRI, Pierpaolo176
Data di pubblicazione
  • 2020 - 20262813
  • 2010 - 20195584
  • 2000 - 20094697
  • 1990 - 19991488
  • 1980 - 1989359
  • 1970 - 197930
  • 1967 - 19691
Editore
  • Institute of Electrical and Elect...1325
  • IEEE1012
  • IEEE Computer Society376
  • Springer Science and Business Med...250
  • Springer241
  • -235
  • Springer Verlag205
  • SAE International192
  • CEUR-WS124
  • SPRINGER-VERLAG BERLIN100
Rivista
  • SAE TECHNICAL PAPER202
  • JOURNAL OF PHYSICS. CONFERENCE SE...95
  • ...SUMMER SCHOOL FRANCESCO TURCO....63
  • POS PROCEEDINGS OF SCIENCE41
  • ACTA HORTICULTURAE35
  • ENERGY PROCEDIA29
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE402
  • CEUR WORKSHOP PROCEEDINGS163
  • PROCEEDINGS OF SPIE, THE INTERNAT...160
  • LECTURE NOTES IN ARTIFICIAL INTEL...85
  • LECTURE NOTES IN MECHANICAL ENGIN...80
  • COMMUNICATIONS IN COMPUTER AND IN...72
  • IFAC-PAPERSONLINE69
  • PROCEEDINGS OF THE ANNUAL CONFERE...67
  • IFAC PROCEEDINGS VOLUMES65
  • TECHNICAL DIGEST - INTERNATIONAL ...64
Keyword
  • Electrical and Electronic Enginee...166
  • -160
  • Control and Systems Engineering104
  • Software86
  • Industrial and Manufacturing Engi...85
  • Computer Networks and Communications72
  • Computer Science (all)72
  • Computer Science Applications1707...72
  • CFD67
  • Artificial Intelligence63
Lingua
  • eng11774
  • ita2912
  • fre119
  • ger62
  • spa58
  • por15
  • rus12
  • und8
  • cat5
  • chi2
Accesso al fulltext
  • no fulltext10048
  • reserved2942
  • open1861
  • partially open113
  • embargoed8