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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.561 a 1.580 di 15.031
Titolo Data di pubblicazione Autore(i) File
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.
Managing bad AIPs with RIVERtools 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Parametric Runtime Verification of Multiagent Systems 1-gen-2017 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Implementing Ethical Governors in {BDI} 1-gen-2022 Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.561 a 1.580 di 15.031
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 CONVEGNO15030
  • Contributo su VOLUME1
Autore
  • CUCCHIARA, Rita458
  • ZAMBONELLI, Franco281
  • SELMI, LUCA228
  • FANTUZZI, Cesare217
  • GUNDUZ, Deniz215
  • FERRARI, Fabrizio212
  • BERGAMASCHI, Sonia203
  • SECCHI, Cristian195
  • LARCHER, Luca186
  • PALESTRI, Pierpaolo176
Data di pubblicazione
  • 2020 - 20262868
  • 2010 - 20195588
  • 2000 - 20094697
  • 1990 - 19991488
  • 1980 - 1989359
  • 1970 - 197930
  • 1967 - 19691
Editore
  • Institute of Electrical and Elect...1377
  • IEEE1014
  • IEEE Computer Society383
  • Springer Science and Business Med...267
  • Springer244
  • -235
  • Springer Verlag205
  • SAE International200
  • CEUR-WS128
  • SPRINGER-VERLAG BERLIN100
Rivista
  • SAE TECHNICAL PAPER202
  • JOURNAL OF PHYSICS. CONFERENCE SE...97
  • ...SUMMER SCHOOL FRANCESCO TURCO....64
  • POS PROCEEDINGS OF SCIENCE41
  • ACTA HORTICULTURAE35
  • ENERGY PROCEDIA29
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE409
  • CEUR WORKSHOP PROCEEDINGS165
  • PROCEEDINGS OF SPIE, THE INTERNAT...160
  • LECTURE NOTES IN ARTIFICIAL INTEL...85
  • LECTURE NOTES IN MECHANICAL ENGIN...81
  • COMMUNICATIONS IN COMPUTER AND IN...72
  • IFAC-PAPERSONLINE71
  • 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
  • eng11828
  • ita2917
  • fre119
  • ger62
  • spa58
  • por15
  • rus12
  • und8
  • cat5
  • chi2
Accesso al fulltext
  • no fulltext10046
  • reserved2967
  • open1894
  • partially open116
  • embargoed8